Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(201)
Rozenberg, Grzegorz. editor.
(7)
Fages, François. editor.
(5)
Potapov, Igor. editor.
(5)
Rossi, Francesca. editor.
(5)
Dil
Yayın Yılı
-
2010
(32)
2012
(31)
2009
(27)
2011
(22)
2013
(21)
Konu
Logic design.
(201)
Computer science.
(198)
Software engineering.
(96)
Artificial intelligence.
(56)
Computational complexity.
(56)
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ç
201 sonuç bulundu Arama sonuçlarına abone ol
000000000DEFAULT_TR
Yazdır
193. 
Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings için kapak resmi
Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings
Yazar 
Jȩdrzejowicz, Joanna. editor. Szepietowski, Andrzej. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11549345
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
194. 
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:
195. 
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings için kapak resmi
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
Yazar 
Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11590156
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
196. 
Einführung in die Informatik Objektorientiert mit Java için kapak resmi
Einführung in die Informatik Objektorientiert mit Java
Yazar 
Küchlin, Wolfgang. author. Weber, Andreas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138253
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
197. 
Job Scheduling Strategies for Parallel Processing 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004. Revised Selected Papers için kapak resmi
Job Scheduling Strategies for Parallel Processing 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004. Revised Selected Papers
Yazar 
Feitelson, Dror G. editor. Rudolph, Larry. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b107134
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
198. 
Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers için kapak resmi
Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers
Yazar 
Margenstern, Maurice. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b106980
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
199. 
Job Scheduling Strategies for Parallel Processing 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers için kapak resmi
Job Scheduling Strategies for Parallel Processing 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers
Yazar 
Feitelson, Dror. editor. Frachtenberg, Eitan. editor. Rudolph, Larry. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11605300
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
200. 
Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings için kapak resmi
Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings
Yazar 
Coppo, Mario. editor. Lodi, Elena. editor. Pinna, G. Michele. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11560586
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
201. 
Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers için kapak resmi
Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers
Yazar 
Faltings, Boi V. editor. Petcu, Adrian. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b106890
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç