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
37. 
Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition) için kapak resmi
Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)
Yazar 
Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-36874-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Fundamentals of Switching Theory and Logic Design A Hands on Approach için kapak resmi
Fundamentals of Switching Theory and Logic Design A Hands on Approach
Yazar 
Astola, Jaakko T. author. Stanković, Radomir S. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-30311-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Soft-Computing mit Neuronalen Netzen, Fuzzy-Logic und Evolutionären Algorithmen için kapak resmi
Soft-Computing mit Neuronalen Netzen, Fuzzy-Logic und Evolutionären Algorithmen
Yazar 
Lippe, Wolfram-Manfred. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-29274-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers için kapak resmi
Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers
Yazar 
Bloch, Isabelle. editor. Petrosino, Alfredo. editor. Tettamanzi, Andrea G. B. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11676935
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers için kapak resmi
Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
Yazar 
Hill, Patricia M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11680093
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers için kapak resmi
Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers
Yazar 
Hnich, Brahim. editor. Carlsson, Mats. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11754602
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings için kapak resmi
Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings
Yazar 
Goble, Lou. editor. Meyer, John-Jules Ch. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11786849
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Low-power CMOS circuits technology, logic design and CAD tools için kapak resmi
Low-power CMOS circuits technology, logic design and CAD tools
Yazar 
Piguet, Christian.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Signs of logic Peircean themes on the philosophy of language, games, and communication için kapak resmi
Signs of logic Peircean themes on the philosophy of language, games, and communication
Yazar 
Pietarinen, Ahti-Veikko. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-3729-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today için kapak resmi
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today
Yazar 
Benthem, Johan. Heinzmann, Gerhard. Rebuschi, Manuel. Visser, Henk. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-5012-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Mathematical Problems from Applied Logic I Logics for the XXIst Century için kapak resmi
Mathematical Problems from Applied Logic I Logics for the XXIst Century
Yazar 
Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-31072-X
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
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:
Eylem Seç