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.
(1153)
Software engineering.
(876)
Artificial intelligence.
(654)
Logic, Symbolic and mathematical.
(317)
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ç
3166 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
3013. 
Foundations of intensional semantics için kapak resmi
Foundations of intensional semantics
Yazar 
Fox, Chris, 1965- Lappin, Shalom. Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
John Wiley http://dx.doi.org/10.1002/9780470773543
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0802/2005010277-b.html
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3014. 
An introduction to Kant's aesthetics core concepts and problems için kapak resmi
An introduction to Kant's aesthetics core concepts and problems
Yazar 
Wenzel, Christian Helmut. Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0802/2005009258-b.html
John Wiley http://dx.doi.org/10.1002/9780470776599
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3015. 
Bilimsel araştırmanın mantığı için kapak resmi
Bilimsel araştırmanın mantığı
Yazar 
Popper, Karl R. Aka, İlknur, çev. Turan, İbrahim, çev.
Yer Numarası 
Q175.3 P67 2005
Format: 
Durum 
Hukuk Kütüphanesi~1 Beytepe Kütüphanesi~1
Rafta:
Kopya:
3016. 
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:
3017. 
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:
3018. 
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:
3019. 
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:
3020. 
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:
3021. 
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:
3022. 
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:
3023. 
A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components için kapak resmi
A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components
Yazar 
Caromel, Denis. author. Henrio, Ludovic. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138812
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3024. 
A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors için kapak resmi
A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors
Yazar 
Kurki-Suonio, Reino. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138956
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç