Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(27)
Herik, H. Jaap. editor.
(3)
Lirkov, Ivan. editor.
(3)
Malyshkin, Victor. editor.
(3)
Margenov, Svetozar. editor.
(3)
Dil
Yayın Yılı
-
Konu
Computer science.
(26)
Operating systems (Computers).
(22)
Computer software.
(20)
Software engineering.
(10)
Artificial intelligence.
(9)
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ç
33 sonuç bulundu Arama sonuçlarına abone ol
000000000DEFAULT_TR
Yazdır
25. 
Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
Yazar 
Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-72788-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers için kapak resmi
Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers
Yazar 
Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11666806
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
Yazar 
Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11814948
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Reliable Distributed Systems Technologies, Web Services, and Applications için kapak resmi
Reliable Distributed Systems Technologies, Web Services, and Applications
Yazar 
Birman, Kenneth P. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-27601-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
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:
30. 
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:
31. 
Bilgisayar terimleri ansiklopedik sözlüğü için kapak resmi
Bilgisayar terimleri ansiklopedik sözlüğü
Yazar 
Altan, Naci. Koyuncu, Suat, ed.
Yer Numarası 
QA76.15 A79 2003
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
32. 
Computing and information sciences : recent trends için kapak resmi
Computing and information sciences : recent trends
Yazar 
Misra, Jagadis Chandra, ed. Goswami, A., ed. Kumar, Pawan, ed.
Yer Numarası 
QA 75.5 C739 2003
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
33. 
Handbook of logic and proof techniques for computer science için kapak resmi
Handbook of logic and proof techniques for computer science
Yazar 
Krantz, Steven George, 1951-
Yer Numarası 
QA 76 K723 2002
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya: