Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(3724)
Gervasi, Osvaldo. editor.
(39)
Taniar, David. editor.
(38)
Apduhan, Bernady O. editor.
(37)
Dongarra, Jack. editor.
(29)
Dil
Yayın Yılı
-
Konu
Computer science.
(2980)
Computer Communication Networks.
(1161)
Artificial intelligence.
(977)
Information systems.
(822)
Logic design.
(742)
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ç
3826 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
3085. 
Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers için kapak resmi
Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
Yazar 
Sokolsky, Oleg. editor. Taşıran, Serdar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-77395-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3086. 
Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers için kapak resmi
Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers
Yazar 
Overhage, Sven. editor. Szyperski, Clemens A. editor. Reussner, Ralf. editor. Stafford, Judith A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-77619-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3087. 
Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings için kapak resmi
Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings
Yazar 
Hanus, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-69611-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3088. 
Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings için kapak resmi
Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings
Yazar 
Cook, Byron. editor. Podelski, Andreas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-69738-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3089. 
Masterkurs Client/Server- Programmierung mit Java Anwendungen entwickeln mit JDBC, Sockets, XML-RPC, RMI und JMS - Kompakt und praxisnah - Zahlreiche Programmbeispiele und Aufgaben için kapak resmi
Masterkurs Client/Server- Programmierung mit Java Anwendungen entwickeln mit JDBC, Sockets, XML-RPC, RMI und JMS - Kompakt und praxisnah - Zahlreiche Programmbeispiele und Aufgaben
Yazar 
Abts, Dietmar. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8348-9180-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3090. 
Profikurs ABAP® Konkrete, praxisorientierte Lösungen - Tipps, Tricks und jede Menge Erfahrung için kapak resmi
Profikurs ABAP® Konkrete, praxisorientierte Lösungen - Tipps, Tricks und jede Menge Erfahrung
Yazar 
Theobald, Patrick. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8348-9207-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3091. 
Java als erste Programmiersprache Vom Einsteiger zum Profi için kapak resmi
Java als erste Programmiersprache Vom Einsteiger zum Profi
Yazar 
Heinisch, Cornelia. author. Müller-Hofmann, Frank. author. Goll, Joachim. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8351-9101-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3092. 
Designing with blends conceptual foundations of human-computer interaction and software engineering için kapak resmi
Designing with blends conceptual foundations of human-computer interaction and software engineering
Yazar 
Imaz, Manuel. Benyon, David.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267285
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3093. 
Distributed and Parallel Systems From Cluster to Grid Computing için kapak resmi
Distributed and Parallel Systems From Cluster to Grid Computing
Yazar 
Kacsuk, Péter. editor. Fahringer, Thomas. editor. Németh, Zsolt. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-69858-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3094. 
Compiling Esterel için kapak resmi
Compiling Esterel
Yazar 
Potop-Butucaru, Dumitru. author. Edwards, Stephen A. author. Berry, Gérard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-70628-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3095. 
Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06 için kapak resmi
Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06
Yazar 
Huss, Sorin A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6149-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3096. 
Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components için kapak resmi
Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components
Yazar 
Nicolescu, G. editor. Jerraya, A. A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6153-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç