Limit Search Results
Author
SpringerLink (Online service)
(115)
Esposito, Anna. editor.
(2)
Filipe, Joaquim. editor.
(2)
Jain, Lakhmi C. editor.
(2)
Oğuztüzün, Halit. author.
(2)
Language
English
(115)
Publication Date
-
2017
(49)
2016
(48)
2024
(10)
2025
(8)
Subject
Computer simulation.
(115)
Software engineering.
(29)
Artificial intelligence.
(25)
Computer science.
(24)
Computer Science Logic and Foundations of Programming.
(12)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
115 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Robust Modelling and Simulation Integration of SIMIO with Coloured Petri Nets
Robust Modelling and Simulation Integration of SIMIO with Coloured Petri Nets
Author 
De La Mota, Idalia Flores. author. Guasch, Antoni. author. Mujica Mota, Miguel. author. (orcid)0000-0002-0160-6827 Angel Piera, Miquel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53321-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Multi-Agent Based Simulation XVII International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016, Revised Selected Papers
Multi-Agent Based Simulation XVII International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016, Revised Selected Papers
Author 
Nardin, Luis Gustavo. editor. Antunes, Luis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67477-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
Cover image for Transactions on Computational Collective Intelligence XXVII
Transactions on Computational Collective Intelligence XXVII
Author 
Mercik, Jacek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70647-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Author 
Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54069-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings
Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings
Author 
van der Aalst, Wil. editor. Best, Eike. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57861-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Transparent Data Mining for Big and Small Data
Transparent Data Mining for Big and Small Data
Author 
Cerquitelli, Tania. editor. (orcid)0000-0002-9039-6226 Quercia, Daniele. editor. Pasquale, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54024-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Forecast Error Correction using Dynamic Data Assimilation
Forecast Error Correction using Dynamic Data Assimilation
Author 
Lakshmivarahan, Sivaramakrishnan. author. Lewis, John M. author. Jabrzemski, Rafal. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39997-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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:
10. 
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:
11. 
Cover image for Mathematical Advances Towards Sustainable Environmental Systems
Mathematical Advances Towards Sustainable Environmental Systems
Author 
Furze, James N. editor. Swing, Kelly. editor. Gupta, Anil K. editor. McClatchey, Richard H. editor. Reynolds, Darren M. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43901-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
Select an Action