Limit Search Results
Author
SpringerLink (Online service)
(56)
Silhavy, Petr. editor.
(4)
Silhavy, Radek. editor.
(4)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(3)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(2)
Language
Publication Date
-
Subject
Computer science.
(16)
Artificial intelligence.
(11)
Computational intelligence.
(10)
Application software.
(7)
Compilers (Computer programs).
(7)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
57 Results Found Subscribe to search results
000000000DEFAULT
Print
1. 
Cover image for Quality in Business Process Modeling
Quality in Business Process Modeling
Author 
Krogstie, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42512-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Transactions on Modularity and Composition I
Transactions on Modularity and Composition I
Author 
Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46969-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Description and Selection of Communication Services for Service Oriented Network Architectures
Description and Selection of Communication Services for Service Oriented Network Architectures
Author 
Khondoker, Rahamatullah. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-12742-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Distributed Simulation A Model Driven Engineering Approach
Distributed Simulation A Model Driven Engineering Approach
Author 
Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-03050-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Collaboration and Technology 22nd International Conference, CRIWG 2016, Kanazawa, Japan, September 14-16, 2016, Proceedings
Collaboration and Technology 22nd International Conference, CRIWG 2016, Kanazawa, Japan, September 14-16, 2016, Proceedings
Author 
Yuizono, Takaya. editor. Ogata, Hiroaki. editor. Hoppe, Ulrich. editor. Vassileva, Julita. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44799-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Author 
Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29613-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, 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-319-47166-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Software Engineering and Methodology for Emerging Domains 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016, Proceedings
Software Engineering and Methodology for Emerging Domains 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016, Proceedings
Author 
Zhang, Lu. editor. Xu, Chang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3482-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Expert ASP.NET Web API 2 for MVC Developers
Expert ASP.NET Web API 2 for MVC Developers
Author 
Freeman, Adam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0085-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action