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ç
2886 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
2833. 
Cafe an industrial-strength algebraic formal method için kapak resmi
Cafe an industrial-strength algebraic formal method
Yazar 
Futatsugi, Kokichi. Tamai, T. (Tetsuo) Nakagawa, A. T. (Ataru T.)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444505569
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2834. 
Nonlinear biomedical signal processing. Volume 2, Dynamic analysis and modeling için kapak resmi
Nonlinear biomedical signal processing. Volume 2, Dynamic analysis and modeling
Yazar 
Akay, Metin. IEEE Engineering in Medicine and Biology Society.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263163
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2835. 
Engineering digital design için kapak resmi
Engineering digital design
Yazar 
Tinder, Richard F. (Richard Franchere), 1930-2011. Tinder, Richard F. (Richard Franchere), 1930-2011. Digital engineering design.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780126912951
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2836. 
Sembolik mantık el kitabı için kapak resmi
Sembolik mantık el kitabı
Yazar 
Grünberg, Teo.
Yer Numarası 
BC 135 G969 2000 V.2
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
2837. 
Wissenschaft der Logik için kapak resmi
Wissenschaft der Logik
Yazar 
Hegel, Georg Wilhelm Friedrich. Jaeschke, Walter von. Gawoll, Hans-Jürgen.
Yer Numarası 
B2942 H444 1999 BAND 11
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2838. 
Symbolic Methods in Control System Analysis and Design için kapak resmi
Symbolic Methods in Control System Analysis and Design
Yazar 
Munro, Neil, ed.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1049/PBCE056E
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2839. 
Fuzzy theory systems techniques and applications için kapak resmi
Fuzzy theory systems techniques and applications
Yazar 
Leondes, Cornelius T.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780124438705
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2840. 
Optimization methods for logical inference için kapak resmi
Optimization methods for logical inference
Yazar 
Chandru, Vijay, 1953- Hooker, John, 1949-
Yer Numarası 
ONLINE
Elektronik Erişim 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Ebook Library Click here to view book
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley042/98044622.html
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2841. 
Mantık için kapak resmi
Mantık
Yazar 
Çüçen, A. Kadir.
Yer Numarası 
BC117.T8 C46 1999
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2842. 
Beyin geliştirme için kapak resmi
Beyin geliştirme
Yazar 
Vos Savant, Marilyn Mach. Fleischer, Leonore. Şen, Cem.
Yer Numarası 
BF441 V67 1999
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2843. 
On Aristotle On interpretation 9 için kapak resmi
On Aristotle On interpretation 9
Yazar 
Ammonius, Hermiae. Boethius, d. 524. In Aristotelis De interpretatione commentarius. Kephalaia 9. English. Blank, David L. Kretzmann, Norman.
Yer Numarası 
B 439 A5513 1998
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2844. 
Blazing saddles için kapak resmi
Blazing saddles
Yazar 
Hertzberg, Michael. Brooks, Mel, 1926- Little, Cleavon. Wilder, Gene, 1935- Pickens, Slim.
Yer Numarası 
PN1995.9.W4 B53 1998
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
Eylem Seç