Limit Search Results
Author
SpringerLink (Online service)
(23)
Al-Begain, Khalid. editor.
(1)
Axenie, Cristian. author. (orcid)0000-0001-6184-0546
(1)
Bandyopadhyay, Susmita, author.
(1)
Banks, Catherine M., 1960-
(1)
Language
Publication Date
-
Subject
Computer Modelling.
(20)
Algorithms.
(4)
Artificial intelligence.
(4)
Computer science.
(4)
Software engineering.
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
30 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
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:
14. 
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:
15. 
Cover image for Solid-State-Drives (SSDs) Modeling Simulation Tools & Strategies
Solid-State-Drives (SSDs) Modeling Simulation Tools & Strategies
Author 
Micheloni, Rino. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51735-3
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications
Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications
Author 
Berry, Stuart. editor. Lowndes, Val. editor. Trovati, Marcello. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55417-4
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
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:
18. 
Cover image for Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration 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 III
Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration 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 III
Author 
Li, Kang. editor. Xue, Yusheng. editor. Cui, Shumei. editor. Niu, Qun. editor. Yang, Zhile. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6364-0
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
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:
20. 
Cover image for Context-Enhanced Information Fusion Boosting Real-World Performance with Domain Knowledge
Context-Enhanced Information Fusion Boosting Real-World Performance with Domain Knowledge
Author 
Snidaro, Lauro. editor. García, Jesús. editor. (orcid)0000-0003-1768-2688 Llinas, James. editor. Blasch, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28971-7
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
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:
22. 
Cover image for Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation
Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation
Author 
Al-Begain, Khalid. editor. Bargiela, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33786-9
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Behavioural Models From Modelling Finite Automata to Analysing Business Processes
Behavioural Models From Modelling Finite Automata to Analysing Business Processes
Author 
Kunze, Matthias. author. Weske, Mathias. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44960-9
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Managing the Complexity of Critical Infrastructures A Modelling and Simulation Approach
Managing the Complexity of Critical Infrastructures A Modelling and Simulation Approach
Author 
Setola, Roberto. editor. Rosato, Vittorio. editor. Kyriakides, Elias. editor. Rome, Erich. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51043-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets