Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(2670)
Project Muse.
(22)
Kacprzyk, Janusz. editor.
(19)
Voronkov, Andrei. editor.
(19)
Wiley InterScience (Online service)
(13)
Dil
Yayın Yılı
-
Konu
Computer science.
(1518)
Logic design.
(1202)
Software engineering.
(1078)
Artificial intelligence.
(893)
Computer Communication Networks.
(358)
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ç
3889 sonuç bulundu Arama sonuçlarına abone ol
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT_TR
Yazdır
1. 
Lies language and logic in the late Middle Ages için kapak resmi
Lies language and logic in the late Middle Ages
Yazar 
Spade, Paul Vincent.
Yer Numarası 
BC 34.S11 L54 1988
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
2. 
Microprocessors and programmed logic : solutions manualto even numbered problems için kapak resmi
Microprocessors and programmed logic : solutions manualto even numbered problems
Yazar 
Short, Kenneth L.
Yer Numarası 
QA 76.5 S496 1987
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
3. 
Introductory statistics for psychology : the logic and the methods için kapak resmi
Introductory statistics for psychology : the logic and the methods
Yazar 
Levine, Gustav.
Yer Numarası 
BF 39 L379 1981
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
4. 
Logic and philosophy : logique et philosophie ; international institute of philosophy symposium in Düsseldorf, 27 August-1 September 1978 için kapak resmi
Logic and philosophy : logique et philosophie ; international institute of philosophy symposium in Düsseldorf, 27 August-1 September 1978
Yazar 
Wright, G.H., Von. ed.
Yer Numarası 
BC 51 L58 1980
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
5. 
Model theory for model logic : kripke models for modal predicate calculi için kapak resmi
Model theory for model logic : kripke models for modal predicate calculi
Yazar 
Bowen, Kenneth A.
Yer Numarası 
QA 9.46 B68 1979
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
6. 
The logic of Leviathan the moral and political theory of Thomas Hobbes için kapak resmi
The logic of Leviathan the moral and political theory of Thomas Hobbes
Yazar 
Gauthier, David P.
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198246169.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Foundations of logico-linquistics : a unified theory of information, language, and logic için kapak resmi
Foundations of logico-linquistics : a unified theory of information, language, and logic
Yazar 
Cooper, William S.
Yer Numarası 
P 39 C68 1978
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
8. 
Digital logic and switching circuits : operation and analysis için kapak resmi
Digital logic and switching circuits : operation and analysis
Yazar 
Boyce, Jefferson C.
Yer Numarası 
QA 401 B62 1975
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
9. 
Intensional and higher-order modal logic with applications to Montague semantics için kapak resmi
Intensional and higher-order modal logic with applications to Montague semantics
Yazar 
Gallin, Daniel.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444110022
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Logic design a review of theory and practice için kapak resmi
Logic design a review of theory and practice
Yazar 
Langdon, Glen G.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780124365506
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
An Outline of mathematical logic : fundamental results and notions explained with all details için kapak resmi
An Outline of mathematical logic : fundamental results and notions explained with all details
Yazar 
Grzegorczyk, Andrzej.
Yer Numarası 
BC 131 G7 1974
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
12. 
Language, logic and genre : papes from the poetics and literary theory section, modern language association ;ed. by Wallace Martin. için kapak resmi
Language, logic and genre : papes from the poetics and literary theory section, modern language association ;ed. by Wallace Martin.
Yazar 
Martin, Wallace., ed.
Yer Numarası 
PN 45 L317 1974
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
13. 
A System of logic ratiocinative and inductive : being a connected view of the principles of evidence and the methods of scientific investigation için kapak resmi
A System of logic ratiocinative and inductive : being a connected view of the principles of evidence and the methods of scientific investigation
Yazar 
Mill, John Stuart, 1806-1873. Robson, J. M., ed.
Yer Numarası 
BC 91 M5 1973-74 C.1-2 V.1
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
14. 
Experience and judgment : investigations in a genealogy of logic için kapak resmi
Experience and judgment : investigations in a genealogy of logic
Yazar 
Husserl, Edmund, 1859-1938.
Yer Numarası 
BC 181 H8 1973
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
15. 
Deductive logic : an introduction to evaluation techniques and logical theory için kapak resmi
Deductive logic : an introduction to evaluation techniques and logical theory
Yazar 
Clarke, David S., 1936-
Yer Numarası 
BC 71 C53 1973
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
16. 
Theory of science : attemp at a detailed and in the main novel exposition of logic with constant attention to earlier authors için kapak resmi
Theory of science : attemp at a detailed and in the main novel exposition of logic with constant attention to earlier authors
Yazar 
Bolzano, Bernard, 1781-1848. George, Rolf., ed.
Yer Numarası 
B 2967.B6 W561 1972
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
17. 
Probabilities, problems, and paradoxes : readings in inductive logic için kapak resmi
Probabilities, problems, and paradoxes : readings in inductive logic
Yazar 
Luckenbach, Sidney A.
Yer Numarası 
BC 91 L83 1972
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
18. 
Derivation and counterexample : an introduction to philosophical logic için kapak resmi
Derivation and counterexample : an introduction to philosophical logic
Yazar 
Lambert, Karel, 1928-
Yer Numarası 
BC 51 L35 1972
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
19. 
Community power democratic theory : the logic political analysis için kapak resmi
Community power democratic theory : the logic political analysis
Yazar 
Ricci, David M.
Yer Numarası 
JC 330 R53 1971
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
20. 
Generalization in ethics : an essays in the logic of ethics, with the rudiments of moral philosophy için kapak resmi
Generalization in ethics : an essays in the logic of ethics, with the rudiments of moral philosophy
Yazar 
Singer, Marcus George, 1926-
Yer Numarası 
BJ 1011 S55 1971
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
21. 
Foundations of analysis, with an introduction to logic and set theory için kapak resmi
Foundations of analysis, with an introduction to logic and set theory
Yazar 
Clarke, Douglas A., ort. yaz.
Yer Numarası 
QA 300 F68 1971
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
22. 
Historians fallacies : toward a logic of historical thought için kapak resmi
Historians fallacies : toward a logic of historical thought
Yazar 
Fischer, David Hackett, 1935-
Yer Numarası 
D 16 F53 1970
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
23. 
Physics, logic and history : based on the First International Colloquium held at the University of Denver, May 116-20, 1966 için kapak resmi
Physics, logic and history : based on the First International Colloquium held at the University of Denver, May 116-20, 1966
Yazar 
Yourgrau, Wolfgang, ed. Breck, Allen D., ed.
Yer Numarası 
QC 6 P47 1970
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
24. 
The refulation of determinism : an essay in philosophical logic için kapak resmi
The refulation of determinism : an essay in philosophical logic
Yazar 
Ayers, Michael Richard.
Yer Numarası 
BJ 1461 A8 1968
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
25. 
Logic and algorithms : with applications to the computer and information sciences için kapak resmi
Logic and algorithms : with applications to the computer and information sciences
Yazar 
Korfhage, Robert R.
Yer Numarası 
QA 9 K678 1966
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
26. 
The axiomatic method : an introduction to mathematical logic için kapak resmi
The axiomatic method : an introduction to mathematical logic
Yazar 
Lightstone, A. H.
Yer Numarası 
QA 248 L53 1964
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
27. 
Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus. için kapak resmi
Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus.
Yazar 
Goodstein, Reuben Louis.
Yer Numarası 
QA 241 G6293 1957
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
28. 
Knowledge and belief : an introduction to the logic of the two notions için kapak resmi
Knowledge and belief : an introduction to the logic of the two notions
Yazar 
Hintikka, Kaarlo Jaakko Juhani, 1929-
Yer Numarası 
B 4691.H43 K6 1962
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
29. 
The structure of science : problems in the logic of scientific explanation için kapak resmi
The structure of science : problems in the logic of scientific explanation
Yazar 
Nagel, Ernest, 1901-
Yer Numarası 
Q 175 N22 1961
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
30. 
Meaning and necessity : a study in semantics and model logic için kapak resmi
Meaning and necessity : a study in semantics and model logic
Yazar 
Carnap, Rudolf, 1891-
Yer Numarası 
B 840 C3 1956
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
31. 
The logic of Hegel : translated from the Encyclopaedia of the philosophical sciences için kapak resmi
The logic of Hegel : translated from the Encyclopaedia of the philosophical sciences
Yazar 
Hegel, Georg Wilhelm Friedrich, 1770-1831. Wallace, William, 1844-1897, translator.
Yer Numarası 
B2918.E5 W3
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
32. 
Handbook of quantum logic and quantum structures quantum structures. için kapak resmi
Handbook of quantum logic and quantum structures quantum structures.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444528704
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Dictionary of logic : as applied in the study of language : concepts, methods, theories için kapak resmi
Dictionary of logic : as applied in the study of language : concepts, methods, theories
Yer Numarası 
REF/BC 9 D48 1981
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
34. 
Warren's abstract machine a tutorial reconstruction için kapak resmi
Warren's abstract machine a tutorial reconstruction
Yazar 
Aït-Kaci, Hassan, 1954-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
The Practice of Prolog için kapak resmi
The Practice of Prolog
Yazar 
Sterling, Leon.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267439
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Paradoxes için kapak resmi
Paradoxes
Yazar 
Łukowski, Piotr. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-1476-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
37. 
Goguen Categories A Categorical Approach to L-fuzzy Relations için kapak resmi
Goguen Categories A Categorical Approach to L-fuzzy Relations
Yazar 
Winter, Michael. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6164-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Truth and Falsehood An Inquiry into Generalized Logical Values için kapak resmi
Truth and Falsehood An Inquiry into Generalized Logical Values
Yazar 
Shramko, Yaroslav. author. Wansing, Heinrich. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0907-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Proofs and Computations için kapak resmi
Proofs and Computations
Yazar 
Schwichtenberg, Helmut. Wainer, Stanley S..
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Methods of Cut-Elimination için kapak resmi
Methods of Cut-Elimination
Yazar 
Leitsch, Alexander. author. Baaz, Matthias. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0320-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Dual Tableaux: Foundations, Methodology, Case Studies için kapak resmi
Dual Tableaux: Foundations, Methodology, Case Studies
Yazar 
Orlowska, Ewa. author. Golińska Pilarek, Joanna. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0005-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Advanced Łukasiewicz calculus and MV-algebras için kapak resmi
Advanced Łukasiewicz calculus and MV-algebras
Yazar 
Mundici, D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0840-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Philosophy of Syntax Foundational Topics için kapak resmi
Philosophy of Syntax Foundational Topics
Yazar 
Talasiewicz, Mieszko. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-3288-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Natural Deduction, Hybrid Systems and Modal Logics için kapak resmi
Natural Deduction, Hybrid Systems and Modal Logics
Yazar 
Indrzejczak, Andrzej. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-8785-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Category theory için kapak resmi
Category theory
Yazar 
Awodey, Steve, 1959-
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=375073
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Logical Foundations of Proof Complexity için kapak resmi
Logical Foundations of Proof Complexity
Yazar 
Cook, Stephen. Nguyen, Phuong.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Subsystems of Second Order Arithmetic için kapak resmi
Subsystems of Second Order Arithmetic
Yazar 
Simpson, Stephen G..
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Proof Theory for Fuzzy Logics için kapak resmi
Proof Theory for Fuzzy Logics
Yazar 
Metcalfe, George. author. Olivetti, Nicola. author. Gabbay, Dov. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-9409-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
49. 
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems için kapak resmi
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems
Yazar 
Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6782-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Constructive Negations and Paraconsistency için kapak resmi
Constructive Negations and Paraconsistency
Yazar 
Odintsov, Sergei P. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6867-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
A Modern Perspective on Type Theory From its Origins until Today için kapak resmi
A Modern Perspective on Type Theory From its Origins until Today
Yazar 
Kamareddine, Fairouz. author. Laan, Twan. author. Nederpelt, Rob. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-2335-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Reasoning Robots The Art and Science of Programming Robotic Agents için kapak resmi
Reasoning Robots The Art and Science of Programming Robotic Agents
Yazar 
Thielscher, Michael. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-3069-X
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
Topological and algebraic structures in fuzzy sets : a handbook of recent developments in the mathematics of fuzzy sets için kapak resmi
Topological and algebraic structures in fuzzy sets : a handbook of recent developments in the mathematics of fuzzy sets
Yazar 
Rodabaugh, Stephen Ernest, ed. Klement, Erich Peter, ed.
Yer Numarası 
QA 248.5 T67 2003
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
54. 
Triangular norms için kapak resmi
Triangular norms
Yazar 
Klement, Erich Peter Mesiar, Radko, ort. yaz.. Pap, Endre, ort. yaz.
Yer Numarası 
QA 329 K54 2000
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
55. 
Quantifiers, Propositions and Identity Admissible Semantics for Quantified Modal and Substructural Logics için kapak resmi
Quantifiers, Propositions and Identity Admissible Semantics for Quantified Modal and Substructural Logics
Yazar 
Goldblatt, Robert.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
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. 
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:
58. 
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:
59. 
Around and Beyond the Square of Opposition için kapak resmi
Around and Beyond the Square of Opposition
Yazar 
Béziau, Jean-Yves. editor. Jacquette, Dale. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-0348-0379-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
A course in model theory için kapak resmi
A course in model theory
Yazar 
Tent, Katrin, 1963- Ziegler, Martin.
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=438561
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
61. 
Wadge Degrees and Projective Ordinals The Cabal Seminar Volume II için kapak resmi
Wadge Degrees and Projective Ordinals The Cabal Seminar Volume II
Yazar 
Kechris, Alexander S.. Löwe, Benedikt. Steel, John R..
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
62. 
Simple Theories and Hyperimaginaries için kapak resmi
Simple Theories and Hyperimaginaries
Yazar 
Casanovas, Enrique.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
63. 
Set Theory, Arithmetic, and Foundations of Mathematics Theorems, Philosophies için kapak resmi
Set Theory, Arithmetic, and Foundations of Mathematics Theorems, Philosophies
Yazar 
Kennedy, Juliette. Kossak, Roman.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
64. 
A Framework for Priority Arguments için kapak resmi
A Framework for Priority Arguments
Yazar 
Lerman, Manuel.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
65. 
Institution-independent Model Theory için kapak resmi
Institution-independent Model Theory
Yazar 
Diaconescu, Răzvan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-7643-8708-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
66. 
Games, Scales and Suslin Cardinals: The Cabal Seminar Volume I için kapak resmi
Games, Scales and Suslin Cardinals: The Cabal Seminar Volume I
Yazar 
Kechris, Alexander S.. Löwe, Benedikt. Steel, John R..
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
67. 
Completeness Theory for Propositional Logics için kapak resmi
Completeness Theory for Propositional Logics
Yazar 
Pogorzelski, Witold A. author. Wojtylak, Piotr. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-7643-8518-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
68. 
Stable Domination and Independence in Algebraically Closed Valued Fields için kapak resmi
Stable Domination and Independence in Algebraically Closed Valued Fields
Yazar 
Haskell, Deirdre. Hrushovski, Ehud. Macpherson, Dugald.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
69. 
The reach of abduction insight and trial için kapak resmi
The reach of abduction insight and trial
Yazar 
Gabbay, Dov M., 1945- Woods, John (John Hayden)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444517913
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
70. 
Agenda relevance a study in formal pragmatics için kapak resmi
Agenda relevance a study in formal pragmatics
Yazar 
Gabbay, Dov M., 1945- Woods, John (John Hayden)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444513854
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
71. 
Category Theory Using Haskell An Introduction with Moggi and Yoneda için kapak resmi
Category Theory Using Haskell An Introduction with Moggi and Yoneda
Yazar 
Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-68538-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
72. 
Guide to Software Verification with Frama-C Core Components, Usages, and Applications için kapak resmi
Guide to Software Verification with Frama-C Core Components, Usages, and Applications
Yazar 
Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Prevosto, Virgile. editor. Signoles, Julien. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-55608-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
73. 
Structural Decision Diagrams in Digital Test Theory and Applications için kapak resmi
Structural Decision Diagrams in Digital Test Theory and Applications
Yazar 
Ubar, Raimund. author. Raik, Jaan. author. Jenihhin, Maksim. author. Jutman, Artur. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-44734-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
74. 
Petri Net Primer A Compendium on the Core Model, Analysis, and Synthesis için kapak resmi
Petri Net Primer A Compendium on the Core Model, Analysis, and Synthesis
Yazar 
Best, Eike. author. (orcid)0000-0003-0884-6468 Devillers, Raymond. author. (orcid)0000-0002-4339-2708 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-48278-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
75. 
Algorithms for Constructing Computably Enumerable Sets için kapak resmi
Algorithms for Constructing Computably Enumerable Sets
Yazar 
Supowit, Kenneth J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26904-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
76. 
A midwestern mosaic immigration and political socialization in rural America için kapak resmi
A midwestern mosaic immigration and political socialization in rural America
Yazar 
Lay, J. Celeste. Project Muse.
Yer Numarası 
ONLINE
Elektronik Erişim 
Full text available:
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
77. 
Frank Ankersmit's lost historical cause a journey from language to experience için kapak resmi
Frank Ankersmit's lost historical cause a journey from language to experience
Yazar 
Icke, Peter P.
Yer Numarası 
ONLINE
Elektronik Erişim 
Click here to view
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
78. 
Civic talk peers, politics, and the future of democracy için kapak resmi
Civic talk peers, politics, and the future of democracy
Yazar 
Klofstad, Casey A. (Casey Andrew), 1976- Project Muse.
Yer Numarası 
ONLINE
Elektronik Erişim 
Full text available:
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
79. 
Civic talk: peers, politics, and the future of democracy için kapak resmi
Civic talk: peers, politics, and the future of democracy
Yazar 
Klofstad, Casey A.
Yer Numarası 
JA85.2.U6 K56 2011
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
80. 
Cleavage politics and the populist right the new cultural conflict in Western Europe için kapak resmi
Cleavage politics and the populist right the new cultural conflict in Western Europe
Yazar 
Bornschier, Simon. Project Muse.
Yer Numarası 
ONLINE
Elektronik Erişim 
Full text available:
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
81. 
Francis Bacon : duyumsamanın mantığı için kapak resmi
Francis Bacon : duyumsamanın mantığı
Yazar 
Deleuze, Gilles. Bacon, Francis. Batukan, Can. Erbay, Ece.
Yer Numarası 
ND497.B16 D413 2009
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
82. 
Anaphora and Type Logical Grammar için kapak resmi
Anaphora and Type Logical Grammar
Yazar 
JÄger, Gerhard. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-3905-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
83. 
Coherent systems için kapak resmi
Coherent systems
Yazar 
Schlechta, Karl.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444517890
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
84. 
Pluralism against the demand for consensus için kapak resmi
Pluralism against the demand for consensus
Yazar 
Rescher, Nicholas.
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198236016.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
85. 
Without good reason the rationality debate in philosophy and cognitive science için kapak resmi
Without good reason the rationality debate in philosophy and cognitive science
Yazar 
Stein, Edward, 1965-
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198237730.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
86. 
A model of the universe space-time, probability, and decision için kapak resmi
A model of the universe space-time, probability, and decision
Yazar 
McCall, Storrs.
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198236221.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
87. 
Truth, fiction, and literature a philosophical perspective için kapak resmi
Truth, fiction, and literature a philosophical perspective
Yazar 
Lamarque, Peter. Olsen, Stein Haugom, 1946-
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198236818.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
88. 
Sensory qualities için kapak resmi
Sensory qualities
Yazar 
Clark, Austen.
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198236801.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
89. 
Concurrent constraint programming için kapak resmi
Concurrent constraint programming
Yazar 
Saraswat, Vijay.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267500
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
90. 
Metaphor its cognitive force and linguistic structure için kapak resmi
Metaphor its cognitive force and linguistic structure
Yazar 
Kittay, Eva Feder.
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198242468.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
91. 
Quality and concept için kapak resmi
Quality and concept
Yazar 
Bealer, George.
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198244288.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
92. 
Divine commands and moral requirements için kapak resmi
Divine commands and moral requirements
Yazar 
Quinn, Philip L.
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198244134.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
93. 
The probable and the provable için kapak resmi
The probable and the provable
Yazar 
Cohen, L. Jonathan (Laurence Jonathan)
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198244127.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
94. 
Simplicity için kapak resmi
Simplicity
Yazar 
Sober, Elliott.
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198244073.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
95. 
Experiences an inquiry into some ambiguities için kapak resmi
Experiences an inquiry into some ambiguities
Yazar 
Hinton, John, 1926-
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198244035.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
96. 
The foundations of mathematics için kapak resmi
The foundations of mathematics
Yazar 
Kunen, Kenneth.
Yer Numarası 
QA9 K796 2012
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
97. 
The Realism-Antirealism Debate in the Age of Alternative Logics için kapak resmi
The Realism-Antirealism Debate in the Age of Alternative Logics
Yazar 
Rahman, Shahid. editor. Primiero, Giuseppe. editor. Marion, Mathieu. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-1923-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
98. 
Special Sciences and the Unity of Science için kapak resmi
Special Sciences and the Unity of Science
Yazar 
Pombo, Olga. editor. Torres, Juan Manuel. editor. Symons, John. editor. Rahman, Shahid. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-2030-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
99. 
Approaches to Legal Rationality için kapak resmi
Approaches to Legal Rationality
Yazar 
Gabbay, Dov M. editor. Canivez, Patrice. editor. Rahman, Shahid. editor. Thiercelin, Alexandre. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-9588-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
100. 
Belief Revision meets Philosophy of Science için kapak resmi
Belief Revision meets Philosophy of Science
Yazar 
Olsson, Erik J. editor. Enqvist, Sebastian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-9609-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
101. 
Unity, Truth and the Liar The Modern Relevance of Medieval Solutions to the Liar Paradox için kapak resmi
Unity, Truth and the Liar The Modern Relevance of Medieval Solutions to the Liar Paradox
Yazar 
Rahman, Shahid. editor. Tulenheimo, Tero. editor. Genot, Emmanuel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-8468-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
102. 
Formalizing Medieval Logical Theories Suppositio, Consequentiae and Obligationes için kapak resmi
Formalizing Medieval Logical Theories Suppositio, Consequentiae and Obligationes
Yazar 
Dutilh Novaes, Catarina. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-5853-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
103. 
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:
104. 
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:
105. 
Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf için kapak resmi
Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
Yazar 
Dybjer, P. editor. Lindström, Sten. editor. Palmgren, Erik. editor. Sundholm, G. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-4435-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
106. 
Otto Neurath and the Unity of Science için kapak resmi
Otto Neurath and the Unity of Science
Yazar 
Symons, John. editor. Pombo, Olga. editor. Torres, Juan Manuel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0143-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
107. 
Vagueness: A Guide için kapak resmi
Vagueness: A Guide
Yazar 
Ronzitti, Giuseppina. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0375-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
108. 
Treatise on Intuitionistic Type Theory için kapak resmi
Treatise on Intuitionistic Type Theory
Yazar 
Granström, Johan Georg. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-1736-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
109. 
The Golden Age of Polish Philosophy Kazimierz Twardowski’s Philosophical Legacy için kapak resmi
The Golden Age of Polish Philosophy Kazimierz Twardowski’s Philosophical Legacy
Yazar 
Lapointe, Sandra. editor. Wolénski, Jan. editor. Marion, Mathieu. editor. Miskiewicz, Wioletta. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-2401-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
110. 
From a Geometrical Point of View A Study of the History and Philosophy of Category Theory için kapak resmi
From a Geometrical Point of View A Study of the History and Philosophy of Category Theory
Yazar 
Marquis, Jean-Pierre. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-9384-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
111. 
Information and Knowledge A Constructive Type-theoretical Approach için kapak resmi
Information and Knowledge A Constructive Type-theoretical Approach
Yazar 
Primiero, Giuseppe. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6170-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
112. 
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler için kapak resmi
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler
Yazar 
Carnielli, Walter. author. Pizzi, Claudio. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-8590-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
113. 
Leibniz: What Kind of Rationalist? için kapak resmi
Leibniz: What Kind of Rationalist?
Yazar 
Dascal, Marcelo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-8668-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
114. 
Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education için kapak resmi
Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education
Yazar 
Kerkhove, Bart. Bendegem, Jean Paul. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-5034-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
115. 
The Influence of Genetics on Contemporary Thinking için kapak resmi
The Influence of Genetics on Contemporary Thinking
Yazar 
Fagot-Largeault, Anne. editor. Rahman, Shahid. editor. Torres, Juan Manuel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-5664-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
116. 
Induction, Algorithmic Learning Theory, and Philosophy için kapak resmi
Induction, Algorithmic Learning Theory, and Philosophy
Yazar 
Friend, Michèle. Goethe, Norma B. Harizanov, Valentina S. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6127-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
117. 
Nature's principles için kapak resmi
Nature's principles
Yazar 
Faye, Jan.
Yer Numarası 
BD581 .B35 2005
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
118. 
Nature's Principles için kapak resmi
Nature's Principles
Yazar 
Faye, Jan. Needham, Paul. Scheffler, Uwe. Urchs, Max. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-3258-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
119. 
Truth, syntax and modality proceedings of the Temple University Conference on Alternative Semantics için kapak resmi
Truth, syntax and modality proceedings of the Temple University Conference on Alternative Semantics
Yazar 
Conference on Alternative Semantics (1970 : Temple University) Leblanc, Hugues, 1924- Temple University. College of Liberal Arts. Association for Symbolic Logic.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422696
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
120. 
Problems in the philosophy of science için kapak resmi
Problems in the philosophy of science
Yazar 
International Colloquium in the Philosophy of Science (1965 : Bedford College) Lakatos, Imre. Musgrave, Alan. Bedford College. British Society for the Philosophy of Science.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534132
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
121. 
Formal systems and recursive functions : proceeding için kapak resmi
Formal systems and recursive functions : proceeding
Yazar 
Logic Colloquium (8th : 1963 : Oxford).
Yer Numarası 
BC 135 L8292 1965
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
122. 
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:
123. 
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:
124. 
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:
125. 
Olasılık ve tümevarım mantığına giriş için kapak resmi
Olasılık ve tümevarım mantığına giriş
Yazar 
Hacking, Ian. Özdabak, İrfan.
Yer Numarası 
BC141 H33 2015
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
126. 
Residuated lattices an algebraic glimpse at substructural logics için kapak resmi
Residuated lattices an algebraic glimpse at substructural logics
Yazar 
Galatos, Nikolaos.
Yer Numarası 
ONLINE
Elektronik Erişim 
Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444521415
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
127. 
Residuated lattices an algebraic glimpse at substructural logics için kapak resmi
Residuated lattices an algebraic glimpse at substructural logics
Yazar 
Galatos, Nikolaos.
Yer Numarası 
ONLINE
Elektronik Erişim 
Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444521415
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
128. 
Many-dimensional modal logics theory and applications için kapak resmi
Many-dimensional modal logics theory and applications
Yazar 
Gabbay, Dov M., 1945-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444508263
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
129. 
Rudiments of [mu]-calculus için kapak resmi
Rudiments of [mu]-calculus
Yazar 
Arnold, A. (André), 1945- Niwiński, Damian.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444506207
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
130. 
Admissibility of logical inference rules için kapak resmi
Admissibility of logical inference rules
Yazar 
Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444895059
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
131. 
Logical frameworks for truth and abstraction an axiomatic study için kapak resmi
Logical frameworks for truth and abstraction an axiomatic study
Yazar 
Cantini, Andrea.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444823069
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
132. 
Intentional mathematics için kapak resmi
Intentional mathematics
Yazar 
Shapiro, Stewart, 1951-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444876324
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
133. 
Foundational studies selected works. Volume II için kapak resmi
Foundational studies selected works. Volume II
Yazar 
Mostowski, Andrzej. Kuratowski, Kazimierz, 1896-1980.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444851031
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
134. 
Foundational studies selected works. Volume I için kapak resmi
Foundational studies selected works. Volume I
Yazar 
Mostowski, Andrzej. Kuratowski, Kazimierz, 1896-1980.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444851024
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
135. 
Algebra of proofs için kapak resmi
Algebra of proofs
Yazar 
Szabo, M. E.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422863
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
136. 
An algebraic approach to non-classical logics için kapak resmi
An algebraic approach to non-classical logics
Yazar 
Rasiowa, Helena.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422641
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
137. 
Contributions to non-standard analysis için kapak resmi
Contributions to non-standard analysis
Yazar 
Symposium on Non-standard Analysis (1970 : Oberwolfach, Germany) Luxemburg, W. A. J., 1929- Robinson, Abraham, 1918-1974, ed.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720420654
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
138. 
The collected papers of Gerhard Gentzen için kapak resmi
The collected papers of Gerhard Gentzen
Yazar 
Szabo, M. E. Gentzen, Gerhard.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534194
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
139. 
Constructive order types için kapak resmi
Constructive order types
Yazar 
Crossley, John N.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534200
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
140. 
Non-standard analysis için kapak resmi
Non-standard analysis
Yazar 
Robinson, Abraham, 1918-1974.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534071
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
141. 
Formal systems and recursive functions için kapak resmi
Formal systems and recursive functions
Yazar 
Crossley, John N. Dummett, Michael, 1925-2011.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534057
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
142. 
Languages with expressions of infinite length için kapak resmi
Languages with expressions of infinite length
Yazar 
Karp, Carol, 1926-1972.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534019
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
143. 
Aristotle's modal syllogisms için kapak resmi
Aristotle's modal syllogisms
Yazar 
McCall, Storrs.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533968
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
144. 
The logical systems of Lesniewski için kapak resmi
The logical systems of Lesniewski
Yazar 
Luschei, Eugene C.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533951
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
145. 
The axiomatic method için kapak resmi
The axiomatic method
Yazar 
Henkin, Leon. Suppes, Patrick, 1922- Tarski, Alfred.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533920
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
146. 
Intuitionism an introduction için kapak resmi
Intuitionism an introduction
Yazar 
Heyting, A. (Arend), 1898-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533821
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
147. 
Ordinal algebras için kapak resmi
Ordinal algebras
Yazar 
Tarski, Alfred.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533845
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
148. 
Mathematical interpretation of formal systems için kapak resmi
Mathematical interpretation of formal systems
Yazar 
Wiskundig Genootschap (Netherlands) Skolem, Th. (Thoralf), 1887-1963.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533814
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
149. 
Nomological statements and admissible operations için kapak resmi
Nomological statements and admissible operations
Yazar 
Reichenbach, Hans, 1891-1953.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533791
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
150. 
Solvable cases of the decision problem için kapak resmi
Solvable cases of the decision problem
Yazar 
Ackermann, W. (Wilhelm), 1896-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533807
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
151. 
Undecidable theories için kapak resmi
Undecidable theories
Yazar 
Tarski, Alfred. Mostowski, Andrzej. Robinson, Raphael M. (Raphael Mitchel), 1911-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533784
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
152. 
Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel için kapak resmi
Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel
Yazar 
Mostowski, Andrzej.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533753
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
153. 
Many-values logics için kapak resmi
Many-values logics
Yazar 
Rosser, J. Barkley (John Barkley), 1907- Turquette, Atwell R. (Atwell Rufus), 1914-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533722
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
154. 
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:
155. 
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:
156. 
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:
157. 
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:
158. 
Formal semantics in modern type theories için kapak resmi
Formal semantics in modern type theories
Yazar 
Chatzikyriakidis, Stergios, author. Luo, Zhaohui, author.
Yer Numarası 
QA76.5913
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119489252
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
159. 
Application of graph rewriting to natural language processing için kapak resmi
Application of graph rewriting to natural language processing
Yazar 
Bonfante, Guillaume, author. Guillaume, Bruno, author. Perrier, Guy, 1950- author.
Yer Numarası 
P98
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119428589
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
160. 
Existence as a Real Property The Ontology of Meinongianism için kapak resmi
Existence as a Real Property The Ontology of Meinongianism
Yazar 
Berto, Francesco. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335738.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-4207-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
161. 
Functions: selection and mechanisms için kapak resmi
Functions: selection and mechanisms
Yazar 
Huneman, Philippe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335942.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-5304-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
162. 
Debate Dynamics: How Controversy Improves Our Beliefs için kapak resmi
Debate Dynamics: How Controversy Improves Our Beliefs
Yazar 
Betz, Gregor. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335787.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-4599-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
163. 
Bayesian Argumentation The practical side of probability için kapak resmi
Bayesian Argumentation The practical side of probability
Yazar 
Zenker, Frank. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335956.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-5357-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
164. 
Around the Tree Semantic and Metaphysical Issues Concerning Branching and the Open Future için kapak resmi
Around the Tree Semantic and Metaphysical Issues Concerning Branching and the Open Future
Yazar 
Correia, Fabrice. editor. Iacona, Andrea. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335903.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-5167-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
165. 
Set theory için kapak resmi
Set theory
Yazar 
Kunen, Kenneth.
Yer Numarası 
QA248 K858 2013
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
166. 
Science Studies as Naturalized Philosophy için kapak resmi
Science Studies as Naturalized Philosophy
Yazar 
Collin, Finn. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-9741-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
167. 
Dynamic Formal Epistemology için kapak resmi
Dynamic Formal Epistemology
Yazar 
Girard, Patrick. editor. Roy, Olivier. editor. Marion, Mathieu. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0074-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
168. 
Reasoning about Preference Dynamics için kapak resmi
Reasoning about Preference Dynamics
Yazar 
Liu, Fenrong. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-1344-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
169. 
Probabilities, Causes and Propensities in Physics için kapak resmi
Probabilities, Causes and Propensities in Physics
Yazar 
Suárez, Mauricio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-9904-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
170. 
Interactive Wittgenstein Essays in Memory of Georg Henrik von Wright için kapak resmi
Interactive Wittgenstein Essays in Memory of Georg Henrik von Wright
Yazar 
De Pellegrin, Enzo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-9909-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
171. 
Probabilistic Logics and Probabilistic Networks için kapak resmi
Probabilistic Logics and Probabilistic Networks
Yazar 
Haenni, Rolf. author. Romeijn, Jan-Willem. author. Wheeler, Gregory. author. Williamson, Jon. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0008-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
172. 
Explaining Games The Epistemic Programme in Game Theory için kapak resmi
Explaining Games The Epistemic Programme in Game Theory
Yazar 
de Bruin, Boudewijn. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-9906-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
173. 
Substantive Perspectivism An Essay on Philosophical Concern with Truth için kapak resmi
Substantive Perspectivism An Essay on Philosophical Concern with Truth
Yazar 
Mou, Bo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-2623-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
174. 
Logicism, Intuitionism, and Formalism What has Become of Them? için kapak resmi
Logicism, Intuitionism, and Formalism What has Become of Them?
Yazar 
Lindström, Sten. editor. Palmgren, Erik. editor. Segerberg, Krister. editor. Stoltenberg-Hansen, Viggo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-8926-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
175. 
Degrees of Belief için kapak resmi
Degrees of Belief
Yazar 
Huber, Franz. editor. Schmidt-Petri, Christoph. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-9198-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
176. 
Nominalism and Its Aftermath: The Philosophy of Nelson Goodman için kapak resmi
Nominalism and Its Aftermath: The Philosophy of Nelson Goodman
Yazar 
Shottenkirk, Dena. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-9931-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
177. 
Philosophical Lectures on Probability için kapak resmi
Philosophical Lectures on Probability
Yazar 
Finetti, Bruno de. author. Galavotti, Maria Carla. author. Hosni, Hykel. author. Mura, Alberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-8202-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
178. 
A Graph-Theoretic Approach to Enterprise Network Dynamics için kapak resmi
A Graph-Theoretic Approach to Enterprise Network Dynamics
Yazar 
Bunke, Horst. author. Dickinson, Peter J. author. Kraetzl, Miro. author. Wallis, Walter D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-8176-4519-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
179. 
Diagrammatology An Investigation On The Borderlines Of Phenomenology, Ontology, And Semiotics için kapak resmi
Diagrammatology An Investigation On The Borderlines Of Phenomenology, Ontology, And Semiotics
Yazar 
Stjernfelt, Frederik. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-5652-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
180. 
Formal Ontology and Conceptual Realism için kapak resmi
Formal Ontology and Conceptual Realism
Yazar 
Cocchiarella, Nino B. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6204-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
181. 
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:
182. 
A logical Approach to Philosophy Essays in Honour of Graham Solomon için kapak resmi
A logical Approach to Philosophy Essays in Honour of Graham Solomon
Yazar 
Devidi, David. Kenyon, Tim. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-4054-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
183. 
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:
184. 
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:
185. 
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:
186. 
Theoretical Knowledge için kapak resmi
Theoretical Knowledge
Yazar 
Stepin, Vyacheslav. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-3046-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
187. 
From the Act of Judging to the Sentence The Problem of Truth Bearers from Bolzano to Tarski için kapak resmi
From the Act of Judging to the Sentence The Problem of Truth Bearers from Bolzano to Tarski
Yazar 
Rojszczak, Artur. Wolenski, Jan. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-3397-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
188. 
The Dynamics of Thought için kapak resmi
The Dynamics of Thought
Yazar 
Gärdenfors, Peter. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-3399-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
189. 
Visualization, Explanation and Reasoning Styles in Mathematics için kapak resmi
Visualization, Explanation and Reasoning Styles in Mathematics
Yazar 
Mancosu, Paolo. editor. Jørgensen, Klaus Frovin. editor. Pedersen, Stig Andur. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-3335-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
190. 
Truth, fiction, and literature : a philosophical perspective için kapak resmi
Truth, fiction, and literature : a philosophical perspective
Yazar 
Lamarque, Peter.
Yer Numarası 
PN45 L316 2002
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
191. 
Relation algebras by games için kapak resmi
Relation algebras by games
Yazar 
Hirsch, R. (Robin) Hodkinson, Ian.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444509321
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
192. 
Introduction to model theory için kapak resmi
Introduction to model theory
Yazar 
Rothmaler, Philipp.
Yer Numarası 
QA9.7 .R671 2000
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
193. 
Theory of relations için kapak resmi
Theory of relations
Yazar 
Fraïssé, Roland.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444505422
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
194. 
Computable structures and the hyperarithmetical hierarchy için kapak resmi
Computable structures and the hyperarithmetical hierarchy
Yazar 
Ash, C. J. Knight, J. (Julia)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444500724
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
195. 
Handbook of computability theory için kapak resmi
Handbook of computability theory
Yazar 
Griffor, Edward R.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444898821
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
196. 
Classical recursion theory the theory of functions and sets of natural numbers için kapak resmi
Classical recursion theory the theory of functions and sets of natural numbers
Yazar 
Odifreddi, Piergiorgio, 1950-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444502056
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
197. 
Handbook of proof theory için kapak resmi
Handbook of proof theory
Yazar 
Buss, Samuel R.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444898401
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
198. 
Handbook of recursive mathematics için kapak resmi
Handbook of recursive mathematics
Yazar 
Ershov, I͡Uriĭ Leonidovich.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444500038
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
199. 
Handbook of recursive mathematics için kapak resmi
Handbook of recursive mathematics
Yazar 
Ershov, I͡Uriĭ Leonidovich.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444501066
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
200. 
Hausdorff gaps and limits için kapak resmi
Hausdorff gaps and limits
Yazar 
Frankiewicz, Ryszard. Zbierski, Paweł.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444894908
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
201. 
Selected papers on Automath için kapak resmi
Selected papers on Automath
Yazar 
Nederpelt, R. P. (Rob P.)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444898227
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
202. 
Classical recursion theory the theory of functions and sets of natural numbers için kapak resmi
Classical recursion theory the theory of functions and sets of natural numbers
Yazar 
Odifreddi, Piergiorgio, 1950-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444894830
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
203. 
Recursive functionals için kapak resmi
Recursive functionals
Yazar 
Sanchis, Luis E.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444894472
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
204. 
Model theory için kapak resmi
Model theory
Yazar 
Chang, Chen Chung, 1927- Keisler, H. Jerome.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444880543
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
205. 
Classification theory and the number of non-isomorphic models için kapak resmi
Classification theory and the number of non-isomorphic models
Yazar 
Shelah, Saharon.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444702609
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
206. 
Theory of relations için kapak resmi
Theory of relations
Yazar 
Fraïssé, Roland.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444878656
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
207. 
Foundations of infinitesimal stochastic analysis için kapak resmi
Foundations of infinitesimal stochastic analysis
Yazar 
Stroyan, K. D. Bayod, José Manuel.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444879271
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
208. 
Cylindric algebras. Part II için kapak resmi
Cylindric algebras. Part II
Yazar 
Henkin, Leon. Monk, J. Donald (James Donald), 1930- Tarski, Alfred.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444876799
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
209. 
Harvey Friedman's research on the foundations of mathematics için kapak resmi
Harvey Friedman's research on the foundations of mathematics
Yazar 
Friedman, Harvey, 1948- Harrington, L. A.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444878342
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
210. 
Equivalents of the axiom of choice, II için kapak resmi
Equivalents of the axiom of choice, II
Yazar 
Rubin, Herman. Rubin, Jean E.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444877086
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
211. 
Combinatorial set theory partition relations for cardinals için kapak resmi
Combinatorial set theory partition relations for cardinals
Yazar 
Erdős, Paul, 1913-1996.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444861573
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
212. 
The L.E.J. Brouwer Centenary Symposium proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 için kapak resmi
The L.E.J. Brouwer Centenary Symposium proceedings of the conference held in Noordwijkerhout, 8-13 June 1981
Yazar 
L.E.J. Brouwer Centenary Symposium (1981 : Noordwijkerhout, Netherlands) Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966. Troelstra, A. S. (Anne Sjerp) Dalen, D. van (Dirk), 1932-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444864949
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
213. 
Fundamentals of generalized recursion theory için kapak resmi
Fundamentals of generalized recursion theory
Yazar 
Fitting, Melvin, 1942-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444861719
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
214. 
The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. için kapak resmi
The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
Yazar 
Kleene Symposium (1978 : Madison, Wis.) Kleene, Stephen Cole, 1909-1994. Barwise, Jon. Keisler, H. Jerome. Kunen, Kenneth.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444853455
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
215. 
Set theory an introduction to independence proofs için kapak resmi
Set theory an introduction to independence proofs
Yazar 
Kunen, Kenneth.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444854018
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
216. 
Word problems II the Oxford book için kapak resmi
Word problems II the Oxford book
Yazar 
Adi͡an, S. I. Boone, W. W. (William W.) Higman, G. (Graham)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444853431
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
217. 
Generalized recursion theory II proceedings of the 1977 Oslo Symposium için kapak resmi
Generalized recursion theory II proceedings of the 1977 Oslo Symposium
Yazar 
Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo) Fenstad, Jens Erik. Gandy, R. O. (Robin O.) Sacks, Gerald E.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444851635
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
218. 
Combinatorial set theory için kapak resmi
Combinatorial set theory
Yazar 
Williams, Neil H.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720407228
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
219. 
Sets and classes on the work by Paul Bernays için kapak resmi
Sets and classes on the work by Paul Bernays
Yazar 
Bernays, Paul, 1888-1977. Müller, G. H. (Gert Heinz), 1923-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422849
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
220. 
Set theory with an introduction to descriptive set theory için kapak resmi
Set theory with an introduction to descriptive set theory
Yazar 
Kuratowski, Kazimierz, 1896-1980. Mostowski, Andrzej.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720404708
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
221. 
Proof theory için kapak resmi
Proof theory
Yazar 
Takeuti, Gaisi, 1926-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444104922
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
222. 
Large infinitary languages model theory için kapak resmi
Large infinitary languages model theory
Yazar 
Dickmann, M. A., 1940-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444106223
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
223. 
An algebraic approach to nonclassical logics için kapak resmi
An algebraic approach to nonclassical logics
Yazar 
Rasiowa, Helena.
Yer Numarası 
QA 10 R37 1974
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
224. 
Set theory : an introduction to large cardinals için kapak resmi
Set theory : an introduction to large cardinals
Yazar 
Drake, Frank R.
Yer Numarası 
QA 248 D7 1974
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
225. 
Set theory an introduction to large cardinals için kapak resmi
Set theory an introduction to large cardinals
Yazar 
Drake, F. R. (Frank Robert)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444105356
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
226. 
Generalized recursion theory Proceedings of the 1972 Oslo symposium için kapak resmi
Generalized recursion theory Proceedings of the 1972 Oslo symposium
Yazar 
Symposium on Generalized Recursion Theory (1st : 1972 : University of Oslo) Fenstad, Jens Erik. Hinman, Peter G.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444105455
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
227. 
Elementary induction on abstract structures için kapak resmi
Elementary induction on abstract structures
Yazar 
Moschovakis, Yiannis N.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444105370
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
228. 
The axiom of choice için kapak resmi
The axiom of choice
Yazar 
Jech, Thomas J.
Yer Numarası 
QA 481 J4 1973
Format: 
Durum 
Beytepe Kütüphanesi~3
Rafta:
Kopya:
229. 
Word problems decision problems and the Burnside problem in group theory için kapak resmi
Word problems decision problems and the Burnside problem in group theory
Yazar 
Boone, W. W. (William W.) Cannonito, F. B. (Frank Benjamin) Lyndon, Roger C.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422719
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
230. 
Word problems : decision problems and the burnside problem in group theory için kapak resmi
Word problems : decision problems and the burnside problem in group theory
Yazar 
Boone, W. W., ed. Cannonito, F. B., ed. Lyndon, R. C., ed.
Yer Numarası 
QA 171 W85 1973
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
231. 
Foundations of set theory için kapak resmi
Foundations of set theory
Yazar 
Fraenkel, Abraham Adolf, 1891-1965. Bar-Hillel, Yehoshua. Lévy, Azriel, 1934-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422702
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
232. 
The axiom of choice için kapak resmi
The axiom of choice
Yazar 
Jech, Thomas J.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444104847
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
233. 
The theory of semisets için kapak resmi
The theory of semisets
Yazar 
Vopěnka, Petr. Hájek, Petr.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422672
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
234. 
The metamathematics of algebraic systems, collected papers: 1936-1967 için kapak resmi
The metamathematics of algebraic systems, collected papers: 1936-1967
Yazar 
Malʹt͡sev, A. I. (Anatoliĭ Ivanovich), 1909-1967. Wells, Benjamin Franklin.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422665
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
235. 
Constructible sets with applications için kapak resmi
Constructible sets with applications
Yazar 
Mostowski, Andrzej.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534217
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
236. 
Set theory için kapak resmi
Set theory
Yazar 
Kuratowski, Kazimierz, 1896-1980. Mostowski, Andrzej.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534170
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
237. 
Problems in the philosophy of mathematics için kapak resmi
Problems in the philosophy of mathematics
Yazar 
International Colloquium in the Philosophy of Science (1965 : Bedford College) Lakatos, Imre. Bedford College. British Society for the Philosophy of Science.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534118
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
238. 
A deductive theory of space and time için kapak resmi
A deductive theory of space and time
Yazar 
Basri, Saul A.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534095
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
239. 
Intuitionism an introduction için kapak resmi
Intuitionism an introduction
Yazar 
Heyting, A. (Arend), 1898-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534064
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
240. 
A transfinite type theory with type variables için kapak resmi
A transfinite type theory with type variables
Yazar 
Andrews, P. B. (Peter Bruce), 1937-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534026
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
241. 
The foundations of intuitionistic mathematics için kapak resmi
The foundations of intuitionistic mathematics
Yazar 
Kleene, Stephen Cole, 1909-1994. Vesley, Richard Eugene, 1932-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534040
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
242. 
Introduction to the theory of finite automata için kapak resmi
Introduction to the theory of finite automata
Yazar 
Kobrinskiĭ, Natan Efimovich. Trakhtenbrot, B. A. (Boris Avraamovich), author.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534033
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
243. 
Equivalents of the axiom of choice için kapak resmi
Equivalents of the axiom of choice
Yazar 
Rubin, Herman. Rubin, Jean E., author.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533999
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
244. 
Introduction to model theory and to the metamathematics of algebra için kapak resmi
Introduction to model theory and to the metamathematics of algebra
Yazar 
Robinson, Abraham, 1918-1974.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533975
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
245. 
Computer programming and formal systems için kapak resmi
Computer programming and formal systems
Yazar 
Braffort, P. (Paul), editor. Hirschberg, D. (David), editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534002
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
246. 
Recursive analysis için kapak resmi
Recursive analysis
Yazar 
Goodstein, R. L. (Reuben Louis)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533944
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
247. 
Lincos design of a language for cosmic intercourse için kapak resmi
Lincos design of a language for cosmic intercourse
Yazar 
Freudenthal, Hans, 1905-1990.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533937
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
248. 
Toward a systematic pragmatics için kapak resmi
Toward a systematic pragmatics
Yazar 
Martin, R. M. (Richard Milton), 1916-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533890
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
249. 
Computer programming and formal systems için kapak resmi
Computer programming and formal systems
Yazar 
Braffort, P. (Paul) Hirschberg, D. (David)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533913
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
250. 
A study in the philosophy of science için kapak resmi
A study in the philosophy of science
Yazar 
Beth, Evert Willem.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533906
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
251. 
Axiomatic set theory için kapak resmi
Axiomatic set theory
Yazar 
Bernays, Paul, 1888-1977.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533869
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
252. 
Foundations of set theory için kapak resmi
Foundations of set theory
Yazar 
Fraenkel, Abraham Adolf, 1891-1965. Bar-Hillel, Yehoshua, joint author.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533883
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
253. 
Complete theories için kapak resmi
Complete theories
Yazar 
Robinson, Abraham, 1918-1974.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533838
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
254. 
Abstract set theory için kapak resmi
Abstract set theory
Yazar 
Fraenkel, Abraham Adolf, 1891-1965.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533777
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
255. 
Outlines of a formalist philosophy of mathematics için kapak resmi
Outlines of a formalist philosophy of mathematics
Yazar 
Curry, Haskell B. (Haskell Brooks), 1900-1982.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533685
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
256. 
On the metamathematics of algebra için kapak resmi
On the metamathematics of algebra
Yazar 
Robinson, Abraham, 1918-1974.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533692
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
257. 
CSL'88 :2nd workshop on .. duisburg, FRG, October 3-7, 1988 :proceedings /ed. by E. Börger, H. K. Büning and M. M. Richter. için kapak resmi
CSL'88 :2nd workshop on .. duisburg, FRG, October 3-7, 1988 :proceedings /ed. by E. Börger, H. K. Büning and M. M. Richter.
Yazar 
Workshop on computer science logic (2nd : 1988 : Duisburg Germany) Büning, H. K., ort. yaz. Richter, M. M., ort. yaz.
Yer Numarası 
QA 76.9.M35 W67 1988
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
258. 
Methods of inference from animal to human behaviour için kapak resmi
Methods of inference from animal to human behaviour
Yazar 
Conference on the logic of I'nference from animal to human behavior : (1973 : Murten, Switzerland) Cranach, Mario von, ed.
Yer Numarası 
BF 671 C63 1976
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
259. 
Children of the corn genesis Mısır çocukları yaradılış için kapak resmi
Children of the corn genesis Mısır çocukları yaradılış
Yazar 
Mikkelsen, Monika Ermando Di Febo-Orsini Mangano, Philip Lehhman, Alexandre Soisson, Joel.
Yer Numarası 
PN1995.9.H6 C45 2011
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
260. 
Baykuş Krallığı efsanesi Legend of the guardians : the owls of Ga'Hoole için kapak resmi
Baykuş Krallığı efsanesi Legend of the guardians : the owls of Ga'Hoole
Yazar 
Snyder, Zack. Nalbandian, Zareh. Orloff, John. Stern, Emil. Mirren, Helen. seslendirme
Yer Numarası 
PN1997.5 B39 2010
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
261. 
Happy feet Neşeli ayaklar için kapak resmi
Happy feet Neşeli ayaklar
Yazar 
Miller, Bill. Miller, George, 1945 Mar. 3- Mitchell, Doug. Coleman, Warren. Collee, John.
Yer Numarası 
PN1997.5 H37 2007
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
262. 
Nonlinear biomedical signal processing için kapak resmi
Nonlinear biomedical signal processing
Yazar 
Akay, Metin.
Yer Numarası 
QT 26.5 N813 2000-
Format: 
Durum 
Sağlık Bilimleri Kütüphanesi~1
Rafta:
Kopya:
263. 
Nonlinear biomedical signal processing için kapak resmi
Nonlinear biomedical signal processing
Yazar 
Akay, Metin, ed. IEEE Engineering in Medicine and Biology Society.
Yer Numarası 
R 857.S47 N66 2000- V.2
Format: 
Durum 
Beytepe Kütüphanesi~3
Rafta:
Kopya:
264. 
Communication : a philosophical study of language için kapak resmi
Communication : a philosophical study of language
Yazar 
Britton, Karl, 1909-
Yer Numarası 
P 105 B75 1939 (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
265. 
Dialectic için kapak resmi
Dialectic
Yazar 
Adler, Mortimer Jerome, 1902-
Yer Numarası 
BC 177 A4 1927 (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
266. 
The logical syntax of language için kapak resmi
The logical syntax of language
Yazar 
Carnap, Rudolf, 1891-1970.
Yer Numarası 
BC 135 C323 1937 P (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
267. 
İslam mantık tarihi ve Farabi mantığı için kapak resmi
İslam mantık tarihi ve Farabi mantığı
Yazar 
Keklik, Nihat.
Yer Numarası 
BC 34 K4 1969-70
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
268. 
Fuzzy impulsive dynamic equations on time scales için kapak resmi
Fuzzy impulsive dynamic equations on time scales
Yazar 
Georgiev, Svetlin, author. Zennir, Khaled, author.
Yer Numarası 
QA614.8
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003655367
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
269. 
The handbook of translanguaging için kapak resmi
The handbook of translanguaging
Yazar 
Li, Wei, 1961 August 11- editor. Phyak, Prem, 1980- editor. Lee, Jerry Won, editor. García, Ofelia, editor.
Yer Numarası 
P115.35 .H36 2026
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394227167
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
270. 
A companion to epistemology. Volumes 1 & 2 için kapak resmi
A companion to epistemology. Volumes 1 & 2
Yazar 
Ludwig Sylvan, Kurt, 1986- editor. Dancy, Jonathan, editor. Sosa, Ernest, editor. Steup, Matthias, editor.
Yer Numarası 
BD161 .C637 2026
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119757832
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
271. 
Mastering Grid Computing : Scheduling and Resource Management için kapak resmi
Mastering Grid Computing : Scheduling and Resource Management
Yazar 
Ankita, editor Sahana, Sudip Kumar, editor.
Yer Numarası 
HD38.5
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003598404
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
272. 
Critique and affirmation in Erich Fromm : humanistic politics and the psychoanalytic clinic için kapak resmi
Critique and affirmation in Erich Fromm : humanistic politics and the psychoanalytic clinic
Yazar 
Romanetto, Matheus, author.
Yer Numarası 
BF175.4 .C68
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781032708560
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
273. 
Soft computing and machine learning : a fuzzy and neutrosophic view of reality için kapak resmi
Soft computing and machine learning : a fuzzy and neutrosophic view of reality
Yazar 
Wajid, Mohd, editor. Zafar, Aasim, editor. Wajid, Mohammad Saif, editor. Khanday, Akib Mohi Ud Din, editor. Bhattacharyya, Pronaya, editor.
Yer Numarası 
Q325.5
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003606055
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
274. 
Computational Intelligence for Analysis of Trends in Industry 4.0 and 5.0 için kapak resmi
Computational Intelligence for Analysis of Trends in Industry 4.0 and 5.0
Yazar 
Awotunde, Joseph Bamidele editor Muduli, Kamalakanta, 1977- editor. Brahma, Biswajit. editor
Yer Numarası 
Q342
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003533023
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
275. 
The wrong of law : metaphysics, logics, and law's claim of right için kapak resmi
The wrong of law : metaphysics, logics, and law's claim of right
Yazar 
Kerruish, Valerie, 1943- author. Petersen, Uwe, 1948- editor.
Yer Numarası 
K212
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003520535
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
276. 
Purely formal legal theory : deontic networks için kapak resmi
Purely formal legal theory : deontic networks
Yazar 
Quirico, Ottavio, author.
Yer Numarası 
K231
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003228318
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
277. 
The ontology of relations için kapak resmi
The ontology of relations
Yazar 
Paolini Paoletti, Michele, author.
Yer Numarası 
BD236
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003363651
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
278. 
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I için kapak resmi
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
Yazar 
Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-71162-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
279. 
Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings için kapak resmi
Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
Yazar 
Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Howar, Falk. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-72044-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
280. 
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
Yazar 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-75380-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
281. 
R-Calculus, VI: Finite Injury Priority Method için kapak resmi
R-Calculus, VI: Finite Injury Priority Method
Yazar 
Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-5830-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
282. 
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers için kapak resmi
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers
Yazar 
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-73741-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
283. 
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II için kapak resmi
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Yazar 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-75775-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
284. 
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I için kapak resmi
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Yazar 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-75783-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
285. 
Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings için kapak resmi
Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
Yazar 
C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029 Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-78116-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
286. 
WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings için kapak resmi
WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings
Yazar 
Nakano, Shin-ichi. editor. (orcid)0000-0003-2368-6183 Xiao, Mingyu. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-2845-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
287. 
Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings için kapak resmi
Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings
Yazar 
Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-84924-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
288. 
Fault Diagnosis and Fault-Tolerant Control of Nonlinear Systems with Higher System Input Powers için kapak resmi
Fault Diagnosis and Fault-Tolerant Control of Nonlinear Systems with Higher System Input Powers
Yazar 
Shen, Qikun. author. Xu, Dezhi. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-1773-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
289. 
Theory of Computation Automata, Formal Languages, Computation and Complexity için kapak resmi
Theory of Computation Automata, Formal Languages, Computation and Complexity
Yazar 
Chowdhary, K.R. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-6234-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
290. 
Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures için kapak resmi
Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
Yazar 
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-4656-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
291. 
Modeling Complex Processes Through Nature-Analogous Methods Artificial Intelligence and Artificial Life için kapak resmi
Modeling Complex Processes Through Nature-Analogous Methods Artificial Intelligence and Artificial Life
Yazar 
Klüver, Christina. author. Klüver, Jürgen. author. Schmidt, Jörn. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-46510-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
292. 
Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
Yazar 
Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90897-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
293. 
Robotics Goes MOOC Interaction için kapak resmi
Robotics Goes MOOC Interaction
Yazar 
Siciliano, Bruno. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-77270-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
294. 
Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers için kapak resmi
Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers
Yazar 
Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-86695-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
295. 
Robotics Goes MOOC Impact için kapak resmi
Robotics Goes MOOC Impact
Yazar 
Siciliano, Bruno. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-77267-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
296. 
Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers için kapak resmi
Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers
Yazar 
Țuțu, Ionuț. editor. (orcid)0009-0004-4280-3036 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-88930-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
297. 
Soft Computing and Signal Processing Proceedings of 7th ICSCSP 2024, Volume 2 için kapak resmi
Soft Computing and Signal Processing Proceedings of 7th ICSCSP 2024, Volume 2
Yazar 
Zen, Hushairi. editor. Dasari, Naga M. editor. Latha, Y. Madhavee. editor. Rao, S. Srinivasa. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-9926-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
298. 
Data Science and Applications Proceedings of ICDSA 2024, Volume 5 için kapak resmi
Data Science and Applications Proceedings of ICDSA 2024, Volume 5
Yazar 
Nanda, Satyasai Jagannath. editor. (orcid)0000-0002-4005-5589 Yadav, Rajendra Prasad. editor. Gandomi, Amir H. editor. Saraswat, Mukesh. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-1185-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
299. 
Soft Computing and Signal Processing Proceedings of 7th ICSCSP 2024, Volume 1 için kapak resmi
Soft Computing and Signal Processing Proceedings of 7th ICSCSP 2024, Volume 1
Yazar 
Reddy, V. Sivakumar. editor. Wang, Jiacun. editor. Chetti, Prasad. editor. Reddy, K. T. V. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-0924-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
300. 
Machine Learning and Soft Computing 9th International Conference, ICMLSC 2025, Tokyo, Japan, January 24-26, 2025, Revised Selected Papers, Part I için kapak resmi
Machine Learning and Soft Computing 9th International Conference, ICMLSC 2025, Tokyo, Japan, January 24-26, 2025, Revised Selected Papers, Part I
Yazar 
Huang, Letian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-6400-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç