Limit Search Results
Author
SpringerLink (Online service)
(56)
Silhavy, Petr. editor.
(4)
Silhavy, Radek. editor.
(4)
Deelman, Ewa. editor. (orcid)0000-0001-5106-503X
(2)
Dongarra, Jack. editor.
(2)
Language
Publication Date
-
Subject
Computer networks .
(11)
Computer science -- Mathematics.
(9)
Computer science.
(9)
Application software.
(7)
Artificial intelligence.
(7)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
56 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
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:
3. 
Cover image for String Analysis for Software Verification and Security
String Analysis for Software Verification and Security
Author 
Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68670-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Coding Theory and Applications 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings
Coding Theory and Applications 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings
Author 
Barbero, Ángela I. editor. Skachek, Vitaly. editor. Ytrehus, Øyvind. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66278-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Simulating Crowds in Egress Scenarios
Simulating Crowds in Egress Scenarios
Author 
Cassol, Vinícius J. author. Musse, Soraia R. author. Jung, Cláudio R. author. Badler, Norman I. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-65202-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers
Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers
Author 
de Lemos, Rogério. editor. Garlan, David. editor. Ghezzi, Carlo. editor. Giese, Holger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74183-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Engineering Scalable, Elastic, and Cost-Efficient Cloud Computing Applications The CloudScale Method
Engineering Scalable, Elastic, and Cost-Efficient Cloud Computing Applications The CloudScale Method
Author 
Becker, Steffen. editor. Brataas, Gunnar. editor. Lehrig, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54286-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Automotive Software Architectures An Introduction
Automotive Software Architectures An Introduction
Author 
Staron, Miroslaw. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58610-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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:
10. 
Cover image for High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers
High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers
Author 
Kozubek, Tomáš. editor. Blaheta, Radim. editor. Šístek, Jakub. editor. Rozložník, Miroslav. editor. Čermák, Martin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40361-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I
Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I
Author 
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Dongarra, Jack. editor. Karczewski, Konrad. editor. Kitowski, Jacek. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-32149-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Understanding Control Flow Concurrent Programming Using μC++
Understanding Control Flow Concurrent Programming Using μC++
Author 
Buhr, Peter A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25703-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets