Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(139)
Wiley InterScience (Online service)
(3)
Baldoni, Matteo. editor.
(2)
Bjørner, Dines. author.
(2)
Carnap, Rudolf, 1891-1970.
(2)
Dil
Konu
Computer science.
(112)
Logic design.
(98)
Software engineering.
(66)
Artificial intelligence.
(43)
Computer Communication Networks.
(31)
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ç
192 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Cost optimization of structures fuzzy logic, genetic algorithms, and parallel computing için kapak resmi
Cost optimization of structures fuzzy logic, genetic algorithms, and parallel computing
Yazar 
Adeli, Hojjat, 1950- Sarma, Kamal C. (Kamal Chandra), 1955- Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
John Wiley http://dx.doi.org/10.1002/0470867353
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction için kapak resmi
Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction
Yazar 
Nicod, Jean, 1893-1924.
Yer Numarası 
QA 681 N5 1930 (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
3. 
Logical studies için kapak resmi
Logical studies
Yazar 
Wright, Georg Henrik von, 1916-
Yer Numarası 
BC 6 W72 1957 (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
4. 
A treatise on induction and probability için kapak resmi
A treatise on induction and probability
Yazar 
Wright, Georg Henrik von, 1916-
Yer Numarası 
BC 91 W72 1951 (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
5. 
The foundations of mathematics : and other logical essays için kapak resmi
The foundations of mathematics : and other logical essays
Yazar 
Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.
Yer Numarası 
QA 9 R23 1931
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
6. 
The nature of mathematics : a critical survey için kapak resmi
The nature of mathematics : a critical survey
Yazar 
Black, Max, 1909-
Yer Numarası 
QA 9 B62 1933 (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
7. 
Cylindric algebras için kapak resmi
Cylindric algebras
Yazar 
Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.
Yer Numarası 
QA 9 H415 1971- V.1
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
8. 
An examination of logical positivism için kapak resmi
An examination of logical positivism
Yazar 
Weinberg, Julius Rudolf, 1908-
Yer Numarası 
B 824.6 W434 1936 (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
9. 
CAMEL intelligent networks for the GSM, GPSR and UMTS network için kapak resmi
CAMEL intelligent networks for the GSM, GPSR and UMTS network
Yazar 
Noldus, Rogier. John Wiley & Sons.
Yer Numarası 
ONLINE
Elektronik Erişim 
John Wiley http://dx.doi.org/10.1002/0470028483
http://www3.interscience.wiley.com/cgi-bin/bookhome/112633471
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Relation algebras için kapak resmi
Relation algebras
Yazar 
Maddux, R. D. (Roger D.), 1948-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444520135
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Lectures on the Curry-Howard isomorphism için kapak resmi
Lectures on the Curry-Howard isomorphism
Yazar 
Sørensen, Morten Heine. Urzyczyn, Paweł.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444520777
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Intuition and the Axiomatic Method için kapak resmi
Intuition and the Axiomatic Method
Yazar 
Carson, Emily. Huber, Renate. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-4040-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç