Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(2011)
Project Muse.
(22)
Voronkov, Andrei. editor.
(18)
Wiley InterScience (Online service)
(13)
Gabbay, Dov M., 1945-
(12)
Dil
Yayın Yılı
-
Konu
Computer science.
(1243)
Logic design.
(1147)
Software engineering.
(874)
Artificial intelligence.
(606)
Logic, Symbolic and mathematical.
(314)
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ç
2887 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
169. 
A Course on Mathematical Logic için kapak resmi
A Course on Mathematical Logic
Yazar 
Srivastava, S. M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-76277-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
170. 
Elementary Logic For Software Development için kapak resmi
Elementary Logic For Software Development
Yazar 
Lover, Robert. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84800-082-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
171. 
Temporal Logic and State Systems için kapak resmi
Temporal Logic and State Systems
Yazar 
Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-68635-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
172. 
Extensionalism The Revolution in Logic için kapak resmi
Extensionalism The Revolution in Logic
Yazar 
Bar-Am, Nimrod. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-8168-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
173. 
Sets, Logic and Maths for Computing için kapak resmi
Sets, Logic and Maths for Computing
Yazar 
Makinson, David. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84628-845-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
174. 
Lectures on logic : Berlin, 1831 için kapak resmi
Lectures on logic : Berlin, 1831
Yazar 
Hegel, Georg Wilhelm Friedrich. Butler, Clark, 1944-
Yer Numarası 
B2944.V652 E5 2008
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
175. 
Digital electronics and logic design için kapak resmi
Digital electronics and logic design
Yazar 
Nair, B. Somanathan.
Yer Numarası 
TK7868.D5 N35 2008
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
176. 
Logic and computer design fundamentals için kapak resmi
Logic and computer design fundamentals
Yazar 
Mano, M. Morris Kime, Charles R., ort. yaz.
Yer Numarası 
TK7888.4 M36 2008
Format: 
Durum 
Beytepe Kütüphanesi~3
Rafta:
Kopya:
177. 
Introduction to Fuzzy Logic using MATLAB için kapak resmi
Introduction to Fuzzy Logic using MATLAB
Yazar 
Sivanandam, S. N. author. Sumathi, S. author. Deepa, S. N. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-35781-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
178. 
Logic : informal, symbolic and inductive için kapak resmi
Logic : informal, symbolic and inductive
Yazar 
Chakraborti, Chhanda.
Yer Numarası 
BC91 C42 2007
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
179. 
Fuzzy logic with engineering applications için kapak resmi
Fuzzy logic with engineering applications
Yazar 
Ross, Timothy J.
Yer Numarası 
TA331 R675 2007
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
180. 
Rigid Flexibility The Logic of Intelligence için kapak resmi
Rigid Flexibility The Logic of Intelligence
Yazar 
Wang, Pei. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-5045-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç