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
2833. 
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:
2834. 
Small Signal Microwave Amplifier Design için kapak resmi
Small Signal Microwave Amplifier Design
Yazar 
Grosch, Theodore
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1049/SBEW032E
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2835. 
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:
2836. 
Quantum theoretic machines what is thought from the point of view of physics için kapak resmi
Quantum theoretic machines what is thought from the point of view of physics
Yazar 
Stern, August, 1945-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444826183
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2837. 
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:
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. 
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:
2842. 
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:
2843. 
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:
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ç