Limit Search Results
Author
SpringerLink (Online service)
(19)
Holm-Nielsen, Jens Bo, editor.
(2)
Jenicek, Milos, 1935, author.
(2)
Kotenko, Igor. editor.
(2)
Kovalev, Sergey. editor.
(2)
Publication Date
-
Subject
Artificial intelligence.
(7)
Computational intelligence.
(6)
Electronic Circuits and Systems.
(4)
Electronic books.
(4)
Electronic circuits.
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
42 Results Found Subscribe to search results
000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Logic and philosophy : a modern introduction
Logic and philosophy : a modern introduction
Author 
Kahane, Howard, 1928-
Preferred Shelf Number 
BC 108 K3 1969
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for The logic of modern physics
The logic of modern physics
Author 
Brigman, Percy Williams, 1882-
Preferred Shelf Number 
QC 6 B68 1960
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for The rise of modern logic from Leibniz to Frege
The rise of modern logic from Leibniz to Frege
Author 
Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444516114
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Cross-Tradition Engagement on the Laws of Logic : Approaching Identity and Reference from Classical Chinese Philosophy to Modern Logic
Cross-Tradition Engagement on the Laws of Logic : Approaching Identity and Reference from Classical Chinese Philosophy to Modern Logic
Author 
Mou, Bo, author.
Preferred Shelf Number 
BC71
Electronic Access 
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: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Kantian reason and Hegelian spirit the idealistic logic of modern theology
Kantian reason and Hegelian spirit the idealistic logic of modern theology
Author 
Dorrien, Gary J. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology
From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology
Author 
Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11682-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Logic of mathematics a modern course of classical logic
Logic of mathematics a modern course of classical logic
Author 
Adamowicz, Zofia. Zbierski, Paweł. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Ebook Library Click here to view book
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley042/95020818.html
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Language, logic and genre : papes from the poetics and literary theory section, modern language association ;ed. by Wallace Martin.
Language, logic and genre : papes from the poetics and literary theory section, modern language association ;ed. by Wallace Martin.
Author 
Martin, Wallace., ed.
Preferred Shelf Number 
PN 45 L317 1974
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
9. 
Cover image for Modern Artificial Intelligence Based on Soft Computing Techniques
Modern Artificial Intelligence Based on Soft Computing Techniques
Author 
Melin, Patricia. editor. (orcid)0000-0001-5798-1426 Castillo, Oscar. editor. (orcid)0000-0002-7385-5689 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-88279-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Formal Concept Analysis Mathematical Foundations
Formal Concept Analysis Mathematical Foundations
Author 
Ganter, Bernhard. author. (orcid)0000-0003-0767-1379 Wille, Rudolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63422-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Understanding Logic Locking
Understanding Logic Locking
Author 
Zamiri Azar, Kimia. author. Mardani Kamali, Hadi. author. Farahmandi, Farimah. author. Tehranipoor, Mark. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37989-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Limits of AI - theoretical, practical, ethical
Limits of AI - theoretical, practical, ethical
Author 
Mainzer, Klaus. author. Kahle, Reinhard. author. (orcid)0000-0002-9064-877X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-68290-6
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Single Flux Quantum Integrated Circuit Design
Single Flux Quantum Integrated Circuit Design
Author 
Krylov, Gleb. author. Jabbari, Tahereh. author. Friedman, Eby G. author. (orcid)0000-0002-5549-7160 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47475-0
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Proceedings of the Eighth International Scientific Conference "Intelligent Information Technologies for Industry" (IITI'24), Volume 2
Proceedings of the Eighth International Scientific Conference "Intelligent Information Technologies for Industry" (IITI'24), Volume 2
Author 
Kovalev, Sergey. editor. Kotenko, Igor. editor. Sukhanov, Andrey. editor. Li, Yin. editor. Li, Yao. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77411-9
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Proceedings of the Eighth International Scientific Conference "Intelligent Information Technologies for Industry" (IITI'24), Volume 1
Proceedings of the Eighth International Scientific Conference "Intelligent Information Technologies for Industry" (IITI'24), Volume 1
Author 
Kovalev, Sergey. editor. Kotenko, Igor. editor. Sukhanov, Andrey. editor. Li, Yin. editor. Li, Yao. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77688-5
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Soft Computing Applications Proceedings of the 9th International Workshop Soft Computing Applications (SOFA 2020)
Soft Computing Applications Proceedings of the 9th International Workshop Soft Computing Applications (SOFA 2020)
Author 
Balas, Valentina Emilia. editor. Jain, Lakhmi C. editor. Balas, Marius Mircea. editor. Baleanu, Dumitru. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23636-5
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Machine Intelligence and Emerging Technologies First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part II
Machine Intelligence and Emerging Technologies First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part II
Author 
Satu, Md. Shahriare. editor. (orcid) Moni, Mohammad Ali. editor. Kaiser, M. Shamim. editor. Arefin, Mohammad Shamsul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34622-4
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30820-8
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Artificial Intelligence-based smart power systems
Artificial Intelligence-based smart power systems
Author 
Sanjeevikumar, Padmanaban, 1978- editor. Palanisamy, Sivaraman, 1991- editor. Chenniappan, Sharmeela, 1977- editor. Holm-Nielsen, Jens Bo, editor.
Preferred Shelf Number 
TK3105 .A784 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119893998
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Microgrid technologies
Microgrid technologies
Author 
Sharmeela, C., editor. Sivaraman, P. (Pandarinathan), editor. Sanjeevikumar, Padmanaban, 1978- editor. Holm-Nielsen, Jens Bo, editor.
Preferred Shelf Number 
TK3106 .M54 2021
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119710905
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Heterogeneous photocatalysis : from fundamentals to applications in energy conversion and depollution
Heterogeneous photocatalysis : from fundamentals to applications in energy conversion and depollution
Author 
Strunk, Jennifer.
Preferred Shelf Number 
QD716 .P45
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527815296
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Introduction to programming with C++ for engineers
Introduction to programming with C++ for engineers
Author 
Cyganek, Bogusław, author.
Preferred Shelf Number 
QA76.73 .C153 C94 2021
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119431152
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Power electronics in renewable energy systems and smart grid : technology and applications
Power electronics in renewable energy systems and smart grid : technology and applications
Author 
Bose, Bimal K., editor.
Preferred Shelf Number 
TK7881.15 .P67333 2019
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119515661
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Advanced nanoelectronics : post-silicon materials and devices
Advanced nanoelectronics : post-silicon materials and devices
Author 
Hussain, Muhammad Mustafa, editor.
Preferred Shelf Number 
TK7874.84
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527811861
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for MOS devices for low-voltage and low-energy applications
MOS devices for low-voltage and low-energy applications
Author 
Omura, Y. (Yasuhisa), author. Mallik, Abhijit, author. Matsuo, N. (Naoto), author.
Preferred Shelf Number 
TK7871.99 .M44
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119107361
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Mechatronic system control, logic, and data acquisition
Mechatronic system control, logic, and data acquisition
Author 
Bishop, Robert H., 1957- editor. Taylor and Francis.
Preferred Shelf Number 
TJ223 .P76 M43 2008
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Green IT Engineering: Components, Networks and Systems Implementation
Green IT Engineering: Components, Networks and Systems Implementation
Author 
Kharchenko, Vyacheslav. editor. Kondratenko, Yuriy. editor. Kacprzyk, Janusz. editor. (orcid)0000-0003-4187-5877 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55595-9
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Author 
Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51653-0
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Computer-Aided Design of Microfluidic Very Large Scale Integration (mVLSI) Biochips Design Automation, Testing, and Design-for-Testability
Computer-Aided Design of Microfluidic Very Large Scale Integration (mVLSI) Biochips Design Automation, Testing, and Design-for-Testability
Author 
Hu, Kai. author. Chakrabarty, Krishnendu. author. Ho, Tsung-Yi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56255-1
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Logic Synthesis for FPGA-Based Finite State Machines
Logic Synthesis for FPGA-Based Finite State Machines
Author 
Barkalov, Alexander. author. Titarenko, Larysa. author. Kolopienczyk, Malgorzata. author. Mielcarek, Kamil. author. Bazydlo, Grzegorz. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24202-6
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Decision Procedures An Algorithmic Point of View
Decision Procedures An Algorithmic Point of View
Author 
Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-50497-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Towards the Future of Fuzzy Logic
Towards the Future of Fuzzy Logic
Author 
Seising, Rudolf. editor. Trillas, Enric. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18750-1
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2014
Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2014
Author 
Kim, Haeng Kon. editor. Amouzegar, Mahyar A. editor. Ao, Sio-long. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-017-7236-5
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Designs on the contemporary anthropological tests
Designs on the contemporary anthropological tests
Author 
Rabinow, Paul, author. Stavrianakis, Anthony, author.
Preferred Shelf Number 
GN33 R33 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
35. 
Cover image for Pro AngularJS
Pro AngularJS
Author 
Freeman, Adam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6449-1
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Hybrid Dynamical Systems : Modeling, Stability, and Robustness.
Hybrid Dynamical Systems : Modeling, Stability, and Robustness.
Author 
Goebel, Rafal. Sanfelice, Ricardo G. Teel, Andrew R.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt7s02z
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for The logician and the engineer : how George Boole and Claude Shannon created the information age
The logician and the engineer : how George Boole and Claude Shannon created the information age
Author 
Nahin, Paul J.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.cttq957s
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Mathematical aspects of logic programming semantics
Mathematical aspects of logic programming semantics
Author 
Hitzler, Pascal., author. Seda, Anthony.
Preferred Shelf Number 
QA76.63 .H58 2011
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for The proceedings of the twenty-first World Congress of Philosophy
The proceedings of the twenty-first World Congress of Philosophy
Author 
World Congress of Philosophy (21st : 2003 : Istanbul, Turkey) Kuçuradi, Ioanna. Türkiye Felsefe Kurumu.
Preferred Shelf Number 
B20 .W68 2006-07 V.1
Format: 
Availability 
Beytepe Library~13
Available:
Copies:
40. 
Cover image for Foundations of evidence-based medicine
Foundations of evidence-based medicine
Author 
Jenicek, Milos, 1935, author.
Preferred Shelf Number 
R723.7 .J465 2002
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Foundations of evidence-based medicine
Foundations of evidence-based medicine
Author 
Jenicek, Milos, 1935, author.
Preferred Shelf Number 
R723.7 .J465 2002
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Judgment and proposition : from Descartes to Kant
Judgment and proposition : from Descartes to Kant
Author 
Nuchelmans, Gabriel.
Preferred Shelf Number 
BC181 N78 1983
Format: 
Availability 
Beytepe Library~1
Available:
Copies: