Limit Search Results
Author
SpringerLink (Online service)
(68)
Ao, Sio-Iong. editor.
(3)
Kim, Haeng Kon. editor.
(2)
Abrahamsson, Pekka. editor.
(1)
Ahrendt, Wolfgang. editor.
(1)
Language
Publication Date
-
Subject
Computer science.
(15)
Compilers (Computer programs).
(10)
Compilers and Interpreters.
(10)
Computer Science Logic and Foundations of Programming.
(10)
Artificial intelligence.
(9)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
69 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Domain-Specific Conceptual Modeling Concepts, Methods and Tools
Domain-Specific Conceptual Modeling Concepts, Methods and Tools
Author 
Karagiannis, Dimitris. editor. Mayr, Heinrich C. editor. Mylopoulos, John. editor. (orcid)0000-0002-8698-3292 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39417-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Deductive Software Verification - The KeY Book From Theory to Practice
Deductive Software Verification - The KeY Book From Theory to Practice
Author 
Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49812-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Transactions on Engineering Technologies
Transactions on Engineering Technologies
Author 
Ao, Sio-Iong. editor. Yang, Gi-Chul. editor. Gelman, Len. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-1088-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Collaboration Meets Interactive Spaces
Collaboration Meets Interactive Spaces
Author 
Anslow, Craig. editor. Campos, Pedro. editor. Jorge, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45853-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Architectural Design Conception and Specification of Interactive Systems
Architectural Design Conception and Specification of Interactive Systems
Author 
Vissers, Chris A. author. Pires, Luís Ferreira. author. Quartel, Dick A.C. author. van Sinderen, Marten. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43298-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
Author 
Lindley, Sam. editor. McBride, Conor. editor. Trinder, Phil. editor. Sannella, Don. editor. (orcid)0000-0003-4520-8924 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30936-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
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:
9. 
Cover image for Tamed Agility Pragmatic Contracting and Collaboration in Agile Software Projects
Tamed Agility Pragmatic Contracting and Collaboration in Agile Software Projects
Author 
Book, Matthias. author. Gruhn, Volker. author. Striemer, Rüdiger. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41478-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
11. 
Cover image for Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Author 
Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27810-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Integrating User-Centred Design in Agile Development
Integrating User-Centred Design in Agile Development
Author 
Cockton, Gilbert. editor. Lárusdóttir, Marta. editor. Gregory, Peggy. editor. (orcid)0000-0001-7891-6666 Cajander, Åsa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-32165-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action