Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(203)
Project Muse.
(5)
Maciaszek, Leszek A. editor.
(3)
Aalst, Wil M. P. editor.
(2)
Baldoni, Matteo. editor.
(2)
Dil
Konu
Computer science.
(164)
Logic design.
(113)
Logics and Meanings of Programs.
(104)
Mathematical Logic and Formal Languages.
(101)
Software engineering.
(89)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
255 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
Yazar 
McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335196.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-45221-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
The Aristotelian Tradition and the Rise of British Empiricism Logic and Epistemology in the British Isles (1570–1689) için kapak resmi
The Aristotelian Tradition and the Rise of British Empiricism Logic and Epistemology in the British Isles (1570–1689)
Yazar 
Sgarbi, Marco. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335856.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-4951-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Selected Advances in Nanoelectronic Devices Logic, Memory and RF için kapak resmi
Selected Advances in Nanoelectronic Devices Logic, Memory and RF
Yazar 
Joodaki, Mojtaba. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333427.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-31350-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Architecture and Design of Molecule Logic Gates and Atom Circuits Proceedings of the 2nd AtMol European Workshop için kapak resmi
Architecture and Design of Molecule Logic Gates and Atom Circuits Proceedings of the 2nd AtMol European Workshop
Yazar 
Lorente, Nicolas. editor. Joachim, Christian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333670.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33137-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
Fundamentals of the Fuzzy Logic-Based Generalized Theory of Decisions için kapak resmi
Fundamentals of the Fuzzy Logic-Based Generalized Theory of Decisions
Yazar 
Aliev, Rafik Aziz. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333898.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-34895-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Early Software Reliability Prediction A Fuzzy Logic Approach için kapak resmi
Early Software Reliability Prediction A Fuzzy Logic Approach
Yazar 
Pandey, Ajeet Kumar. author. Goyal, Neeraj Kumar. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335512.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-81-322-1176-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Design, Analysis and Test of Logic Circuits Under Uncertainty için kapak resmi
Design, Analysis and Test of Logic Circuits Under Uncertainty
Yazar 
Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335669.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-9644-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Kurt Gödel Essays for his Centennial için kapak resmi
Kurt Gödel Essays for his Centennial
Yazar 
Feferman, Solomon. Parsons, Charles. Simpson, Stephen G..
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Visual Reasoning with Diagrams için kapak resmi
Visual Reasoning with Diagrams
Yazar 
Moktefi, Amirouche. editor. Shin, Sun-Joo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332637.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-0348-0600-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Towards a General Theory of Classifications için kapak resmi
Towards a General Theory of Classifications
Yazar 
Parrochia, Daniel. author. Neuville, Pierre. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332639.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-0348-0609-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
The Nature of Truth An updated approach to the meaning of truth ascriptions için kapak resmi
The Nature of Truth An updated approach to the meaning of truth ascriptions
Yazar 
Frapolli, Maria Jose. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335763.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-4464-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
The Argument of Mathematics için kapak resmi
The Argument of Mathematics
Yazar 
Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(336263.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-6534-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets