Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
14 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Understanding Modelling and Programming
Understanding Modelling and Programming
Author 
Prinz, Andreas. author. (orcid)0000-0002-0646-2877 Møller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260 Fischer, Joachim. author. (orcid)0000-0003-2476-3996 Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71280-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Systems Benchmarking For Scientists and Engineers
Systems Benchmarking For Scientists and Engineers
Author 
Kounev, Samuel. author. Lange, Klaus-Dieter. author. von Kistowski, Jóakim. author. (orcid)0000-0002-3046-5373 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85634-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Enterprise Architecture at Work Modelling, Communication and Analysis
Enterprise Architecture at Work Modelling, Communication and Analysis
Author 
Lankhorst, Marc. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-53933-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Smart Cities The Internet of Things, People and Systems
Smart Cities The Internet of Things, People and Systems
Author 
Dustdar, Schahram. author. Nastić, Stefan. author. Šćekić, Ognjen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60030-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for S-BPM in the Production Industry A Stakeholder Approach
S-BPM in the Production Industry A Stakeholder Approach
Author 
Neubauer, Matthias. editor. Stary, Christian. editor. (orcid)0000-0001-9764-5021 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48466-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Models of Computation
Models of Computation
Author 
Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42900-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Author 
Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63390-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Author 
Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63387-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Managing Software Process Evolution Traditional, Agile and Beyond - How to Handle Process Change
Managing Software Process Evolution Traditional, Agile and Beyond - How to Handle Process Change
Author 
Kuhrmann, Marco. editor. Münch, Jürgen. editor. Richardson, Ita. editor. Rausch, Andreas. editor. Zhang, He. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31545-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Computers and Games 9th International Conference, CG 2016, Leiden, The Netherlands, June 29 - July 1, 2016, Revised Selected Papers
Computers and Games 9th International Conference, CG 2016, Leiden, The Netherlands, June 29 - July 1, 2016, Revised Selected Papers
Author 
Plaat, Aske. editor. Kosters, Walter. editor. van den Herik, Jaap. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50935-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Automated Software and Service Composition A Survey and Evaluating Review
Automated Software and Service Composition A Survey and Evaluating Review
Author 
Mohr, Felix. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-34168-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Project-Management in Practice A Guideline and Toolbox for Successful Projects
Project-Management in Practice A Guideline and Toolbox for Successful Projects
Author 
Alam, M. Daud. author. Gühl, Uwe F. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-52944-7
Format: 
Availability 
Online Library~1
Available:
Copies: