Limit Search Results
Author
SpringerLink (Online service)
(867)
Gervasi, Osvaldo. editor.
(34)
Taniar, David. editor.
(31)
Murgante, Beniamino. editor.
(22)
Apduhan, Bernady O. editor.
(18)
Language
Publication Date
-
2009
(105)
2012
(102)
2013
(102)
2010
(93)
2008
(75)
Subject
Computer simulation.
(789)
Software engineering.
(342)
Artificial intelligence.
(336)
Computer vision.
(163)
Computer Communication Networks.
(153)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
869 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Crowd Simulation
Crowd Simulation
Author 
Thalmann, Daniel. author. Musse, Soraia Raupp. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330982.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4450-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Crowd Simulation
Crowd Simulation
Author 
Thalmann, Daniel. author. Musse, Soraia Raupp. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-825-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Continuous System Simulation
Continuous System Simulation
Author 
Cellier, François E. author. Kofman, Ernesto. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-30260-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Modeling, Simulation, and Optimization
Modeling, Simulation, and Optimization
Author 
Vasant, Pandian. editor. Litvinchev, Igor. editor. Marmolejo-Saucedo, José Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70542-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Direct and Large-Eddy Simulation X
Direct and Large-Eddy Simulation X
Author 
Grigoriadis, Dimokratis G.E. editor. Geurts, Bernard J. editor. Kuerten, Hans. editor. Fröhlich, Jochen. editor. Armenio, Vincenzo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63212-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Modellbildung und Simulation Eine anwendungsorientierte Einführung
Modellbildung und Simulation Eine anwendungsorientierte Einführung
Author 
Bungartz, Hans-Joachim. author. Zimmer, Stefan. author. Buchholz, Martin. author. Pflüger, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337284.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37656-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Simulation diskreter Prozesse Methoden und Anwendungen
Simulation diskreter Prozesse Methoden und Anwendungen
Author 
Hedtstück, Ulrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337144.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34871-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Digital Urban Modeling and Simulation
Digital Urban Modeling and Simulation
Author 
Arisona, Stefan Müller. editor. Aschwanden, Gideon. editor. Halatsch, Jan. editor. Wonka, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29758-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Direct and Large-Eddy Simulation VIII
Direct and Large-Eddy Simulation VIII
Author 
Kuerten, Hans. editor. Geurts, Bernard. editor. Armenio, Vincenzo. editor. Fröhlich, Jochen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-2482-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
11. 
Cover image for Modellbildung und Simulation Eine anwendungsorientierte Einführung
Modellbildung und Simulation Eine anwendungsorientierte Einführung
Author 
Bungartz, Hans-Joachim. author. Zimmer, Stefan. author. Buchholz, Martin. author. Pflüger, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79810-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Multiscale Modeling and Simulation in Science
Multiscale Modeling and Simulation in Science
Author 
Engquist, Björn. editor. Lötstedt, Per. editor. Runborg, Olof. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88857-4
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Computational Fluid Dynamics for Sport Simulation
Computational Fluid Dynamics for Sport Simulation
Author 
Peters, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04466-3
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Fluid-Structure Interaction Modelling, Simulation, Optimisation
Fluid-Structure Interaction Modelling, Simulation, Optimisation
Author 
Bungartz, Hans-Joachim. editor. Schäfer, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-34596-5
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for New Algorithms for Macromolecular Simulation
New Algorithms for Macromolecular Simulation
Author 
Leimkuhler, Benedict. editor. Chipot, Christophe. editor. Elber, Ron. editor. Laaksonen, Aatto. editor. Mark, Alan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-31618-3
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Distributed Simulation A Model Driven Engineering Approach
Distributed Simulation A Model Driven Engineering Approach
Author 
Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-03050-0
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Modelling and Simulation Exploring Dynamic System Behaviour
Modelling and Simulation Exploring Dynamic System Behaviour
Author 
Birta, Louis G. author. Arbez, Gilbert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330882.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2783-3
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Automatic Algorithm Selection for Complex Simulation Problems
Automatic Algorithm Selection for Complex Simulation Problems
Author 
Ewald, Roland. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-8151-9
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Fluid Structure Interaction II Modelling, Simulation, Optimization
Fluid Structure Interaction II Modelling, Simulation, Optimization
Author 
Bungartz, Hans-Joachim. editor. Mehl, Miriam. editor. Schäfer, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14206-2
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Smart Driver Training Simulation Save Money. Prevent.
Smart Driver Training Simulation Save Money. Prevent.
Author 
Käppler, Wolf Dieter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77070-1
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Mathematical Modeling, Simulation, Visualization and e-Learning
Mathematical Modeling, Simulation, Visualization and e-Learning
Author 
Konaté, Dialla. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74339-2
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Advancing Social Simulation: The First World Congress
Advancing Social Simulation: The First World Congress
Author 
Takahashi, Shingo. editor. Sallach, David. editor. Rouchier, Juliette. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-4-431-73167-2
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Modelling and Simulation Exploring Dynamic System Behaviour
Modelling and Simulation Exploring Dynamic System Behaviour
Author 
Birta, Louis G. author. Arbez, Gilbert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-622-3
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
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:
25. 
Cover image for Guide to Modeling and Simulation of Systems of Systems
Guide to Modeling and Simulation of Systems of Systems
Author 
Zeigler, Bernard P. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330586.1)
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-865-2
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Grid, Cloud, and Cluster Computing; Quantum Technologies; and Modeling, Simulation and Visualization Methods 20th International Conference, GCC 2024, Third International Conference, ICEQT 2024, and 21st International Conference, MSV 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers
Grid, Cloud, and Cluster Computing; Quantum Technologies; and Modeling, Simulation and Visualization Methods 20th International Conference, GCC 2024, Third International Conference, ICEQT 2024, and 21st International Conference, MSV 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers
Author 
Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Takata, Masami. editor. (orcid)0000-0003-3475-7565 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Rivas, Pablo. editor. (orcid)0000-0002-8690-0987 Ohue, Masahito. editor. (orcid)0000-0002-0120-1643
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85884-0
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings
From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings
Author 
Manoonpong, Poramate. editor. (orcid)0000-0002-4806-7576 Larsen, Jørgen Christian. editor. (orcid)0000-0002-4741-8290 Xiong, Xiaofeng. editor. Hallam, John. editor. Triesch, Jochen. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97628-0
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Simulation Science First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers
Simulation Science First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers
Author 
Baum, Marcus. editor. Brenner, Gunther. editor. Grabowski, Jens. editor. Hanschke, Thomas. editor. Hartmann, Stefan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96271-9
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Numerical Simulation of the Aerodynamics of High-Lift Configurations
Numerical Simulation of the Aerodynamics of High-Lift Configurations
Author 
López Mejia, Omar Darío. editor. (orcid)0000-0001-6795-9396 Escobar Gomez, Jaime A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62136-4
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Intersections in Simulation and Gaming 21st Annual Simulation Technology and Training Conference, SimTecT 2016, and 47th International Simulation and Gaming Association Conference, ISAGA 2016, Held as Part of the First Australasian Simulation Congress, ASC 2016, Melbourne, VIC, Australia, September 26-29, 2016, Revised Selected Papers
Intersections in Simulation and Gaming 21st Annual Simulation Technology and Training Conference, SimTecT 2016, and 47th International Simulation and Gaming Association Conference, ISAGA 2016, Held as Part of the First Australasian Simulation Congress, ASC 2016, Melbourne, VIC, Australia, September 26-29, 2016, Revised Selected Papers
Author 
Naweed, Anjum. editor. (orcid)0000-0002-5534-4295 Wardaszko, Marcin. editor. (orcid)0000-0001-5411-7894 Leigh, Elyssebeth. editor. (orcid)0000-0001-6887-1388 Meijer, Sebastiaan. editor. (orcid)0000-0003-1126-3781 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78795-4
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers
Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers
Author 
Dimuro, Graçaliz Pereira. editor. (orcid)0000-0001-6986-9888 Antunes, Luis. editor. (orcid)0000-0002-8237-6524 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91587-6
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Advances in Human Factors in Simulation and Modeling Proceedings of the AHFE 2017 International Conference on Human Factors in Simulation and Modeling, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA
Advances in Human Factors in Simulation and Modeling Proceedings of the AHFE 2017 International Conference on Human Factors in Simulation and Modeling, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA
Author 
Cassenti, Daniel N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60591-3
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for FluSHELL – A Tool for Thermal Modelling and Simulation of Windings for Large Shell-Type Power Transformers
FluSHELL – A Tool for Thermal Modelling and Simulation of Windings for Large Shell-Type Power Transformers
Author 
Campelo, Hugo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72703-5
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors
Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors
Author 
Melikyan, Vazgen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71637-4
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I
Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I
Author 
Chen, Jessie Y.C. editor. Fragomeni, Gino. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91581-4
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers
Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers
Author 
Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-76072-8
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Simulation-Based Usability Evaluation of Spoken and Multimodal Dialogue Systems
Simulation-Based Usability Evaluation of Spoken and Multimodal Dialogue Systems
Author 
Hillmann, Stefan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62518-8
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
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:
39. 
Cover image for From Animals to Animats 14 14th International Conference on Simulation of Adaptive Behavior, SAB 2016, Aberystwyth, UK, August 23-26, 2016, Proceedings
From Animals to Animats 14 14th International Conference on Simulation of Adaptive Behavior, SAB 2016, Aberystwyth, UK, August 23-26, 2016, Proceedings
Author 
Tuci, Elio. editor. Giagkos, Alexandros. editor. Wilson, Myra. editor. Hallam, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43488-9
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
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:
41. 
Cover image for Multi-Agent Based Simulation XVI International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers
Multi-Agent Based Simulation XVI International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers
Author 
Gaudou, Benoit. editor. Sichman, Jaime Simao. editor. (orcid)0000-0001-8924-9643 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31447-1
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Software and System Development using Virtual Platforms Full-System Simulation with Wind River Simics.
Software and System Development using Virtual Platforms Full-System Simulation with Wind River Simics.
Author 
Aarno, Daniel. Engblom, Jakob.
Preferred Shelf Number 
ONLINE(355554.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128007259
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Guide to Modeling and Simulation of Systems of Systems User’s Reference
Guide to Modeling and Simulation of Systems of Systems User’s Reference
Author 
Zeigler, Bernard P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331013.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4570-7
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for The Monte Carlo Simulation Method for System Reliability and Risk Analysis
The Monte Carlo Simulation Method for System Reliability and Risk Analysis
Author 
Zio, Enrico. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331017.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4588-2
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Web Proxy Cache Replacement Strategies Simulation, Implementation, and Performance Evaluation
Web Proxy Cache Replacement Strategies Simulation, Implementation, and Performance Evaluation
Author 
ElAarag, Hala. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331089.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4893-7
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Annual Dynamics of Daylight Variability and Contrast A Simulation-Based Approach to Quantifying Visual Effects in Architecture
Annual Dynamics of Daylight Variability and Contrast A Simulation-Based Approach to Quantifying Visual Effects in Architecture
Author 
Rockcastle, Siobhan. author. Andersen, Marilyne. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331178.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5233-0
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Sustained Simulation Performance 2013 Proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2013
Sustained Simulation Performance 2013 Proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2013
Author 
Resch, Michael M. editor. Bez, Wolfgang. editor. Focht, Erich. editor. Kobayashi, Hiroaki. editor. Kovalenko, Yevgeniya. editor.
Preferred Shelf Number 
ONLINE(332866.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01439-5
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Modeling and Simulation in Engineering, Economics, and Management International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedings
Modeling and Simulation in Engineering, Economics, and Management International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedings
Author 
Fernández-Izquierdo, María Ángeles. editor. Muñoz-Torres, María Jesús. editor. León, Raúl. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334573.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38279-6
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Process Simulation and Parametric Modeling for Strategic Project Management
Process Simulation and Parametric Modeling for Strategic Project Management
Author 
Morales, Peter J. author. Anderson, Dennis. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332177.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6989-6
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Modeling, Simulation and Visual Analysis of Crowds A Multidisciplinary Perspective
Modeling, Simulation and Visual Analysis of Crowds A Multidisciplinary Perspective
Author 
Ali, Saad. editor. Nishino, Ko. editor. Manocha, Dinesh. editor. Shah, Mubarak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332421.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-8483-7
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Sustained Simulation Performance 2012 Proceedings of the joint Workshop on High Performance Computing on Vector Systems, Stuttgart (HLRS), and Workshop on Sustained Simulation Performance, Tohoku University, 2012
Sustained Simulation Performance 2012 Proceedings of the joint Workshop on High Performance Computing on Vector Systems, Stuttgart (HLRS), and Workshop on Sustained Simulation Performance, Tohoku University, 2012
Author 
Resch, Michael M. editor. Wang, Xin. editor. Bez, Wolfgang. editor. Focht, Erich. editor. Kobayashi, Hiroaki. editor.
Preferred Shelf Number 
ONLINE(333577.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32454-3
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Multi-Agent-Based Simulation XIII International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers
Multi-Agent-Based Simulation XIII International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers
Author 
Giardini, Francesca. editor. Amblard, Frédéric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334684.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38859-0
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for AsiaSim 2013 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings
AsiaSim 2013 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings
Author 
Tan, Gary. editor. Yeo, Gee Kin. editor. Turner, Stephen John. editor. Teo, Yong Meng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335181.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45037-2
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
Author 
Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334136.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36157-9
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for From Animals to Animats 12 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012. Proceedings
From Animals to Animats 12 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012. Proceedings
Author 
Ziemke, Tom. editor. Balkenius, Christian. editor. Hallam, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33093-3
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Modeling, Simulation and Optimization of Complex Processes Proceedings of the Fourth International Conference on High Performance Scientific Computing, March 2-6, 2009, Hanoi, Vietnam
Modeling, Simulation and Optimization of Complex Processes Proceedings of the Fourth International Conference on High Performance Scientific Computing, March 2-6, 2009, Hanoi, Vietnam
Author 
Bock, Hans Georg. editor. Hoang, Xuan Phu. editor. Rannacher, Rolf. editor. Schlöder, Johannes P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25707-0
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Modeling and Simulation in Engineering, Economics and Management International Conference, MS 2012, New Rochelle, NY, USA, May 30 - June 1, 2012. Proceedings
Modeling and Simulation in Engineering, Economics and Management International Conference, MS 2012, New Rochelle, NY, USA, May 30 - June 1, 2012. Proceedings
Author 
Engemann, Kurt J. editor. Gil-Lafuente, Anna M. editor. Merigó, José M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30433-0
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings
Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings
Author 
Noda, Itsuki. editor. Ando, Noriaki. editor. Brugali, Davide. editor. Kuffner, James J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34327-8
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part III
AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part III
Author 
Xiao, Tianyuan. editor. Zhang, Lin. editor. Fei, Minrui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34387-2
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings
Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings
Author 
Kim, Jong-Hyun. editor. Lee, Kangsun. editor. Tanaka, Satoshi. editor. Park, Soo-Hyun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-4-431-54216-2
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Multi-Agent-Based Simulation XII International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers
Multi-Agent-Based Simulation XII International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers
Author 
Villatoro, Daniel. editor. Sabater-Mir, Jordi. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28400-7
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I
System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I
Author 
Xiao, Tianyuan. editor. Zhang, Lin. editor. Ma, Shiwei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34381-0
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I
AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I
Author 
Xiao, Tianyuan. editor. Zhang, Lin. editor. Fei, Minrui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34384-1
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II
AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II
Author 
Xiao, Tianyuan. editor. Zhang, Lin. editor. Fei, Minrui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34390-2
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II
System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II
Author 
Xiao, Tianyuan. editor. Zhang, Lin. editor. Ma, Shiwei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34396-4
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
Author 
Kim, Tai-hoon. editor. Ramos, Carlos. editor. Abawajy, Jemal. editor. Kang, Byeong-Ho. editor. Ślęzak, Dominik. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35248-5
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Agent Based Simulation for a Sustainable Society and Multi-agent Smart Computing International Workshops, PRIMA 2011, Wollongong, Australia, November 14, 2011 Revised Selected Papers
Agent Based Simulation for a Sustainable Society and Multi-agent Smart Computing International Workshops, PRIMA 2011, Wollongong, Australia, November 14, 2011 Revised Selected Papers
Author 
Cranefield, Stephen. editor. Song, Insu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35612-4
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers
Author 
Leuken, René. editor. Sicard, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17752-1
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Multi-Agent-Based Simulation XI International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers
Multi-Agent-Based Simulation XI International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers
Author 
Bosse, Tibor. editor. Geller, Armando. editor. Jonker, Catholijn M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18345-4
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part I
Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part I
Author 
Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21783-8
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part II
Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part II
Author 
Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21802-6
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings
Author 
Ayala, José L. editor. García-Cámara, Braulio. editor. Prieto, Manuel. editor. Ruggiero, Martino. editor. Sicard, Gilles. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24154-3
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Die Simulation menschlichen Panikverhaltens Ein Agenten-basierter Ansatz
Die Simulation menschlichen Panikverhaltens Ein Agenten-basierter Ansatz
Author 
Schneider, Bernhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-8152-6
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Simulation und Optimierung in Produktion und Logistik Praxisorientierter Leitfaden mit Fallbeispielen
Simulation und Optimierung in Produktion und Logistik Praxisorientierter Leitfaden mit Fallbeispielen
Author 
März, Lothar. editor. Krug, Wilfried. editor. Rose, Oliver. editor. Weigert, Gerald. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14536-0
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Introduction to Computational Cardiology Mathematical Modeling and Computer Simulation
Introduction to Computational Cardiology Mathematical Modeling and Computer Simulation
Author 
Kogan, Boris Ja. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-76686-7
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part II
Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part II
Author 
Li, Kang. editor. Fei, Minrui. editor. Jia, Li. editor. Irwin, George W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15597-0
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part III
Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part III
Author 
Li, Kang. editor. Jia, Li. editor. Sun, Xin. editor. Fei, Minrui. editor. Irwin, George W. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15615-1
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, Deptember 17-20, 2010, Proceedings, Part I
Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, Deptember 17-20, 2010, Proceedings, Part I
Author 
Li, Kang. editor. Fei, Minrui. editor. Jia, Li. editor. Irwin, George W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15621-2
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings
Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings
Author 
Ando, Noriaki. editor. Balakirsky, Stephen. editor. Hemker, Thomas. editor. Reggiani, Monica. editor. Stryk, Oskar. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17319-6
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Materials with Complex Behaviour Modelling, Simulation, Testing, and Applications
Materials with Complex Behaviour Modelling, Simulation, Testing, and Applications
Author 
Öchsner, Andreas. editor. Silva, Lucas Filipe Martins. editor. Altenbach, Holm. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12667-3
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for From Animals to Animats 11 11th International Conference on Simulation of Adaptive Behavior, SAB 2010, Paris - Clos Lucé, France, August 25-28, 2010. Proceedings
From Animals to Animats 11 11th International Conference on Simulation of Adaptive Behavior, SAB 2010, Paris - Clos Lucé, France, August 25-28, 2010. Proceedings
Author 
Doncieux, Stéphane. editor. Girard, Benoît. editor. Guillot, Agnès. editor. Hallam, John. editor. Meyer, Jean-Arcady. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15193-4
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Statistical Atlases and Computational Models of the Heart First International Workshop, STACOM 2010, and Cardiac Electrophysiological Simulation Challenge, CESC 2010, Held in Conjunction with MICCAI 2010, Beijing, China, September 20, 2010. Proceedings
Statistical Atlases and Computational Models of the Heart First International Workshop, STACOM 2010, and Cardiac Electrophysiological Simulation Challenge, CESC 2010, Held in Conjunction with MICCAI 2010, Beijing, China, September 20, 2010. Proceedings
Author 
Camara, Oscar. editor. Pop, Mihaela. editor. Rhode, Kawal. editor. Sermesant, Maxime. editor. Smith, Nic. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15835-3
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part I
Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part I
Author 
Li, Kang. editor. Li, Xin. editor. Ma, Shiwei. editor. Irwin, George W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15853-7
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part II
Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part II
Author 
Li, Kang. editor. Li, Xin. editor. Ma, Shiwei. editor. Irwin, George W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15859-9
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Applied and Numerical Partial Differential Equations Scientific Computing in Simulation, Optimization and Control in a Multidisciplinary Context
Applied and Numerical Partial Differential Equations Scientific Computing in Simulation, Optimization and Control in a Multidisciplinary Context
Author 
Fitzgibbon, W. editor. Kuznetsov, Y.A. editor. Neittaanmäki, Pekka. editor. Périaux, Jacques. editor. Pironneau, Olivier. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-3239-3
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Biomedical Simulation 5th International Symposium, ISBMS 2010, Phoenix, AZ, USA, January 23-24, 2010. Proceedings
Biomedical Simulation 5th International Symposium, ISBMS 2010, Phoenix, AZ, USA, January 23-24, 2010. Proceedings
Author 
Bello, Fernando. editor. Cotin, Stéphane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11615-5
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers
Author 
Monteiro, José. editor. Leuken, René. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11802-9
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Multi-Agent-Based Simulation X International Workshop, MABS 2009, Budapest, Hungary, May 11-12, 2009 Revised Selected Papers
Multi-Agent-Based Simulation X International Workshop, MABS 2009, Budapest, Hungary, May 11-12, 2009 Revised Selected Papers
Author 
Tosto, Gennaro. editor. Dyke Parunak, H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13553-8
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Design and Simulation of Spectrum Management Methods for Wireless Local Area Networks
Design and Simulation of Spectrum Management Methods for Wireless Local Area Networks
Author 
Könsgen, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9738-1
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Enaction, Embodiment, Evolutionary Robotics Simulation Models for a Post-Cognitivist Science of Mind
Enaction, Embodiment, Evolutionary Robotics Simulation Models for a Post-Cognitivist Science of Mind
Author 
Rohde, Marieke. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.2991/978-94-91216-34-3
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009. Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009. Proceedings
Author 
Bertels, Koen. editor. Dimopoulos, Nikitas. editor. Silvano, Cristina. editor. Wong, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03138-0
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Gesture-Based Human-Computer Interaction and Simulation 7th International Gesture Workshop, GW 2007, Lisbon, Portugal, May 23-25, 2007, Revised Selected Papers
Gesture-Based Human-Computer Interaction and Simulation 7th International Gesture Workshop, GW 2007, Lisbon, Portugal, May 23-25, 2007, Revised Selected Papers
Author 
Sales Dias, Miguel. editor. Gibet, Sylvie. editor. Wanderley, Marcelo M. editor. Bastos, Rafael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92865-2
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers
Author 
Svensson, Lars. editor. Monteiro, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-95948-9
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Epistemological Aspects of Computer Simulation in the Social Sciences Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised Selected and Invited Papers
Epistemological Aspects of Computer Simulation in the Social Sciences Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised Selected and Invited Papers
Author 
Squazzoni, Flaminio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01109-2
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Object Oriented Simulation A Modeling and Programming Perspective
Object Oriented Simulation A Modeling and Programming Perspective
Author 
Garrido, José M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0516-1
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Multi-Agent-Based Simulation IX International Workshop, MABS 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers
Multi-Agent-Based Simulation IX International Workshop, MABS 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers
Author 
David, Nuno. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01991-3
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Algorithmics of Large and Complex Networks Design, Analysis, and Simulation
Algorithmics of Large and Complex Networks Design, Analysis, and Simulation
Author 
Lerner, Jürgen. editor. Wagner, Dorothea. editor. Zweig, Katharina A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02094-0
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Formale Modelle der Softwareentwicklung Model-Checking, Verifikation, Analyse und Simulation
Formale Modelle der Softwareentwicklung Model-Checking, Verifikation, Analyse und Simulation
Author 
Kleuker, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9595-0
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Verifikation und Validierung für die Simulation in Produktion und Logistik Vorgehensmodelle und Techniken
Verifikation und Validierung für die Simulation in Produktion und Logistik Vorgehensmodelle und Techniken
Author 
Rabe, Markus. author. Spiekermann, Sven. author. Wenzel, Sigrid. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-35282-2
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for From Animals to Animats 10 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings
From Animals to Animats 10 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings
Author 
Asada, Minoru. editor. Hallam, John C. T. editor. Meyer, Jean-Arcady. editor. Tani, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69134-1
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Modeling, Simulation and Optimization of Complex Processes Proceedings of the Third International Conference on High Performance Scientific Computing, March 6–10, 2006, Hanoi, Vietnam
Modeling, Simulation and Optimization of Complex Processes Proceedings of the Third International Conference on High Performance Scientific Computing, March 6–10, 2006, Hanoi, Vietnam
Author 
Bock, Hans Georg. editor. Kostina, Ekaterina. editor. Phu, Hoang Xuan. editor. Rannacher, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79409-7
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Simulation, Modeling, and Programming for Autonomous Robots First International Conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008. Proceedings
Simulation, Modeling, and Programming for Autonomous Robots First International Conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008. Proceedings
Author 
Carpin, Stefano. editor. Noda, Itsuki. editor. Pagello, Enrico. editor. Reggiani, Monica. editor. Stryk, Oskar. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89076-8
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Contributions to Simulation Speed-Up Rare Event Simulation and Short-Term Dynamic Simulation for Mobile Network Planning
Contributions to Simulation Speed-Up Rare Event Simulation and Short-Term Dynamic Simulation for Mobile Network Planning
Author 
Lamers, Eugen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9513-4
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Biomedical Simulation 4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008 Proceedings
Biomedical Simulation 4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008 Proceedings
Author 
Bello, Fernando. editor. Edwards, P. J. Eddie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70521-5
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings
Author 
Bereković, Mladen. editor. Dimopoulos, Nikitas. editor. Wong, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70550-5
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Multi-Agent-Based Simulation VIII International Workshop, MABS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers
Multi-Agent-Based Simulation VIII International Workshop, MABS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers
Author 
Antunes, Luis. editor. Paolucci, Mario. editor. Norling, Emma. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70916-9
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Numerical Simulation in Molecular Dynamics Numerics, Algorithms, Parallelization, Applications
Numerical Simulation in Molecular Dynamics Numerics, Algorithms, Parallelization, Applications
Author 
Griebel, Michael. author. Zumbusch, Gerhard. author. Knapek, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68095-6
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Bio-Inspired Computational Intelligence and Applications International Conference on Life System Modeling and Simulation, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedings
Bio-Inspired Computational Intelligence and Applications International Conference on Life System Modeling and Simulation, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedings
Author 
Li, Kang. editor. Fei, Minrui. editor. Irwin, George William. editor. Ma, Shiwei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74769-7
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Life System Modeling and Simulation International Conference, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedings
Life System Modeling and Simulation International Conference, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedings
Author 
Li, Kang. editor. Li, Xin. editor. Irwin, George William. editor. He, Gusen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74771-0
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Multi-Agent-Based Simulation VII International Workshop, MABS 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers
Multi-Agent-Based Simulation VII International Workshop, MABS 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers
Author 
Antunes, Luis. editor. Takadama, Keiki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76539-4
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings
Author 
Vassiliadis, Stamatis. editor. Bereković, Mladen. editor. Hämäläinen, Timo D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73625-7
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings
Author 
Azémard, Nadine. editor. Svensson, Lars. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74442-9
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for AsiaSim 2007 Asia Simulation Conference 2007, Seoul, Korea, October 10-12, 2007. Proceedings
AsiaSim 2007 Asia Simulation Conference 2007, Seoul, Korea, October 10-12, 2007. Proceedings
Author 
Park, Jin-Woo. editor. Kim, Tag- Gon. editor. Kim, Yun-Bae. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77600-0
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Systems Modeling and Simulation Theory and Applications, Asia Simulation Conference 2006
Systems Modeling and Simulation Theory and Applications, Asia Simulation Conference 2006
Author 
Koyamada, Koji. editor. Tamura, Shinsuke. editor. Ono, Osamu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-4-431-49022-7
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Recent Advances in Modeling and Simulation Tools for Communication Networks and Services
Recent Advances in Modeling and Simulation Tools for Communication Networks and Services
Author 
Ince, A. Nejat. editor. Bragg, Arnold. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-73908-3
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Reactive Flows, Diffusion and Transport From Experiments via Mathematical Modeling to Numerical Simulation and Optimization Final Report of SFB (Collaborative Research Center) 359
Reactive Flows, Diffusion and Transport From Experiments via Mathematical Modeling to Numerical Simulation and Optimization Final Report of SFB (Collaborative Research Center) 359
Author 
Jäger, Willi. editor. Rannacher, Rolf. editor. Warnatz, Jürgen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-28396-6
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Geometric Modelling, Numerical Simulation, and Optimization Applied Mathematics at SINTEF
Geometric Modelling, Numerical Simulation, and Optimization Applied Mathematics at SINTEF
Author 
Hasle, Geir. editor. Lie, Knut-Andreas. editor. Quak, Ewald. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68783-2
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Modeling and Simulation Tools for Emerging Telecommunication Networks Needs, Trends, Challenges and Solutions
Modeling and Simulation Tools for Emerging Telecommunication Networks Needs, Trends, Challenges and Solutions
Author 
Nejat Ince, A. editor. Topuz, Ercan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-34167-6
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Gesture in Human-Computer Interaction and Simulation 6th International Gesture Workshop, GW 2005, Berder Island, France, May 18-20, 2005, Revised Selected Papers
Gesture in Human-Computer Interaction and Simulation 6th International Gesture Workshop, GW 2005, Berder Island, France, May 18-20, 2005, Revised Selected Papers
Author 
Gibet, Sylvie. editor. Courty, Nicolas. editor. Kamp, Jean-François. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11678816
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Multi-Agent-Based Simulation VI International Workshop, MABS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers
Multi-Agent-Based Simulation VI International Workshop, MABS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers
Author 
Sichman, Jaime S. editor. Antunes, Luis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11734680
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Biomedical Simulation Third International Symposium, ISBMS 2006, Zurich, Switzerland, July 10-11, 2006. Proceedings
Biomedical Simulation Third International Symposium, ISBMS 2006, Zurich, Switzerland, July 10-11, 2006. Proceedings
Author 
Harders, Matthias. editor. Székely, Gábor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11790273
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Software Process Change International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006. Proceedings
Software Process Change International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006. Proceedings
Author 
Wang, Qing. editor. Pfahl, Dietmar. editor. Raffo, David M. editor. Wernick, Paul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11754305
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings
Author 
Vassiliadis, Stamatis. editor. Wong, Stephan. editor. Hämäläinen, Timo D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11796435
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for From Animals to Animats 9 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006. Proceedings
From Animals to Animats 9 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006. Proceedings
Author 
Nolfi, Stefano. editor. Baldassarre, Gianluca. editor. Calabretta, Raffaele. editor. Hallam, John C. T. editor. Marocco, Davide. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11840541
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings
Author 
Vounckx, Johan. editor. Azemard, Nadine. editor. Maurine, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11847083
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Complex Artificial Environments Simulation, Cognition and VR in the Study and Planning of Cities
Complex Artificial Environments Simulation, Cognition and VR in the Study and Planning of Cities
Author 
Portugali, Juval. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29710-3
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Mathematics of Large Eddy Simulation of Turbulent Flows
Mathematics of Large Eddy Simulation of Turbulent Flows
Author 
Berselli, Luigi C. author. Iliescu, Traian. author. Layton, William J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137408
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Large Eddy Simulation for Incompressible Flows An Introduction
Large Eddy Simulation for Incompressible Flows An Introduction
Author 
Sagaut, Pierre. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137536
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Multi-Agent and Multi-Agent-Based Simulation Joint Workshop MABS 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
Multi-Agent and Multi-Agent-Based Simulation Joint Workshop MABS 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
Author 
Davidsson, Paul. editor. Logan, Brian. editor. Takadama, Keiki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106991
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Agent-Based Simulation: From Modeling Methodologies to Real-World Applications Post-Proceedings of the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems 2004
Agent-Based Simulation: From Modeling Methodologies to Real-World Applications Post-Proceedings of the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems 2004
Author 
Terano, Takao. editor. Kita, Hajime. editor. Kaneda, Toshiyuki. editor. Arai, Kiyoshi. editor. Deguchi, Hiroshi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138317
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings
Author 
Paliouras, Vassilis. editor. Vounckx, Johan. editor. Verkest, Diederik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11556930
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Modeling, Simulation and Optimization of Complex Processes Proceedings of the International Conference on High Performance Scientific Computing, March 10–14, 2003, Hanoi, Vietnam
Modeling, Simulation and Optimization of Complex Processes Proceedings of the International Conference on High Performance Scientific Computing, March 10–14, 2003, Hanoi, Vietnam
Author 
Bock, Hans Georg. editor. Phu, Hoang Xuan. editor. Kostina, Ekaterina. editor. Rannacher, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138710
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Artificial Intelligence and Simulation 13th International Conference on AI, Simulation, Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers
Artificial Intelligence and Simulation 13th International Conference on AI, Simulation, Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers
Author 
Kim, Tag Gon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105609
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers
Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers
Author 
Baik, Doo-Kwon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105611
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005. Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005. Proceedings
Author 
Hämäläinen, Timo D. editor. Pimentel, Andy D. editor. Takala, Jarmo. editor. Vassiliadis, Stamatis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138322
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Principles of object-oriented modeling and simulation with Modelica 2.1
Principles of object-oriented modeling and simulation with Modelica 2.1
Author 
Fritzson, Peter A., 1952-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5264314
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Guide to Dynamic Simulations of Rigid Bodies and Particle Systems
Guide to Dynamic Simulations of Rigid Bodies and Particle Systems
Author 
Coutinho, Murilo G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330975.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4417-5
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Dynamics On and Of Complex Networks Applications to Biology, Computer Science, and the Social Sciences
Dynamics On and Of Complex Networks Applications to Biology, Computer Science, and the Social Sciences
Author 
Ganguly, Niloy. editor. Deutsch, Andreas. editor. Mukherjee, Animesh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4751-3
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Generalized Collocation Methods Solutions to Nonlinear Problems
Generalized Collocation Methods Solutions to Nonlinear Problems
Author 
Bellomo, Nicola. editor. Lods, Bertrand. editor. Revelli, Roberto. editor. Ridolfi, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4610-3
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part I
Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part I
Author 
Hussain, Amir. editor. Jiang, Bo. editor. Ren, Jinchang. editor. Mahmud, Mufti. editor. Yang, Erfu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-2882-7
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
Author 
Dutle, Aaron. editor. (orcid)0000-0002-8503-5514 Humphrey, Laura. editor. (orcid)0000-0002-3148-9035 Titolo, Laura. editor. (orcid)0000-0001-7820-7640 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93706-4
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for PRIMA 2024: Principles and Practice of Multi-Agent Systems 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings
PRIMA 2024: Principles and Practice of Multi-Agent Systems 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings
Author 
Arisaka, Ryuta. editor. (orcid)0000-0003-3203-1517 Sanchez-Anguix, Victor. editor. (orcid)0000-0003-4851-0037 Stein, Sebastian. editor. (orcid)0000-0003-2858-8857 Aydoğan, Reyhan. editor. (orcid)0000-0002-5260-9999 van der Torre, Leon. editor. (orcid)0000-0003-4330-3717
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77367-9
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Scientific Computing and Bioinformatics and Computational Biology 22nd International Conference, CSC 2024, and 25th International Conference, BIOCOMP 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers
Scientific Computing and Bioinformatics and Computational Biology 22nd International Conference, CSC 2024, and 25th International Conference, BIOCOMP 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers
Author 
Hodson, Douglas D. editor. Grimaila, Michael R. editor. (orcid)0000-0002-8355-7992 Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Wagner, Torrey J. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85902-1
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I
Author 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97554-7
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II
Author 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97557-8
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III
Author 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97564-6
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Applied Antifragility in Natural Systems From Principles to Applications
Applied Antifragility in Natural Systems From Principles to Applications
Author 
Axenie, Cristian. author. (orcid)0000-0001-6184-0546 Bauer, Roman. author. (orcid)0000-0002-7268-9359 López Corona, Oliver. author. West, Jeffrey. author. (orcid)0000-0001-9579-4664 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90391-5
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI
Author 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97573-8
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV
Author 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97567-7
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V
Author 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97570-7
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90643-5
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90660-2
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90653-4
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Electromagnetic Sources and Electromagnetic Fields
Electromagnetic Sources and Electromagnetic Fields
Author 
Xiao, Gaobiao. author. (orcid)0000-0001-5547-9475 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-9449-6
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
Author 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57246-3
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Author 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57249-4
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III
Author 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57256-2
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings
Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings
Author 
Ren, Jinchang. editor. Hussain, Amir. editor. (orcid)0000-0002-8080-082X Liao, Iman Yi. editor. Chen, Rongjun. editor. Huang, Kaizhu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-1417-9
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I
Author 
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63749-0
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III
Author 
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63759-9
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII
Author 
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63783-4
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI
Author 
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63778-0
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Structural Decision Diagrams in Digital Test Theory and Applications
Structural Decision Diagrams in Digital Test Theory and Applications
Author 
Ubar, Raimund. author. Raik, Jaan. author. Jenihhin, Maksim. author. Jutman, Artur. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44734-1
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings
NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings
Author 
Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929 Gopinath, Divya. editor. (orcid)0000-0002-1242-7701 Shi, Nija. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-60698-4
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization
Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization
Author 
Blum, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-60103-3
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II
Author 
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63751-3
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV
Author 
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63772-8
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V
Author 
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63775-9
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for New Global Perspectives on Industrial Engineering and Management International Joint Conference ICIEOM-ADINGOR-IISE-AIM-ASEM
New Global Perspectives on Industrial Engineering and Management International Joint Conference ICIEOM-ADINGOR-IISE-AIM-ASEM
Author 
Mula, Josefa. editor. Barbastefano, Rafael. editor. Díaz-Madroñero, Manuel. editor. Poler, Raúl. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93488-4
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Author 
Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01090-4
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Computer Simulations of Space Societies
Computer Simulations of Space Societies
Author 
Bainbridge, William Sims. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90560-0
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage
Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage
Author 
Gonzalez-Perez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72652-6
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Author 
Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95582-7
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
Author 
Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00151-3
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for VipIMAGE 2017 Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017
VipIMAGE 2017 Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017
Author 
Tavares, João Manuel R.S. editor. Natal Jorge, R.M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68195-5
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
Author 
Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77935-5
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
Author 
Furia, Carlo A. editor. Winter, Kirsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98938-9
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Author 
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96145-3
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
Author 
McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99154-2
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Author 
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96142-2
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
Author 
de Boer, Frank. editor. Bonsangue, Marcello. editor. Rutten, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90089-6
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Computational Methods and Models for Transport New Challenges for the Greening of Transport Systems
Computational Methods and Models for Transport New Challenges for the Greening of Transport Systems
Author 
Diez, Pedro. editor. Neittaanmäki, Pekka. editor. Periaux, Jacques. editor. Tuovinen, Tero. editor. Bräysy, Olli. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54490-8
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Probability and Statistics for Computer Science
Probability and Statistics for Computer Science
Author 
Forsyth, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64410-3
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Honeypot Frameworks and Their Applications: A New Framework
Honeypot Frameworks and Their Applications: A New Framework
Author 
NG, Chee Keong. author. Pan, Lei. author. Xiang, Yang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7739-5
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Applied Scientific Computing With Python
Applied Scientific Computing With Python
Author 
Turner, Peter R. author. Arildsen, Thomas. author. (orcid)0000-0003-3254-3790 Kavanagh, Kathleen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89575-8
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings
Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings
Author 
Bajo, Javier. editor. Corchado, Juan M. editor. Navarro Martínez, Elena María. editor. Osaba Icedo, Eneko. editor. Mathieu, Philippe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94779-2
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Author 
Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00244-2
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Handbook of Dynamic Data Driven Applications Systems
Handbook of Dynamic Data Driven Applications Systems
Author 
Blasch, Erik. editor. Ravela, Sai. editor. Aved, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95504-9
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
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:
190. 
Cover image for Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Author 
Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94111-0
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Automatic Tuning of Compilers Using Machine Learning
Automatic Tuning of Compilers Using Machine Learning
Author 
Ashouri, Amir H. author. Palermo, Gianluca. author. Cavazos, John. author. Silvano, Cristina. author. (orcid)0000-0003-1668-0883 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71489-9
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Neural Networks for Cooperative Control of Multiple Robot Arms
Neural Networks for Cooperative Control of Multiple Robot Arms
Author 
Li, Shuai. author. Zhang, Yinyan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7037-2
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
Author 
Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66583-2
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings
Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings
Author 
Shi, Yuhui. editor. Tan, Kay Chen. editor. Zhang, Mengjie. editor. (orcid)0000-0003-4463-9538 Tang, Ke. editor. Li, Xiaodong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68759-9
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Intelligent Computing Theories and Application 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part II
Intelligent Computing Theories and Application 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part II
Author 
Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. (orcid)0000-0001-8317-6092 Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63312-1
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
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:
197. 
Cover image for Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers
Author 
James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72044-9
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Author 
Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63387-9
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
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:
200. 
Cover image for Algorithmic Game Theory 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017, Proceedings
Algorithmic Game Theory 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017, Proceedings
Author 
Bilò, Vittorio. editor. Flammini, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66700-3
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Author 
Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53946-1
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Human Mental Workload: Models and Applications First International Symposium, H-WORKLOAD 2017, Dublin, Ireland, June 28-30, 2017, Revised Selected Papers
Human Mental Workload: Models and Applications First International Symposium, H-WORKLOAD 2017, Dublin, Ireland, June 28-30, 2017, Revised Selected Papers
Author 
Longo, Luca. editor. Leva, M. Chiara. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61061-0
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Tutorials on the Foundations of Cryptography Dedicated to Oded Goldreich
Tutorials on the Foundations of Cryptography Dedicated to Oded Goldreich
Author 
Lindell, Yehuda. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57048-8
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Author 
Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63121-9
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
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:
206. 
Cover image for Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Author 
Berger, Christian. editor. Mousavi, Mohammad Reza. editor. Wisniewski, Rafael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51738-4
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
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:
208. 
Cover image for Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers
Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers
Author 
Rossi, Federico. editor. Piotto, Stefano. editor. Concilio, Simona. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57711-1
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers
Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers
Author 
Battiti, Roberto. editor. (orcid)0000-0002-0259-8603 Kvasov, Dmitri E. editor. Sergeyev, Yaroslav D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69404-7
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
Author 
Paskevich, Andrei. editor. Wies, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72308-2
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
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:
212. 
Cover image for Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Author 
Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Bortolussi, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66335-7
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings
DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings
Author 
Brijder, Robert. editor. Qian, Lulu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66799-7
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings
Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings
Author 
Dennunzio, Alberto. editor. Formenti, Enrico. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58631-1
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Author 
Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63501-9
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings
Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings
Author 
Feret, Jérôme. editor. Koeppl, Heinz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67471-1
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
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:
218. 
Cover image for Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Author 
Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62075-6
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
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:
220. 
Cover image for High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers
High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers
Author 
Dutra, Inês. editor. Camacho, Rui. editor. Barbosa, Jorge. editor. Marques, Osni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61982-8
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Author 
Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-65765-3
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Computational Topology in Image Context 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings
Computational Topology in Image Context 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings
Author 
Bac, Alexandra. editor. Mari, Jean-Luc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39441-1
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
Author 
Fränzle, Martin. editor. Kapur, Deepak. editor. Zhan, Naijun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47677-3
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Transactions on Foundations for Mastering Change I
Transactions on Foundations for Mastering Change I
Author 
Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46508-1
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers
Author 
Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56390-9
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Big Data Technology and Applications First National Conference, BDTA 2015, Harbin, China, December 25-26, 2015. Proceedings
Big Data Technology and Applications First National Conference, BDTA 2015, Harbin, China, December 25-26, 2015. Proceedings
Author 
Chen, Wenguang. editor. Yin, Guisheng. editor. Zhao, Gansen. editor. Han, Qilong. editor. Jing, Weipeng. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-0457-5
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
Author 
Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29510-7
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Artificial Intelligence and Soft Computing 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part II
Artificial Intelligence and Soft Computing 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part II
Author 
Rutkowski, Leszek. editor. (orcid)0000-0001-6960-9525 Korytkowski, Marcin. editor. Scherer, Rafał. editor. (orcid)0000-0001-9592-262X Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39384-1
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Transactions on Computational Collective Intelligence XXII
Transactions on Computational Collective Intelligence XXII
Author 
Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49619-0
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
Author 
Ribeiro, Leila. editor. Lecomte, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49815-7
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings
Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings
Author 
Cook, Matthew. editor. Neary, Turlough. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39300-1
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Information Technologies and Mathematical Modelling: Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings
Information Technologies and Mathematical Modelling: Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings
Author 
Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Gortsev, Alexander. editor. Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Yakupov, Rafael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44615-8
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Author 
Aichernig, Bernhard K. editor. Furia, Carlo A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41135-4
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Advances in Artificial Life, Evolutionary Computation and Systems Chemistry 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papers
Advances in Artificial Life, Evolutionary Computation and Systems Chemistry 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papers
Author 
Rossi, Federico. editor. Mavelli, Fabio. editor. Stano, Pasquale. editor. Caivano, Danilo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-32695-5
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Conceptual Modeling 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings
Conceptual Modeling 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings
Author 
Comyn-Wattiau, Isabelle. editor. Tanaka, Katsumi. editor. Song, Il-Yeol. editor. Yamamoto, Shuichiro. editor. Saeki, Motoshi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46397-1
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
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:
237. 
Cover image for Haptics: Perception, Devices, Control, and Applications 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part II
Haptics: Perception, Devices, Control, and Applications 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part II
Author 
Bello, Fernando. editor. Kajimoto, Hiroyuki. editor. Visell, Yon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42324-1
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Author 
Kohlhase, Michael. editor. Johansson, Moa. editor. Miller, Bruce. editor. de Moura, Leonardo. editor. Tompa, Frank. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42547-4
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
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:
240. 
Cover image for Hybrid Metaheuristics Powerful Tools for Optimization
Hybrid Metaheuristics Powerful Tools for Optimization
Author 
Blum, Christian. author. Raidl, Günther R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30883-8
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Transactions on Computational Collective Intelligence XXI Special Issue on Keyword Search and Big Data
Transactions on Computational Collective Intelligence XXI Special Issue on Keyword Search and Big Data
Author 
Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. Rupino da Cunha, Paulo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49521-6
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Transactions on Computational Collective Intelligence XXIV
Transactions on Computational Collective Intelligence XXIV
Author 
Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Kowalczyk, Ryszard. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-53525-7
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Transactions on Computational Collective Intelligence XXIII
Transactions on Computational Collective Intelligence XXIII
Author 
Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. Mercik, Jacek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-52886-0
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
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:
245. 
Cover image for Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings
Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings
Author 
Kapitsaki, Georgia M. editor. Santana de Almeida, Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-35122-3
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Applied Computer Science
Applied Computer Science
Author 
Torbert, Shane. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30866-1
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Haptics: Perception, Devices, Control, and Applications 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part I
Haptics: Perception, Devices, Control, and Applications 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part I
Author 
Bello, Fernando. editor. Kajimoto, Hiroyuki. editor. Visell, Yon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42321-0
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Cellular Automata 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings
Cellular Automata 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings
Author 
El Yacoubi, Samira. editor. Wąs, Jarosław. editor. Bandini, Stefania. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44365-2
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
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:
250. 
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:
251. 
Cover image for Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers
Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers
Author 
Festa, Paola. editor. Sellmann, Meinolf. editor. Vanschoren, Joaquin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50349-3
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II
Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II
Author 
Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Li, Li. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41009-8
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Author 
Blanchette, Jasmin Christian. editor. Merz, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43144-4
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
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:
255. 
Cover image for Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
Author 
van Eekelen, Marko. editor. Dal Lago, Ugo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46559-3
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
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:
257. 
Cover image for Artificial Intelligence and Soft Computing 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part I
Artificial Intelligence and Soft Computing 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part I
Author 
Rutkowski, Leszek. editor. (orcid)0000-0001-6960-9525 Korytkowski, Marcin. editor. Scherer, Rafał. editor. (orcid)0000-0001-9592-262X Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39378-0
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I
Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I
Author 
Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41000-5
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Algorithmic Game Theory 9th International Symposium, SAGT 2016, Liverpool, UK, September 19-21, 2016, Proceedings
Algorithmic Game Theory 9th International Symposium, SAGT 2016, Liverpool, UK, September 19-21, 2016, Proceedings
Author 
Gairing, Martin. editor. Savani, Rahul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-53354-3
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
Author 
Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11245-9
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings
Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings
Author 
Jedlitschka, Andreas. editor. Kuvaja, Pasi. editor. Kuhrmann, Marco. editor. Männistö, Tomi. editor. Münch, Jürgen. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13835-0
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings
Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings
Author 
Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11653-2
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Energy-Efficient Data Centers Second International Workshop, E²DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papers
Energy-Efficient Data Centers Second International Workshop, E²DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papers
Author 
Klingert, Sonja. editor. Hesselbach-Serra, Xavier. editor. Perez Ortega, Maria. editor. Giuliani, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-55149-9
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Computational Intelligence for Traffic and Mobility
Computational Intelligence for Traffic and Mobility
Author 
Wang, Wuhong. editor. Wets, Geert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336491.1)
Electronic Access 
http://dx.doi.org/10.2991/978-94-91216-80-0
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Prozessmanagement für Experten Impulse für aktuelle und wiederkehrende Themen
Prozessmanagement für Experten Impulse für aktuelle und wiederkehrende Themen
Author 
Bayer, Franz. editor. Kühn, Harald. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337237.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36995-7
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Formale Sprachen Endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse
Formale Sprachen Endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse
Author 
Böckenhauer, Hans-Joachim. author. Hromkovic, Juraj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337578.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-00725-6
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Guide to Computing for Expressive Music Performance
Guide to Computing for Expressive Music Performance
Author 
Kirke, Alexis. editor. Miranda, Eduardo R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330911.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4123-5
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Computational Medicine in Data Mining and Modeling
Computational Medicine in Data Mining and Modeling
Author 
Rakocevic, Goran. editor. Djukic, Tijana. editor. Filipovic, Nenad. editor. Milutinović, Veljko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332448.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-8785-2
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for User-Level Workflow Design A Bioinformatics Perspective
User-Level Workflow Design A Bioinformatics Perspective
Author 
Lamprecht, Anna-Lena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335213.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45389-2
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Natural Computing and Beyond Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, March 2012, Proceedings
Natural Computing and Beyond Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, March 2012, Proceedings
Author 
Suzuki, Yasuhiro. editor. Nakagaki, Toshiyuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335430.1)
Electronic Access 
http://dx.doi.org/10.1007/978-4-431-54394-7
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Modeling and Simulating Command and Control For Organizations Under Extreme Situations
Modeling and Simulating Command and Control For Organizations Under Extreme Situations
Author 
Moon, Il-Chul. author. Carley, Kathleen M. author. Kim, Tag Gon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331124.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5037-4
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Advances in Applied Self-Organizing Systems
Advances in Applied Self-Organizing Systems
Author 
Prokopenko, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331148.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5113-5
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Multi-finger Haptic Interaction
Multi-finger Haptic Interaction
Author 
Galiana, Ignacio. editor. Ferre, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331173.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5204-0
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Using Event-B for Critical Device Software Systems
Using Event-B for Critical Device Software Systems
Author 
Singh, Neeraj Kumar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331181.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5260-6
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Probability Models
Probability Models
Author 
Haigh, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331195.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5343-6
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for New Trends in Interaction, Virtual Reality and Modeling
New Trends in Interaction, Virtual Reality and Modeling
Author 
Penichet, Victor M.R. editor. Peñalver, Antonio. editor. Gallud, José A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331204.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5445-7
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Biomedical Engineering Systems and Technologies 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers
Biomedical Engineering Systems and Technologies 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers
Author 
Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333263.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29752-6
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Towards Advanced Data Analysis by Combining Soft Computing and Statistics
Towards Advanced Data Analysis by Combining Soft Computing and Statistics
Author 
Borgelt, Christian. editor. Gil, María Ángeles. editor. Sousa, João M.C. editor. Verleysen, Michel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333309.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30278-7
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Proceedings of the 21st International Meshing Roundtable
Proceedings of the 21st International Meshing Roundtable
Author 
Jiao, Xiangmin. editor. Weill, Jean-Christophe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333723.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33573-0
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Time-Domain Finite Element Methods for Maxwell's Equations in Metamaterials
Time-Domain Finite Element Methods for Maxwell's Equations in Metamaterials
Author 
Li, Jichun. author. Huang, Yunqing. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333751.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33789-5
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
Author 
Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334055.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35813-5
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers
Author 
Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334071.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35867-8
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Semantics in Data and Knowledge Bases 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers
Semantics in Data and Knowledge Bases 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers
Author 
Schewe, Klaus-Dieter. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334099.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36008-4
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers
System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers
Author 
Hömberg, Dietmar. editor. Tröltzsch, Fredi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334111.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36062-6
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
Author 
Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334120.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36089-3
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Domain Engineering Product Lines, Languages, and Conceptual Models
Domain Engineering Product Lines, Languages, and Conceptual Models
Author 
Reinhartz-Berger, Iris. editor. Sturm, Arnon. editor. Clark, Tony. editor. Cohen, Sholom. editor. Bettin, Jorn. editor.
Preferred Shelf Number 
ONLINE(334257.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36654-3
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers
Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers
Author 
Tribastone, Mirco. editor. Gilmore, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334290.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36781-6
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Transactions on Computational Collective Intelligence IX
Transactions on Computational Collective Intelligence IX
Author 
Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334300.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36815-8
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings
Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings
Author 
Berbineau, Marion. editor. Jonsson, Magnus. editor. Bonnin, Jean-Marie. editor. Cherkaoui, Soumaya. editor. Aguado, Marina. editor.
Preferred Shelf Number 
ONLINE(334508.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37974-1
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Advances on Practical Applications of Agents and Multi-Agent Systems 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings
Advances on Practical Applications of Agents and Multi-Agent Systems 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings
Author 
Demazeau, Yves. editor. Ishida, Toru. editor. Corchado, Juan M. editor. Bajo, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334528.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38073-0
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Clinical Image-Based Procedures. From Planning to Intervention International Workshop, CLIP 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers
Clinical Image-Based Procedures. From Planning to Intervention International Workshop, CLIP 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers
Author 
Drechsler, Klaus. editor. Erdt, Marius. editor. Linguraru, Marius George. editor. Oyarzun Laura, Cristina. editor. Sharma, Karun. editor.
Preferred Shelf Number 
ONLINE(334530.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38079-2
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
Author 
Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334556.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38209-3
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Transactions on Computational Collective Intelligence X
Transactions on Computational Collective Intelligence X
Author 
Nguyen, Ngoc-Thanh. editor. Kołodziej, Joanna. editor. Burczyński, Tadeusz. editor. Biba, Marenglen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334611.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38496-7
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Information Processing in Computer-Assisted Interventions 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings
Information Processing in Computer-Assisted Interventions 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings
Author 
Barratt, Dean. editor. Cotin, Stéphane. editor. Fichtinger, Gabor. editor. Jannin, Pierre. editor. Navab, Nassir. editor.
Preferred Shelf Number 
ONLINE(334624.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38568-1
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I
Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I
Author 
Duffy, Vincent G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334742.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39173-6
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I
Author 
Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number 
ONLINE(334826.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39637-3
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V
Author 
Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number 
ONLINE(334827.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39640-3
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II
Author 
Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number 
ONLINE(334828.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39643-4
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III
Author 
Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number 
ONLINE(334829.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39646-5
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV
Author 
Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number 
ONLINE(334830.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39649-6
Format: 
Availability 
Online Library~1
Available:
Copies: