Limit Search Results
Author
SpringerLink (Online service)
(136)
Bai, Xiang. editor.
(3)
Cheng, Ming-Ming. editor.
(3)
Collins, D. Louis. editor.
(3)
Descoteaux, Maxime. editor.
(3)
Language
English
(152)
Subject
Computer simulation.
(114)
Computer Modelling.
(112)
Artificial intelligence.
(45)
Software engineering.
(35)
Computer science.
(26)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
152 Results Found Subscribe to search results
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Oscillator design and computer simulation
Oscillator design and computer simulation
Author 
Rhea, Randall W.
Preferred Shelf Number 
TK 7872.O7 R54 1995
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Computational modelling and simulation of aircraft and the environment
Computational modelling and simulation of aircraft and the environment
Author 
Diston, Dominic J.
Preferred Shelf Number 
ONLINE
Electronic Access 
Books24x7 http://www.books24x7.com/marc.asp?bookid=33686
John Wiley http://dx.doi.org/10.1002/9780470744130
http://site.ebrary.com/lib/alltitles/Doc?id=10313614
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Computational frameworks : systems, models and applications
Computational frameworks : systems, models and applications
Author 
Traoré, Mamadou K. (Mamadou Kaba), editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781785482564
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for The rewiring brain : a computational approach to structural plasticity in the adult brain
The rewiring brain : a computational approach to structural plasticity in the adult brain
Author 
Van Ooyen, Arjen, editor. Butz-Ostendorf, Markus, editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128037843
ScienceDirect https://www.sciencedirect.com/science/book/9780128037843
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Very Soft Organic Clay Applied for Road Embankment : Modelling and Optimisation Approach, UNESCO-IHE PhD, Delft, the Netherlands.
Very Soft Organic Clay Applied for Road Embankment : Modelling and Optimisation Approach, UNESCO-IHE PhD, Delft, the Netherlands.
Author 
Limsiri, C., author. CRC Press LLC.
Preferred Shelf Number 
TE210.8
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429094125
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Modeling and simulation of logistics flows. 3, Discrete and continuous flows in 2D/3D
Modeling and simulation of logistics flows. 3, Discrete and continuous flows in 2D/3D
Author 
Reveillac, Jean-Michel, author.
Preferred Shelf Number 
HD38.5
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119368588
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Process systems and materials for CO₂ capture : modelling, design, control and integration
Process systems and materials for CO₂ capture : modelling, design, control and integration
Author 
Papadopoulos, Athanasios I., 1977- editor. Seferlis, Panagiotis, 1967- editor.
Preferred Shelf Number 
TD885.5 .C3
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119106418
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Neurobiology of motor control : fundamental concepts and new directions
Neurobiology of motor control : fundamental concepts and new directions
Author 
Hooper, Scott L., editor. Büschges, Ansgar, editor.
Preferred Shelf Number 
QP301
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118873397
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for The profession of modeling and simulation : discipline, ethics, education, vocation, societies, and economics
The profession of modeling and simulation : discipline, ethics, education, vocation, societies, and economics
Author 
Tolk, Andreas, editor. Ören, Tuncer I., editor.
Preferred Shelf Number 
QA10.5
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119288091
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Advances in Automation and Robotics Research in Latin America Proceedings of the 1st Latin American Congress on Automation and Robotics, Panama City, Panama 2017
Advances in Automation and Robotics Research in Latin America Proceedings of the 1st Latin American Congress on Automation and Robotics, Panama City, Panama 2017
Author 
Chang, Ignacio. editor. Baca, José. editor. Moreno, Héctor A. editor. Carrera, Isela G. editor. Cardona, Manuel N. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54377-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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:
12. 
Cover image for Social, Cultural, and Behavioral Modeling 10th International Conference, SBP-BRiMS 2017, Washington, DC, USA, July 5-8, 2017, Proceedings
Social, Cultural, and Behavioral Modeling 10th International Conference, SBP-BRiMS 2017, Washington, DC, USA, July 5-8, 2017, Proceedings
Author 
Lee, Dongwon. editor. Lin, Yu-Ru. editor. Osgood, Nathaniel. editor. Thomson, Robert. editor. (orcid)0000-0001-9298-2870 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60240-0
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Medical Image Computing and Computer Assisted Intervention − MICCAI 2017 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part I
Medical Image Computing and Computer Assisted Intervention − MICCAI 2017 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part I
Author 
Descoteaux, Maxime. editor. Maier-Hein, Lena. editor. Franz, Alfred. editor. Jannin, Pierre. editor. Collins, D. Louis. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66182-7
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Advances in Computer Science and Ubiquitous Computing CSA-CUTE2016
Advances in Computer Science and Ubiquitous Computing CSA-CUTE2016
Author 
Park, James J. (Jong Hyuk). editor. Pan, Yi. editor. Yi, Gangman. editor. Loia, Vincenzo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3023-9
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System
Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System
Author 
Ahmed, Jameel. author. Siyal, Mohammed Yakoob. author. Najam, Shaheryar. author. Najam, Zohaib. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3120-5
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Computer Vision Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, Proceedings, Part II
Computer Vision Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, Proceedings, Part II
Author 
Yang, Jinfeng. editor. Hu, Qinghua. editor. Cheng, Ming-Ming. editor. Wang, Liang. editor. (orcid)0000-0001-5224-8647 Liu, Qingshan. editor. (orcid)0000-0002-8161-1780
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7302-1
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Computer Vision Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, Proceedings, Part I
Computer Vision Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, Proceedings, Part I
Author 
Yang, Jinfeng. editor. Hu, Qinghua. editor. Cheng, Ming-Ming. editor. Wang, Liang. editor. (orcid)0000-0001-5224-8647 Liu, Qingshan. editor. (orcid)0000-0002-8161-1780
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7299-4
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Distributed Computer and Communication Networks 20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017, Proceedings
Distributed Computer and Communication Networks 20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017, Proceedings
Author 
Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66836-9
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for OpenGeoSys Tutorial Computational Hydrology II: Groundwater Quality Modeling
OpenGeoSys Tutorial Computational Hydrology II: Groundwater Quality Modeling
Author 
Sachse, Agnes. author. Nixdorf, Erik. author. Jang, Eunseon. author. Rink, Karsten. author. (orcid)0000-0001-9826-8221 Fischer, Thomas. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-52809-0
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Simulating Social Complexity A Handbook
Simulating Social Complexity A Handbook
Author 
Edmonds, Bruce. editor. Meyer, Ruth. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66948-9
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Material Parameter Identification and Inverse Problems in Soft Tissue Biomechanics
Material Parameter Identification and Inverse Problems in Soft Tissue Biomechanics
Author 
Avril, Stéphane. editor. Evans, Sam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45071-1
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Intelligent Computing, Networked Control, and Their Engineering Applications International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part II
Intelligent Computing, Networked Control, and Their Engineering Applications International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part II
Author 
Yue, Dong. editor. Peng, Chen. editor. (orcid)0000-0003-3652-2233 Du, Dajun. editor. Zhang, Tengfei. editor. Zheng, Min. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6373-2
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Ad Hoc Networks 8th International Conference, ADHOCNETS 2016, Ottawa, Canada, September 26-27, 2016, Revised Selected Papers
Ad Hoc Networks 8th International Conference, ADHOCNETS 2016, Ottawa, Canada, September 26-27, 2016, Revised Selected Papers
Author 
Zhou, Yifeng. editor. Kunz, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51204-4
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
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:
25. 
Cover image for Bio-inspired Computing: Theories and Applications 12th International Conference, BIC-TA 2017, Harbin, China, December 1-3, 2017, Proceedings
Bio-inspired Computing: Theories and Applications 12th International Conference, BIC-TA 2017, Harbin, China, December 1-3, 2017, Proceedings
Author 
He, Cheng. editor. Mo, Hongwei. editor. Pan, Linqiang. editor. Zhao, Yuxin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7179-9
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part I
Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part I
Author 
Yuan, Hanning. editor. Geng, Jing. editor. Bian, Fuling. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3966-9
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings
Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings
Author 
Hřebíček, Jiří. editor. Denzer, Ralf. editor. Schimak, Gerald. editor. Pitner, Tomáš. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89935-0
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Modeling, Design and Simulation of Systems 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017, Proceedings, Part I
Modeling, Design and Simulation of Systems 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017, Proceedings, Part I
Author 
Mohamed Ali, Mohamed Sultan. editor. Wahid, Herman. editor. Mohd Subha, Nurul Adilla. editor. Sahlan, Shafishuhaza. editor. Md. Yunus, Mohd Amri. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6463-0
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
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:
30. 
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:
31. 
Cover image for Serious Games and Edutainment Applications Volume II
Serious Games and Edutainment Applications Volume II
Author 
Ma, Minhua. editor. Oikonomou, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51645-5
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Data Assimilation for Atmospheric, Oceanic and Hydrologic Applications (Vol. III)
Data Assimilation for Atmospheric, Oceanic and Hydrologic Applications (Vol. III)
Author 
Park, Seon Ki. editor. Xu, Liang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43415-5
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Solid-State-Drives (SSDs) Modeling Simulation Tools & Strategies
Solid-State-Drives (SSDs) Modeling Simulation Tools & Strategies
Author 
Micheloni, Rino. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51735-3
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Probabilistic Approaches for Geotechnical Site Characterization and Slope Stability Analysis
Probabilistic Approaches for Geotechnical Site Characterization and Slope Stability Analysis
Author 
Cao, Zijun. author. Wang, Yu. author. Li, Dianqing. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-52914-0
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Introduction to Computational Mass Transfer With Applications to Chemical Engineering
Introduction to Computational Mass Transfer With Applications to Chemical Engineering
Author 
Yu, Kuo-Tsung. author. Yuan, Xigang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-2498-6
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers
Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers
Author 
Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67035-5
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Optical Character Recognition Systems for Different Languages with Soft Computing
Optical Character Recognition Systems for Different Languages with Soft Computing
Author 
Chaudhuri, Arindam. author. Mandaviya, Krupa. author. Badelia, Pratixa. author. K Ghosh, Soumya. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50252-6
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Computer-Assisted and Robotic Endoscopy Third International Workshop, CARE 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers
Computer-Assisted and Robotic Endoscopy Third International Workshop, CARE 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers
Author 
Peters, Terry. editor. (orcid)0000-0003-1440-7488 Yang, Guang-Zhong. editor. Navab, Nassir. editor. Mori, Kensaku. editor. Luo, Xiongbiao. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54057-3
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Introduction to Computational Social Science Principles and Applications
Introduction to Computational Social Science Principles and Applications
Author 
Cioffi-Revilla, Claudio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50131-4
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Knowledge Representation for Health Care HEC 2016 International Joint Workshop, KR4HC/ProHealth 2016, Munich, Germany, September 2, 2016, Revised Selected Papers
Knowledge Representation for Health Care HEC 2016 International Joint Workshop, KR4HC/ProHealth 2016, Munich, Germany, September 2, 2016, Revised Selected Papers
Author 
Riaño, David. editor. Lenz, Richard. editor. Reichert, Manfred. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55014-5
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Guide to Distributed Simulation with HLA
Guide to Distributed Simulation with HLA
Author 
Topçu, Okan. author. Oğuztüzün, Halit. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61267-6
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Fire Safety of Historical Buildings Traditional Versus Innovative "Behavioural Design" Solutions by Using Wayfinding Systems
Fire Safety of Historical Buildings Traditional Versus Innovative "Behavioural Design" Solutions by Using Wayfinding Systems
Author 
Bernardini, Gabriele. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55744-1
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
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:
44. 
Cover image for Analytical and Computational Methods in Probability Theory First International Conference, ACMPT 2017, Moscow, Russia, October 23-27, 2017, Proceedings
Analytical and Computational Methods in Probability Theory First International Conference, ACMPT 2017, Moscow, Russia, October 23-27, 2017, Proceedings
Author 
Rykov, Vladimir V. editor. Singpurwalla, Nozer D. editor. Zubkov, Andrey M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71504-9
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
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:
46. 
Cover image for Simulating Crowds in Egress Scenarios
Simulating Crowds in Egress Scenarios
Author 
Cassol, Vinícius J. author. Musse, Soraia R. author. Jung, Cláudio R. author. Badler, Norman I. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-65202-3
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Bioinformatics for Evolutionary Biologists A Problems Approach
Bioinformatics for Evolutionary Biologists A Problems Approach
Author 
Haubold, Bernhard. author. Börsch-Haubold, Angelika. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67395-0
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Smart Solutions in Today's Transport 17th International Conference on Transport Systems Telematics, TST 2017, Katowice - Ustroń, Poland, April 5-8, 2017, Selected Papers
Smart Solutions in Today's Transport 17th International Conference on Transport Systems Telematics, TST 2017, Katowice - Ustroń, Poland, April 5-8, 2017, Selected Papers
Author 
Mikulski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66251-0
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Guide to Simulation-Based Disciplines Advancing Our Computational Future
Guide to Simulation-Based Disciplines Advancing Our Computational Future
Author 
Mittal, Saurabh. editor. Durak, Umut. editor. Ören, Tuncer. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61264-5
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
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:
51. 
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:
52. 
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:
53. 
Cover image for Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part I
Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part I
Author 
Tan, Ying. editor. (orcid)0000-0001-8243-4731 Takagi, Hideyuki. editor. Shi, Yuhui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61824-1
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
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:
55. 
Cover image for Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings
Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings
Author 
Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62932-2
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Earthquake Disaster Simulation of Civil Infrastructures From Tall Buildings to Urban Areas
Earthquake Disaster Simulation of Civil Infrastructures From Tall Buildings to Urban Areas
Author 
Lu, Xinzheng. author. Guan, Hong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3087-1
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Air Quality Integrated Assessment A European Perspective
Air Quality Integrated Assessment A European Perspective
Author 
Guariso, Giorgio. editor. Volta, Marialuisa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33349-6
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers
Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers
Author 
Criado Pacheco, Natalia. editor. Carrascosa, Carlos. editor. Osman, Nardine. editor. Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59294-7
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Enterprise and Organizational Modeling and Simulation 13th International Workshop, EOMAS 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017, Selected Papers
Enterprise and Organizational Modeling and Simulation 13th International Workshop, EOMAS 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017, Selected Papers
Author 
Pergl, Robert. editor. Lock, Russell. editor. Babkin, Eduard. editor. (orcid)0000-0003-2597-9043 Molhanec, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68185-6
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Guide to Scientific Computing in C++
Guide to Scientific Computing in C++
Author 
Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73132-2
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Software Process Improvement and Capability Determination 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017, Proceedings
Software Process Improvement and Capability Determination 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017, Proceedings
Author 
Mas, Antonia. editor. Mesquida, Antoni. editor. O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67383-7
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Management of Information, Process and Cooperation Third International Workshop, MiPAC 2016, Hangzhou, China, September 23, 2016, Revised Selected Papers
Management of Information, Process and Cooperation Third International Workshop, MiPAC 2016, Hangzhou, China, September 23, 2016, Revised Selected Papers
Author 
Cao, Jian. editor. Liu, Jianxun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3996-6
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
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:
64. 
Cover image for Research Challenges in Modeling and Simulation for Engineering Complex Systems
Research Challenges in Modeling and Simulation for Engineering Complex Systems
Author 
Fujimoto, Richard. editor. Bock, Conrad. editor. Chen, Wei. editor. Page, Ernest. editor. Panchal, Jitesh H. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58544-4
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Machine Learning and Intelligent Communications First International Conference, MLICOM 2016, Shanghai, China, August 27-28, 2016, Revised Selected Papers
Machine Learning and Intelligent Communications First International Conference, MLICOM 2016, Shanghai, China, August 27-28, 2016, Revised Selected Papers
Author 
Xin-lin, Huang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-52730-7
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Advanced Computational Methods in Life System Modeling and Simulation International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part I
Advanced Computational Methods in Life System Modeling and Simulation International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part I
Author 
Fei, Minrui. editor. Ma, Shiwei. editor. Li, Xin. editor. Sun, Xin. editor. Jia, Li. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6370-1
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Communication Technologies for Vehicles 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017, Proceedings
Communication Technologies for Vehicles 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017, Proceedings
Author 
Pirovano, Alain. editor. Berbineau, Marion. editor. Vinel, Alexey. editor. Guerber, Christophe. editor. Roque, Damien. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56880-5
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Seismic Wave Propagation in Non-Homogeneous Elastic Media by Boundary Elements
Seismic Wave Propagation in Non-Homogeneous Elastic Media by Boundary Elements
Author 
Manolis, George D. author. Dineva, Petia S. author. Rangelov, Tsviatko V. author. Wuttke, Frank. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45206-7
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Transparent Data Mining for Big and Small Data
Transparent Data Mining for Big and Small Data
Author 
Cerquitelli, Tania. editor. (orcid)0000-0002-9039-6226 Quercia, Daniele. editor. Pasquale, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54024-5
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Mental Modeling Approach Risk Management Application Case Studies
Mental Modeling Approach Risk Management Application Case Studies
Author 
Wood, Matthew D. author. Thorne, Sarah. author. Kovacs, Daniel. author. Butte, Gordon. author. Linkov, Igor. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4939-6616-5
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Medical Image Computing and Computer-Assisted Intervention − MICCAI 2017 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part II
Medical Image Computing and Computer-Assisted Intervention − MICCAI 2017 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part II
Author 
Descoteaux, Maxime. editor. Maier-Hein, Lena. editor. Franz, Alfred. editor. Jannin, Pierre. editor. Collins, D. Louis. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66185-8
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Simulation and Synthesis in Medical Imaging Second International Workshop, SASHIMI 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10, 2017, Proceedings
Simulation and Synthesis in Medical Imaging Second International Workshop, SASHIMI 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10, 2017, Proceedings
Author 
Tsaftaris, Sotirios A. editor. Gooya, Ali. editor. Frangi, Alejandro F. editor. Prince, Jerry L. editor. (orcid)0000-0002-6553-0876 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68127-6
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Combinatorial Testing in Cloud Computing
Combinatorial Testing in Cloud Computing
Author 
Tsai, Wei-Tek. author. Qi, Guanqiu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-4481-6
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Whither Turbulence and Big Data in the 21st Century?
Whither Turbulence and Big Data in the 21st Century?
Author 
Pollard, Andrew. editor. Castillo, Luciano. editor. Danaila, Luminita. editor. Glauser, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41217-7
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Microdomains in the Cardiovascular System
Microdomains in the Cardiovascular System
Author 
Nikolaev, Viacheslav. editor. Zaccolo, Manuela. editor. (orcid)0000-0002-0934-3662 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54579-0
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
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:
77. 
Cover image for Spatial Cognition X 13th Biennial Conference, KogWis 2016, Bremen, Germany, September 26-30, 2016, and 10th International Conference, Spatial Cognition 2016, Philadelphia, PA, USA, August 2-5, 2016, Revised Selected Papers
Spatial Cognition X 13th Biennial Conference, KogWis 2016, Bremen, Germany, September 26-30, 2016, and 10th International Conference, Spatial Cognition 2016, Philadelphia, PA, USA, August 2-5, 2016, Revised Selected Papers
Author 
Barkowsky, Thomas. editor. Burte, Heather. editor. Hölscher, Christoph. editor. Schultheis, Holger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68189-4
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Modeling with Digital Ocean and Digital Coast
Modeling with Digital Ocean and Digital Coast
Author 
Zhang, Xin. editor. Wang, Lei. editor. Jiang, Xiaoyi. editor. Zhu, Changming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42710-2
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Computer Vision Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, Proceedings, Part III
Computer Vision Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, Proceedings, Part III
Author 
Yang, Jinfeng. editor. Hu, Qinghua. editor. Cheng, Ming-Ming. editor. Wang, Liang. editor. (orcid)0000-0001-5224-8647 Liu, Qingshan. editor. (orcid)0000-0002-8161-1780
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7305-2
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Guide to Modeling and Simulation of Systems of Systems
Guide to Modeling and Simulation of Systems of Systems
Author 
P. Zeigler, Bernard. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64134-8
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Computational Logistics 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017, Proceedings
Computational Logistics 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017, Proceedings
Author 
Bektaş, Tolga. editor. Coniglio, Stefano. editor. Martinez-Sykora, Antonio. editor. Voß, Stefan. editor. (orcid)0000-0003-1296-4221 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68496-3
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Subdivision Surface Modeling Technology
Subdivision Surface Modeling Technology
Author 
Liao, Wenhe. author. Liu, Hao. author. Li, Tao. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3515-9
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Advances in Applied Digital Human Modeling and Simulation Proceedings of the AHFE 2016 International Conference on Digital Human Modeling and Simulation, July 27-31, 2016, Walt Disney World®, Florida, USA
Advances in Applied Digital Human Modeling and Simulation Proceedings of the AHFE 2016 International Conference on Digital Human Modeling and Simulation, July 27-31, 2016, Walt Disney World®, Florida, USA
Author 
Duffy, Vincent G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41627-4
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Next Generation Computer Animation Techniques Third International Workshop, AniNex 2017, Bournemouth, UK, June 22-23, 2017, Revised Selected Papers
Next Generation Computer Animation Techniques Third International Workshop, AniNex 2017, Bournemouth, UK, June 22-23, 2017, Revised Selected Papers
Author 
Chang, Jian. editor. Zhang, Jian Jun. editor. Magnenat Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Hu, Shi-Min. editor. Tong, Ruofeng. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69487-0
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
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:
86. 
Cover image for Quality, Reliability, Security and Robustness in Heterogeneous Networks 12th International Conference, QShine 2016, Seoul, Korea, July 7-8, 2016, Proceedings
Quality, Reliability, Security and Robustness in Heterogeneous Networks 12th International Conference, QShine 2016, Seoul, Korea, July 7-8, 2016, Proceedings
Author 
Lee, Jong-Hyouk. editor. Pack, Sangheon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60717-7
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Performance Evaluation for Network Services, Systems and Protocols
Performance Evaluation for Network Services, Systems and Protocols
Author 
Fernandes, Stênio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54521-9
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Advances in Human Aspects of Transportation Proceedings of the AHFE 2016 International Conference on Human Factors in Transportation, July 27-31, 2016, Walt Disney World®, Florida, USA
Advances in Human Aspects of Transportation Proceedings of the AHFE 2016 International Conference on Human Factors in Transportation, July 27-31, 2016, Walt Disney World®, Florida, USA
Author 
Stanton, Neville A. editor. Landry, Steven. editor. Di Bucchianico, Giuseppe. editor. Vallicelli, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41682-3
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers
Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers
Author 
Cabello, Enrique. editor. Cardoso, Jorge. editor. Ludwig, André. editor. Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 van Sinderen, Marten. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62569-0
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
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:
91. 
Cover image for Automated Workflow Scheduling in Self-Adaptive Clouds Concepts, Algorithms and Methods
Automated Workflow Scheduling in Self-Adaptive Clouds Concepts, Algorithms and Methods
Author 
Kousalya, G. author. Balakrishnan, P. author. Pethuru Raj, C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56982-6
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Illuminating statistical analysis using scenarios and simulations
Illuminating statistical analysis using scenarios and simulations
Author 
Kottemann, Jeffrey E.
Preferred Shelf Number 
QA276 .K676 2017 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119296386
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Process modeling and simulation for chemical engineers : theory and practice
Process modeling and simulation for chemical engineers : theory and practice
Author 
Upreti, Simant Ranjan, author.
Preferred Shelf Number 
TP155.7 .U67 2017 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118914670
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Comprehensive quality by design for pharmaceutical product development and manufacture
Comprehensive quality by design for pharmaceutical product development and manufacture
Author 
Reklaitis, G. V., 1942- editor. García-Munoz, Salvador, 1971- editor. Seymour, Christine, 1967- editor.
Preferred Shelf Number 
RS420
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119356189
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Radio wave propagation and parabolic equation modeling
Radio wave propagation and parabolic equation modeling
Author 
Apaydin, Gökhan, author. Sevgi, Levent, author.
Preferred Shelf Number 
TK6553
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119432166
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Emerging areas in bioengineering
Emerging areas in bioengineering
Author 
Chang, Ho-nam, editor.
Preferred Shelf Number 
TA164
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527803293
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Markov chains : from theory to implementation and experimentation
Markov chains : from theory to implementation and experimentation
Author 
Gagniuc, Paul A., author.
Preferred Shelf Number 
QA274.7 .G34 2017
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119387596
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Networking simulation for intelligent transportation systems : high mobile wireless nodes
Networking simulation for intelligent transportation systems : high mobile wireless nodes
Author 
Hilt, Benoit, editor. Berbineau, Marion, editor. Vinel, Alexey, editor. Pirovano, Alain, editor.
Preferred Shelf Number 
TE228.3
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119407447
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Advances in Modeling and Simulation Seminal Research from 50 Years of Winter Simulation Conferences
Advances in Modeling and Simulation Seminal Research from 50 Years of Winter Simulation Conferences
Author 
Tolk, Andreas. editor. Fowler, John. editor. Shao, Guodong. editor. Yücesan, Enver. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64182-9
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Medical Image Computing and Computer Assisted Intervention − MICCAI 2017 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part III
Medical Image Computing and Computer Assisted Intervention − MICCAI 2017 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part III
Author 
Descoteaux, Maxime. editor. Maier-Hein, Lena. editor. Franz, Alfred. editor. Jannin, Pierre. editor. Collins, D. Louis. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66179-7
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Analytical and Stochastic Modelling Techniques and Applications 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings
Analytical and Stochastic Modelling Techniques and Applications 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings
Author 
Thomas, Nigel. editor. Forshaw, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61428-1
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Real-time Monitoring and Operational Control of Drinking-Water Systems
Real-time Monitoring and Operational Control of Drinking-Water Systems
Author 
Puig, Vicenç. editor. Ocampo-Martínez, Carlos. editor. Pérez, Ramon. editor. Cembrano, Gabriela. editor. Quevedo, Joseba. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50751-4
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
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:
104. 
Cover image for Bankruptcy Prediction through Soft Computing based Deep Learning Technique
Bankruptcy Prediction through Soft Computing based Deep Learning Technique
Author 
Chaudhuri, Arindam. author. Ghosh, Soumya K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6683-2
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
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:
106. 
Cover image for Electromagnetic Linear Machines with Dual Halbach Array Design and Analysis
Electromagnetic Linear Machines with Dual Halbach Array Design and Analysis
Author 
Yan, Liang. author. Zhang, Lu. author. Peng, Juanjuan. author. Zhang, Lei. author. Jiao, Zongxia. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-2309-5
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Mathematical Advances Towards Sustainable Environmental Systems
Mathematical Advances Towards Sustainable Environmental Systems
Author 
Furze, James N. editor. Swing, Kelly. editor. Gupta, Anil K. editor. McClatchey, Richard H. editor. Reynolds, Darren M. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43901-3
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
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:
109. 
Cover image for Planning Support Science for Smarter Urban Futures
Planning Support Science for Smarter Urban Futures
Author 
Geertman, Stan. editor. Allan, Andrew. editor. Pettit, Chris. editor. Stillwell, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57819-4
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Robust Modelling and Simulation Integration of SIMIO with Coloured Petri Nets
Robust Modelling and Simulation Integration of SIMIO with Coloured Petri Nets
Author 
De La Mota, Idalia Flores. author. Guasch, Antoni. author. Mujica Mota, Miguel. author. (orcid)0000-0002-0160-6827 Angel Piera, Miquel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53321-6
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Simulation Algorithms for Computational Systems Biology
Simulation Algorithms for Computational Systems Biology
Author 
Marchetti, Luca. author. Priami, Corrado. author. Thanh, Vo Hong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63113-4
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Mathematical Methods for Curves and Surfaces 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23-28, 2016, Revised Selected Papers
Mathematical Methods for Curves and Surfaces 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23-28, 2016, Revised Selected Papers
Author 
Floater, Michael. editor. Lyche, Tom. editor. Mazure, Marie-Laurence. editor. Mørken, Knut. editor. Schumaker, Larry L. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67885-6
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers
Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers
Author 
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71255-0
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Information Technologies and Mathematical Modelling. Queueing Theory and Applications 16th International Conference, ITMM 2017, Named After A.F. Terpugov, Kazan, Russia, September 29 - October 3, 2017, Proceedings
Information Technologies and Mathematical Modelling. Queueing Theory and Applications 16th International Conference, ITMM 2017, Named After A.F. Terpugov, Kazan, Russia, September 29 - October 3, 2017, Proceedings
Author 
Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Kirpichnikov, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68069-9
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part II
Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part II
Author 
Tan, Ying. editor. (orcid)0000-0001-8243-4731 Takagi, Hideyuki. editor. Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61833-3
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Urban Dynamics and Simulation Models
Urban Dynamics and Simulation Models
Author 
Pumain, Denise. author. Reuillon, Romain. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46497-8
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers
Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers
Author 
Namazi-Rad, Mohammad-Reza. editor. Padgham, Lin. editor. Perez, Pascal. editor. Nagel, Kai. editor. Bazzan, Ana. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51957-9
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Software Engineering in Health Care 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers
Software Engineering in Health Care 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers
Author 
Huhn, Michaela. editor. Williams, Laurie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63194-3
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
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:
120. 
Cover image for Computational Neurology and Psychiatry
Computational Neurology and Psychiatry
Author 
Érdi, Péter. editor. Sen Bhattacharya, Basabdatta. editor. Cochran, Amy L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49959-8
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Advances in Social Simulation 2015
Advances in Social Simulation 2015
Author 
Jager, Wander. editor. Verbrugge, Rineke. editor. Flache, Andreas. editor. de Roo, Gert. editor. Hoogduin, Lex. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47253-9
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Tunnel Fire Testing and Modeling The Morgex North Tunnel Experiment
Tunnel Fire Testing and Modeling The Morgex North Tunnel Experiment
Author 
Borghetti, Fabio. author. Derudi, Marco. author. Gandini, Paolo. author. Frassoldati, Alessio. author. Tavelli, Silvia. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49517-0
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Biomechanics of the Human Stomach
Biomechanics of the Human Stomach
Author 
Miftahof, Roustem N. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59677-8
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers
Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers
Author 
Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Selic, Bran. editor. Desfray, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66302-9
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Group Processes Data-Driven Computational Approaches
Group Processes Data-Driven Computational Approaches
Author 
Pilny, Andrew. editor. Poole, Marshall Scott. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48941-4
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
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:
127. 
Cover image for Modeling, Design and Simulation of Systems 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017, Proceedings, Part II
Modeling, Design and Simulation of Systems 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017, Proceedings, Part II
Author 
Mohamed Ali, Mohamed Sultan. editor. Wahid, Herman. editor. Mohd Subha, Nurul Adilla. editor. Sahlan, Shafishuhaza. editor. Md. Yunus, Mohd Amri. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6502-6
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers
Author 
Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61756-5
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
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:
130. 
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:
131. 
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:
132. 
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:
133. 
Cover image for Latent Variable Analysis and Signal Separation 13th International Conference, LVA/ICA 2017, Grenoble, France, February 21-23, 2017, Proceedings
Latent Variable Analysis and Signal Separation 13th International Conference, LVA/ICA 2017, Grenoble, France, February 21-23, 2017, Proceedings
Author 
Tichavský, Petr. editor. Babaie-Zadeh, Massoud. editor. Michel, Olivier J.J. editor. Thirion-Moreau, Nadège. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53547-0
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Advances on Mechanics, Design Engineering and Manufacturing Proceedings of the International Joint Conference on Mechanics, Design Engineering & Advanced Manufacturing (JCM 2016), 14-16 September, 2016, Catania, Italy
Advances on Mechanics, Design Engineering and Manufacturing Proceedings of the International Joint Conference on Mechanics, Design Engineering & Advanced Manufacturing (JCM 2016), 14-16 September, 2016, Catania, Italy
Author 
Eynard, Benoit. editor. Nigrelli, Vincenzo. editor. Oliveri, Salvatore Massimo. editor. Peris-Fajarnes, Guillermo. editor. Rizzuti, Sergio. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45781-9
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Natural Interaction in Medical Training Tools and Applications
Natural Interaction in Medical Training Tools and Applications
Author 
Del Bimbo, Alberto. author. Ferracani, Andrea. author. Pezzatini, Daniele. author. Seidenari, Lorenzo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61036-8
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Author 
Ölveczky, Peter Csaba. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6687-0
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Critical Infrastructure Protection XI 11th IFIP WG 11.10 International Conference, ICCIP 2017, Arlington, VA, USA, March 13-15, 2017, Revised Selected Papers
Critical Infrastructure Protection XI 11th IFIP WG 11.10 International Conference, ICCIP 2017, Arlington, VA, USA, March 13-15, 2017, Revised Selected Papers
Author 
Rice, Mason. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70395-4
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part II
Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part II
Author 
Yuan, Hanning. editor. Geng, Jing. editor. Bian, Fuling. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3969-0
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Applied Computer Sciences in Engineering 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017, Proceedings
Applied Computer Sciences in Engineering 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017, Proceedings
Author 
Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 López-Santana, Eduyn Ramiro. editor. Villa-Ramírez, José Luis. editor. Ferro-Escobar, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66963-2
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Nature-Inspired Computing and Optimization Theory and Applications
Nature-Inspired Computing and Optimization Theory and Applications
Author 
Patnaik, Srikanta. editor. Yang, Xin-She. editor. Nakamatsu, Kazumi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50920-4
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
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:
142. 
Cover image for Analyzing Emotion in Spontaneous Speech
Analyzing Emotion in Spontaneous Speech
Author 
Chakraborty, Rupayan. author. Pandharipande, Meghna. author. Kopparapu, Sunil Kumar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7674-9
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
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:
144. 
Cover image for Variational Methods in Molecular Modeling
Variational Methods in Molecular Modeling
Author 
Wu, Jianzhong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-2502-0
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems International Workshops of PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings
Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems International Workshops of PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings
Author 
Bajo, Javier. editor. Vale, Zita. editor. Hallenborg, Kasper. editor. Rocha, Ana Paula. editor. Mathieu, Philippe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60285-1
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Mobile Ad Hoc Network Protocols Based on Dissimilarity Metrics
Mobile Ad Hoc Network Protocols Based on Dissimilarity Metrics
Author 
Günes, M. author. Reina, D. G. author. Garcia Campos, J. M. author. Toral, S. L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62740-3
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications
Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications
Author 
Berry, Stuart. editor. Lowndes, Val. editor. Trovati, Marcello. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55417-4
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
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:
149. 
Cover image for Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part III
Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part III
Author 
Li, Kang. editor. Xue, Yusheng. editor. Cui, Shumei. editor. Niu, Qun. editor. Yang, Zhile. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6364-0
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges 7th International Workshop, STACOM 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers
Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges 7th International Workshop, STACOM 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers
Author 
Mansi, Tommaso. editor. McLeod, Kristin. editor. Pop, Mihaela. editor. Rhode, Kawal. editor. Sermesant, Maxime. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-52718-5
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Computer Information Systems and Industrial Management 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings
Computer Information Systems and Industrial Management 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings
Author 
Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. Chaki, Rituparna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59105-6
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Measuring, Modeling and Simulating the Re-adaptation Process of the Human Visual System after Short-Time Glares in Traffic Scenarios
Measuring, Modeling and Simulating the Re-adaptation Process of the Human Visual System after Short-Time Glares in Traffic Scenarios
Author 
Meyer, Benjamin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-14704-4
Format: 
Availability 
Online Library~1
Available:
Copies: