Limit Search Results
Author
SpringerLink (Online service)
(98)
Lin, Jia'en. editor.
(10)
Walber, Chad, editor.
(4)
Caetano, Elsa. editor.
(3)
Cunha, Álvaro. editor.
(3)
Language
English
(170)
Publication Date
-
Subject
Mechanics, Applied.
(27)
Electronic books.
(17)
Building Construction and Design.
(16)
Buildings -- Design and construction.
(16)
Geotechnical Engineering and Applied Earth Sciences.
(16)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
170 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences
Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences
Author 
Cooper, Kendra M. L. editor. Bucchiarone, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33338-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Internet of Things - ICIOT 2022 7th International Conference, Held as Part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10-14, 2022, Proceedings
Internet of Things - ICIOT 2022 7th International Conference, Held as Part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10-14, 2022, Proceedings
Author 
Tekinerdogan, Bedir. editor. Wang, Yingwei. editor. Zhang, Liang-Jie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23582-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Algorithms and Complexity 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings
Algorithms and Complexity 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings
Author 
Mavronicolas, Marios. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30448-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Biomimetic and Biohybrid Systems 12th International Conference, Living Machines 2023, Genoa, Italy, July 10-13, 2023, Proceedings, Part I
Biomimetic and Biohybrid Systems 12th International Conference, Living Machines 2023, Genoa, Italy, July 10-13, 2023, Proceedings, Part I
Author 
Meder, Fabian. editor. Hunt, Alexander. editor. Margheri, Laura. editor. Mura, Anna. editor. Mazzolai, Barbara. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-38857-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Author 
Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33170-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
Author 
Petrucci, Laure. editor. Sproston, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42626-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
Author 
Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Roy, Matthieu. editor. Bitsch, Friedemann. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40953-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Applied Cryptography and Network Security Workshops ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings
Applied Cryptography and Network Security Workshops ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings
Author 
Zhou, Jianying. editor. (orcid) Batina, Lejla. editor. Li, Zengpeng. editor. Lin, Jingqiang. editor. Losiouk, Eleonora. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-41181-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part III
Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part III
Author 
Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-6489-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Author 
Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47115-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers
High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers
Author 
Bienz, Amanda. editor. Weiland, Michèle. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40843-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings
Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings
Author 
Hur, Chung-Kil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-8311-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action