Limit Search Results
Author
SpringerLink (Online service)
(22)
Baboulin, Marc. editor.
(1)
Batina, Lejla. editor.
(1)
Bienz, Amanda. editor.
(1)
Bitsch, Friedemann. editor.
(1)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
34 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
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 
XX(521275.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-47115-5
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
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 
XX(521341.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-8311-7
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Handbook of measurement in science and engineering. Volume 3
Handbook of measurement in science and engineering. Volume 3
Author 
Kutz, Myer, editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley Online Library
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Enterprise Interoperability 6th International IFIP Working Conference, IWEI 2015, Nîmes, France, May 28-29, 2015, Proceedings
Enterprise Interoperability 6th International IFIP Working Conference, IWEI 2015, Nîmes, France, May 28-29, 2015, Proceedings
Author 
van Sinderen, Marten. editor. Chapurlat, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518641.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47157-9
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Nordic Contributions in IS Research 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015, Proceedings
Nordic Contributions in IS Research 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015, Proceedings
Author 
Oinas-Kukkonen, Harri. editor. Iivari, Netta. editor. Kuutti, Kari. editor. Öörni, Anssi. editor. Rajanen, Mikko. editor.
Preferred Shelf Number 
XX(518583.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21783-3
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Author 
Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518840.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22969-0
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II
Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II
Author 
Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519031.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15705-4
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges 5th International Workshop, STACOM 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected Papers
Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges 5th International Workshop, STACOM 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected Papers
Author 
Camara, Oscar. editor. Mansi, Tommaso. editor. Pop, Mihaela. editor. Rhode, Kawal. editor. Sermesant, Maxime. editor.
Preferred Shelf Number 
XX(519077.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-14678-2
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Vitek, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519237.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46669-8
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Algorithms and Complexity 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings
Algorithms and Complexity 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings
Author 
Paschos, Vangelis Th. editor. Widmayer, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519245.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18173-8
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
Author 
Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519222.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47672-7
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Rock mechanics achievements and ambitions
Rock mechanics achievements and ambitions
Author 
ISRM Symposium (2nd : 2011 : Beijing China) Cai, Meifeng. Wang, Jin?an, 1958-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies: