Limit Search Results
Author
SpringerLink (Online service)
(20)
Dastani, Mehdi. editor.
(3)
Leite, João. editor.
(3)
El-Ghazawi, Tarek. editor.
(2)
Fallah Seghrouchni, Amal. editor.
(2)
Language
Publication Date
-
Subject
Computer science.
(8)
Artificial intelligence.
(7)
Software engineering.
(5)
Computer Communication Networks.
(4)
Computer software.
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
25 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Modeling and Tools for Network Simulation
Modeling and Tools for Network Simulation
Author 
Wehrle, Klaus. editor. Güneş, Mesut. editor. Gross, James. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12331-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Systems Biology Integrative Biology and Simulation Tools
Systems Biology Integrative Biology and Simulation Tools
Author 
Prokop, Aleš. editor. Csukás, Béla. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336324.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-6803-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for 3rd International Conference on Thermal Issues in Machine Tools (ICTIMT2023)
3rd International Conference on Thermal Issues in Machine Tools (ICTIMT2023)
Author 
Ihlenfeldt, Steffen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34486-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17502-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Simulation Tools and Techniques 11th International Conference, SIMUtools 2019, Chengdu, China, July 8–10, 2019, Proceedings
Simulation Tools and Techniques 11th International Conference, SIMUtools 2019, Chengdu, China, July 8–10, 2019, Proceedings
Author 
Song, Houbing. editor. Jiang, Dingde. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32216-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Author 
Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71734-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for New Perspectives on Applied Industrial Tools and Techniques
New Perspectives on Applied Industrial Tools and Techniques
Author 
García-Alcaraz, Jorge Luis. editor. (orcid)0000-0002-7092-6963 Alor-Hernández, Giner. editor. Maldonado-Macías, Aidé Aracely. editor. Sánchez-Ramírez, Cuauhtémoc. editor. (orcid)0000-0002-0344-1966 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56871-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Improving Disaster Resilience and Mitigation - IT Means and Tools
Improving Disaster Resilience and Mitigation - IT Means and Tools
Author 
Teodorescu, Horia-Nicolai. editor. Kirschenbaum, Alan. editor. Cojocaru, Svetlana. editor. Bruderlein, Claude. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-017-9136-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Assessment and Simulation Tools for Sustainable Energy Systems Theory and Applications
Assessment and Simulation Tools for Sustainable Energy Systems Theory and Applications
Author 
Cavallaro, Fausto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331156.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5143-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Reconfigurable Computing: Architectures, Tools and Applications 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings
Reconfigurable Computing: Architectures, Tools and Applications 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings
Author 
Choy, Oliver C. S. editor. Cheung, Ray C. C. editor. Athanas, Peter. editor. Sano, Kentaro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28365-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Earth System Modelling - Volume 5 Tools for Configuring, Building and Running Models
Earth System Modelling - Volume 5 Tools for Configuring, Building and Running Models
Author 
Ford, Rupert. author. Riley, Graham. author. Budich, Reinhard. author. Redler, René. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23932-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Human Modelling in Assisted Transportation Models, Tools and Risk Methods
Human Modelling in Assisted Transportation Models, Tools and Risk Methods
Author 
Cacciabue, P. Carlo. editor. Hjälmdahl, Magnus. editor. Luedtke, Andreas. editor. Riccioli, Costanza. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-1821-1
Format: 
Availability 
Online Library~1
Available:
Copies: