Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(739)
Gavrilova, Marina L. editor.
(18)
Albada, Geert Dick. editor.
(16)
Gervasi, Osvaldo. editor.
(16)
Sloot, Peter M. A. editor.
(16)
Dil
Yayın Yılı
-
Konu
Information theory.
(518)
Computer science.
(438)
Software engineering.
(167)
Artificial intelligence.
(165)
Computer software.
(125)
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ç
1059 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
757. 
Formale Sprachen, abstrakte Automaten und Compiler Lehr- und Arbeitsbuch für Grundstudium und Fortbildung için kapak resmi
Formale Sprachen, abstrakte Automaten und Compiler Lehr- und Arbeitsbuch für Grundstudium und Fortbildung
Yazar 
Wagenknecht, Christian. author. Hielscher, Michael. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8348-9972-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
758. 
Grundkurs Künstliche Intelligenz Eine praxisorientierte Einführung için kapak resmi
Grundkurs Künstliche Intelligenz Eine praxisorientierte Einführung
Yazar 
Ertel, Wolfgang. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8348-9989-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
759. 
Natural Computing 2nd International Workshop on Natural Computing, Nagoya, Japan, December 2007, Proceedings için kapak resmi
Natural Computing 2nd International Workshop on Natural Computing, Nagoya, Japan, December 2007, Proceedings
Yazar 
Suzuki, Y. editor. Hagiya, M. editor. Umeo, H. editor. Adamatzky, A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-4-431-88981-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
760. 
Post-Quantum Cryptography için kapak resmi
Post-Quantum Cryptography
Yazar 
Bernstein, Daniel J. editor. Buchmann, Johannes. editor. Dahmen, Erik. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-88702-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
761. 
Algorithmic Bioprocesses için kapak resmi
Algorithmic Bioprocesses
Yazar 
Condon, Anne. editor. Harel, David. editor. Kok, Joost N. editor. Salomaa, Arto. editor. Winfree, Erik. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-88869-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
762. 
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings için kapak resmi
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
Yazar 
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-92687-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
763. 
Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings için kapak resmi
Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings
Yazar 
Ramanujam, R. editor. Sarukkai, Sundar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-92701-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
764. 
Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings için kapak resmi
Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Yazar 
Alfaro, Luca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-00596-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
765. 
Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems için kapak resmi
Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems
Yazar 
Jensen, Kurt. editor. Aalst, Wil M. P. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-00899-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
766. 
Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday için kapak resmi
Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Yazar 
Abrial, Jean-Raymond. editor. Glässer, Uwe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-11447-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
767. 
Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings için kapak resmi
Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings
Yazar 
Ono, Hiroakira. editor. Kanazawa, Makoto. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02261-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
768. 
Computable Models için kapak resmi
Computable Models
Yazar 
Turner, Raymond. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84882-052-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç