Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(44)
Löwe, Benedikt. editor.
(4)
Artemov, Sergei. editor.
(2)
Kaminski, Michael. editor.
(2)
Nerode, Anil. editor.
(2)
Dil
Yayın Yılı
-
Konu
Mathematical Logic and Foundations.
(44)
Computer science.
(39)
Theory of Computation.
(36)
Formal Languages and Automata Theory.
(28)
Machine theory.
(28)
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ç
44 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT
Yazdır
1. 
The Pillars of Computation Theory State, Encoding, Nondeterminism için kapak resmi
The Pillars of Computation Theory State, Encoding, Nondeterminism
by 
Rosenberg, Arnold L. author.
https://doi.org/10.1007/978-0-387-09639-1
Format: 
Alıntı: 
The Pillars of Computation Theory State, Encoding, Nondeterminism / Rosenberg, Arnold L. author.
2. 
Constructivity and Computability in Historical and Philosophical Perspective için kapak resmi
Constructivity and Computability in Historical and Philosophical Perspective
by 
Dubucs, Jacques. editor.
https://doi.org/10.1007/978-94-017-9217-2
Format: 
Alıntı: 
Theory of Computation.
3. 
Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers için kapak resmi
Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers
by 
Colinet, Margot. editor.
https://doi.org/10.1007/978-3-662-44116-9
Format: 
Alıntı: 
Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student
4. 
The Nature of Computation: Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings için kapak resmi
The Nature of Computation: Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings
by 
Bonizzoni, Paola. editor.
https://doi.org/10.1007/978-3-642-39053-1
Format: 
Alıntı: 
Theory of Computation.
5. 
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
by 
Grossi, Davide. editor.
https://doi.org/10.1007/978-3-642-40948-6
Format: 
Alıntı: 
Theory of Computation.
6. 
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers için kapak resmi
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
by 
Martí-Oliet, Narciso. editor.
https://doi.org/10.1007/978-3-642-37635-1
Format: 
Alıntı: 
Theory of Computation.
7. 
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
by 
Artemov, Sergei. editor.
https://doi.org/10.1007/978-3-642-35722-0
Format: 
Alıntı: 
Theory of Computation.
8. 
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift için kapak resmi
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
by 
Paule, Peter. editor.
https://doi.org/10.1007/978-3-319-00966-7
Format: 
Alıntı: 
Theory of Computation.
9. 
Mathematics of Fuzzy Sets and Fuzzy Logic için kapak resmi
Mathematics of Fuzzy Sets and Fuzzy Logic
by 
Bede, Barnabas. author.
https://doi.org/10.1007/978-3-642-35221-8
Format: 
Alıntı: 
Mathematics of Fuzzy Sets and Fuzzy Logic Bede, Barnabas. author.
10. 
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
by 
Mossakowski, Till. editor.
https://doi.org/10.1007/978-3-642-28412-0
Format: 
Alıntı: 
Theory of Computation.
11. 
How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings için kapak resmi
How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings
by 
Cooper, Barry S. editor.
https://doi.org/10.1007/978-3-642-30870-3
Format: 
Alıntı: 
Theory of Computation.
12. 
Lectures on Logic and Computation ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes için kapak resmi
Lectures on Logic and Computation ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
by 
Bezhanishvili, Nick. editor.
https://doi.org/10.1007/978-3-642-31485-8
Format: 
Alıntı: 
Lectures on Logic and Computation ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011