Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(68)
Bramer, Max. author.
(2)
Noble, James. editor.
(2)
Voronkov, Andrei. editor.
(2)
Abreu, Salvador. editor.
(1)
Dil
Yayın Yılı
-
2013
(68)
Konu
Computer science.
(68)
Software engineering.
(43)
Programming Languages, Compilers, Interpreters.
(37)
Logic design.
(23)
Logics and Meanings of Programs.
(23)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
68 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Proceedings of the FISITA 2012 World Automotive Congress Volume 6: Vehicle Electronics. için kapak resmi
Proceedings of the FISITA 2012 World Automotive Congress Volume 6: Vehicle Electronics.
Yazar 
SAE-China. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333761.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33829-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
BiLBIQ: A Biologically Inspired Robot with Walking and Rolling Locomotion için kapak resmi
BiLBIQ: A Biologically Inspired Robot with Walking and Rolling Locomotion
Yazar 
King, Ralf Simon. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333882.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-34682-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
The Deductive Spreadsheet için kapak resmi
The Deductive Spreadsheet
Yazar 
Cervesato, Iliano. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334475.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37747-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Parallel Programming for Multicore and Cluster Systems için kapak resmi
Parallel Programming for Multicore and Cluster Systems
Yazar 
Rauber, Thomas. author. Rünger, Gudula. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334484.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37801-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Distributed Algorithms for Message-Passing Systems için kapak resmi
Distributed Algorithms for Message-Passing Systems
Yazar 
Raynal, Michel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334542.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38123-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Beginning C için kapak resmi
Beginning C
Yazar 
Horton, Ivor. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330651.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-4882-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Oracle Application Express for Mobile Web Applications için kapak resmi
Oracle Application Express for Mobile Web Applications
Yazar 
Hartman, Roel. author. Rokitta, Christian. author. Peake, David. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330663.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-4948-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Logic Programming with Prolog için kapak resmi
Logic Programming with Prolog
Yazar 
Bramer, Max. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331207.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-5487-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Compiler Design Syntactic and Semantic Analysis için kapak resmi
Compiler Design Syntactic and Semantic Analysis
Yazar 
Wilhelm, Reinhard. author. Seidl, Helmut. author. Hack, Sebastian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333076.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-17540-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Guide to Cloud Computing Principles and Practice için kapak resmi
Guide to Cloud Computing Principles and Practice
Yazar 
Hill, Richard. author. Hirsch, Laurie. author. Lake, Peter. author. Moshiri, Siavash. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331022.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4603-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
An Introduction to Network Programming with Java Java 7 Compatible için kapak resmi
An Introduction to Network Programming with Java Java 7 Compatible
Yazar 
Graba, Jan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331180.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-5254-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Using Event-B for Critical Device Software Systems için kapak resmi
Using Event-B for Critical Device Software Systems
Yazar 
Singh, Neeraj Kumar. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331181.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-5260-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç