Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(24)
Wallis, W.D. author.
(2)
Andreescu, Titu. author.
(1)
Atanassov, Krassimir T. author.
(1)
Ayeni, Babatunde J.
(1)
Dil
Konu
Logic, Symbolic and mathematical.
(33)
Mathematics.
(13)
Computer science.
(10)
MANTIK, SEMBOLİK VE MATEMATİKİ.
(6)
Combinatorics.
(5)
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
13. 
Mathematics of Discrete Structures for Computer Science için kapak resmi
Mathematics of Discrete Structures for Computer Science
Yazar 
Pace, Gordon J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29840-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes için kapak resmi
Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
Yazar 
Bezhanishvili, Nick. editor. Goranko, Valentin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-31485-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics için kapak resmi
The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics
Yazar 
Moot, Richard. author. Retoré, Christian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-31555-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Logic: A Brief Course için kapak resmi
Logic: A Brief Course
Yazar 
Mundici, Daniele. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-88-470-2361-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Frege's notations what they are and how they mean için kapak resmi
Frege's notations what they are and how they mean
Yazar 
Landini, Gregory. Palgrave Connect (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=433320
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Gd̲el's way exploits into an undecidable world için kapak resmi
Gd̲el's way exploits into an undecidable world
Yazar 
Chaitin, Gregory J. Doria, Francisco Antn̥io. Costa, Newton C. A. da.
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:
19. 
Peeling potatoes or grinding lenses Spinoza and young Wittgenstein converse on immanence and its logic için kapak resmi
Peeling potatoes or grinding lenses Spinoza and young Wittgenstein converse on immanence and its logic
Yazar 
Baltas, Aristeidēs. Project Muse.
Yer Numarası 
ONLINE
Elektronik Erişim 
Full text available:
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Industrial control systems mathematical and statistical models and techniques için kapak resmi
Industrial control systems mathematical and statistical models and techniques
Yazar 
Badiru, Adedeji Bodunde, 1952- Ibidapo-Obe, Oye. Ayeni, Babatunde J.
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:
21. 
Hybrid Dynamical Systems : Modeling, Stability, and Robustness. için kapak resmi
Hybrid Dynamical Systems : Modeling, Stability, and Robustness.
Yazar 
Goebel, Rafal. Sanfelice, Ricardo G. Teel, Andrew R.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://www.jstor.org/stable/10.2307/j.ctt7s02z
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
The logician and the engineer : how George Boole and Claude Shannon created the information age için kapak resmi
The logician and the engineer : how George Boole and Claude Shannon created the information age
Yazar 
Nahin, Paul J.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://www.jstor.org/stable/10.2307/j.cttq957s
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Foundations of Algebraic Specification and Formal Software Development için kapak resmi
Foundations of Algebraic Specification and Formal Software Development
Yazar 
Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-17336-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers için kapak resmi
Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
Yazar 
Mossakowski, Till. editor. Kreowski, Hans-Jörg. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-28412-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: