Limit Search Results
Author
SpringerLink (Online service)
(29)
Amouzegar, Mahyar A. editor.
(1)
Ao, Sio-Iong. editor.
(1)
Cebulla, Michael. editor.
(1)
Consel, Charles. editor.
(1)
Language
Publication Date
-
Subject
Computer science.
(7)
Application software.
(6)
Computer and Information Systems Applications.
(6)
Compilers (Computer programs).
(5)
Compilers and Interpreters.
(5)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
30 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Agile-SOFL Agile Formal Engineering Method
Agile-SOFL Agile Formal Engineering Method
Author 
Liu, Shaoying. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2285-3
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Author 
Ölveczky, Peter Csaba. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6687-0
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for QoS Prediction in Cloud and Service Computing Approaches and Applications
QoS Prediction in Cloud and Service Computing Approaches and Applications
Author 
Zhang, Yilei. author. Lyu, Michael R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-5278-1
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2015
Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2015
Author 
Ao, Sio-Iong. editor. Kim, Haeng Kon. editor. Amouzegar, Mahyar A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-2717-8
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Guide to Scientific Computing in C++
Guide to Scientific Computing in C++
Author 
Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73132-2
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Software Quality Assurance Consistency in the Face of Complexity and Change
Software Quality Assurance Consistency in the Face of Complexity and Change
Author 
Walkinshaw, Neil. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64822-4
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Pervasive Computing Engineering Smart Systems
Pervasive Computing Engineering Smart Systems
Author 
Silvis-Cividjian, Natalia. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51655-4
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Agile Modeling with UML Code Generation, Testing, Refactoring
Agile Modeling with UML Code Generation, Testing, Refactoring
Author 
Rumpe, Bernhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58862-9
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Introducing Spring Framework A Primer
Introducing Spring Framework A Primer
Author 
Gutierrez, Felipe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6533-7
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Pro Express.js Master Express.js: The Node.js Framework For Your Web Development
Pro Express.js Master Express.js: The Node.js Framework For Your Web Development
Author 
Mardan, Azat. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0037-7
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Optimizing HPC Applications with Intel Cluster Tools Hunting Petaflops
Optimizing HPC Applications with Intel Cluster Tools Hunting Petaflops
Author 
Supalov, Alexander. author. Semin, Andrey. author. Dahnken, Christopher. author. Klemm, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6497-2
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Software Engineering A Methodical Approach
Software Engineering A Methodical Approach
Author 
Foster, Elvis. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0847-2
Format: 
Availability 
Online Library~1
Available:
Copies: