Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(27)
Lirkov, Ivan. editor.
(3)
Malyshkin, Victor. editor.
(3)
Margenov, Svetozar. editor.
(3)
Waśniewski, Jerzy. editor.
(3)
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ç
27 sonuç bulundu Arama sonuçlarına abone ol
000DEFAULT_TR
Yazdır
25. 
Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers için kapak resmi
Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Yazar 
Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11527695
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
Yazar 
Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b137280
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Grid Computing in Life Science First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers için kapak resmi
Grid Computing in Life Science First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers
Yazar 
Konagaya, Akihiko. editor. Satou, Kenji. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b106923
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: