Limit Search Results
Author
Language
Publication Date
-
Subject
Electronic books.
(4)
Artificial intelligence.
(3)
Computational intelligence.
(2)
Engineering -- Data processing.
(2)
Engineering mathematics.
(2)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
23 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
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:
3. 
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:
4. 
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:
5. 
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:
6. 
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:
7. 
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:
8. 
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:
9. 
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:
10. 
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:
11. 
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:
12. 
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: