Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(101)
Bonacina, Maria Paola. editor.
(2)
Legay, Axel. editor.
(2)
Rudolph, Sebastian. editor.
(2)
Son, Tran Cao. editor.
(2)
Dil
Yayın Yılı
-
2013
(101)
Konu
Computer science.
(101)
Mathematical Logic and Formal Languages.
(101)
Logic design.
(55)
Logics and Meanings of Programs.
(55)
Artificial Intelligence (incl. Robotics).
(48)
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ç
101 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Teoria degli Automi Finiti için kapak resmi
Teoria degli Automi Finiti
Yazar 
Luca, Aldo. author. D’Alessandro, Flavio. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335644.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-88-470-5474-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Paraconsistency: Logic and Applications için kapak resmi
Paraconsistency: Logic and Applications
Yazar 
Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335759.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-4438-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements için kapak resmi
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
Yazar 
Geldsetzer, Lutz. author. Schwartz, Richard L. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335941.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-5301-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics için kapak resmi
Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics
Yazar 
Mogavero, Fabio. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(336496.1)
Elektronik Erişim 
http://dx.doi.org/10.2991/978-94-91216-95-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday için kapak resmi
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
Yazar 
Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334547.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38164-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers için kapak resmi
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Yazar 
Albert, Elvira. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334552.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38197-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings için kapak resmi
Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
Yazar 
Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334564.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38236-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings için kapak resmi
Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
Yazar 
Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334925.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40313-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday için kapak resmi
The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
Yazar 
Achten, Peter. editor. Koopman, Pieter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334934.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40355-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
KI 2013: Advances in Artificial Intelligence 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings için kapak resmi
KI 2013: Advances in Artificial Intelligence 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings
Yazar 
Timm, Ingo J. editor. Thimm, Matthias. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335031.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40942-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings için kapak resmi
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Yazar 
Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335032.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40948-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Modeling and Using Context 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings için kapak resmi
Modeling and Using Context 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings
Yazar 
Brézillon, Patrick. editor. Blackburn, Patrick. editor. Dapoigny, Richard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335034.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40972-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç