Limit Search Results
Author
SpringerLink (Online service)
(1207)
Voronkov, Andrei. editor.
(15)
Boer, Frank S. editor.
(10)
Bonsangue, Marcello M. editor.
(10)
Rozenberg, Grzegorz. editor.
(9)
Language
Publication Date
-
Subject
Logic design.
(1143)
Computer science.
(1027)
Software engineering.
(742)
Artificial intelligence.
(359)
Computer Communication Networks.
(291)
Material Type
Library
Switch to list view
Switch to thumbnail view
1246 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Logic design for array-based circuits a structured design methodology
Logic design for array-based circuits a structured design methodology
Author 
White, Donnamaie E., 1942-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780127466606
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Logic design a review of theory and practice
Logic design a review of theory and practice
Author 
Langdon, Glen G.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124365506
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35081-8
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-38296-3
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30167-4
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44267-4
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Author 
Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47115-5
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Intelligent Manufacturing and Energy Sustainability Proceedings of ICIMES 2022
Intelligent Manufacturing and Energy Sustainability Proceedings of ICIMES 2022
Author 
Manchuri, Amaranadha Reddy. editor. Marla, Deepak. editor. Rao, V. Vasudeva. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-8497-6
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Advances in Computer Science for Engineering and Education VI
Advances in Computer Science for Engineering and Education VI
Author 
Hu, Zhengbing. editor. Dychka, Ivan. editor. He, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36118-0
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Service Design for Emerging Technologies Product Development Bridging the Interdisciplinary Knowledge Gap
Service Design for Emerging Technologies Product Development Bridging the Interdisciplinary Knowledge Gap
Author 
Hamid, Umar Zakir Abdul. editor. Suoheimo, Mari. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29306-1
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Advances in Manufacturing, Automation, Design and Energy Technologies Proceedings from ICoFT 2021
Advances in Manufacturing, Automation, Design and Energy Technologies Proceedings from ICoFT 2021
Author 
Sivaram, N. M. editor. Sankaranarayanasamy, K. editor. Davim, J. Paulo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-1288-9
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Taking AIMS at Digital Design Analysis, Improvement, Modeling, and Synthesis
Taking AIMS at Digital Design Analysis, Improvement, Modeling, and Synthesis
Author 
Jantsch, Axel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35605-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets