Arama Sonuçlarını Sınırlandır
Yazar
Akay, Metin.
(3)
IEEE Engineering in Medicine and Biology Society.
(3)
Adler, Mortimer Jerome, 1902-
(1)
Akay, Metin, ed.
(1)
Ambrose, Alice, 1906-
(1)
Dil
Konu
Logic, Symbolic and mathematical.
(8)
MANTIK, SEMBOLİK VE MATEMATİKİ.
(4)
MANTIK.
(4)
Biomedical engineering.
(3)
Electronic books.
(3)
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ç
38 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Dynamic logic için kapak resmi
Dynamic logic
Yazar 
Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400
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. 
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:
4. 
Chance, love and logic : philosophical essays için kapak resmi
Chance, love and logic : philosophical essays
Yazar 
Peirce, Charles Sanders, 1839-1914. Cohen, Morris Raphael, 1880-1947. Dewey, John, 1859-1952.
Yer Numarası 
B 945.P43 C5 1923 (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
5. 
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:
6. 
Logic : the theory of formal inference için kapak resmi
Logic : the theory of formal inference
Yazar 
Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.
Yer Numarası 
BC 108 A55 1972
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
7. 
Studies in inductive logic and probability için kapak resmi
Studies in inductive logic and probability
Yazar 
Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.
Yer Numarası 
QA 273.4 C37 1971-
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
8. 
The logic of knowledge bases için kapak resmi
The logic of knowledge bases
Yazar 
Levesque, Hector J., 1951- Lakemeyer, Gerhard.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Computers : from logic to architecture için kapak resmi
Computers : from logic to architecture
Yazar 
Dowsing, R. (Roy) Woodhams, Frank. Marshall, Ian.
Yer Numarası 
QA 76.9.A73 D45 2000
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
10. 
VHDL coding and logic synthesis with Synopsys için kapak resmi
VHDL coding and logic synthesis with Synopsys
Yazar 
Lee, Weng Fook.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780124406513
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
The limits of science : outline of logic and of the methodology of the exact sciences için kapak resmi
The limits of science : outline of logic and of the methodology of the exact sciences
Yazar 
Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-
Yer Numarası 
Q 175 C494 1948 A (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
12. 
Nonlinear biomedical signal processing. Volume 1, Fuzzy logic, neural networks, and new algorithms için kapak resmi
Nonlinear biomedical signal processing. Volume 1, Fuzzy logic, neural networks, and new algorithms
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=5263178
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: