Limit Search Results
Author
SpringerLink (Online service)
(58)
Artho, Cyrille. editor.
(2)
Sobolev, Sergey. editor.
(2)
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106
(2)
Ölveczky, Peter Csaba. editor.
(2)
Language
Publication Date
-
Subject
Computer simulation.
(58)
Software engineering.
(40)
Computer science.
(35)
Computer Science Logic and Foundations of Programming.
(32)
Compilers (Computer programs).
(16)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
58 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 MATLAB and Simulink in Action Programming, Scientific Computing and Simulation
MATLAB and Simulink in Action Programming, Scientific Computing and Simulation
Author 
Xue, Dingyü. author. Pan, Feng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-1176-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Data Mining and Constraint Programming Foundations of a Cross-Disciplinary Approach
Data Mining and Constraint Programming Foundations of a Cross-Disciplinary Approach
Author 
Bessiere, Christian. editor. De Raedt, Luc. editor. Kotthoff, Lars. editor. Nijssen, Siegfried. editor. O'Sullivan, Barry. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50137-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Analytical and Stochastic Modelling Techniques and Applications 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings
Analytical and Stochastic Modelling Techniques and Applications 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings
Author 
Thomas, Nigel. editor. Forshaw, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61428-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
Author 
Paskevich, Andrei. editor. Wies, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72308-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings
Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings
Author 
Cavalheiro, Simone. editor. Fiadeiro, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70848-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Author 
Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69483-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
Author 
Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66583-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Author 
Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68270-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Software Engineering in Health Care 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers
Software Engineering in Health Care 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers
Author 
Huhn, Michaela. editor. Williams, Laurie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63194-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Author 
Aichernig, Bernhard K. editor. Furia, Carlo A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41135-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Model and Data Engineering 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings
Model and Data Engineering 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings
Author 
Bellatreche, Ladjel. editor. Pastor, Óscar. editor. Almendros Jiménez, Jesús M. editor. Aït-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45547-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets