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
3289. 
Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings için kapak resmi
Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
Yazar 
Ball, Thomas. editor. Jones, Robert B. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11817963
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3290. 
Advanced Topics in Exception Handling Techniques için kapak resmi
Advanced Topics in Exception Handling Techniques
Yazar 
Dony, Christophe. editor. Knudsen, Jørgen Lindskov. editor. Romanovsky, Alexander. editor. Tripathi, Anand. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11818502
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3291. 
Software Composition 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers için kapak resmi
Software Composition 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers
Yazar 
Löwe, Welf. editor. Südholt, Mario. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11821946
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3292. 
Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings için kapak resmi
Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings
Yazar 
Górski, Janusz. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11875567
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3293. 
Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings için kapak resmi
Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings
Yazar 
Nierstrasz, Oscar. editor. Whittle, Jon. editor. Harel, David. editor. Reggio, Gianna. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11880240
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3294. 
Moderne C++ Programmierung Klassen, Templates, Design Patterns için kapak resmi
Moderne C++ Programmierung Klassen, Templates, Design Patterns
Yazar 
Schneeweiß, Ralf. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-45954-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3295. 
Multiagent System Technologies 4th German Conference, MATES 2006 Erfurt, Germany, September 19-20, 2006 Proceedings için kapak resmi
Multiagent System Technologies 4th German Conference, MATES 2006 Erfurt, Germany, September 19-20, 2006 Proceedings
Yazar 
Fischer, Klaus. editor. Timm, Ingo J. editor. André, Elisabeth. editor. Zhong, Ning. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11872283
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3296. 
Computational Methods in Systems Biology International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006. Proceedings için kapak resmi
Computational Methods in Systems Biology International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006. Proceedings
Yazar 
Priami, Corrado. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11885191
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3297. 
Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings için kapak resmi
Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings
Yazar 
Najm, Elie. editor. Pradat-Peyre, Jean-François. editor. Donzeau-Gouge, Véronique Viguié. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11888116
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3298. 
Conceptual Modeling - ER 2006 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006. Proceedings için kapak resmi
Conceptual Modeling - ER 2006 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006. Proceedings
Yazar 
Embley, David W. editor. Olivé, Antoni. editor. Ram, Sudha. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11901181
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3299. 
Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings için kapak resmi
Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings
Yazar 
Graf, Susanne. editor. Zhang, Wenhui. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11901914
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3300. 
Computer and Information Sciences – ISCIS 2006 21th International Symposium, Istanbul, Turkey, November 1-3, 2006. Proceedings için kapak resmi
Computer and Information Sciences – ISCIS 2006 21th International Symposium, Istanbul, Turkey, November 1-3, 2006. Proceedings
Yazar 
Levi, Albert. editor. Savaş, Erkay. editor. Yenigün, Hüsnü. editor. Balcısoy, Selim. editor. Saygın, Yücel. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11902140
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç