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
13. 
Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969 için kapak resmi
Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969
Yazar 
Summer School in Logic (14th : 1969 : Manchester, England) Gandy, R. O. Yates, C. Michael E. North Atlantic Treaty Organization. International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422610
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Logic, methodology, and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 için kapak resmi
Logic, methodology, and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991
Yazar 
International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden) Prawitz, Dag. Skyrms, Brian. Westerståhl, Dag, 1946-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444893413
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Logic, methodology, and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987 için kapak resmi
Logic, methodology, and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987
Yazar 
International Congress of Logic, Methodology, and Philosophy of Science (8th : 1987 : Moscow, Russia) Fenstad, Jens Erik. Frolov, Ivan Timofeevich. Hilpinen, Risto.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444705204
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979 için kapak resmi
Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979
Yazar 
International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany) Cohen, L. Jonathan (Laurence Jonathan)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444854230
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 için kapak resmi
Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978
Yazar 
Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile) Arruda, A. I. (Ayda Ignez) Chuaqui, R. Costa, Newton C. A. da.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444854025
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 için kapak resmi
Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
Yazar 
Latin-American Symposium on Mathematical Logic (3rd : 1976 : State University of Campinas) Arruda, A. I. (Ayda Ignez) Costa, Newton C. A. da. Chuaqui, R.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720407525
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Mathematical logic and foundations of set theory Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968. için kapak resmi
Mathematical logic and foundations of set theory Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.
Yazar 
International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem) Bar-Hillel, Yehoshua. Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim. International Mathematical Union. Einstein Institute of Mathematics.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422559
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Logic, methodology and philosophy of science III proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967 için kapak resmi
Logic, methodology and philosophy of science III proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967
Yazar 
International Congress for Logic, Methodology, and Philosophy of Science (3rd : 1967 : Amsterdam, Netherlands) Rootselaar, B. van (Bob) Staal, J. F.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534163
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 için kapak resmi
Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
Yazar 
Logic Colloquium (10th : 1965 : University of Leicester) Crossley, John N.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534101
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Logic, methodology and philosophy of science proceedings of the 1960 international congress için kapak resmi
Logic, methodology and philosophy of science proceedings of the 1960 international congress
Yazar 
International Congress of Logic, Methodology, and Philosophy of Science (1960) Nagel, Ernest, 1901-1985. Suppes, Patrick, 1922- Tarski, Alfred.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780804700962
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Logic Circuit Design Selected Topics and Methods için kapak resmi
Logic Circuit Design Selected Topics and Methods
Yazar 
Vingron, Shimon P. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-40673-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Twisted logic : puzzles, paradoxes, and big questions için kapak resmi
Twisted logic : puzzles, paradoxes, and big questions
Yazar 
Vaughan Williams, Leighton, author.
Yer Numarası 
BC108
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003402862
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:
25. 
Type-3 Fuzzy Logic in Intelligent Control için kapak resmi
Type-3 Fuzzy Logic in Intelligent Control
Yazar 
Castillo, Oscar. author. Melin, Patricia. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-46088-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Perspective as logic : positioning film in architecture için kapak resmi
Perspective as logic : positioning film in architecture
Yazar 
Roimpas, Stefanos, 1989- author.
Yer Numarası 
NA2500
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003344995
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:
27. 
Lollipop logic : book 1, grades K-2 için kapak resmi
Lollipop logic : book 1, grades K-2
Yazar 
Risby, Bonnie Lou, author. Risby, Robert K., II, author.
Yer Numarası 
LB1590.3
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003279723
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:
28. 
Concise introduction to logic and set theory için kapak resmi
Concise introduction to logic and set theory
Yazar 
Jebril, Iqbal H., author. Dutta, Hemen, 1981- author. Cho, Ilwoo, author.
Yer Numarası 
QA9 .A5
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9780429022838
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:
29. 
Fuzzy TOPSIS : logic, approaches, and case studies için kapak resmi
Fuzzy TOPSIS : logic, approaches, and case studies
Yazar 
El Alaoui, Mohamed, author.
Yer Numarası 
T58.62
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003168416
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:
30. 
Advanced fuzzy logic approaches in engineering science için kapak resmi
Advanced fuzzy logic approaches in engineering science
Yazar 
Ram, Mangey, editor. IGI Global, publisher.
Yer Numarası 
ONLINE
Elektronik Erişim 
Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-5709-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Mechatronic system control, logic, and data acquisition için kapak resmi
Mechatronic system control, logic, and data acquisition
Yazar 
Bishop, Robert H., 1957- editor. Taylor and Francis.
Yer Numarası 
TJ223 .P76 M43 2008
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Digital Systems From Logic Gates to Processors için kapak resmi
Digital Systems From Logic Gates to Processors
Yazar 
Deschamps, Jean-Pierre. author. Valderrama, Elena. author. Terés, Lluís. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-41198-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Logic and discrete mathematics : a concise introduction için kapak resmi
Logic and discrete mathematics : a concise introduction
Yazar 
Conradie, Willem, 1978- author. Goranko, Valentin, author.
Yer Numarası 
QA9 C7423 2015
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
34. 
Foundation of digital electronics and logic design için kapak resmi
Foundation of digital electronics and logic design
Yazar 
Sarkar, Subir Kumar, author. De, Asishkumar, author. Sarkar, Souvik, author. Pan Stanford Publishing.
Yer Numarası 
TK7868
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Later medieval metaphysics ontology, language, and logic için kapak resmi
Later medieval metaphysics ontology, language, and logic
Yazar 
Keele, Rondo, 1968- Bolyard, Charles. Project Muse.
Yer Numarası 
ONLINE
Elektronik Erişim 
Full text available:
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Mathematics of Fuzzy Sets and Fuzzy Logic için kapak resmi
Mathematics of Fuzzy Sets and Fuzzy Logic
Yazar 
Bede, Barnabas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333950.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35221-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
37. 
Independence-Friendly Logic A Game-Theoretic Approach için kapak resmi
Independence-Friendly Logic A Game-Theoretic Approach
Yazar 
Mann, Allen L.. Sandu, Gabriel. Sevenster, Merlijn.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Towards a Design Flow for Reversible Logic için kapak resmi
Towards a Design Flow for Reversible Logic
Yazar 
Wille, Robert. author. Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-9579-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
A Course in Mathematical Logic for Mathematicians için kapak resmi
A Course in Mathematical Logic for Mathematicians
Yazar 
Manin, Yu. I. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-0615-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Linguistic Fuzzy Logic Methods in Social Sciences için kapak resmi
Linguistic Fuzzy Logic Methods in Social Sciences
Yazar 
Arfi, Badredine. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13343-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Designing social research : the logic of anticipation için kapak resmi
Designing social research : the logic of anticipation
Yazar 
Blaikie, Norman W. H., 1933-
Yer Numarası 
H61 B53 2010
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
42. 
The theory of gambling and statistical logic için kapak resmi
The theory of gambling and statistical logic
Yazar 
Epstein, Richard A., 1927-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780123749406
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Logic Functions and Equations Examples and Exercises için kapak resmi
Logic Functions and Equations Examples and Exercises
Yazar 
Steinbach, Bernd. author. Posthoff, Christian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-9595-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Knowledge-Based Neurocomputing: A Fuzzy Logic Approach için kapak resmi
Knowledge-Based Neurocomputing: A Fuzzy Logic Approach
Yazar 
Kolman, Eyal. author. Margaliot, Michael. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-88077-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Logic Synthesis for FSM-Based Control Units için kapak resmi
Logic Synthesis for FSM-Based Control Units
Yazar 
Barkalov, Alexander. author. Titarenko, Larysa. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-04309-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Truth, etc. six lectures on ancient logic için kapak resmi
Truth, etc. six lectures on ancient logic
Yazar 
Barnes, Jonathan, 1942-
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199568178.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Fundamentals of digital logic with VHDL design için kapak resmi
Fundamentals of digital logic with VHDL design
Yazar 
Brown, Stephen D. Vranesic, Zvonko G.
Yer Numarası 
TK7888.4 B76 2009
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
48. 
Handbook of Practical Logic and Automated Reasoning için kapak resmi
Handbook of Practical Logic and Automated Reasoning
Yazar 
Harrison, John.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
49. 
Type-2 Fuzzy Logic: Theory and Applications için kapak resmi
Type-2 Fuzzy Logic: Theory and Applications
Yazar 
Castillo, Oscar. author. Melin, Patricia. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-76284-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Probabilistic Inductive Logic Programming Theory and Applications için kapak resmi
Probabilistic Inductive Logic Programming Theory and Applications
Yazar 
Raedt, Luc. editor. Frasconi, Paolo. editor. Kersting, Kristian. editor. Muggleton, Stephen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78652-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Logic Synthesis for Compositional Microprogram Control Units için kapak resmi
Logic Synthesis for Compositional Microprogram Control Units
Yazar 
Barkalov, Alexander. editor. Titarenko, Larysa. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-69285-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Digital logic and microprocessor design with VHDL için kapak resmi
Digital logic and microprocessor design with VHDL
Yazar 
Hwang, Enoch O.
Yer Numarası 
TK7888.4 .H885 2006
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
53. 
Integration of Fuzzy Logic and Chaos Theory için kapak resmi
Integration of Fuzzy Logic and Chaos Theory
Yazar 
Li, Zhong. editor. Halang, Wolfgang A. editor. Chen, Guanrong. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-32502-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Advanced Fuzzy Logic Technologies in Industrial Applications için kapak resmi
Advanced Fuzzy Logic Technologies in Industrial Applications
Yazar 
Bai, Ying. editor. Zhuang, Hanqi. editor. Wang, Dali. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84628-469-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Computation Engineering Applied Automata Theory and Logic için kapak resmi
Computation Engineering Applied Automata Theory and Logic
Yazar 
Gopalakrishnan, Ganesh. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-32520-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Phenomenology, Logic, and the Philosophy of Mathematics için kapak resmi
Phenomenology, Logic, and the Philosophy of Mathematics
Yazar 
Tieszen, Richard.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Quantifying Environmental Impact Assessments Using Fuzzy Logic için kapak resmi
Quantifying Environmental Impact Assessments Using Fuzzy Logic
Yazar 
Shepard, Richard B. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-28098-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Logic safari. Book 1, grades 2-3 için kapak resmi
Logic safari. Book 1, grades 2-3
Yazar 
Risby, Bonnie Lou. Palouda, Annelise, illustrator.
Format: 
Durum 
~0
Rafta:
Kopya:
59. 
Fundamentals of digital logic with Verilog design için kapak resmi
Fundamentals of digital logic with Verilog design
Yazar 
Brown, Stephen D. Vranesic, Zvonko G., ort. yaz.
Yer Numarası 
TK7868.L6 B76 2004
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
60. 
PLC (Programmable Logic Controllers) : Programlanabilir lojik denetleyiciler için kapak resmi
PLC (Programmable Logic Controllers) : Programlanabilir lojik denetleyiciler
Yazar 
Yağımlı, Mustafa. Akar, Feyzi, ort. yaz.
Yer Numarası 
TJ 223.P7 Y199 2004
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
61. 
Infinite words automata, semigroups, logic and games için kapak resmi
Infinite words automata, semigroups, logic and games
Yazar 
Perrin, Dominique. Pin, Jean Eric.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780125321112
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
62. 
An introduction to probability and inductive logic için kapak resmi
An introduction to probability and inductive logic
Yazar 
Hacking, Ian.
Yer Numarası 
BC 141 H33 2001
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
63. 
VHDL coding and logic synthesis with Synopsys için kapak resmi
VHDL coding and logic synthesis with Synopsys
Yazar 
Lee, Weng Fook.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780124406513
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
64. 
High-performance system design circuits and logic için kapak resmi
High-performance system design circuits and logic
Yazar 
Oklobdzija, Vojin G. IEEE Circuits and Systems Society. IEEE Solid-State Circuits Society.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265197
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
65. 
To mock mockingbird : and other logic puzzles... için kapak resmi
To mock mockingbird : and other logic puzzles...
Yazar 
Smullyan, Raymond Merrill, 1919-
Yer Numarası 
GV 1507.P43 S68 1985
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
66. 
On the logic of the social sciences için kapak resmi
On the logic of the social sciences
Yazar 
Habermas, Jurgen.
Yer Numarası 
H 61 H2513 1988
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
67. 
Computing with logic : logic programming with prolog için kapak resmi
Computing with logic : logic programming with prolog
Yazar 
Maier, David, 1953- Warren, D. S., ort. yaz.
Yer Numarası 
QA 76.73.P76 M349 1988
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
68. 
The principles of empirical or inductive logic için kapak resmi
The principles of empirical or inductive logic
Yazar 
Venn, John, 1834-1923.
Yer Numarası 
BC 91 V4 1972
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
69. 
The logic of images in international relations için kapak resmi
The logic of images in international relations
Yazar 
Jervis, Robert, 1940-
Yer Numarası 
JX 1395 J45
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
70. 
A study of the logic of teaching için kapak resmi
A study of the logic of teaching
Yazar 
Smith, Bunnie Othanel, 1903- Meux, Milton O., ed. Coombs, Jerrold., ed.
Yer Numarası 
LB 1025 S653 1970
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
71. 
Introduction to psychological research : logic, desing, analysis için kapak resmi
Introduction to psychological research : logic, desing, analysis
Yazar 
Lathrop, Richard G., 1933-
Yer Numarası 
BF 76.5 L34 1969
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
72. 
The theory of gambling and statistical logic için kapak resmi
The theory of gambling and statistical logic
Yazar 
Epstein, Richard A.
Yer Numarası 
QA 273 E6 1967
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
73. 
The logic of liberty : reflections and rejoinders için kapak resmi
The logic of liberty : reflections and rejoinders
Yazar 
Polanyi, Michael, 1891-
Yer Numarası 
HM 271 P6 1951
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
74. 
An introduction to logic and scientific method için kapak resmi
An introduction to logic and scientific method
Yazar 
Cohen, Morris Raphael, 1880-1947. Nagel, Ernest, ort.yaz.
Yer Numarası 
BC 108 C6602 1934
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
75. 
Mitsubishi FX programmable logic controllers applications and programming için kapak resmi
Mitsubishi FX programmable logic controllers applications and programming
Yazar 
Ridley, J. E. (John E.) Ridley, J. E. (John E.). Introduction to programmable logic controllers.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780750656795
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
76. 
The rise of modern logic from Leibniz to Frege için kapak resmi
The rise of modern logic from Leibniz to Frege
Yazar 
Gabbay, Dov M., 1945- Woods, John (John Hayden)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444516114
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
77. 
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas için kapak resmi
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Yazar 
Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-85352-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
78. 
Multi-valued Logic for Decision-Making Under Uncertainty için kapak resmi
Multi-valued Logic for Decision-Making Under Uncertainty
Yazar 
Kagan, Evgeny. author. Rybalov, Alexander. author. Yager, Ronald. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-74762-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
79. 
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas için kapak resmi
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Yazar 
Farmer, William M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-21112-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
80. 
An introduction to practical formal methods using temporal logic için kapak resmi
An introduction to practical formal methods using temporal logic
Yazar 
Fisher, Michael, 1962-
Yer Numarası 
ONLINE
Elektronik Erişim 
John Wiley http://dx.doi.org/10.1002/9781119991472
http://proquest.safaribooksonline.com/?fpi=9780470027882
Books24x7 http://www.books24x7.com/marc.asp?bookid=46822
http://proquest.safaribooksonline.com/9780470027882
Volltext http://proquest.tech.safaribooksonline.de/9780470027882
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
81. 
A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns için kapak resmi
A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
Yazar 
Pagliani, Piero. editor. Chakraborty, Mihir. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-8622-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
82. 
The many valued and non-monotonic turn in logic için kapak resmi
The many valued and non-monotonic turn in logic
Yazar 
Gabbay, Dov M., 1945- Woods, John (John Hayden)
Yer Numarası 
ONLINE
Elektronik Erişim 
Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444516237
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
83. 
The many valued and non-monotonic turn in logic için kapak resmi
The many valued and non-monotonic turn in logic
Yazar 
Gabbay, Dov M., 1945- Woods, John (John Hayden)
Yer Numarası 
ONLINE
Elektronik Erişim 
Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444516237
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
84. 
The many valued and non-monotonic turn in logic için kapak resmi
The many valued and non-monotonic turn in logic
Yazar 
Gabbay, Dov M., 1945- Woods, John (John Hayden)
Yer Numarası 
ONLINE
Elektronik Erişim 
Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444516237
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
85. 
The many valued and non-monotonic turn in logic için kapak resmi
The many valued and non-monotonic turn in logic
Yazar 
Gabbay, Dov M., 1945- Woods, John (John Hayden)
Yer Numarası 
ONLINE
Elektronik Erişim 
Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444516237
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
86. 
Logic and the modalities in the twentieth century için kapak resmi
Logic and the modalities in the twentieth century
Yazar 
Gabbay, Dov M., 1945- Woods, John (John Hayden)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444516220
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
87. 
Handbook of the logic of argument and inference the turn towards the practical için kapak resmi
Handbook of the logic of argument and inference the turn towards the practical
Yazar 
Gabbay, Dov M., 1945-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444506504
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
88. 
Between Logic and Reality Modeling Inference, Action and Understanding için kapak resmi
Between Logic and Reality Modeling Inference, Action and Understanding
Yazar 
Trobok, Majda. editor. Miščević, Nenad. editor. Žarnić, Berislav. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-2390-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
89. 
Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic için kapak resmi
Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic
Yazar 
Duží, Marie. author. Jespersen, Bjorn. author. Materna, Pavel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-8812-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
90. 
The Unity of Science in the Arabic Tradition Science, Logic, Epistemology and their Interactions için kapak resmi
The Unity of Science in the Arabic Tradition Science, Logic, Epistemology and their Interactions
Yazar 
Rahman, Shahid. editor. Street, Tony. editor. Tahiri, Hassan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-8405-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
91. 
Logic based on Schaum's Outline of theory and problems of logic için kapak resmi
Logic based on Schaum's Outline of theory and problems of logic
Yazar 
Nolt, John, 1950- Rohatyn, Dennis A. Varzi, Achille C. McAllister, Alex M. Nolt, John, 1950- Outline of theory and problems of logic.
Yer Numarası 
ONLINE
Elektronik Erişim 
Subscription required
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
92. 
The technique of controversy : principles of dynamic logic için kapak resmi
The technique of controversy : principles of dynamic logic
Yazar 
Bogoslovsky, Boris Basil, 1890-
Yer Numarası 
BC 108 B65 1928 (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
93. 
The limits of science : outline of logic and of the methodology of the exact sciences için kapak resmi
The limits of science : outline of logic and of the methodology of the exact sciences
Yazar 
Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-
Yer Numarası 
Q 175 C494 1948 A (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
94. 
Learning music theory with Logic, Max, and Finale için kapak resmi
Learning music theory with Logic, Max, and Finale
Yazar 
Kidde, Geoffrey, 1963- author.
Yer Numarası 
MT6 .K47
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781351004381
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:
95. 
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method için kapak resmi
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
Yazar 
Cellucci, Carlo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(336157.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-6091-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
96. 
Proof, Computation and Agency Logic at the Crossroads için kapak resmi
Proof, Computation and Agency Logic at the Crossroads
Yazar 
van Benthem, Johan. editor. Gupta, Amitabha. editor. Parikh, Rohit. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0080-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
97. 
Strict Finitism and the Logic of Mathematical Applications için kapak resmi
Strict Finitism and the Logic of Mathematical Applications
Yazar 
Ye, Feng. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-1347-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
98. 
Creative sequencing techniques for music production a practical guide to Pro Tools, Logic, Digital Performer, and Cubase için kapak resmi
Creative sequencing techniques for music production a practical guide to Pro Tools, Logic, Digital Performer, and Cubase
Yazar 
Pejrolo, Andrea.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780240522166
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
99. 
Games, Norms and Reasons Logic at the Crossroads için kapak resmi
Games, Norms and Reasons Logic at the Crossroads
Yazar 
van Benthem, Johan. editor. Gupta, Amitabha. editor. Pacuit, Eric. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0714-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
100. 
Schaum's outline of theory and problems of logic için kapak resmi
Schaum's outline of theory and problems of logic
Yazar 
Nolt, John, 1950- Rohatyn, Dennis A. Varzi, Achille C.
Yer Numarası 
ONLINE
Elektronik Erişim 
Subscription required
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
101. 
Logic and Philosophy of Mathematics in the Early Husserl için kapak resmi
Logic and Philosophy of Mathematics in the Early Husserl
Yazar 
Centrone, Stefania. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-3246-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
102. 
Nonlinear biomedical signal processing. Volume 1, Fuzzy logic, neural networks, and new algorithms için kapak resmi
Nonlinear biomedical signal processing. Volume 1, Fuzzy logic, neural networks, and new algorithms
Yazar 
Akay, Metin. IEEE Engineering in Medicine and Biology Society.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263178
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
103. 
Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theory için kapak resmi
Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theory
Yazar 
Hailperin, Theodore.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444879523
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
104. 
Logic in algebraic form Three languages and theories için kapak resmi
Logic in algebraic form Three languages and theories
Yazar 
Craig, William, 1918-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444104779
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
105. 
Model theory for infinitary logic logic with countable conjunctions and finite quantifiers için kapak resmi
Model theory for infinitary logic logic with countable conjunctions and finite quantifiers
Yazar 
Keisler, H. Jerome.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422580
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
106. 
The problem of inductive logic Proceedings of the International colloquium in the philosophy of science, London, 1965. [Volume 2] için kapak resmi
The problem of inductive logic Proceedings of the International colloquium in the philosophy of science, London, 1965. [Volume 2]
Yazar 
International Colloquium in the Philosophy of Science (1965 : Bedford College) Lakatos, Imre.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534156
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
107. 
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, R. L. (Reuben Louis)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533852
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
108. 
Proceedings of the Summer School in Logic Leeds, 1967 ; N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic için kapak resmi
Proceedings of the Summer School in Logic Leeds, 1967 ; N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic
Yazar 
Summer School in Logic (1967 : Leeds, Eng.) Löb, M. H., ed.
Yer Numarası 
QA 248 SU64 1968
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
109. 
Logic programming proceedings of the 1999 International Conference on Logic Programming için kapak resmi
Logic programming proceedings of the 1999 International Conference on Logic Programming
Yazar 
International Conference on Logic Programming (16th : 1999 : Las Cruces, N.M.) De Schreye, Danny.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267511
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
110. 
Logic programming proceedings of the Fourteenth International Conference on Logic Programming için kapak resmi
Logic programming proceedings of the Fourteenth International Conference on Logic Programming
Yazar 
International Conference on Logic Programming (14th : 1997 : Louvain, Belgium) Naish, Lee, 1960-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267518
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
111. 
Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming için kapak resmi
Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
Yazar 
Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany) Maher, Michael, 1959-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
112. 
The rise of British logic : acts of the Sixth European Symposium on Medieval Logic and Semantics, Balliol College, Oxford, 19-24 June 1983 için kapak resmi
The rise of British logic : acts of the Sixth European Symposium on Medieval Logic and Semantics, Balliol College, Oxford, 19-24 June 1983
Yazar 
European Symposium on Medieval Logic and Semantics (6th : 1983 : Balliol College) Lewry, P. Osmund, ed.
Yer Numarası 
BC 39.5.G7 E97 1983
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
113. 
Logic, methodology and philosophy of science III : proceedings için kapak resmi
Logic, methodology and philosophy of science III : proceedings
Yazar 
International Congress for Logic, Methodology and Philosophy of Science (3rd : 1967 : Amsterdam) Van Rootselaar, B., ed. Staal, J. F., ed.
Yer Numarası 
BC 135 I55 1968
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
114. 
Postmodernism, or, The cultural logic of late capitalism için kapak resmi
Postmodernism, or, The cultural logic of late capitalism
Yazar 
Jameson, Fredric.
Yer Numarası 
PN 98.P67 J3 1991
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
115. 
Fuzzy logic concepts in computer science and mathematics için kapak resmi
Fuzzy logic concepts in computer science and mathematics
Yazar 
Kar, Rahul, editor.
Yer Numarası 
QA9.64
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781779643551
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:
116. 
Engineering the circular economy : leveraging fuzzy logic for implementation için kapak resmi
Engineering the circular economy : leveraging fuzzy logic for implementation
Yazar 
Mallik, Biswadip Basu, editor
Yer Numarası 
HC79 .E5 E5633 2026 EB
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003538837
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:
117. 
Lollipop logic : critical thinking activities (Book 4, Grades K-2) için kapak resmi
Lollipop logic : critical thinking activities (Book 4, Grades K-2)
Yazar 
Risby, Bonnie Lou, author. Risby, Robert K., II, author.
Yer Numarası 
LB1590.3
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003491620
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:
118. 
MANORIAL CAPITALISM, ENSLAVEMENT, AND THE LOGIC OF DIVIDUATION için kapak resmi
MANORIAL CAPITALISM, ENSLAVEMENT, AND THE LOGIC OF DIVIDUATION
Yazar 
Sassower, Raphael.
Yer Numarası 
HT861
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003606093
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:
119. 
Reasons for logic, logic for reasons : pragmatics, semantics, and conceptual roles için kapak resmi
Reasons for logic, logic for reasons : pragmatics, semantics, and conceptual roles
Yazar 
Hlobil, Ulf, author. Brandom, Robert, author.
Yer Numarası 
BC71
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003330141
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:
120. 
Neuro-Symbolic Artificial Intelligence Bridging Logic and Learning için kapak resmi
Neuro-Symbolic Artificial Intelligence Bridging Logic and Learning
Yazar 
Bhuyan, Bikram Pratim. author. (orcid)0000-0001-5373-8912 Ramdane-Cherif, Amar. author. Singh, Thipendra P. author. (orcid)0000-0002-9991-6494 Tomar, Ravi. author. (orcid)0000-0002-8957-6756 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-8171-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
121. 
Applications of Fuzzy Logic in Decision Making and Management Science için kapak resmi
Applications of Fuzzy Logic in Decision Making and Management Science
Yazar 
Jana, Subrata. editor. Basu Mallik, Biswadip. editor. Sarkar, Anirban. editor. (orcid)0000-0002-4691-5631 Jana, Chiranjibe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-77719-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
122. 
Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings için kapak resmi
Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings
Yazar 
Aiswarya, C. editor. (orcid)0000-0002-4878-7581 Sen, Prabal Kumar. editor. Srivastava, Shashi Mohan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-89610-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
123. 
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings için kapak resmi
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings
Yazar 
Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-95908-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
124. 
Advances in Fuzzy Logic and Technology 14th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2025, Riga, Latvia, July 21-25, 2025, Proceedings, Part II için kapak resmi
Advances in Fuzzy Logic and Technology 14th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2025, Riga, Latvia, July 21-25, 2025, Proceedings, Part II
Yazar 
Baczyński, Michał. editor. (orcid)0000-0002-4442-2112 De Baets, Bernard. editor. (orcid)0000-0002-3876-620X Holčapek, Michal. editor. (orcid)0000-0003-3978-1249 Kreinovich, Vladik. editor. (orcid)0000-0002-1244-1650 Medina, Jesús. editor. (orcid)0000-0002-3931-5873
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97228-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
125. 
Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures için kapak resmi
Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures
Yazar 
Console, Marco. editor. (orcid)0009-0004-5526-019X Konev, Boris. editor. (orcid)0000-0002-6507-0494 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-80283-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
126. 
Applied Type-3 Fuzzy Logic Systems and Controllers için kapak resmi
Applied Type-3 Fuzzy Logic Systems and Controllers
Yazar 
Sabetahd, Rasoul. author. (orcid)0000-0002-3320-5788 Mohammadzadeh, Ardashir. author. Jafarzadeh, Ommegolsoum. author. Taghavifar, Hamid. author. Sakthivel, Rathinasamy. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-75988-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
127. 
The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers için kapak resmi
The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers
Yazar 
Yan, Jialiang. editor. (orcid)0009-0005-2163-2300 Liu, Mingming. editor. Westerståhl, Dag. editor. (orcid)0000-0002-9925-3811 Yang, Xiaolu. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-86054-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
128. 
Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings için kapak resmi
Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings
Yazar 
Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-7956-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
129. 
Advances in Fuzzy Logic and Technology 14th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2025, Riga, Latvia, July 21-25, 2025, Proceedings, Part I için kapak resmi
Advances in Fuzzy Logic and Technology 14th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2025, Riga, Latvia, July 21-25, 2025, Proceedings, Part I
Yazar 
Baczyński, Michał. editor. (orcid)0000-0002-4442-2112 De Baets, Bernard. editor. (orcid)0000-0002-3876-620X Holčapek, Michal. editor. (orcid)0000-0003-3978-1249 Kreinovich, Vladik. editor. (orcid)0000-0002-1244-1650 Medina, Jesús. editor. (orcid)0000-0002-3931-5873
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97225-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
130. 
Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings için kapak resmi
Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings
Yazar 
Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286 Gupta, Gopal. editor. (orcid)0000-0001-9727-0362 Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-74209-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
131. 
Critical thinking for English-language learners : reasoning, logic, and argumentation için kapak resmi
Critical thinking for English-language learners : reasoning, logic, and argumentation
Yazar 
Johnson, Christopher M. (Associate professor of philosophy), author. Howard, Anne McLellan, author.
Yer Numarası 
PE1128 .A2
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003473077
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:
132. 
Nanoscale computing : the journey beyond CMOS with nanomagnetic logic için kapak resmi
Nanoscale computing : the journey beyond CMOS with nanomagnetic logic
Yazar 
Sivasubramani, Santhosh, author.
Yer Numarası 
T174.7 .S5455 2025
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394263585
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
133. 
Logic synthesis for FPGA-based mealy finite state machines : structural decomposition in logic design için kapak resmi
Logic synthesis for FPGA-based mealy finite state machines : structural decomposition in logic design
Yazar 
Barkalov, Alexander, author.
Yer Numarası 
TK7868 .L6
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003536734
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:
134. 
Type-3 Fuzzy Logic and Fractal Theory for Medical Diagnosis için kapak resmi
Type-3 Fuzzy Logic and Fractal Theory for Medical Diagnosis
Yazar 
Melin, Patricia. author. (orcid)0000-0001-5798-1426 Castillo, Oscar. author. (orcid)0000-0002-7385-5689 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-81655-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
135. 
Graded Logic Modeling Human Commonsense Reasoning in Decision-Making and AI için kapak resmi
Graded Logic Modeling Human Commonsense Reasoning in Decision-Making and AI
Yazar 
Dujmović, Jozo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-88558-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
136. 
An Introduction to Curry Systems A Way to Algebraize Paraconsistent, Paracomplete, and Non-Alethic Logic için kapak resmi
An Introduction to Curry Systems A Way to Algebraize Paraconsistent, Paracomplete, and Non-Alethic Logic
Yazar 
Abe, Jair Minoro. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97810-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
137. 
Cross-Tradition Engagement on the Laws of Logic : Approaching Identity and Reference from Classical Chinese Philosophy to Modern Logic için kapak resmi
Cross-Tradition Engagement on the Laws of Logic : Approaching Identity and Reference from Classical Chinese Philosophy to Modern Logic
Yazar 
Mou, Bo, author.
Yer Numarası 
BC71
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003452737
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:
138. 
Retuning education : Bildung and exemplarity beyond the logic of progress için kapak resmi
Retuning education : Bildung and exemplarity beyond the logic of progress
Yazar 
Korsgaard, Morten Timmermann, author.
Yer Numarası 
LB14.7
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003437666
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:
139. 
The logic of legal argumentation : multi-modal perspectives için kapak resmi
The logic of legal argumentation : multi-modal perspectives
Yazar 
Novak, Marko, author.
Yer Numarası 
K213
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003433767
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:
140. 
Lollipop logic : critical thinking activities (Book 3, Grades K-2) için kapak resmi
Lollipop logic : critical thinking activities (Book 3, Grades K-2)
Yazar 
Risby, Bonnie Lou, author. Risby, Robert K., II, author.
Yer Numarası 
LB1590.3
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003387206
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:
141. 
Lollipop logic : critical thinking activities (book 2, grades K-2) için kapak resmi
Lollipop logic : critical thinking activities (book 2, grades K-2)
Yazar 
Risby, Bonnie Lou, author. Risby, Robert K., II, author.
Yer Numarası 
LB1590.3
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003387213
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:
142. 
New institutional economics as situational logic : a phenomenological perspective için kapak resmi
New institutional economics as situational logic : a phenomenological perspective
Yazar 
Vries, Piet de, author.
Yer Numarası 
HB99.5
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781315764221
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:
143. 
The limits and logic of agency theory in company law için kapak resmi
The limits and logic of agency theory in company law
Yazar 
Hardman, Jonathan, author.
Yer Numarası 
K917
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003293828
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:
144. 
Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers için kapak resmi
Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers
Yazar 
Gierasimczuk, Nina. editor. Velázquez-Quesada, Fernando R. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-51777-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
145. 
From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career için kapak resmi
From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career
Yazar 
Cantone, Domenico. editor. (orcid)0000-0002-1306-1166 Pulvirenti, Alfredo. editor. (orcid)0000-0002-9764-0295 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-55248-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
146. 
Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings için kapak resmi
Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings
Yazar 
Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104 Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-55630-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
147. 
A First Course in Fuzzy Logic, Fuzzy Dynamical Systems, and Biomathematics Theory and Applications için kapak resmi
A First Course in Fuzzy Logic, Fuzzy Dynamical Systems, and Biomathematics Theory and Applications
Yazar 
de Barros, Laécio Carvalho. author. Bassanezi, Rodney Carlos. author. Lodwick, Weldon A. author. (orcid)0000-0003-0606-5916 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-50492-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
148. 
Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers için kapak resmi
Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers
Yazar 
Bekki, Daisuke. editor. (orcid)0000-0002-9988-1260 Mineshima, Koji. editor. (orcid)0000-0002-2801-9171 McCready, Elin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-60878-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
149. 
Computing with multi-value logic in quantum dot cellular automata için kapak resmi
Computing with multi-value logic in quantum dot cellular automata
Yazar 
Sabbaghi-Nadooshan, Reza, author.
Yer Numarası 
TK7874.88 .S23 2024
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394253975
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
150. 
Introduction to Logic Circuits & Logic Design with Verilog için kapak resmi
Introduction to Logic Circuits & Logic Design with Verilog
Yazar 
LaMeres, Brock J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43946-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
151. 
Introduction to Logic Circuits & Logic Design with VHDL için kapak resmi
Introduction to Logic Circuits & Logic Design with VHDL
Yazar 
LaMeres, Brock J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42547-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
152. 
Selected Reflections in Language, Logic, and Information ESSLLI 2019, ESSLLI 2020 and ESSLLI 2021 Student Sessions, Selected Papers için kapak resmi
Selected Reflections in Language, Logic, and Information ESSLLI 2019, ESSLLI 2020 and ESSLLI 2021 Student Sessions, Selected Papers
Yazar 
Pavlova, Alexandra. editor. Pedersen, Mina Young. editor. Bernardi, Raffaella. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-50628-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
153. 
Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings için kapak resmi
Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings
Yazar 
Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-2300-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
154. 
Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers için kapak resmi
Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers
Yazar 
Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-65941-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
155. 
New Directions on Hybrid Intelligent Systems Based on Neural Networks, Fuzzy Logic, and Optimization Algorithms için kapak resmi
New Directions on Hybrid Intelligent Systems Based on Neural Networks, Fuzzy Logic, and Optimization Algorithms
Yazar 
Melin, Patricia. editor. (orcid)0000-0001-5798-1426 Castillo, Oscar. editor. (orcid)0000-0002-7385-5689 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-53713-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
156. 
Type-3 Fuzzy Logic in Time Series Prediction için kapak resmi
Type-3 Fuzzy Logic in Time Series Prediction
Yazar 
Castillo, Oscar. author. (orcid)0000-0002-7385-5689 Melin, Patricia. author. (orcid)0000-0001-5798-1426 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-59714-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
157. 
New Horizons for Fuzzy Logic, Neural Networks and Metaheuristics için kapak resmi
New Horizons for Fuzzy Logic, Neural Networks and Metaheuristics
Yazar 
Castillo, Oscar. editor. (orcid)0000-0002-7385-5689 Melin, Patricia. editor. (orcid)0000-0001-5798-1426 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-55684-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
158. 
Logic, Language, Information, and Computation 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings için kapak resmi
Logic, Language, Information, and Computation 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings
Yazar 
Metcalfe, George. editor. Studer, Thomas. editor. de Queiroz, Ruy. editor. (orcid)0000-0003-1482-0977 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-62687-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
159. 
Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings için kapak resmi
Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings
Yazar 
Bowles, Juliana. editor. (orcid)0000-0002-5918-9114 Søndergaard, Harald. editor. (orcid)0000-0002-2352-1883 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-71294-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
160. 
Algebraic Quasi-Fractal Logic of Smart Systems Theory and Practice için kapak resmi
Algebraic Quasi-Fractal Logic of Smart Systems Theory and Practice
Yazar 
Serdyukova, Natalia. editor. Serdyukov, Vladimir. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-66040-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
161. 
Situation assessment in aviation : Bayesian network and fuzzy logic-based approaches için kapak resmi
Situation assessment in aviation : Bayesian network and fuzzy logic-based approaches
Yazar 
Raol, J. R. (Jitendra R.), 1947- author.
Yer Numarası 
TL711 .B6
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003370413
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:
162. 
LOGIC FOR JUSTICE an introduction to formal logic with an emphasis on political reform. için kapak resmi
LOGIC FOR JUSTICE an introduction to formal logic with an emphasis on political reform.
Yazar 
Wilhelm, Isaac.
Yer Numarası 
JC11
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003200970
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:
163. 
NONRATIONAL LOGIC IN CONTEMPORARY SOCIETY a depth psychology perspective on magical thinking,... conspiracy theories and folk devils among us. için kapak resmi
NONRATIONAL LOGIC IN CONTEMPORARY SOCIETY a depth psychology perspective on magical thinking,... conspiracy theories and folk devils among us.
Yazar 
Kline, Jim.
Yer Numarası 
HV6275
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003271482
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:
164. 
Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings için kapak resmi
Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
Yazar 
Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26689-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
165. 
Dynamics in Logic and Language Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1-4, 2022, Revised Selected Papers için kapak resmi
Dynamics in Logic and Language Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1-4, 2022, Revised Selected Papers
Yazar 
Deng, Dun. editor. Liu, Mingming. editor. Westerståhl, Dag. editor. Xie, Kaibo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-25894-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
166. 
Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings için kapak resmi
Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings
Yazar 
Bellodi, Elena. editor. Lisi, Francesca Alessandra. editor. Zese, Riccardo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-49299-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
167. 
Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers için kapak resmi
Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers
Yazar 
Areces, Carlos. editor. Costa, Diana. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26622-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
168. 
Fuzzy Logic and Neural Networks for Hybrid Intelligent System Design için kapak resmi
Fuzzy Logic and Neural Networks for Hybrid Intelligent System Design
Yazar 
Castillo, Oscar. editor. Melin, Patricia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-22042-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
169. 
WAIC and WBIC with Python Stan 100 Exercises for Building Logic için kapak resmi
WAIC and WBIC with Python Stan 100 Exercises for Building Logic
Yazar 
Suzuki, Joe. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-3841-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
170. 
Hybrid Intelligent Systems Based on Extensions of Fuzzy Logic, Neural Networks and Metaheuristics için kapak resmi
Hybrid Intelligent Systems Based on Extensions of Fuzzy Logic, Neural Networks and Metaheuristics
Yazar 
Castillo, Oscar. editor. Melin, Patricia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-28999-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
171. 
MULTIPLE-VALUED COMPUTING IN QUANTUM MOLECULAR BIOLOGY sequential circuits, memory devices,... programmable logic devices, and nanoprocessors. için kapak resmi
MULTIPLE-VALUED COMPUTING IN QUANTUM MOLECULAR BIOLOGY sequential circuits, memory devices,... programmable logic devices, and nanoprocessors.
Yazar 
Babu, Hafiz Md. Hasan, 1966-
Yer Numarası 
QH506
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003381921
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:
172. 
Logic for kids : all aboard the Therefore Train! için kapak resmi
Logic for kids : all aboard the Therefore Train!
Yazar 
Cusmariu, Arnold, author.
Yer Numarası 
BC108
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003359289
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:
173. 
Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings için kapak resmi
Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings
Yazar 
Della Vedova, Gianluca. editor. Dundua, Besik. editor. Lempp, Steffen. editor. Manea, Florin. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-36978-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
174. 
Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings için kapak resmi
Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings
Yazar 
Herzig, Andreas. editor. Luo, Jieting. editor. Pardo, Pere. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-40875-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
175. 
Logic, Rationality, and Interaction 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings için kapak resmi
Logic, Rationality, and Interaction 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings
Yazar 
Alechina, Natasha. editor. Herzig, Andreas. editor. Liang, Fei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-45558-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
176. 
Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings için kapak resmi
Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Yazar 
Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-45784-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
177. 
Recent Trends on Type-2 Fuzzy Logic Systems: Theory, Methodology and Applications için kapak resmi
Recent Trends on Type-2 Fuzzy Logic Systems: Theory, Methodology and Applications
Yazar 
Castillo, Oscar. editor. Kumar, Anupam. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26332-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
178. 
Logic Locking A Practical Approach to Secure Hardware için kapak resmi
Logic Locking A Practical Approach to Secure Hardware
Yazar 
Sisejkovic, Dominik. author. Leupers, Rainer. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-19123-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
179. 
Digital Landscape Architecture: Logic, Structure, Method and Application için kapak resmi
Digital Landscape Architecture: Logic, Structure, Method and Application
Yazar 
Cheng, Yuning. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-2046-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
180. 
Error Logic: Paving Pathways for Intelligent Error Identification and Management için kapak resmi
Error Logic: Paving Pathways for Intelligent Error Identification and Management
Yazar 
Liu, Shiyong. author. Guo, Kaizhong. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-00820-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
181. 
Advances in Applied Logics Applications of Logic for Philosophy, Mathematics and Information Technology için kapak resmi
Advances in Applied Logics Applications of Logic for Philosophy, Mathematics and Information Technology
Yazar 
Abe, Jair Minoro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-35759-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
182. 
Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021) için kapak resmi
Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021)
Yazar 
Loukanova, Roussanka. editor. Lumsdaine, Peter LeFanu. editor. Muskens, Reinhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-21780-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
183. 
The new logic of sexual violence in enlightenment France : rationalizing rape için kapak resmi
The new logic of sexual violence in enlightenment France : rationalizing rape
Yazar 
McAlpin, Mary, 1960- author.
Yer Numarası 
HV6593 .F7
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003283898
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:
184. 
Gonzo governance : the media logic of Donald Trump için kapak resmi
Gonzo governance : the media logic of Donald Trump
Yazar 
Altheide, David L.
Yer Numarası 
E912 .A43 2023
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003330837
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:
185. 
The freest market in the world : the constitutional logic of economic liberty in Hong Kong için kapak resmi
The freest market in the world : the constitutional logic of economic liberty in Hong Kong
Yazar 
Villalta Puig, Gonzalo, author. Ip, Eric Chi Yeung, author.
Yer Numarası 
KNQ9370.3 .V55 2022
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9780429341229
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:
186. 
Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence" için kapak resmi
Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"
Yazar 
Polkowski, Lech T. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42034-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
187. 
Gender-responsive governance in Sierra Leone : the transitions and logic of inequality için kapak resmi
Gender-responsive governance in Sierra Leone : the transitions and logic of inequality
Yazar 
Lahai, John Idriss, author.
Yer Numarası 
HQ1236.5 .S5 .L343 2023
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003384083
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:
188. 
Fuzzy logic applications in computer science and mathematics için kapak resmi
Fuzzy logic applications in computer science and mathematics
Yazar 
Kar, Rahul, editor.
Yer Numarası 
QA9.64 .F89 2023
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394175130
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
189. 
WAIC and WBIC with R Stan 100 Exercises for Building Logic için kapak resmi
WAIC and WBIC with R Stan 100 Exercises for Building Logic
Yazar 
Suzuki, Joe. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-3838-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
190. 
Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings için kapak resmi
Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings
Yazar 
Zhang, Songmao. editor. (orcid) Zhang, Yonggang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-7869-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
191. 
Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings için kapak resmi
Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
Yazar 
Hansen, Helle Hvid. editor. Scedrov, Andre. editor. de Queiroz, Ruy J.G.B. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-39784-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
192. 
Fuzzy Logic and Technology, and Aggregation Operators 13th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2023, and 12th International Summer School on Aggregation Operators, AGOP 2023, Palma de Mallorca, Spain, September 4-8, 2023, Proceedings için kapak resmi
Fuzzy Logic and Technology, and Aggregation Operators 13th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2023, and 12th International Summer School on Aggregation Operators, AGOP 2023, Palma de Mallorca, Spain, September 4-8, 2023, Proceedings
Yazar 
Massanet, Sebastia. editor. Montes, Susana. editor. Ruiz-Aguilera, Daniel. editor. González-Hidalgo, Manuel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-39965-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
193. 
Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers için kapak resmi
Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers
Yazar 
Bekki, Daisuke. editor. Mineshima, Koji. editor. (orcid) McCready, Elin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43977-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
194. 
Parliamentary agency and regional integration in Europe and beyond : the logic of regional parliaments için kapak resmi
Parliamentary agency and regional integration in Europe and beyond : the logic of regional parliaments
Yazar 
Luciano, Bruno Theodoro, author.
Yer Numarası 
JF197 .L84 2022
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003142201
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:
195. 
Foundations of probabilistic logic programming : languages, semantics, inference and learning için kapak resmi
Foundations of probabilistic logic programming : languages, semantics, inference and learning
Yazar 
Riguzzi, Fabrizio, author.
Yer Numarası 
QA76.63
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003427421
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:
196. 
Logic works : a rigorous introduction to formal logic için kapak resmi
Logic works : a rigorous introduction to formal logic
Yazar 
Falkenstein, Lorne, author. Stapleford, Scott, author. Kao, Molly, 1986- author.
Yer Numarası 
BC108
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003026532
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:
197. 
Post-truth society : a political anthropology of trickster logic için kapak resmi
Post-truth society : a political anthropology of trickster logic
Yazar 
Szakolczai, Árpád, author.
Yer Numarası 
BJ1421
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003225553
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:
198. 
Artificial intelligence and computing logic : cognitive technology for AI business analytics için kapak resmi
Artificial intelligence and computing logic : cognitive technology for AI business analytics
Yazar 
Nourani, Cyrus F., editor.
Yer Numarası 
QA76.9 .S63
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003180487
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:
199. 
Luck, logic, and white lies : the mathematics of games için kapak resmi
Luck, logic, and white lies : the mathematics of games
Yazar 
Bewersdorff, Jörg, author.
Yer Numarası 
QA269
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003092872
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:
200. 
PIC16F1847 microcontroller-based programmable logic controller : intermediate concepts için kapak resmi
PIC16F1847 microcontroller-based programmable logic controller : intermediate concepts
Yazar 
Uzam, Murat, 1968- author.
Yer Numarası 
TJ223 .P76 U93 2021 EB
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9780367506445
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:
201. 
Logic of the powers : towards an impact-driven practice of futurist statecraft için kapak resmi
Logic of the powers : towards an impact-driven practice of futurist statecraft
Yazar 
Wong, Pak Nung, author.
Yer Numarası 
BL65 .P7
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9780429263446
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:
202. 
Public service logic : creating value for public service users, citizens, and society through public service delivery için kapak resmi
Public service logic : creating value for public service users, citizens, and society through public service delivery
Yazar 
Osborne, Stephen P., 1953- author.
Yer Numarası 
JF1351 .O77 2021
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003009153
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:
203. 
The fundamentally simple logic of language : learning a second language with the tools of the native speaker için kapak resmi
The fundamentally simple logic of language : learning a second language with the tools of the native speaker
Yazar 
González, Luis H., author.
Yer Numarası 
P281
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003139225
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:
204. 
PIC16F1847 microcontroller-based programmable logic controller : hardware and basic concepts için kapak resmi
PIC16F1847 microcontroller-based programmable logic controller : hardware and basic concepts
Yazar 
Uzam, Murat, 1968- author.
Yer Numarası 
TJ223 .P76 U93 2021 EB
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003050605
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:
205. 
PIC16F1847 microcontroller-based programmable logic controller : advanced concepts için kapak resmi
PIC16F1847 microcontroller-based programmable logic controller : advanced concepts
Yazar 
Uzam, Murat, 1968- author.
Yer Numarası 
TJ223 .P76 U93 2021 EB
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003050643
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:
206. 
Cultural internationalism : the logic of a new international governance için kapak resmi
Cultural internationalism : the logic of a new international governance
Yazar 
Guo, Shuyong, 1968- author. Zhang, Xiaoyin, translator.
Yer Numarası 
JZ1318
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003170747
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:
207. 
Mathematical modeling using fuzzy logic applications to sustainability için kapak resmi
Mathematical modeling using fuzzy logic applications to sustainability
Yazar 
Pandit, Abhijit, 1978- author.
Yer Numarası 
TA342
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9780429423345
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:
208. 
Cybernetic psychology and mental health : a circular logic of control beyond the individual için kapak resmi
Cybernetic psychology and mental health : a circular logic of control beyond the individual
Yazar 
Beck, Timothy J., author.
Yer Numarası 
QP360.5
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9780429287046
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:
209. 
Logic and uncertainty in the human mind : a tribute to David E. Over için kapak resmi
Logic and uncertainty in the human mind : a tribute to David E. Over
Yazar 
Elqayam, Shira, editor. Douven, Igor, editor. Evans, Jonathan St. B. T., 1948- editor. Cruz, Nicole, editor.
Yer Numarası 
BF442 .L64 2020
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781315111902
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:
210. 
PIC16F1847 MICROCONTROLLER-BASED PROGRAMMABLE LOGIC CONTROLLER, THREE VOLUME SET için kapak resmi
PIC16F1847 MICROCONTROLLER-BASED PROGRAMMABLE LOGIC CONTROLLER, THREE VOLUME SET
Yazar 
Uzam, Murat, 1968- author.
Yer Numarası 
TJ223 .P76
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003050674
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:
211. 
Hegel's foundation free metaphysics : the logic of singularity için kapak resmi
Hegel's foundation free metaphysics : the logic of singularity
Yazar 
Moss, Gregory S., 1983- author.
Yer Numarası 
B2948
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781315185347
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:
212. 
Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings için kapak resmi
Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings
Yazar 
Khan, Md. Aquil. editor. Manuel, Amaldev. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-58771-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
213. 
Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings için kapak resmi
Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings
Yazar 
Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054 Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-20528-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
214. 
Logic Functions and Equations Binary Models for Computer Science için kapak resmi
Logic Functions and Equations Binary Models for Computer Science
Yazar 
Posthoff, Christian. author. Steinbach, Bernd. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-02420-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
215. 
Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings için kapak resmi
Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
Yazar 
Iemhoff, Rosalie. editor. Moortgat, Michael. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-59533-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
216. 
Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers için kapak resmi
Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Yazar 
Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-13838-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
217. 
Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers için kapak resmi
Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers
Yazar 
Chaves, Madalena. editor. Martins, Manuel A. editor. (orcid)0000-0002-5109-8066 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-19432-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
218. 
Introduction to Logic Circuits & Logic Design with VHDL için kapak resmi
Introduction to Logic Circuits & Logic Design with VHDL
Yazar 
LaMeres, Brock J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-12489-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
219. 
Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers için kapak resmi
Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
Yazar 
Silva, Josep. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-16202-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
220. 
Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings için kapak resmi
Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings
Yazar 
Blackburn, Patrick. editor. Lorini, Emiliano. editor. Guo, Meiyun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-60292-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
221. 
Representation Theorems in Computer Science A Treatment in Logic Engineering için kapak resmi
Representation Theorems in Computer Science A Treatment in Logic Engineering
Yazar 
Özçep, Özgür Lütfü. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-25785-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
222. 
Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday için kapak resmi
Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Yazar 
Lutz, Carsten. editor. Sattler, Uli. editor. Tinelli, Cesare. editor. Turhan, Anni-Yasmin. editor. Wolter, Frank. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-22102-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
223. 
Introduction to Logic Circuits & Logic Design with Verilog için kapak resmi
Introduction to Logic Circuits & Logic Design with Verilog
Yazar 
LaMeres, Brock J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-13605-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
224. 
Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers için kapak resmi
Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
Yazar 
Silva, Alexandra. editor. Staton, Sam. editor. Sutton, Peter. editor. Umbach, Carla. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-59565-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
225. 
Design Automation for Differential MOS Current-Mode Logic Circuits için kapak resmi
Design Automation for Differential MOS Current-Mode Logic Circuits
Yazar 
Badel, Stéphane. author. Baltaci, Can. author. Cevrero, Alessandro. author. Leblebici, Yusuf. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-91307-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
226. 
At the Intersection of Language, Logic, and Information ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers için kapak resmi
At the Intersection of Language, Logic, and Information ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers
Yazar 
Sikos, Jennifer. editor. Pacuit, Eric. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-59620-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
227. 
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday için kapak resmi
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday
Yazar 
Alvim, Mário S. editor. Chatzikokolakis, Kostas. editor. Olarte, Carlos. editor. Valencia, Frank. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-31175-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
228. 
Fuzzy Logic and Applications 12th International Workshop, WILF 2018, Genoa, Italy, September 6–7, 2018, Revised Selected Papers için kapak resmi
Fuzzy Logic and Applications 12th International Workshop, WILF 2018, Genoa, Italy, September 6–7, 2018, Revised Selected Papers
Yazar 
Fullér, Robert. editor. Giove, Silvio. editor. Masulli, Francesco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-12544-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
229. 
Fuzzy Logic Augmentation of Neural and Optimization Algorithms: Theoretical Aspects and Real Applications için kapak resmi
Fuzzy Logic Augmentation of Neural and Optimization Algorithms: Theoretical Aspects and Real Applications
Yazar 
Castillo, Oscar. editor. Melin, Patricia. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-71008-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
230. 
Advances in Fuzzy Logic and Technology 2017 Proceedings of: EUSFLAT-2017 – The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11–15, 2017, Warsaw, Poland IWIFSGN’2017 – The Sixteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, September 13–15, 2017, Warsaw, Poland, Volume 1 için kapak resmi
Advances in Fuzzy Logic and Technology 2017 Proceedings of: EUSFLAT-2017 – The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11–15, 2017, Warsaw, Poland IWIFSGN’2017 – The Sixteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, September 13–15, 2017, Warsaw, Poland, Volume 1
Yazar 
Kacprzyk, Janusz. editor. Szmidt, Eulalia. editor. Zadrożny, Sławomir. editor. Atanassov, Krassimir T. editor. Krawczak, Maciej. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66830-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
231. 
Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
Yazar 
Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-94144-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
232. 
Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings için kapak resmi
Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
Yazar 
Moss, Lawrence S. editor. de Queiroz, Ruy. editor. Martinez, Maricarmen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-57669-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
233. 
Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings için kapak resmi
Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
Yazar 
Gallagher, John P. editor. (orcid)0000-0001-6984-7419 Sulzmann, Martin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-90686-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
234. 
New Classification Method Based on Modular Neural Networks with the LVQ Algorithm and Type-2 Fuzzy Logic için kapak resmi
New Classification Method Based on Modular Neural Networks with the LVQ Algorithm and Type-2 Fuzzy Logic
Yazar 
Amezcua, Jonathan. author. Melin, Patricia. author. Castillo, Oscar. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-73773-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
235. 
Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings için kapak resmi
Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
Yazar 
Galmiche, Didier. editor. Schulz, Stephan. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-94205-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
236. 
Advances in Fuzzy Logic and Technology 2017 Proceedings of: EUSFLAT- 2017 – The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11-15, 2017, Warsaw, Poland IWIFSGN’2017 – The Sixteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, September 13-15, 2017, Warsaw, Poland, Volume 3 için kapak resmi
Advances in Fuzzy Logic and Technology 2017 Proceedings of: EUSFLAT- 2017 – The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11-15, 2017, Warsaw, Poland IWIFSGN’2017 – The Sixteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, September 13-15, 2017, Warsaw, Poland, Volume 3
Yazar 
Kacprzyk, Janusz. editor. Szmidt, Eulalia. editor. Zadrożny, Slawomir. editor. Atanassov, Krassimir T. editor. Krawczak, Maciej. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66827-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
237. 
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings için kapak resmi
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Yazar 
Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-95582-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
238. 
Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings için kapak resmi
Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings
Yazar 
Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703 Bellodi, Elena. editor. (orcid)0000-0002-3717-3779 Zese, Riccardo. editor. (orcid)0000-0001-8352-6304 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-99960-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
239. 
Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers için kapak resmi
Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Yazar 
Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829 Gallagher, John P. editor. (orcid)0000-0001-6984-7419 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-94460-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
240. 
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I için kapak resmi
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Yazar 
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-96145-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
241. 
Logic Synthesis for Finite State Machines Based on Linear Chains of States Foundations, Recent Developments and Challenges için kapak resmi
Logic Synthesis for Finite State Machines Based on Linear Chains of States Foundations, Recent Developments and Challenges
Yazar 
Barkalov, Alexander. author. Titarenko, Larysa. author. Bieganowski, Jacek. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-59837-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
242. 
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II için kapak resmi
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Yazar 
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-96142-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
243. 
Fuzzy Logic in Intelligent System Design Theory and Applications için kapak resmi
Fuzzy Logic in Intelligent System Design Theory and Applications
Yazar 
Melin, Patricia. editor. Castillo, Oscar. editor. Kacprzyk, Janusz. editor. Reformat, Marek. editor. Melek, William. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-67137-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
244. 
Dynamic Parameter Adaptation for Meta-Heuristic Optimization Algorithms Through Type-2 Fuzzy Logic için kapak resmi
Dynamic Parameter Adaptation for Meta-Heuristic Optimization Algorithms Through Type-2 Fuzzy Logic
Yazar 
Olivas, Frumen. author. Valdez, Fevrier. author. Castillo, Oscar. author. Melin, Patricia. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-70851-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
245. 
Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers için kapak resmi
Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers
Yazar 
Lachiche, Nicolas. editor. Vrain, Christel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-78090-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
246. 
Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings için kapak resmi
Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Yazar 
Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Benevides, Mário. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-73579-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
247. 
Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings için kapak resmi
Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
Yazar 
Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-94821-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
248. 
Type-2 Fuzzy Logic and Systems Dedicated to Professor Jerry Mendel for his Pioneering Contribution için kapak resmi
Type-2 Fuzzy Logic and Systems Dedicated to Professor Jerry Mendel for his Pioneering Contribution
Yazar 
John, Robert. editor. Hagras, Hani. editor. Castillo, Oscar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-72892-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
249. 
Advances in Fuzzy Logic and Technology 2017 Proceedings of: EUSFLAT- 2017 – The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11-15, 2017, Warsaw, Poland IWIFSGN’2017 – The Sixteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, September 13-15, 2017, Warsaw, Poland, Volume 2 için kapak resmi
Advances in Fuzzy Logic and Technology 2017 Proceedings of: EUSFLAT- 2017 – The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11-15, 2017, Warsaw, Poland IWIFSGN’2017 – The Sixteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, September 13-15, 2017, Warsaw, Poland, Volume 2
Yazar 
Kacprzyk, Janusz. editor. Szmidt, Eulalia. editor. Zadrożny, Slawomir. editor. Atanassov, K. T. editor. Krawczak, Maciej. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66824-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
250. 
Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings için kapak resmi
Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings
Yazar 
Rusu, Vlad. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-99840-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
251. 
Soft computing evaluation logic : the LSP decision method and its applications için kapak resmi
Soft computing evaluation logic : the LSP decision method and its applications
Yazar 
Dujmovic, Jozo, 1941- author.
Yer Numarası 
QA76.9 .S63 D85 2018
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119256489
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
252. 
The Topos of Music I: Theory Geometric Logic, Classification, Harmony, Counterpoint, Motives, Rhythm için kapak resmi
The Topos of Music I: Theory Geometric Logic, Classification, Harmony, Counterpoint, Motives, Rhythm
Yazar 
Mazzola, Guerino. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-64364-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
253. 
Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings için kapak resmi
Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
Yazar 
Baltag, Alexandru. editor. Seligman, Jeremy. editor. Yamada, Tomoyuki. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-55665-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
254. 
Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers için kapak resmi
Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers
Yazar 
Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63139-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
255. 
Logic, Language, and Computation 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers için kapak resmi
Logic, Language, and Computation 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers
Yazar 
Hansen, Helle Hvid. editor. Murray, Sarah E. editor. Sadrzadeh, Mehrnoosh. editor. Zeevat, Henk. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-54332-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
256. 
Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings için kapak resmi
Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
Yazar 
Kennedy, Juliette. editor. de Queiroz, Ruy J.G.B. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-55386-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
257. 
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs için kapak resmi
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Yazar 
Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-51653-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
258. 
Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System için kapak resmi
Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System
Yazar 
Ahmed, Jameel. author. Siyal, Mohammed Yakoob. author. Najam, Shaheryar. author. Najam, Zohaib. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-3120-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
259. 
On Sets and Graphs Perspectives on Logic and Combinatorics için kapak resmi
On Sets and Graphs Perspectives on Logic and Combinatorics
Yazar 
Omodeo, Eugenio G. author. Policriti, Alberto. author. Tomescu, Alexandru I. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-54981-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
260. 
Fuzzy Logic and Soft Computing Applications 11th International Workshop, WILF 2016, Naples, Italy, December 19-21, 2016, Revised Selected Papers için kapak resmi
Fuzzy Logic and Soft Computing Applications 11th International Workshop, WILF 2016, Naples, Italy, December 19-21, 2016, Revised Selected Papers
Yazar 
Petrosino, Alfredo. editor. Loia, Vincenzo. editor. Pedrycz, Witold. editor. (orcid)0000-0002-9335-9930 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-52962-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
261. 
Introduction to Logic Circuits & Logic Design with Verilog için kapak resmi
Introduction to Logic Circuits & Logic Design with Verilog
Yazar 
LaMeres, Brock J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-53883-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
262. 
On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic için kapak resmi
On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic
Yazar 
Trillas, Enric. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-56053-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
263. 
Electromigration Inside Logic Cells Modeling, Analyzing and Mitigating Signal Electromigration in NanoCMOS için kapak resmi
Electromigration Inside Logic Cells Modeling, Analyzing and Mitigating Signal Electromigration in NanoCMOS
Yazar 
Posser, Gracieli. author. Sapatnekar, Sachin S. author. Reis, Ricardo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-48899-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
264. 
Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers için kapak resmi
Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers
Yazar 
Cussens, James. editor. Russo, Alessandra. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63342-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
265. 
Introduction to Logic Circuits & Logic Design with VHDL için kapak resmi
Introduction to Logic Circuits & Logic Design with VHDL
Yazar 
LaMeres, Brock J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-34195-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
266. 
Fuzzy Logic for Image Processing A Gentle Introduction Using Java için kapak resmi
Fuzzy Logic for Image Processing A Gentle Introduction Using Java
Yazar 
Caponetti, Laura. author. Castellano, Giovanna. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-44130-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
267. 
Claudio Moraga: A Passion for Multi-Valued Logic and Soft Computing için kapak resmi
Claudio Moraga: A Passion for Multi-Valued Logic and Soft Computing
Yazar 
Seising, Rudolf. editor. Allende-Cid, Héctor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-48317-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
268. 
Edge Detection Methods Based on Generalized Type-2 Fuzzy Logic için kapak resmi
Edge Detection Methods Based on Generalized Type-2 Fuzzy Logic
Yazar 
Gonzalez, Claudia I. author. Melin, Patricia. author. (orcid)0000-0001-5798-1426 Castro, Juan R. author. Castillo, Oscar. author. (orcid)0000-0002-7385-5689 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-53994-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
269. 
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings için kapak resmi
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Yazar 
Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-54069-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
270. 
A First Course in Fuzzy Logic, Fuzzy Dynamical Systems, and Biomathematics Theory and Applications için kapak resmi
A First Course in Fuzzy Logic, Fuzzy Dynamical Systems, and Biomathematics Theory and Applications
Yazar 
de Barros, Laécio Carvalho. author. Bassanezi, Rodney Carlos. author. Lodwick, Weldon Alexander. author. (orcid)0000-0003-0606-5916 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-53324-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
271. 
Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings için kapak resmi
Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
Yazar 
Balduccini, Marcello. editor. Janhunen, Tomi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-61660-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
272. 
Quantitative Logic and Soft Computing 2016 Proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held at Hangzhou, China, 14-17 October, 2016 için kapak resmi
Quantitative Logic and Soft Computing 2016 Proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held at Hangzhou, China, 14-17 October, 2016
Yazar 
Fan, Tai-He. editor. Chen, Shui-Li. editor. Wang, San-Min. editor. Li, Yong-Ming. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46206-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
273. 
New Data Structures and Algorithms for Logic Synthesis and Verification için kapak resmi
New Data Structures and Algorithms for Logic Synthesis and Verification
Yazar 
Amaru, Luca Gaetano. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-43174-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
274. 
Digital electronics 2 : sequential and arithmetic logic circuits için kapak resmi
Digital electronics 2 : sequential and arithmetic logic circuits
Yazar 
Ndjountche, Tertulien.
Yer Numarası 
ONLINE
Elektronik Erişim 
Wiley Online Library
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
275. 
Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings için kapak resmi
Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
Yazar 
Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 King, Andy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-29604-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
276. 
Reversible Logic Synthesis Methodologies with Application to Quantum Computing için kapak resmi
Reversible Logic Synthesis Methodologies with Application to Quantum Computing
Yazar 
Ridha Taha, Saleem Mohammed. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23479-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
277. 
Fuzzy Logic and Information Fusion To commemorate the 70th birthday of Professor Gaspar Mayor için kapak resmi
Fuzzy Logic and Information Fusion To commemorate the 70th birthday of Professor Gaspar Mayor
Yazar 
Calvo Sánchez, Tomasa. editor. Torrens Sastre, Joan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30421-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
278. 
Fuzzy Logic Type 1 and Type 2 Based on LabVIEW™ FPGA için kapak resmi
Fuzzy Logic Type 1 and Type 2 Based on LabVIEW™ FPGA
Yazar 
Ponce-Cruz, Pedro. author. Molina, Arturo. author. MacCleery, Brian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-26656-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
279. 
Logic Synthesis for FPGA-Based Finite State Machines için kapak resmi
Logic Synthesis for FPGA-Based Finite State Machines
Yazar 
Barkalov, Alexander. author. Titarenko, Larysa. author. Kolopienczyk, Malgorzata. author. Mielcarek, Kamil. author. Bazydlo, Grzegorz. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-24202-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
280. 
Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers için kapak resmi
Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers
Yazar 
Inoue, Katsumi. editor. Ohwada, Hayato. editor. Yamamoto, Akihiro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-40566-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
281. 
Fuzzy Logic of Quasi-Truth: An Algebraic Treatment için kapak resmi
Fuzzy Logic of Quasi-Truth: An Algebraic Treatment
Yazar 
Di Nola, Antonio. author. Grigolia, Revaz. author. Turunen, Esko. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30406-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
282. 
International Conference on Oriental Thinking and Fuzzy Logic Celebration of the 50th Anniversary in the era of Complex Systems and Big Data için kapak resmi
International Conference on Oriental Thinking and Fuzzy Logic Celebration of the 50th Anniversary in the era of Complex Systems and Big Data
Yazar 
Cao, Bing-Yuan. editor. Wang, Pei-Zhuang. editor. Liu, Zeng-Liang. editor. Zhong, Yu-Bin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30874-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
283. 
Fuzzy Logic in Its 50th Year New Developments, Directions and Challenges için kapak resmi
Fuzzy Logic in Its 50th Year New Developments, Directions and Challenges
Yazar 
Kahraman, Cengiz. editor. Kaymak, Uzay Uzay. editor. Yazici, Adnan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-31093-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
284. 
Subjective Logic A Formalism for Reasoning Under Uncertainty için kapak resmi
Subjective Logic A Formalism for Reasoning Under Uncertainty
Yazar 
Jøsang, Audun. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-42337-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
285. 
Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings için kapak resmi
Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
Yazar 
Väänänen, Jouko. editor. Hirvonen, Åsa. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-52921-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
286. 
Digital Logic Design Using Verilog Coding and RTL Synthesis için kapak resmi
Digital Logic Design Using Verilog Coding and RTL Synthesis
Yazar 
Taraate, Vaibbhav. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-81-322-2791-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
287. 
Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers için kapak resmi
Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
Yazar 
Lucanu, Dorel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-44802-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
288. 
A Practical Introduction to Fuzzy Logic using LISP için kapak resmi
A Practical Introduction to Fuzzy Logic using LISP
Yazar 
Argüelles Mendez, Luis. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23186-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
289. 
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications için kapak resmi
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Yazar 
O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-44561-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
290. 
The emotional logic of capitalism : what progressives have missed için kapak resmi
The emotional logic of capitalism : what progressives have missed
Yazar 
Konings, Martijn, 1975- author.
Yer Numarası 
HB501 K5795 2015
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
291. 
The cultural logic of politics in mainland China and Taiwan için kapak resmi
The cultural logic of politics in mainland China and Taiwan
Yazar 
Shi, Tianjian.
Yer Numarası 
JQ1516 S55 2015
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
292. 
Application of fuzzy logic to social choice theory için kapak resmi
Application of fuzzy logic to social choice theory
Yazar 
Mordeson, John N., author. Malik, D. S., author. Clark, Terry D., author.
Yer Numarası 
QA9.64 .M67 2015
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
293. 
Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers için kapak resmi
Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Yazar 
Falaschi, Moreno. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-27436-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
294. 
Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers için kapak resmi
Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers
Yazar 
Davis, Jesse. editor. Ramon, Jan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23708-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
295. 
Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Yazar 
Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-48899-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
296. 
Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings için kapak resmi
Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Yazar 
Banerjee, Mohua. editor. S., Krishna. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-45824-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
297. 
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings için kapak resmi
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Yazar 
van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-48561-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
298. 
Design of Intelligent Systems Based on Fuzzy Logic, Neural Networks and Nature-Inspired Optimization için kapak resmi
Design of Intelligent Systems Based on Fuzzy Logic, Neural Networks and Nature-Inspired Optimization
Yazar 
Melin, Patricia. editor. Castillo, Oscar. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-17747-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
299. 
Fuzzy Logic An Introductory Course for Engineering Students için kapak resmi
Fuzzy Logic An Introductory Course for Engineering Students
Yazar 
Trillas, Enric. author. Eciolaza, Luka. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-14203-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
300. 
Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers için kapak resmi
Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
Yazar 
Proietti, Maurizio. editor. Seki, Hirohisa. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-17822-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
301. 
Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures. için kapak resmi
Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.
Yazar 
Faber, Wolfgang. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21768-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
302. 
Knowledge Engineering and Knowledge Management EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers. için kapak resmi
Knowledge Engineering and Knowledge Management EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers.
Yazar 
Lambrix, Patrick. editor. Hyvönen, Eero. editor. Blomqvist, Eva. editor. Presutti, Valentina. editor. Qi, Guilin. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-17966-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
303. 
Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings için kapak resmi
Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Yazar 
de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-47709-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
304. 
Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers için kapak resmi
Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers
Yazar 
Aher, Martin. editor. Hole, Daniel. editor. Jeřábek, Emil. editor. Kupke, Clemens. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46906-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
305. 
Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday için kapak resmi
Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
Yazar 
Martí-Oliet, Narciso. editor. Ölveczky, Peter Csaba. editor. Talcott, Carolyn. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23165-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
306. 
Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday için kapak resmi
Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Yazar 
Beklemishev, Lev D. editor. Blass, Andreas. editor. Dershowitz, Nachum. editor. Finkbeiner, Bernd. editor. Schulte, Wolfram. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23534-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
307. 
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday için kapak resmi
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday
Yazar 
Eiter, Thomas. editor. Strass, Hannes. editor. Truszczyński, Mirosław. editor. Woltran, Stefan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-14726-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
308. 
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings için kapak resmi
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
Yazar 
Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23264-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
309. 
Enric Trillas: A Passion for Fuzzy Sets A Collection of Recent Works on Fuzzy Logic için kapak resmi
Enric Trillas: A Passion for Fuzzy Sets A Collection of Recent Works on Fuzzy Logic
Yazar 
Magdalena, Luis. editor. Verdegay, Jose Luis. editor. Esteva, Francesc. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-16235-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
310. 
Fifty Years of Fuzzy Logic and its Applications için kapak resmi
Fifty Years of Fuzzy Logic and its Applications
Yazar 
Tamir, Dan E. editor. Rishe, Naphtali D. editor. Kandel, Abraham. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19683-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
311. 
Fuzzy Logic Augmentation of Nature-Inspired Optimization Metaheuristics Theory and Applications için kapak resmi
Fuzzy Logic Augmentation of Nature-Inspired Optimization Metaheuristics Theory and Applications
Yazar 
Castillo, Oscar. editor. Melin, Patricia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-10960-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
312. 
Seizing power the strategic logic of military coups için kapak resmi
Seizing power the strategic logic of military coups
Yazar 
Singh, Naunihal. Project Muse.
Yer Numarası 
ONLINE(322955.1)
Elektronik Erişim 
Full text available:
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç