Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(111)
Gabbay, Dov M. author.
(4)
Löwe, Benedikt. editor.
(4)
Schlechta, Karl. author.
(4)
Nerode, Anil. editor.
(3)
Dil
Yayın Yılı
-
Konu
Computer science.
(101)
Mathematics.
(36)
Artificial intelligence.
(31)
Logic design.
(30)
Logic.
(23)
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ç
122 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
Mathematical Logic Foundations for Information Science için kapak resmi
Mathematical Logic Foundations for Information Science
Yazar 
Li, Wei. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-7643-9977-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Handbook of Weighted Automata için kapak resmi
Handbook of Weighted Automata
Yazar 
Droste, Manfred. editor. Kuich, Werner. editor. Vogler, Heiko. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-01492-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Finite Model Theory and Its Applications için kapak resmi
Finite Model Theory and Its Applications
Yazar 
Grädel, Erich. author. Kolaitis, Phokion G. author. Libkin, Leonid. author. Marx, Maarten. author. Spencer, Joel. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-68804-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Parameterized Complexity Theory için kapak resmi
Parameterized Complexity Theory
Yazar 
Flum, Jörg. author. Grohe, Martin. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-29953-X
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
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:
54. 
An Introduction to the Technique of Formative Processes in Set Theory için kapak resmi
An Introduction to the Technique of Formative Processes in Set Theory
Yazar 
Cantone, Domenico. author. Ursino, Pietro. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-74778-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Logical Foundations of Cyber-Physical Systems için kapak resmi
Logical Foundations of Cyber-Physical Systems
Yazar 
Platzer, André. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63588-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties için kapak resmi
Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Yazar 
Schlechta, Karl. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-89650-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size için kapak resmi
Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size
Yazar 
Schlechta, Karl. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-89653-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Discrete mathematics and its applications için kapak resmi
Discrete mathematics and its applications
Yazar 
Rosen, Kenneth H. Krithivasan, Kamala.
Yer Numarası 
QA39.3 R674 2013
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
59. 
L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life için kapak resmi
L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life
Yazar 
Dalen, Dirk. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331026.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4616-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz için kapak resmi
From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz
Yazar 
Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(330942.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4282-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç