Limit Search Results
Author
SpringerLink (Online service)
(45)
Finkbeiner, Bernd. editor.
(3)
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792
(3)
Heule, Marijn. editor. (orcid)0000-0002-5587-8801
(3)
Kovács, Laura. editor.
(3)
Language
Publication Date
-
Subject
Computer simulation.
(45)
Computer science.
(21)
Software engineering.
(20)
Artificial intelligence.
(11)
Computer Science Logic and Foundations of Programming.
(11)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
45 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
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:
26. 
Cover image for Advanced Computational Methods in Life System Modeling and Simulation International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part I
Advanced Computational Methods in Life System Modeling and Simulation International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part I
Author 
Fei, Minrui. editor. Ma, Shiwei. editor. Li, Xin. editor. Sun, Xin. editor. Jia, Li. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6370-1
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Interactive Modeling and Simulation in Business System Design
Interactive Modeling and Simulation in Business System Design
Author 
Roubtsova, Ella. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15102-1
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Isochronous Wireless Network for Real-time Communication in Industrial Automation
Isochronous Wireless Network for Real-time Communication in Industrial Automation
Author 
Trsek, Henning. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49158-4
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings
Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings
Author 
Cinquemani, Eugenio. editor. Donzé, Alexandre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47151-8
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Model Design and Simulation Analysis 15th International Conference, AsiaSim 2015, Jeju, Korea, November 4-7, 2015, Revised Selected Papers
Model Design and Simulation Analysis 15th International Conference, AsiaSim 2015, Jeju, Korea, November 4-7, 2015, Revised Selected Papers
Author 
Ohn, Syng Yup. editor. Chi, Sung Do. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-2158-9
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Real Time Modeling, Simulation and Control of Dynamical Systems
Real Time Modeling, Simulation and Control of Dynamical Systems
Author 
Mughal, Asif Mahmood. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33906-1
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Resource Management for Big Data Platforms Algorithms, Modelling, and High-Performance Computing Techniques
Resource Management for Big Data Platforms Algorithms, Modelling, and High-Performance Computing Techniques
Author 
Pop, Florin. editor. Kołodziej, Joanna. editor. Di Martino, Beniamino. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44881-7
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
Author 
Bartocci, Ezio. editor. Lio, Pietro. editor. (orcid)0000-0002-0540-5053 Paoletti, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45177-0
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings
Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings
Author 
Agha, Gul. editor. Van Houdt, Benny. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43425-4
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Author 
Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29628-9
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings
Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings
Author 
Fiems, Dieter. editor. Paolieri, Marco. editor. Platis, Agapios N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46433-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action