Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(304)
Bernardo, Marco. editor.
(6)
Dix, Jürgen. editor.
(6)
Stenström, Per. editor.
(6)
Aldini, Alessandro. editor.
(5)
Dil
English
(304)
Yayın Yılı
-
2007
(44)
2010
(41)
2011
(32)
2012
(31)
2005
(30)
Konu
Computer science.
(291)
Computer Communication Networks.
(288)
Software engineering.
(250)
Artificial intelligence.
(89)
Information Systems.
(42)
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ç
304 sonuç bulundu Arama sonuçlarına abone ol
0000DEFAULT_TR
Yazdır
301. 
Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers için kapak resmi
Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers
Yazar 
Priami, Corrado. editor. Quaglia, Paola. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b103251
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
302. 
Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers için kapak resmi
Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers
Yazar 
Gschwind, Thomas. editor. Aßmann, Uwe. editor. Nierstrasz, Oscar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11550679
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
303. 
Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings için kapak resmi
Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings
Yazar 
Peled, Doron A. editor. Tsay, Yih-Kuen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11562948
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
304. 
Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Yazar 
Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b107194
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç