Limit Search Results
Author
SpringerLink (Online service)
(151)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(6)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(5)
Reis, Ricardo. editor.
(4)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(3)
Language
Publication Date
-
Subject
Microprogramming .
(96)
Control Structures and Microprogramming.
(75)
Software engineering.
(66)
Computer science.
(57)
Microprogramming.
(55)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
152 Results Found Subscribe to search results
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Author 
Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77382-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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:
3. 
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:
4. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75387-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedings
Stabilization, Safety, and Security of Distributed Systems 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedings
Author 
Masuzawa, Toshimitsu. editor. (orcid)0000-0003-4628-6393 Katayama, Yoshiaki. editor. (orcid)0000-0003-1683-2154 Kakugawa, Hirotsugu. editor. (orcid)0000-0003-1087-410X Nakamura, Junya. editor. (orcid)0000-0002-1363-4358 Kim, Yonghwan. editor. (orcid)0000-0002-5437-7626
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74498-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75107-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75390-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75380-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73709-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for High Performance Computing 11th Latin American High Performance Computing Conference, CARLA 2024, Santiago de Chile, Chile, September 30 - October 4, 2024, Revised Selected Papers
High Performance Computing 11th Latin American High Performance Computing Conference, CARLA 2024, Santiago de Chile, Chile, September 30 - October 4, 2024, Revised Selected Papers
Author 
Guerrero, Ginés. editor. (orcid)0000-0002-1346-1143 San Martín, Jaime. editor. (orcid)0000-0002-9273-5260 Meneses, Esteban. editor. (orcid)0000-0002-4307-6000 Barrios Hernández, Carlos Jaime. editor. (orcid)0000-0003-0133-7214 Osthoff, Carla. editor. (orcid)0000-0002-4694-7182
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80084-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
Author 
Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71162-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
Author 
Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71177-0
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings
Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings
Author 
Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Caltais, Georgiana. editor. (orcid)0000-0002-8653-2299 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-87054-5
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
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:
15. 
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:
16. 
Cover image for Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings
Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings
Author 
Li, Yupeng. editor. Zhang, Yong. editor. (orcid)0000-0002-8730-3711 Xu, Jianliang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4207-6
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90643-5
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90660-2
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90653-4
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Euro-Par 2024: Parallel Processing Workshops Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024, Proceedings, Part II
Euro-Par 2024: Parallel Processing Workshops Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024, Proceedings, Part II
Author 
Caino-Lores, Silvina. editor. (orcid)0000-0002-6922-0138 Zeinalipour, Demetris. editor. (orcid)0000-0002-7239-2387 Doudali, Thaleia Dimitra. editor. (orcid)0000-0002-3197-839X Singh, David E. editor. (orcid)0000-0002-8125-0049 Garzón, Gracia Ester Martín. editor. (orcid)0000-0002-0568-5470
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90203-1
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Euro-Par 2024: Parallel Processing Workshops Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024, Proceedings, Part I
Euro-Par 2024: Parallel Processing Workshops Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024, Proceedings, Part I
Author 
Caino-Lores, Silvina. editor. (orcid)0000-0002-6922-0138 Zeinalipour, Demetris. editor. (orcid)0000-0002-7239-2387 Doudali, Thaleia Dimitra. editor. (orcid)0000-0002-3197-839X Singh, David E. editor. (orcid)0000-0002-8125-0049 Garzón, Gracia Ester Martín. editor. (orcid)0000-0002-0568-5470
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90200-0
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Control Systems: A Historical and Philosophical Perspective History and philosophy of control systems
Control Systems: A Historical and Philosophical Perspective History and philosophy of control systems
Author 
Khaki-Sedigh, Ali. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-7426-8
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers
Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers
Author 
Hemann, Jason. editor. (orcid)0000-0002-5405-2936 Chang, Stephen. editor. (orcid)0000-0002-4760-0658 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74558-4
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part I
Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part I
Author 
Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78377-7
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part II
Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part II
Author 
Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78380-7
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part I
Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part I
Author 
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Antonov, Alexander. editor. (orcid)0000-0003-2820-7196 Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78459-0
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part II
Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part II
Author 
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Antonov, Alexander. editor. (orcid)0000-0003-2820-7196 Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78462-0
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
Author 
Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90900-9
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Constructive Side-Channel Analysis and Secure Design 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings
Constructive Side-Channel Analysis and Secure Design 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings
Author 
Wacquez, Romain. author. Homma, Naofumi. editor. (orcid)0000-0003-0864-3126 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57543-3
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Introduction to Digital Control An Integrated Approach
Introduction to Digital Control An Integrated Approach
Author 
Samanta, Biswanath. author. (orcid)0000-0002-0518-6751 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66830-2
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for High Performance Computing 10th Latin American Conference, CARLA 2023, Cartagena, Colombia, September 18-22, 2023, Revised Selected Papers
High Performance Computing 10th Latin American Conference, CARLA 2023, Cartagena, Colombia, September 18-22, 2023, Revised Selected Papers
Author 
Barrios H., Carlos J. editor. Rizzi, Silvio. editor. Meneses, Esteban. editor. (orcid)0000-0002-4307-6000 Mocskos, Esteban. editor. (orcid)0000-0002-6473-7672 Monsalve Diaz, Jose M. editor. (orcid)0000-0001-6875-1685
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-52186-7
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Active Object Languages: Current Research Trends
Active Object Languages: Current Research Trends
Author 
de Boer, Frank. editor. Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706 Hähnle, Reiner. editor. Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949 Kamburjan, Eduard. editor. (orcid)0000-0002-0996-2543
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-51060-1
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Progress in Cryptology - AFRICACRYPT 2024 15th International Conference on Cryptology in Africa, Douala, Cameroon, July 10-12, 2024, Proceedings
Progress in Cryptology - AFRICACRYPT 2024 15th International Conference on Cryptology in Africa, Douala, Cameroon, July 10-12, 2024, Proceedings
Author 
Vaudenay, Serge. editor. (orcid)0000-0001-9185-1449 Petit, Christophe. editor. (orcid)0000-0003-3482-6743 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64381-1
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Understanding Computer Organization A Guide to Principles Across RISC-V, ARM Cortex, and Intel Architectures
Understanding Computer Organization A Guide to Principles Across RISC-V, ARM Cortex, and Intel Architectures
Author 
Bulić, Patricio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-58075-8
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Advancing OpenMP for Future Accelerators 20th International Workshop on OpenMP, IWOMP 2024, Perth, WA, Australia, September 23-25, 2024, Proceedings
Advancing OpenMP for Future Accelerators 20th International Workshop on OpenMP, IWOMP 2024, Perth, WA, Australia, September 23-25, 2024, Proceedings
Author 
Espinosa, Alexis. editor. (orcid)0000-0002-8869-3985 Klemm, Michael. editor. (orcid)0000-0002-8634-4634 de Supinski, Bronis R. editor. (orcid)0000-0002-0339-1006 Cytowski, Maciej. editor. (orcid)0000-0002-0007-0979 Klinkenberg, Jannis. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72567-8
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Parallel Computational Technologies 18th International Conference, PCT 2024, Chelyabinsk, Russia, April 2-4, 2024, Revised Selected Papers
Parallel Computational Technologies 18th International Conference, PCT 2024, Chelyabinsk, Russia, April 2-4, 2024, Revised Selected Papers
Author 
Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73372-7
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Engineering of Computer-Based Systems 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings
Engineering of Computer-Based Systems 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings
Author 
Kofroň, Jan. editor. (orcid)0000-0003-0391-4812 Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Seceleanu, Cristina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-49252-5
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
Author 
Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50521-8
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I
Author 
Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50524-9
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency XVII
Transactions on Petri Nets and Other Models of Concurrency XVII
Author 
Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-68191-6
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
Author 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57246-3
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Author 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57249-4
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III
Author 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57256-2
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings
Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57259-3
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers
Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers
Author 
Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Domínguez Mayo, Francisco José. editor. van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353 Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-61753-9
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part I
Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part I
Author 
Carretero, Jesus. editor. (orcid)0000-0002-1413-4793 Shende, Sameer. editor. (orcid)0000-0002-2592-669X Garcia-Blas, Javier. editor. (orcid)0000-0003-1452-1918 Brandic, Ivona. editor. (orcid)0000-0001-7424-0208 Olcoz, Katzalin. editor. (orcid)0000-0002-1821-124X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-69577-3
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part III
Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part III
Author 
Carretero, Jesus. editor. (orcid)0000-0002-1413-4793 Shende, Sameer. editor. (orcid)0000-0002-2592-669X Garcia-Blas, Javier. editor. (orcid)0000-0003-1452-1918 Brandic, Ivona. editor. (orcid)0000-0001-7424-0208 Olcoz, Katzalin. editor. (orcid)0000-0002-1821-124X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-69583-4
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part II
Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part II
Author 
Carretero, Jesus. editor. (orcid)0000-0002-1413-4793 Shende, Sameer. editor. (orcid)0000-0002-2592-669X Garcia-Blas, Javier. editor. (orcid)0000-0003-1452-1918 Brandic, Ivona. editor. (orcid)0000-0001-7424-0208 Olcoz, Katzalin. editor. (orcid)0000-0002-1821-124X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-69766-1
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
Author 
Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842 Ribeiro, Leila. editor. (orcid)0000-0001-7039-092X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71379-8
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Computer Safety, Reliability, and Security 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings
Computer Safety, Reliability, and Security 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings
Author 
Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428 Trapp, Mario. editor. Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68606-1
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Data Management Technologies and Applications 12th International Conference, DATA 2023, Rome, Italy, July 11-13, 2023, Revised Selected Papers
Data Management Technologies and Applications 12th International Conference, DATA 2023, Rome, Italy, July 11-13, 2023, Revised Selected Papers
Author 
Gusikhin, Oleg. editor. Hammoudi, Slimane. editor. Cuzzocrea, Alfredo. editor. (orcid)0000-0002-7104-6415 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68919-2
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Emerging Technologies for Developing Countries 6th EAI International Conference, AFRICATEK 2023, Arusha, Tanzania, December 11-13, 2023, Proceedings
Emerging Technologies for Developing Countries 6th EAI International Conference, AFRICATEK 2023, Arusha, Tanzania, December 11-13, 2023, Proceedings
Author 
Masinde, Muthoni. editor. (orcid)0000-0002-8914-0055 Möbs, Sabine. editor. (orcid)0000-0002-1912-7007 Bagula, Antoine. editor. (orcid)0000-0002-1106-8938 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63999-9
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Digital Design from the VLSI Perspective Concepts for VLSI Beginners
Digital Design from the VLSI Perspective Concepts for VLSI Beginners
Author 
Taraate, Vaibbhav. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-4652-3
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Introduction to Mechatronics An Integrated Approach
Introduction to Mechatronics An Integrated Approach
Author 
Samanta, Biswanath. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29320-7
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Software Defined Chips Volume II
Software Defined Chips Volume II
Author 
Liu, Leibo. author. Wei, Shaojun. author. Zhu, Jianfeng. author. Deng, Chenchen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-7636-0
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Cloud Computing and Services Science 8th International Conference, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018, Revised Selected Papers
Cloud Computing and Services Science 8th International Conference, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018, Revised Selected Papers
Author 
Muñoz, Víctor Méndez. editor. Ferguson, Donald. editor. Helfert, Markus. editor. Pahl, Claus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29193-8
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings
Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings
Author 
Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153 Aslansefat, Koorosh. editor. (orcid)0000-0001-9318-8177 Katsaros, Panagiotis. editor. Bozzano, Marco. editor. (orcid)0000-0002-4135-103X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32872-6
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Cyber Physical Systems. Model-Based Design 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers
Cyber Physical Systems. Model-Based Design 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers
Author 
Chamberlain, Roger. editor. (orcid)0000-0002-7207-6106 Taha, Walid. editor. (orcid)0000-0003-3160-9188 Törngren, Martin. editor. (orcid)0000-0002-4300-885X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23703-5
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Technological Innovation for Industry and Service Systems 10th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2019, Costa de Caparica, Portugal, May 8–10, 2019, Proceedings
Technological Innovation for Industry and Service Systems 10th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2019, Costa de Caparica, Portugal, May 8–10, 2019, Proceedings
Author 
Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Almeida, Ricardo. editor. (orcid)0000-0003-2432-5670 Oliveira, José. editor. (orcid)0000-0002-9398-8841 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17771-3
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
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:
61. 
Cover image for Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
Author 
Guan, Nan. editor. Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Sun, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35540-1
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Supercomputing 10th International Conference on Supercomputing in Mexico, ISUM 2019, Monterrey, Mexico, March 25–29, 2019, Revised Selected Papers
Supercomputing 10th International Conference on Supercomputing in Mexico, ISUM 2019, Monterrey, Mexico, March 25–29, 2019, Revised Selected Papers
Author 
Torres, Moisés. editor. (orcid)0000-0003-4877-3443 Klapp, Jaime. editor. (orcid)0000-0003-1828-9183 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-38043-4
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Test Generation of Crosstalk Delay Faults in VLSI Circuits
Test Generation of Crosstalk Delay Faults in VLSI Circuits
Author 
Jayanthy, S. author. Bhuvaneswari, M.C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2493-2
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Radio Navigation Systems for Airports and Airways
Radio Navigation Systems for Airports and Airways
Author 
Skrypnik, Oleg Nicolaevich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-7201-8
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Transactions on High-Performance Embedded Architectures and Compilers V
Transactions on High-Performance Embedded Architectures and Compilers V
Author 
Silvano, Cristina. editor. (orcid)0000-0003-1668-0883 Bertels, Koen. editor. (orcid)0000-0001-9310-4885 Schulte, Michael. editor. (orcid)0000-0002-0213-4155 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-58834-5
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers
Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers
Author 
Podelski, Andreas. editor. Taïani, François. editor. (orcid)0000-0002-9692-5678 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05529-5
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Constructive Side-Channel Analysis and Secure Design 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings
Constructive Side-Channel Analysis and Secure Design 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings
Author 
Polian, Ilia. editor. (orcid)0000-0002-6563-2725 Stöttinger, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-16350-1
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for On the Physical Security of Physically Unclonable Functions
On the Physical Security of Physically Unclonable Functions
Author 
Tajik, Shahin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75820-6
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Computer Engineering and Technology 23rd CCF Conference, NCCET 2019, Enshi, China, August 1–2, 2019, Revised Selected Papers
Computer Engineering and Technology 23rd CCF Conference, NCCET 2019, Enshi, China, August 1–2, 2019, Revised Selected Papers
Author 
Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhu, Zhenzhen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-15-1850-8
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Principles of Radio Navigation for Ground and Ship-Based Aircrafts
Principles of Radio Navigation for Ground and Ship-Based Aircrafts
Author 
Sauta O.I. author. Shatrakov A.Y. author. Shatrakov Y.G. author. Zavalishin O.I. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-8293-2
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Supercomputing Frontiers 5th Asian Conference, SCFA 2019, Singapore, March 11–14, 2019, Proceedings
Supercomputing Frontiers 5th Asian Conference, SCFA 2019, Singapore, March 11–14, 2019, Proceedings
Author 
Abramson, David. editor. (orcid)0000-0003-0441-4596 de Supinski, Bronis R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-18645-6
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Computer Safety, Reliability, and Security 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
Computer Safety, Reliability, and Security 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
Author 
Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-26601-1
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for A Tutorial Introduction to VHDL Programming
A Tutorial Introduction to VHDL Programming
Author 
Gazi, Orhan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2309-6
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Java in Two Semesters Featuring JavaFX
Java in Two Semesters Featuring JavaFX
Author 
Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99420-8
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Industrial Applications of Holonic and Multi-Agent Systems 9th International Conference, HoloMAS 2019, Linz, Austria, August 26–29, 2019, Proceedings
Industrial Applications of Holonic and Multi-Agent Systems 9th International Conference, HoloMAS 2019, Linz, Austria, August 26–29, 2019, Proceedings
Author 
Mařík, Vladimír. editor. Kadera, Petr. editor. Rzevski, George. editor. Zoitl, Alois. editor. Anderst-Kotsis, Gabriele. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27878-6
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Advanced HDL Synthesis and SOC Prototyping RTL Design Using Verilog
Advanced HDL Synthesis and SOC Prototyping RTL Design Using Verilog
Author 
Taraate, Vaibbhav. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-8776-9
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings
Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings
Author 
Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931 Schneider, Kurt. editor. Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X Amasaki, Sousuke. editor. Ciolkowski, Marcus. editor. (orcid)0000-0001-8494-4794
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03673-7
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for VLSI Design: Circuits, Systems and Applications Select Proceedings of ICNETS2, Volume V
VLSI Design: Circuits, Systems and Applications Select Proceedings of ICNETS2, Volume V
Author 
Li, Jie. editor. Sankar, A Ravi. editor. Beulet, P Augusta Sophy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7251-2
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Computer Security ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers
Computer Security ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers
Author 
Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Cuppens, Frédéric. editor. Cuppens, Nora. editor. Lambrinoudakis, Costas. editor. Kalloniatis, Christos. editor. (orcid)0000-0002-8844-2596
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72817-9
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings
Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings
Author 
Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99130-6
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Hands-on Experience with Altera FPGA Development Boards
Hands-on Experience with Altera FPGA Development Boards
Author 
Parab, Jivan S. author. Gad, Rajendra S. author. Naik, G.M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-3769-3
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Intelligent Engineering Informatics Proceedings of the 6th International Conference on FICTA
Intelligent Engineering Informatics Proceedings of the 6th International Conference on FICTA
Author 
Bhateja, Vikrant. editor. Coello Coello, Carlos A. editor. Satapathy, Suresh Chandra. editor. Pattnaik, Prasant Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7566-7
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Flight Systems and Control A Practical Approach
Flight Systems and Control A Practical Approach
Author 
Ng, Tian Seng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-8721-9
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming
Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming
Author 
Kormanyos, Christopher. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-56718-0
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Introduction to Parallel Computing From Algorithms to Programming on State-of-the-Art Platforms
Introduction to Parallel Computing From Algorithms to Programming on State-of-the-Art Platforms
Author 
Trobec, Roman. author. Slivnik, Boštjan. author. Bulić, Patricio. author. Robič, Borut. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98833-7
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Constructive Side-Channel Analysis and Secure Design 9th International Workshop, COSADE 2018, Singapore, April 23–24, 2018, Proceedings
Constructive Side-Channel Analysis and Secure Design 9th International Workshop, COSADE 2018, Singapore, April 23–24, 2018, Proceedings
Author 
Fan, Junfeng. editor. Gierlichs, Benedikt. editor. (orcid)0000-0002-5866-1990 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89641-0
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Getting Started with Tiva ARM Cortex M4 Microcontrollers A Lab Manual for Tiva LaunchPad Evaluation Kit
Getting Started with Tiva ARM Cortex M4 Microcontrollers A Lab Manual for Tiva LaunchPad Evaluation Kit
Author 
Gadre, Dhananjay V. author. Gupta, Sarthak. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-3766-2
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Critical Information Infrastructures Security 11th International Conference, CRITIS 2016, Paris, France, October 10-12, 2016, Revised Selected Papers
Critical Information Infrastructures Security 11th International Conference, CRITIS 2016, Paris, France, October 10-12, 2016, Revised Selected Papers
Author 
Havarneanu, Grigore. editor. Setola, Roberto. editor. Nassopoulos, Hypatia. editor. Wolthusen, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71368-7
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Prototyping of Concurrent Control Systems Implemented in FPGA Devices
Prototyping of Concurrent Control Systems Implemented in FPGA Devices
Author 
Wiśniewski, Remigiusz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45811-3
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Constructive Side-Channel Analysis and Secure Design 8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017, Revised Selected Papers
Constructive Side-Channel Analysis and Secure Design 8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017, Revised Selected Papers
Author 
Guilley, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64647-3
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Author 
Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68499-4
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Analysis and Synthesis of Positive Systems Under ℓ1 and L1 Performance
Analysis and Synthesis of Positive Systems Under ℓ1 and L1 Performance
Author 
Chen, Xiaoming. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-2227-2
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Programming in HTML and PHP Coding for Scientists and Engineers
Programming in HTML and PHP Coding for Scientists and Engineers
Author 
Brooks, David R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56973-4
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Industrial Applications of Holonic and Multi-Agent Systems 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017, Proceedings
Industrial Applications of Holonic and Multi-Agent Systems 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017, Proceedings
Author 
Mařík, Vladimír. editor. Wahlster, Wolfgang. editor. Strasser, Thomas. editor. Kadera, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64635-0
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Machine Learning Control - Taming Nonlinear Dynamics and Turbulence
Machine Learning Control - Taming Nonlinear Dynamics and Turbulence
Author 
Duriez, Thomas. author. Brunton, Steven L. author. Noack, Bernd R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40624-4
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Selected Areas in Cryptography - SAC 2016 23rd International Conference, St. John's, NL, Canada, August 10-12, 2016, Revised Selected Papers
Selected Areas in Cryptography - SAC 2016 23rd International Conference, St. John's, NL, Canada, August 10-12, 2016, Revised Selected Papers
Author 
Avanzi, Roberto. editor. Heys, Howard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69453-5
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Risk Assessment and Risk-Driven Quality Assurance 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers
Risk Assessment and Risk-Driven Quality Assurance 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers
Author 
Großmann, Jürgen. editor. Felderer, Michael. editor. Seehusen, Fredrik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57858-3
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for PLD Based Design with VHDL RTL Design, Synthesis and Implementation
PLD Based Design with VHDL RTL Design, Synthesis and Implementation
Author 
Taraate, Vaibbhav. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3296-7
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Design of an Intelligent Embedded System for Condition Monitoring of an Industrial Robot
Design of an Intelligent Embedded System for Condition Monitoring of an Industrial Robot
Author 
Jaber, Alaa Abdulhady. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44932-6
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Foundations of Programming Languages
Foundations of Programming Languages
Author 
Lee, Kent D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70790-7
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Functional Safety for Road Vehicles New Challenges and Solutions for E-mobility and Automated Driving
Functional Safety for Road Vehicles New Challenges and Solutions for E-mobility and Automated Driving
Author 
Ross, Hans-Leo. author. (orcid)0009-0009-0125-8824 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33361-8
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Theory of Control Systems Described by Differential Inclusions
Theory of Control Systems Described by Differential Inclusions
Author 
Han, Zhengzhi. author. Cai, Xiushan. author. Huang, Jun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49245-1
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Understanding Control Flow Concurrent Programming Using μC++
Understanding Control Flow Concurrent Programming Using μC++
Author 
Buhr, Peter A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25703-7
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Frontier Computing Theory, Technologies and Applications
Frontier Computing Theory, Technologies and Applications
Author 
Hung, Jason C. editor. Yen, Neil Y. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-0539-8
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Real Time Control Engineering Systems And Automation
Real Time Control Engineering Systems And Automation
Author 
Ng, Tian Seng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-1509-0
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Optimal Design of Distributed Control and Embedded Systems
Optimal Design of Distributed Control and Embedded Systems
Author 
Çela, Arben. author. Ben Gaid, Mongi. author. Li, Xu-Guang. author. Niculescu, Silviu-Iulian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-02729-6
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Body Sensor Networks
Body Sensor Networks
Author 
Yang, Guang-Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6374-9
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming
Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming
Author 
Kormanyos, Christopher Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333884.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34688-0
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for A Combined Data and Power Management Infrastructure For Small Satellites
A Combined Data and Power Management Infrastructure For Small Satellites
Author 
Eickhoff, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334005.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35557-8
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Reflections on the History of Computing Preserving Memories and Sharing Stories
Reflections on the History of Computing Preserving Memories and Sharing Stories
Author 
Tatnall, Arthur. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33899-1
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for VLSI-SoC: Forward-Looking Trends in IC and Systems Design 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers
VLSI-SoC: Forward-Looking Trends in IC and Systems Design 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers
Author 
Ayala, José L. editor. Atienza Alonso, David. editor. Reis, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28566-0
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for The BOXES Methodology Black Box Dynamic Control
The BOXES Methodology Black Box Dynamic Control
Author 
Russell, David W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-528-6
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for An Investigation into the Detection and Mitigation of Denial of Service (DoS) Attacks Critical Information Infrastructure Protection
An Investigation into the Detection and Mitigation of Denial of Service (DoS) Attacks Critical Information Infrastructure Protection
Author 
Raghavan, S.V. editor. Dawson, E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-81-322-0277-6
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Thinkquest~2010 Proceedings of the First International Conference on Contours of Computing Technology
Thinkquest~2010 Proceedings of the First International Conference on Contours of Computing Technology
Author 
Pise, S. J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-81-8489-989-4
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings
Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings
Author 
Das, Vinu V. editor. Thankachan, Nessy. editor. Debnath, Narayan C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20499-9
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Microelectronic Systems Circuits, Systems and Applications
Microelectronic Systems Circuits, Systems and Applications
Author 
Heuberger, Albert. editor. Elst, Günter. editor. Hanke, Randolf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23071-4
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for VLSI-SoC: Technologies for Systems Integration 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florianópolis, Brazil, October 12-14, 2009, Revised Selected Papers
VLSI-SoC: Technologies for Systems Integration 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florianópolis, Brazil, October 12-14, 2009, Revised Selected Papers
Author 
Becker, Jürgen. editor. Johann, Marcelo. editor. Reis, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23120-9
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday
Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday
Author 
Jones, Cliff B. editor. Lloyd, John L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24541-1
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Power Electronics and Instrumentation Engineering International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings
Power Electronics and Instrumentation Engineering International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings
Author 
Das, Vinu V. editor. Stephen, Janahanlal. editor. Thankachan, Nessy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15739-4
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Unmanned Rotorcraft Systems
Unmanned Rotorcraft Systems
Author 
Cai, Guowei. author. Chen, Ben M. author. Lee, Tong Heng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-635-1
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for VLSI-SoC: Design Methodologies for SoC and SiP 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papers
VLSI-SoC: Design Methodologies for SoC and SiP 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papers
Author 
Piguet, Christian. editor. Reis, Ricardo. editor. Soudris, Dimitrios. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12267-5
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Embedded Microcontroller Interfacing Designing Integrated Projects
Embedded Microcontroller Interfacing Designing Integrated Projects
Author 
Gupta, Gourab Sen. author. Mukhopadhyay, Subhas Chandra. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13636-8
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Flying Insects and Robots
Flying Insects and Robots
Author 
Floreano, Dario. editor. Zufferey, Jean-Christophe. editor. Srinivasan, Mandyam V. editor. Ellington, Charlie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89393-6
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Anwendungsorientierte Mikroprozessoren Mikrocontroller und Digitale Signalprozessoren
Anwendungsorientierte Mikroprozessoren Mikrocontroller und Digitale Signalprozessoren
Author 
Bähring, Helmut. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12292-7
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Enterprise Mac Managed Preferences
Enterprise Mac Managed Preferences
Author 
Marczak, Edward. author. Neagle, Greg. author. Andres, Clay. editor. Anglin, Steve. editor. Beckner, Mark. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-2938-4
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Digitale Hardware/Software-Systeme Spezifikation und Verifikation
Digitale Hardware/Software-Systeme Spezifikation und Verifikation
Author 
Haubelt, Christian. author. Teich, Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05356-6
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Mikrocontroller und Mikroprozessoren
Mikrocontroller und Mikroprozessoren
Author 
Brinkschulte, Uwe. author. Ungerer, Theo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05398-6
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers
Author 
Monteiro, José. editor. Leuken, René. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11802-9
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Introduction to Embedded System Design Using Field Programmable Gate Arrays
Introduction to Embedded System Design Using Field Programmable Gate Arrays
Author 
Dubey, Rahul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-016-6
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Computer Performance Evaluation and Benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings
Computer Performance Evaluation and Benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings
Author 
Kaeli, David. editor. Sachs, Kai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-93799-9
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Logic Synthesis for FSM-Based Control Units
Logic Synthesis for FSM-Based Control Units
Author 
Barkalov, Alexander. author. Titarenko, Larysa. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04309-3
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for VLSI-SoC: Advanced Topics on Systems on a Chip A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USA
VLSI-SoC: Advanced Topics on Systems on a Chip A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USA
Author 
Hasler, Paul. editor. Mooney, Vincent. editor. Reis, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-89558-1
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Logic Synthesis for Compositional Microprogram Control Units
Logic Synthesis for Compositional Microprogram Control Units
Author 
Barkalov, Alexander. editor. Titarenko, Larysa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69285-0
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers
Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers
Author 
Lämmel, Ralf. editor. Visser, Joost. editor. Saraiva, João. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88643-3
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Creating Cool MINDSTORMS® NXT Robots
Creating Cool MINDSTORMS® NXT Robots
Author 
Benedettelli, Daniele. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0599-9
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Distributed Embedded Control Systems Improving Dependability with Coherent Design
Distributed Embedded Control Systems Improving Dependability with Coherent Design
Author 
Colnarič, Matjaž. author. Verber, Domen. author. Halang, Wolfgang A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-052-0
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Mikrocontroller und Mikroprozessoren
Mikrocontroller und Mikroprozessoren
Author 
Brinkschulte, Uwe. author. Ungerer, Theo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-46819-6
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Digitale Hardware/Software-Systeme Synthese und Optimierung
Digitale Hardware/Software-Systeme Synthese und Optimierung
Author 
Teich, Jürgen. author. Haubelt, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-46824-0
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Neural Preprocessing and Control of Reactive Walking Machines Towards Versatile Artificial Perception-Action Systems
Neural Preprocessing and Control of Reactive Walking Machines Towards Versatile Artificial Perception-Action Systems
Author 
Manoonpong, Poramate. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68803-7
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Informatics in Control, Automation and Robotics II
Informatics in Control, Automation and Robotics II
Author 
Filipe, Joaquim. editor. Ferrier, Jean-Louis. editor. Cetto, Juan A. editor. Carvalho, Marina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5626-0
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Body Sensor Networks
Body Sensor Networks
Author 
Yang, Guang-Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-484-8
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS I
INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS I
Author 
BRAZ, JOSÉ. editor. ARAÚJO, HELDER. editor. VIEIRA, ALVES. editor. ENCARNAÇÃO, BRUNO. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4543-3
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Interfacing with C++ Programming Real-World Applications
Interfacing with C++ Programming Real-World Applications
Author 
Katupitiya, Jayantha. author. Bentley, Kim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-33581-1
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Measurement, Control, and Communication Using IEEE 1588
Measurement, Control, and Communication Using IEEE 1588
Author 
Eidson, John C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-251-9
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Computers, Software Engineering, and Digital Devices
Computers, Software Engineering, and Digital Devices
Author 
Dorf, Richard C., author. Taylor and Francis.
Preferred Shelf Number 
TK7885
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Mikroprozessortechnik und Rechnerstrukturen
Mikroprozessortechnik und Rechnerstrukturen
Author 
Flik, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137981
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Moderne Prozessorarchitekturen Prinzipien und ihre Realisierungen
Moderne Prozessorarchitekturen Prinzipien und ihre Realisierungen
Author 
Menge, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b139114
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Legal Programming Designing Legally Compliant RFID and Software Agent Architectures for Retail Processes and Beyond
Legal Programming Designing Legally Compliant RFID and Software Agent Architectures for Retail Processes and Beyond
Author 
Subirana, Brian. author. Bain, Malcolm. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b101542
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Guide to RISC Processors for Programmers and Engineers
Guide to RISC Processors for Programmers and Engineers
Author 
Dandamudi, Sivarama P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b139084
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Quantitative Measure for Discrete Event Supervisory Control
Quantitative Measure for Discrete Event Supervisory Control
Author 
Ray, Asok. editor. Phoha, Vir V. editor. Phoha, Shashi P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b103444
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Design of Embedded Control Systems
Design of Embedded Control Systems
Author 
Adamski, Marian Andrzej. author. Karatkevich, Andrei. author. Wegrzyn, Marek. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28327-7
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Constrained Control and Estimation An Optimisation Approach
Constrained Control and Estimation An Optimisation Approach
Author 
Goodwin, Graham C. author. Doná, José A. author. Seron, María M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138145
Format: 
Availability 
Online Library~1
Available:
Copies: