Limit Search Results
Author
SpringerLink (Online service)
(18)
Angel Piera, Miquel. author.
(1)
Anzola, David. editor.
(1)
Bartocci, Ezio. editor.
(1)
Bessiere, Christian. editor.
(1)
Language
Publication Date
-
Subject
Computer simulation.
(18)
Computer science.
(8)
Software engineering.
(7)
Artificial intelligence.
(5)
Computer Science Logic and Foundations of Programming.
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
18 Results Found Subscribe to search results
000000DEFAULT
Print
13. 
Cover image for Modelling and Simulation for Autonomous Systems Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers
Modelling and Simulation for Autonomous Systems Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers
Author 
Hodicky, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47605-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
Author 
Lamprecht, Anna-Lena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51641-7
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Tangible Interactive Systems Grasping the Real World with Computers
Tangible Interactive Systems Grasping the Real World with Computers
Author 
Boy, Guy André. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30270-6
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
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:
17. 
Cover image for Distributed Computer and Communication Networks 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers
Distributed Computer and Communication Networks 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers
Author 
Vishnevsky, Vladimir. editor. (orcid)0000-0001-7373-4847 Kozyrev, Dmitry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30843-2
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Social Dimensions of Organised Crime Modelling the Dynamics of Extortion Rackets
Social Dimensions of Organised Crime Modelling the Dynamics of Extortion Rackets
Author 
Elsenbroich, Corinna. editor. Anzola, David. editor. Gilbert, Nigel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45169-5
Format: 
Availability 
Online Library~1
Available:
Copies: