Limit Search Results
Author
SpringerLink (Online service)
(1169)
Voronkov, Andrei. editor.
(15)
Boer, Frank S. editor.
(10)
Bonsangue, Marcello M. editor.
(10)
LaMeres, Brock J. author.
(10)
Language
Publication Date
-
Subject
Computer science.
(1029)
Software engineering.
(748)
Artificial intelligence.
(361)
Computer Communication Networks.
(293)
Computer software.
(201)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1202 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Modern Programmable Interconnect Design
Modern Programmable Interconnect Design
Author 
Nikolić, Stefan. author. (orcid)0000-0002-6831-1740 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80629-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification
Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification
Author 
Klemmer, Lucas. author. Große, Daniel. author. (orcid)0000-0002-1490-6175 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-83093-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Robotics Goes MOOC Impact
Robotics Goes MOOC Impact
Author 
Siciliano, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77267-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Logic synthesis for FPGA-based mealy finite state machines : structural decomposition in logic design
Logic synthesis for FPGA-based mealy finite state machines : structural decomposition in logic design
Author 
Barkalov, Alexander, author.
Preferred Shelf Number 
TK7868 .L6
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003536734
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 High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers
High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers
Author 
Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Neuwirth, Sarah. editor. (orcid)0000-0001-7409-153X Kruse, Carola. editor. (orcid)0000-0002-4142-7356 Weinzierl, Tobias. editor. (orcid)0000-0002-6208-1841 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73716-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Job Scheduling Strategies for Parallel Processing 27th International Workshop, JSSPP 2024, San Francisco, CA, USA, May 31, 2024, Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 27th International Workshop, JSSPP 2024, San Francisco, CA, USA, May 31, 2024, Revised Selected Papers
Author 
Klusáček, Dalibor. editor. (orcid)0000-0001-6434-4433 Corbalán, Julita. editor. (orcid)0000-0002-3926-5634 Rodrigo, Gonzalo P. editor. (orcid)0000-0003-3315-8253 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74430-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Robotics Goes MOOC Interaction
Robotics Goes MOOC Interaction
Author 
Siciliano, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77270-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Workload Dependent Mitigation Approaches for Performance Variability Ensuring Timing Guarantees of Integrated Circuits
Workload Dependent Mitigation Approaches for Performance Variability Ensuring Timing Guarantees of Integrated Circuits
Author 
Lin, Ji-Yung. author. Noltsis, Michalis. author. Soudris, Dimitrios. author. (orcid)0000-0002-6930-6847 Catthoor, Francky. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85624-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Reversible Computation 17th International Conference, RC 2025, Odense, Denmark, July 3-4, 2025, Proceedings
Reversible Computation 17th International Conference, RC 2025, Odense, Denmark, July 3-4, 2025, Proceedings
Author 
Glück, Robert. editor. (orcid)0000-0001-6990-3935 Kaarsgaard, Robin. editor. (orcid)0000-0002-7672-799X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97063-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Robotics Goes MOOC Design
Robotics Goes MOOC Design
Author 
Siciliano, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75823-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Network and Parallel Computing 20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024, Proceedings, Part I
Network and Parallel Computing 20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024, Proceedings, Part I
Author 
Chen, Xu. editor. Min, Geyong. editor. Guo, Deke. editor. Xie, Xia. editor. Pu, Lingjun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-2830-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Network and Parallel Computing 20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024, Proceedings, Part II
Network and Parallel Computing 20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024, Proceedings, Part II
Author 
Chen, Xu. editor. Min, Geyong. editor. Guo, Deke. editor. Xie, Xia. editor. Pu, Lingjun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-2864-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action