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
145. 
Logic of analog and digital machines için kapak resmi
Logic of analog and digital machines
Yazar 
Rocchi, Paolo.
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=581746
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
146. 
Cylindric-like Algebras and Algebraic Logic için kapak resmi
Cylindric-like Algebras and Algebraic Logic
Yazar 
Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333922.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35025-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
147. 
Mechanical logic in three-dimensional space için kapak resmi
Mechanical logic in three-dimensional space
Yazar 
Auletta, Gennaro, author.
Yer Numarası 
ONLINE(342612.1)
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
148. 
A Course on Mathematical Logic için kapak resmi
A Course on Mathematical Logic
Yazar 
Srivastava, Shashi Mohan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331853.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-5746-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
149. 
Logic Circuit Design Selected Methods için kapak resmi
Logic Circuit Design Selected Methods
Yazar 
Vingron, Shimon P. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-27657-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
150. 
Digital logic design a rigorous approach için kapak resmi
Digital logic design a rigorous approach
Yazar 
Even, Guy. Medina, Moti, 1979-
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=490549
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
151. 
Combinatory logic pure, applied and typed için kapak resmi
Combinatory logic pure, applied and typed
Yazar 
Bimb,̤ Katalin, 1963-
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
152. 
Purgatory the logic of total transformation için kapak resmi
Purgatory the logic of total transformation
Yazar 
Walls, Jerry L.
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199732296.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
153. 
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-4471-2500-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
154. 
Mathematical Logic for Computer Science için kapak resmi
Mathematical Logic for Computer Science
Yazar 
Ben-Ari, Mordechai. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4129-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
155. 
Logic and the Organization of Information için kapak resmi
Logic and the Organization of Information
Yazar 
Frické, Martin. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-3088-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
156. 
Logic : the laws of truth için kapak resmi
Logic : the laws of truth
Yazar 
Smith, Nicholas J. J. (Nicholas Jeremy Josef), 1972-
Yer Numarası 
ONLINE
Elektronik Erişim 
http://www.jstor.org/stable/10.2307/j.ctt7sr96
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç