Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
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ç
3 sonuç bulundu Arama sonuçlarına abone ol
000DEFAULT_TR
Yazdır
1. 
Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings için kapak resmi
Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings
Yazar 
Damm, Werner. editor. Hermanns, Holger. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73368-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings
Yazar 
Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11691372
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
CONCUR 2006 – Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings için kapak resmi
CONCUR 2006 – Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings
Yazar 
Baier, Christel. editor. Hermanns, Holger. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11817949
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: