Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(2126)
Project Muse.
(22)
Voronkov, Andrei. editor.
(18)
Kacprzyk, Janusz. editor.
(13)
Wiley InterScience (Online service)
(13)
Dil
Yayın Yılı
-
Konu
Computer science.
(1244)
Logic design.
(1152)
Software engineering.
(874)
Artificial intelligence.
(652)
Logic, Symbolic and mathematical.
(315)
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ç
3090 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Plays. 5 / Tom Murphy ; with an introduction by Nicholas Grene. için kapak resmi
Plays. 5 / Tom Murphy ; with an introduction by Nicholas Grene.
Yazar 
Murphy, Tom.
Yer Numarası 
PR6063.U736 A6 2006
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2. 
Essays in Constructive Mathematics için kapak resmi
Essays in Constructive Mathematics
Yazar 
Edwards, Harold M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138656
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Language, Meaning, Interpretation için kapak resmi
Language, Meaning, Interpretation
Yazar 
Fløistad, Guttorm. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-2195-X
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
New Algorithms, Architectures and Applications for Reconfigurable Computing için kapak resmi
New Algorithms, Architectures and Applications for Reconfigurable Computing
Yazar 
Lysaght, Patrick. editor. Rosenstiel, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-3128-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Trends in Continuum Mechanics of Porous Media için kapak resmi
Trends in Continuum Mechanics of Porous Media
Yazar 
Boer, Reint. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-3144-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Logische Untersuchungen Ergänzungsband Zweiter Teil Texte für die Neufassung der VI. Untersuchung. Zur Phänomenologie des Ausdrucks und der Erkenntnis (1893/94–1921) için kapak resmi
Logische Untersuchungen Ergänzungsband Zweiter Teil Texte für die Neufassung der VI. Untersuchung. Zur Phänomenologie des Ausdrucks und der Erkenntnis (1893/94–1921)
Yazar 
Melle, Ullrich. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-3574-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Propositional and Predicate Calculus A Model of Argument için kapak resmi
Propositional and Predicate Calculus A Model of Argument
Yazar 
Goldrei, Derek. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-84628-229-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Information, Interaction and Agency için kapak resmi
Information, Interaction and Agency
Yazar 
Hoek, Wiebe. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-4094-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Argumentation Methods for Artificial Intelligence in Law için kapak resmi
Argumentation Methods for Artificial Intelligence in Law
Yazar 
Walton, Douglas. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-27881-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Laws of Nature için kapak resmi
Laws of Nature
Yazar 
Mittelstaedt, Peter. Weingartner, Paul A. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-28303-X
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Taxonomies for the Development and Verification of Digital Systems için kapak resmi
Taxonomies for the Development and Verification of Digital Systems
Yazar 
Bailey, Brian. editor. Martin, Grant. editor. Anderson, Thomas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b104217
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Abstraction, Refinement and Proof for Probabilistic Systems için kapak resmi
Abstraction, Refinement and Proof for Probabilistic Systems
Yazar 
McIver, Annabelle. author. Morgan, Carroll. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138392
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç