Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(24)
Löwe, Benedikt. editor.
(3)
Priese, Lutz. author.
(2)
Bacchus, Fahiem. editor.
(1)
Bezhanishvili, Nick. editor.
(1)
Dil
Yayın Yılı
-
Konu
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ç
24 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Categories for Software Engineering için kapak resmi
Categories for Software Engineering
Yazar 
Fiadeiro, José Luiz. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138249
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Foundations of Algebraic Specification and Formal Software Development için kapak resmi
Foundations of Algebraic Specification and Formal Software Development
Yazar 
Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-17336-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Handbook of Model Checking için kapak resmi
Handbook of Model Checking
Yazar 
Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-10575-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction için kapak resmi
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction
Yazar 
Pudlák, Pavel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332681.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-00119-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
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
Yazar 
Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334718.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39053-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
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
Yazar 
Paule, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332822.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-00966-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Sparsity Graphs, Structures, and Algorithms için kapak resmi
Sparsity Graphs, Structures, and Algorithms
Yazar 
Nešetřil, Jaroslav. author. Ossona de Mendez, Patrice. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-27875-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
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
Yazar 
Cooper, S. Barry. editor. Dawar, Anuj. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30870-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
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
Yazar 
Bezhanishvili, Nick. editor. Goranko, Valentin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-31485-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics için kapak resmi
The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics
Yazar 
Moot, Richard. author. Retoré, Christian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-31555-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings için kapak resmi
Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings
Yazar 
Löwe, Benedikt. editor. Normann, Dag. editor. Soskov, Ivan. editor. Soskova, Alexandra. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-21875-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
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: