Limit Search Results
Author
SpringerLink (Online service)
(508)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(12)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(11)
Legay, Axel. editor.
(7)
Artho, Cyrille. editor.
(5)
Language
English
(580)
Publication Date
-
Subject
Software engineering.
(277)
Computer science.
(266)
Computer Science Logic and Foundations of Programming.
(231)
Artificial intelligence.
(186)
Computer logic.
(161)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
580 Results Found Subscribe to search results
000000000000DEFAULT
Print
133. 
Cover image for Quantum computing : a new era of computing
Quantum computing : a new era of computing
Author 
Kaswan, Kuldeep Singh, author. Dhatterwal, Jagjit Singh, author. Baliyan, Anupam, 1976- author. Rani, Shalli, author.
Preferred Shelf Number 
QA76.889 .K37 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394157846
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Higher Education Computer Science A Manual of Practical Approaches
Higher Education Computer Science A Manual of Practical Approaches
Author 
Carter, Jenny. editor. O'Grady, Michael. editor. Rosen, Clive. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29386-3
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
Author 
Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-27181-6
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Author 
Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-27481-7
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Proceedings of the International Conference on Information Control, Electrical Engineering and Rail Transit ICEERT 2022
Proceedings of the International Conference on Information Control, Electrical Engineering and Rail Transit ICEERT 2022
Author 
Yadav, Sanjay. editor. Kumar, Rahul. editor. Zainuddin, Hidayat. editor. Deng, Lvxiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-6431-4
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Beyond-CMOS : state of the art and trends
Beyond-CMOS : state of the art and trends
Author 
Cresti, Alessandro, editor.
Preferred Shelf Number 
TK7871.99 .M44 B49 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394228713
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for MULTIPLE-VALUED COMPUTING IN QUANTUM MOLECULAR BIOLOGY sequential circuits, memory devices,... programmable logic devices, and nanoprocessors.
MULTIPLE-VALUED COMPUTING IN QUANTUM MOLECULAR BIOLOGY sequential circuits, memory devices,... programmable logic devices, and nanoprocessors.
Author 
Babu, Hafiz Md. Hasan, 1966-
Preferred Shelf Number 
QH506
Electronic Access 
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: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for MULTIPLE-VALUED COMPUTING IN QUANTUM MOLECULAR BIOLOGY arithmetic and combinational circuits.
MULTIPLE-VALUED COMPUTING IN QUANTUM MOLECULAR BIOLOGY arithmetic and combinational circuits.
Author 
Babu, Hafiz Md. Hasan, 1966-
Preferred Shelf Number 
QH506
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003381938
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Artificial intelligence and data analytics for exploration and production
Artificial intelligence and data analytics for exploration and production
Author 
Aminzadeh, Fred, author. Temizel, Cenk, author. Hajizadeh, Yasin, author.
Preferred Shelf Number 
Q335 .A45 2022
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119879893
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Automation and computational intelligence for road maintenance and management : advances and applications
Automation and computational intelligence for road maintenance and management : advances and applications
Author 
Zakeri, Hamzeh, author. Nejad, Fereidoon Moghadas, author. Gandomi, Amir Hossein, author.
Preferred Shelf Number 
HD9717.5 .R62
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119800675
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Digital system design using FSMs : a practical learning approach
Digital system design using FSMs : a practical learning approach
Author 
Minns, Peter D., author.
Preferred Shelf Number 
QA267.5 .S4 M56 2021
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119782735
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Fuzzy intelligent systems : methodologies, techniques, and applications
Fuzzy intelligent systems : methodologies, techniques, and applications
Author 
Chandrasekaran, E. Anandan, R. Suseendran, G. Balamurugan, S. (Shanmugam), 1985- Hachimi, Hanaa.
Preferred Shelf Number 
QA402
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119763437
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action