Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(27)
Wiley InterScience (Online service)
(3)
Artemov, Sergei. editor.
(2)
Hooker, John, 1949-
(2)
Nerode, Anil. editor.
(2)
Dil
Yayın Yılı
-
Konu
Computer science.
(23)
Information theory.
(22)
Logic design.
(10)
Algebra -- Data processing.
(5)
Mathematical Logic and Foundations.
(5)
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ç
37 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings için kapak resmi
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Yazar 
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334038.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35722-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers için kapak resmi
Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
Yazar 
Mossakowski, Till. editor. Kreowski, Hans-Jörg. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-28412-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Mathematics of Discrete Structures for Computer Science için kapak resmi
Mathematics of Discrete Structures for Computer Science
Yazar 
Pace, Gordon J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29840-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
The Complexity of Valued Constraint Satisfaction Problems için kapak resmi
The Complexity of Valued Constraint Satisfaction Problems
Yazar 
Živný, Stanislav. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33974-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Apartness and Uniformity A Constructive Development için kapak resmi
Apartness and Uniformity A Constructive Development
Yazar 
Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22415-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings için kapak resmi
Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
Yazar 
Ditmarsch, Hans. editor. Lang, Jérôme. editor. Ju, Shier. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-24130-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings için kapak resmi
The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
Yazar 
Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-23211-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
The P=NP Question and Gödel’s Lost Letter için kapak resmi
The P=NP Question and Gödel’s Lost Letter
Yazar 
Lipton, Richard J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-7155-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Cognitive Reasoning A Formal Approach için kapak resmi
Cognitive Reasoning A Formal Approach
Yazar 
Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-68875-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Algorithmic Composition Paradigms of Automated Music Generation için kapak resmi
Algorithmic Composition Paradigms of Automated Music Generation
Yazar 
Nierhaus, Gerhard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-211-75540-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
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:
24. 
Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers için kapak resmi
Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
Yazar 
Corradini, Andrea. editor. Montanari, Ugo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-03429-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: