Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(183)
Project Muse.
(4)
Blair, J. Anthony, contributor.
(3)
Eemeren, Frans Η. van, contributor.
(3)
Gabbay, Dov M. editor.
(3)
Dil
Konu
Computer science.
(139)
Logic design.
(114)
Software engineering.
(80)
Artificial intelligence.
(54)
Logic, Symbolic and mathematical.
(51)
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ç
286 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Logic demystified için kapak resmi
Logic demystified
Yazar 
Boutelle, Anthony. Gibilisco, Stan.
Yer Numarası 
ONLINE
Elektronik Erişim 
Subscription required
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Introduction to logic için kapak resmi
Introduction to logic
Yazar 
Suppes, Patrick Colonel, 1922-
Yer Numarası 
BC 108 S85 1957
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
3. 
VHDL for logic synthesis için kapak resmi
VHDL for logic synthesis
Yazar 
Rushton, Andrew.
Yer Numarası 
ONLINE
Elektronik Erişim 
Books24x7 http://www.books24x7.com/marc.asp?bookid=41715
John Wiley http://dx.doi.org/10.1002/9781119995852
http://proquest.safaribooksonline.com/?fpi=9780470688472
Cover image http://catalogimages.wiley.com/images/db/jimages/9780470688472.jpg
http://proquest.safaribooksonline.com/9780470688472
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Advances in modal logic için kapak resmi
Advances in modal logic
Yazar 
Kracht, Marcus, ed.
Yer Numarası 
BC 199.M6 A38 1998- V.1
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
5. 
Aspects of Mathematical Logic için kapak resmi
Aspects of Mathematical Logic
Yazar 
Casari, E. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-11080-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Memory-Based Logic Synthesis için kapak resmi
Memory-Based Logic Synthesis
Yazar 
Sasao, Tsutomu. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-8104-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
The logic of practice için kapak resmi
The logic of practice
Yazar 
Bourdieu, Pierre, 1930-2002
Yer Numarası 
GN 468 B6813 1990
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
8. 
Hybrid Logic and its Proof-Theory için kapak resmi
Hybrid Logic and its Proof-Theory
Yazar 
Braüner, Torben. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0002-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Gentzen Calculi for Modal Propositional Logic için kapak resmi
Gentzen Calculi for Modal Propositional Logic
Yazar 
Poggiolesi, Francesca. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-9670-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Handbook of Philosophical Logic Volume 16 için kapak resmi
Handbook of Philosophical Logic Volume 16
Yazar 
Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0479-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Handbook of Philosophical Logic Volume 15 için kapak resmi
Handbook of Philosophical Logic Volume 15
Yazar 
Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0485-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Mathematical logic : A course with exercises için kapak resmi
Mathematical logic : A course with exercises
Yazar 
Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Yer Numarası 
QA 9 C742513 2000 PT.1
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
Eylem Seç