Limit Search Results
Author
SpringerLink (Online service)
(1118)
Voronkov, Andrei. editor.
(15)
Boer, Frank S. editor.
(10)
Bonsangue, Marcello M. editor.
(10)
Rozenberg, Grzegorz. editor.
(9)
Language
Publication Date
-
Subject
Computer science.
(1027)
Software engineering.
(742)
Artificial intelligence.
(341)
Computer Communication Networks.
(288)
Computer software.
(201)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1147 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings
Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings
Author 
Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Duarte-González, Mario. editor. Jaramillo-Isaza, Sebastián. editor. (orcid)0000-0002-2134-772X Orjuela-Cañon, Alvaro David. editor. (orcid)0000-0002-2057-7603 Díaz-Gutierrez, Yesid. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31019-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Quick Start Guide to VHDL
Quick Start Guide to VHDL
Author 
LaMeres, Brock J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04516-6
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings
Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings
Author 
Martinez-Hernandez, Uriel. editor. (orcid)0000-0002-9922-7912 Vouloutsi, Vasiliki. editor. (orcid)0000-0001-6425-1026 Mura, Anna. editor. Mangan, Michael. editor. (orcid)0000-0002-0293-8874 Asada, Minoru. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24741-6
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Logic Functions and Equations Binary Models for Computer Science
Logic Functions and Equations Binary Models for Computer Science
Author 
Posthoff, Christian. author. Steinbach, Bernd. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02420-8
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for High-Performance Computing Applications in Numerical Simulation and Edge Computing ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers
High-Performance Computing Applications in Numerical Simulation and Edge Computing ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers
Author 
Hu, Changjun. editor. Yang, Wen. editor. Jiang, Congfeng. editor. Dai, Dong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-32-9987-0
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Beyond-CMOS Technologies for Next Generation Computer Design
Beyond-CMOS Technologies for Next Generation Computer Design
Author 
Topaloglu, Rasit O. editor. Wong, H.-S. Philip. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90385-9
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Introduction to Digital Systems Design
Introduction to Digital Systems Design
Author 
Donzellini, Giuliano. author. Oneto, Luca. author. Ponta, Domenico. author. Anguita, Davide. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92804-3
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
Author 
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17465-1
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms A Cross-layer Approach
Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms A Cross-layer Approach
Author 
Fornaciari, William. editor. Soudris, Dimitrios. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91962-1
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Architecture of Computing Systems – ARCS 2019 32nd International Conference, Copenhagen, Denmark, May 20–23, 2019, Proceedings
Architecture of Computing Systems – ARCS 2019 32nd International Conference, Copenhagen, Denmark, May 20–23, 2019, Proceedings
Author 
Schoeberl, Martin. editor. Hochberger, Christian. editor. Uhrig, Sascha. editor. Brehm, Jürgen. editor. Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-18656-2
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers
VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers
Author 
Maniatakos, Michail. editor. (orcid)0000-0001-6899-0651 Elfadel, Ibrahim (Abe) M. editor. (orcid)0000-0003-3220-9987 Sonza Reorda, Matteo. editor. (orcid)0000-0003-2899-7669 Ugurdag, H. Fatih. editor. (orcid)0000-0002-6256-0850 Monteiro, José. editor. (orcid)0000-0003-0603-2268
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-15663-3
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers
Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers
Author 
Mencagli, Gabriele. editor. B. Heras, Dora. editor. Cardellini, Valeria. editor. Casalicchio, Emiliano. editor. Jeannot, Emmanuel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-10549-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action