Limit Search Results
Author
Voronkov, Andrei. editor.
(15)
Boer, Frank S. editor.
(10)
Bonsangue, Marcello M. editor.
(10)
Rozenberg, Grzegorz. editor.
(9)
Barthe, Gilles. editor.
(8)
Language
Publication Date
-
2012
(125)
2011
(115)
2007
(114)
2013
(114)
2010
(111)
Subject
Logic design.
(1118)
Computer science.
(1027)
Software engineering.
(742)
Artificial intelligence.
(343)
Computer Communication Networks.
(288)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1160 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Model and Design of Bipolar and MOS Current-Mode Logic CML, ECL and SCL Digital Circuits
Model and Design of Bipolar and MOS Current-Mode Logic CML, ECL and SCL Digital Circuits
Author 
Alioto, Massimo. author. Palumbo, Gaetano. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-2888-1
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
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 
XX(520459.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34622-4
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part I
Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part I
Author 
Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520498.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35078-8
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part II
Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part II
Author 
Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520499.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35081-8
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Computational Intelligence in Data Science 6th IFIP TC 12 International Conference, ICCIDS 2023, Chennai, India, February 23-25, 2023, Revised Selected Papers
Computational Intelligence in Data Science 6th IFIP TC 12 International Conference, ICCIDS 2023, Chennai, India, February 23-25, 2023, Revised Selected Papers
Author 
Chandran K R, Sarath. editor. N, Sujaudeen. editor. A, Beulah. editor. Hamead H, Shahul. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520518.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38296-3
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Concise Guide to Software Verification From Model Checking to Annotation Checking
Concise Guide to Software Verification From Model Checking to Annotation Checking
Author 
Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520525.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30167-4
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings
PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings
Author 
Aydoğan, Reyhan. editor. Criado, Natalia. editor. Lang, Jérôme. editor. Sanchez-Anguix, Victor. editor. Serramia, Marc. editor.
Preferred Shelf Number 
XX(520784.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-21203-1
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
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 
XX(520898.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27181-6
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Human Interface and the Management of Information Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
Human Interface and the Management of Information Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
Author 
Mori, Hirohiko. editor. Asahi, Yumi. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521033.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35129-7
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings
Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings
Author 
Morusupalli, Raghava. editor. Dandibhotla, Teja Santosh. editor. Atluri, Vani Vathsala. editor. Windridge, David. editor. Lingras, Pawan. editor.
Preferred Shelf Number 
XX(521001.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36402-0
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
Author 
David, Cristina. editor. Sun, Meng. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521004.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35257-7
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings
Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings
Author 
Katsaros, Panagiotis. editor. Nenzi, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521209.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44267-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action