Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(123)
Bonacina, Maria Paola. editor.
(2)
Dalen, Dirk. author.
(2)
Hoffmann, Dirk W. author.
(2)
Legay, Axel. editor.
(2)
Dil
Konu
Computer science.
(105)
Mathematical Logic and Formal Languages.
(101)
Logic design.
(56)
Logics and Meanings of Programs.
(56)
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ç
137 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
An introduction to Gödel's theorems için kapak resmi
An introduction to Gödel's theorems
Yazar 
Smith, Peter, 1944- author.
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=533820
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Belief Revision in Non-Classical Logics için kapak resmi
Belief Revision in Non-Classical Logics
Yazar 
Ribeiro, Márcio Moretto. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330925.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4186-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts için kapak resmi
Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts
Yazar 
O’Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331002.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4534-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
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:
5. 
Modelling Computing Systems Mathematics for Computer Science için kapak resmi
Modelling Computing Systems Mathematics for Computer Science
Yazar 
Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332574.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84800-322-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
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:
7. 
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:
8. 
The Mathematics of Coordinated Inference A Study of Generalized Hat Problems için kapak resmi
The Mathematics of Coordinated Inference A Study of Generalized Hat Problems
Yazar 
Hardin, Christopher S. author. Taylor, Alan D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332859.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-01333-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis için kapak resmi
Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis
Yazar 
Hoffmann, Dirk W. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(338283.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8274-3000-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
After Gödel : Platonism and rationalism in mathematics and logic için kapak resmi
After Gödel : Platonism and rationalism in mathematics and logic
Yazar 
Tieszen, Richard L., author.
Yer Numarası 
QA9 T54 2013
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
11. 
Using Event-B for Critical Device Software Systems için kapak resmi
Using Event-B for Critical Device Software Systems
Yazar 
Singh, Neeraj Kumar. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331181.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-5260-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Formal Languages and Compilation için kapak resmi
Formal Languages and Compilation
Yazar 
Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. Morzenti, Angelo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331210.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-5514-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç