Limit Search Results
Author
SpringerLink (Online service)
(953)
Gervasi, Osvaldo. editor.
(39)
Taniar, David. editor.
(31)
Apduhan, Bernady O. editor.
(23)
Murgante, Beniamino. editor.
(22)
Language
Publication Date
-
Subject
Computer science.
(789)
Software engineering.
(358)
Artificial intelligence.
(348)
Computer Communication Networks.
(178)
Computer Modelling.
(177)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
971 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Challenge of Transport Telematics 16th International Conference on Transport Systems Telematics, TST 2016, Katowice-Ustroń, Poland, March 16-19, 2016, Selected Papers
Challenge of Transport Telematics 16th International Conference on Transport Systems Telematics, TST 2016, Katowice-Ustroń, Poland, March 16-19, 2016, Selected Papers
Author 
Mikulski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49646-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Distributed Computer and Communication Networks 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers
Distributed Computer and Communication Networks 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers
Author 
Vishnevsky, Vladimir. editor. (orcid)0000-0001-7373-4847 Kozyrev, Dmitry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30843-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Model Design and Simulation Analysis 15th International Conference, AsiaSim 2015, Jeju, Korea, November 4-7, 2015, Revised Selected Papers
Model Design and Simulation Analysis 15th International Conference, AsiaSim 2015, Jeju, Korea, November 4-7, 2015, Revised Selected Papers
Author 
Ohn, Syng Yup. editor. Chi, Sung Do. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-2158-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
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:
6. 
Cover image for Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part I
Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part I
Author 
Zhang, Lin. editor. (orcid)0000-0003-1989-6102 Song, Xiao. editor. (orcid)0000-0003-4279-426X Wu, Yunjie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-2663-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part II
Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part II
Author 
Zhang, Lin. editor. (orcid)0000-0003-1989-6102 Song, Xiao. editor. (orcid)0000-0003-4279-426X Wu, Yunjie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-2666-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
Cover image for Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings
Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings
Author 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45641-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
11. 
Cover image for Computational Logistics 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings
Computational Logistics 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings
Author 
Paias, Ana. editor. Ruthmair, Mario. 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-44896-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
13. 
Cover image for Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III
Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III
Author 
Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42111-7
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Distributed Computer and Communication Networks 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers
Distributed Computer and Communication Networks 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers
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-51917-3
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Biomedical Simulation 6th International Symposium, ISBMS 2014, Strasbourg, France, October 16-17, 2014, Proceedings
Biomedical Simulation 6th International Symposium, ISBMS 2014, Strasbourg, France, October 16-17, 2014, Proceedings
Author 
Bello, Fernando. editor. Cotin, Stéphane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12057-7
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers
Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers
Author 
Grandinetti, Lucio. editor. Lippert, Thomas. editor. Petkov, Nicolai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12084-3
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Computational Logistics 5th International Conference, ICCL 2014, Valparaíso, Chile, September 24-26, 2014, Proceedings
Computational Logistics 5th International Conference, ICCL 2014, Valparaíso, Chile, September 24-26, 2014, Proceedings
Author 
González-Ramírez, Rosa G. editor. Schulte, Frederik. editor. Voß, Stefan. editor. Ceroni Díaz, Jose A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11421-7
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Bio-inspired Computing: Theories and Applications 9th International Conference, BIC-TA 2014, Wuhan, China, October 16-19, 2014, Proceedings
Bio-inspired Computing: Theories and Applications 9th International Conference, BIC-TA 2014, Wuhan, China, October 16-19, 2014, Proceedings
Author 
Pan, Linqiang. editor. Paun, Gheorghe. editor. Pérez-Jiménez, Mario J. editor. Song, Tao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45049-9
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Life System Modeling and Simulation International Conference on Life System Modeling and Simulation, LSMS 2014, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part I
Life System Modeling and Simulation International Conference on Life System Modeling and Simulation, LSMS 2014, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part I
Author 
Ma, Shiwei. editor. Jia, Li. editor. Li, Xin. editor. Wang, Ling. editor. Zhou, Huiyu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45283-7
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Parallel Computational Fluid Dynamics 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers
Parallel Computational Fluid Dynamics 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers
Author 
Li, Kenli. editor. Xiao, Zheng. editor. Wang, Yan. editor. Du, Jiayi. editor. Li, Keqin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-53962-6
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers
Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers
Author 
Cordeiro, José. editor. van Sinderen, Marten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44920-2
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 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-662-43779-7
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Mathematical Methods for Curves and Surfaces 8th International Conference, MMCS 2012, Oslo, Norway, June 28 - July 3, 2012, Revised Selected Papers
Mathematical Methods for Curves and Surfaces 8th International Conference, MMCS 2012, Oslo, Norway, June 28 - July 3, 2012, Revised Selected Papers
Author 
Floater, Michael. editor. Lyche, Tom. editor. Mazure, Marie-Laurence. editor. Morken, Knut. editor. Schumaker, Larry L. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54382-1
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives
Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives
Author 
Anderson, Neal G. editor. Bhanja, Sanjukta. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43722-3
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Large-Scale Scientific Computing 9th International Conference, LSSC 2013, Sozopol, Bulgaria, June 3-7, 2013. Revised Selected Papers
Large-Scale Scientific Computing 9th International Conference, LSSC 2013, Sozopol, Bulgaria, June 3-7, 2013. Revised Selected Papers
Author 
Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43880-0
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings
Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings
Author 
Was, Jaroslaw. editor. Sirakoulis, Georgios. editor. Bandini, Stefania. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11520-7
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Advances in Image and Graphics Technologies Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014. Proceedings
Advances in Image and Graphics Technologies Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014. Proceedings
Author 
Tan, Tieniu. editor. Ruan, Qiuqi. editor. Wang, Shengjin. editor. Ma, Huimin. editor. Huang, Kaiqi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45498-5
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Intelligent Computing in Smart Grid and Electrical Vehicles International Conference on Life System Modeling and Simulation, LSMS 2014 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part Ⅲ
Intelligent Computing in Smart Grid and Electrical Vehicles International Conference on Life System Modeling and Simulation, LSMS 2014 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part Ⅲ
Author 
Li, Kang. editor. Xue, Yusheng. editor. Cui, Shumei. editor. Qun, Niu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45286-8
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Process Design for Natural Scientists An Agile Model-Driven Approach
Process Design for Natural Scientists An Agile Model-Driven Approach
Author 
Lamprecht, Anna-Lena. editor. Margaria, Tiziana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45006-2
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Telematics - Support for Transport 14th International Conference on Transport Systems Telematics, TST 2014, Katowice/Krakow/Ustron, Poland, October 22-25, 2014. Proceedings
Telematics - Support for Transport 14th International Conference on Transport Systems Telematics, TST 2014, Katowice/Krakow/Ustron, Poland, October 22-25, 2014. Proceedings
Author 
Mikulski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45317-9
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for AsiaSim 2014 14th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014. Proceedings
AsiaSim 2014 14th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014. Proceedings
Author 
Tanaka, Satoshi. editor. Hasegawa, Kyoko. editor. Xu, Rui. editor. Sakamoto, Naohisa. editor. Turner, Stephen John. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45289-9
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papers
High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papers
Author 
Jarvis, Stephen A. editor. Wright, Steven A. editor. Hammond, Simon D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10214-6
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Design and modeling for computer experiments
Design and modeling for computer experiments
Author 
Fang, Kaitai., author. Li, Run-ze. Sudjianto, Agus.
Preferred Shelf Number 
QA76.9 .C65 F36 2006
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Simulation Approaches in Transportation Analysis Recent Advances and Challenges
Simulation Approaches in Transportation Analysis Recent Advances and Challenges
Author 
Kitamura, Ryuichi. editor. Kuwahara, Maso. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104513
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Graphs and Algorithms in Communication Networks Studies in Broadband, Optical, Wireless and Ad Hoc Networks
Graphs and Algorithms in Communication Networks Studies in Broadband, Optical, Wireless and Ad Hoc Networks
Author 
Koster, Arie. editor. Muñoz, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02250-0
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings
Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings
Author 
Huang, De-Shuang. editor. Wunsch, Donald C. editor. Levine, Daniel S. editor. Jo, Kang-Hyun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85930-7
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings
Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings
Author 
Huang, De-Shuang. editor. Heutte, Laurent. editor. Loog, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74282-1
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Handbook of dynamic system modeling
Handbook of dynamic system modeling
Author 
Fishwick, Paul A.
Preferred Shelf Number 
QA76.9 .C65 H345 2007
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for From Animals to Animats 17 17th International Conference on Simulation of Adaptive Behavior, SAB 2024, Irvine, CA, USA, September 9-12, 2024, Proceedings
From Animals to Animats 17 17th International Conference on Simulation of Adaptive Behavior, SAB 2024, Irvine, CA, USA, September 9-12, 2024, Proceedings
Author 
Brock, Oliver. editor. (orcid)0000-0002-3719-7754 Krichmar, Jeffrey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71533-4
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Understanding Modelling and Programming
Understanding Modelling and Programming
Author 
Prinz, Andreas. author. (orcid)0000-0002-0646-2877 Møller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260 Fischer, Joachim. author. (orcid)0000-0003-2476-3996 Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71280-7
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Multivariable Control Engineering Problems and their Solutions with GNU Octave
Multivariable Control Engineering Problems and their Solutions with GNU Octave
Author 
Borutzky, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95408-5
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
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:
43. 
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:
44. 
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:
45. 
Cover image for Deep Generative Modeling
Deep Generative Modeling
Author 
Tomczak, Jakub M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64087-2
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Intelligent Systems and Computing
Intelligent Systems and Computing
Author 
Cao, Bing-Yuan. editor. Wang, Shu-Feng. editor. Nasseri, Hadi. editor. Zhong, Yu-Bin. editor. (orcid)0000-0002-0473-0372 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2891-6
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
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:
48. 
Cover image for Systems engineering neural networks
Systems engineering neural networks
Author 
Migliaccio, Alessandro, author. Iannone, Giovanni, author.
Preferred Shelf Number 
QA76.87 .M537 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119902027
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Computer models of process dynamics : from Newton to energy fields
Computer models of process dynamics : from Newton to energy fields
Author 
Rubin, Olis, author.
Preferred Shelf Number 
QC52 .R83 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119885689
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Understanding Behaviour of Distributed Systems Using mCRL2
Understanding Behaviour of Distributed Systems Using mCRL2
Author 
Atif, Muhammad. author. Groote, Jan Friso. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23008-0
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Computational Methods for Biological Models
Computational Methods for Biological Models
Author 
Singh, Harendra. editor. Dutta, Hemen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-5001-0
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Application of Gray System Theory in Fishery Science
Application of Gray System Theory in Fishery Science
Author 
Chen, Xinjun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-0635-2
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Model-based system architecture
Model-based system architecture
Author 
Weilkiens, Tim, author. Lamm, Jesko G., 1976- author. Roth, Stephan, 1968- author. Walker, Markus, 1965- author. John Wiley & Sons.
Preferred Shelf Number 
TA168 .W45 2022
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119746683
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Computational modeling and simulation examples in bioengineering
Computational modeling and simulation examples in bioengineering
Author 
Filipovic, Nenad, 1970- editor.
Preferred Shelf Number 
R856 .C66 2022
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119563983
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Modeling and simulation in Python
Modeling and simulation in Python
Author 
Kinser, Jason M., 1962- author.
Preferred Shelf Number 
QA76.9 .C65
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/e/9781003226581
Taylor & Francis https://www.taylorfrancis.com/books/9781003226581
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part I
Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part I
Author 
Jia, Min. editor. (orcid)0000-0003-3551-8654 Guo, Qing. editor. Meng, Weixiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19153-5
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
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:
58. 
Cover image for Neural Modeling of Speech Processing and Speech Learning An Introduction
Neural Modeling of Speech Processing and Speech Learning An Introduction
Author 
Kröger, Bernd J. author. Bekolay, Trevor. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-15853-8
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Computer Simulation Validation Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives
Computer Simulation Validation Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives
Author 
Beisbart, Claus. editor. Saam, Nicole J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70766-2
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part II
Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part II
Author 
Jia, Min. editor. (orcid)0000-0003-3551-8654 Guo, Qing. editor. Meng, Weixiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19156-6
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Ad Hoc Networks 11th EAI International Conference, ADHOCNETS 2019, Queenstown, New Zealand, November 18–21, 2019, Proceedings
Ad Hoc Networks 11th EAI International Conference, ADHOCNETS 2019, Queenstown, New Zealand, November 18–21, 2019, Proceedings
Author 
Zheng, Jun. editor. Li, Cheng. editor. (orcid)0000-0003-3424-2414 Chong, Peter Han Joo. editor. Meng, Weixiao. editor. Yan, Feng. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-37262-0
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
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:
63. 
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:
64. 
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:
65. 
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:
66. 
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:
67. 
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:
68. 
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:
69. 
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:
70. 
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:
71. 
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:
72. 
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:
73. 
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:
74. 
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:
75. 
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:
76. 
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:
77. 
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:
78. 
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:
79. 
Cover image for Nature Inspired Computing Proceedings of CSI 2015
Nature Inspired Computing Proceedings of CSI 2015
Author 
Panigrahi, Bijaya Ketan. editor. Hoda, M. N. editor. Sharma, Vinod. editor. Goel, Shivendra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6747-1
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
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:
81. 
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:
82. 
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:
83. 
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:
84. 
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:
85. 
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:
86. 
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:
87. 
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:
88. 
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:
89. 
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:
90. 
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:
91. 
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:
92. 
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:
93. 
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:
94. 
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:
95. 
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:
96. 
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:
97. 
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:
98. 
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:
99. 
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:
100. 
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:
101. 
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:
102. 
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:
103. 
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:
104. 
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:
105. 
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:
106. 
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:
107. 
Cover image for Toward Robotic Socially Believable Behaving Systems - Volume I Modeling Emotions
Toward Robotic Socially Believable Behaving Systems - Volume I Modeling Emotions
Author 
Esposito, Anna. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31056-5
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Context-Enhanced Information Fusion Boosting Real-World Performance with Domain Knowledge
Context-Enhanced Information Fusion Boosting Real-World Performance with Domain Knowledge
Author 
Snidaro, Lauro. editor. García, Jesús. editor. (orcid)0000-0003-1768-2688 Llinas, James. editor. Blasch, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28971-7
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for The Vienna LTE-Advanced Simulators Up and Downlink, Link and System Level Simulation
The Vienna LTE-Advanced Simulators Up and Downlink, Link and System Level Simulation
Author 
Rupp, Markus. author. Schwarz, Stefan. author. Taranetz, Martin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-0617-3
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
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:
111. 
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:
112. 
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:
113. 
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:
114. 
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:
115. 
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:
116. 
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:
117. 
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:
118. 
Cover image for Statistical Analysis of Noise in MRI Modeling, Filtering and Estimation
Statistical Analysis of Noise in MRI Modeling, Filtering and Estimation
Author 
Aja-Fernández, Santiago. author. Vegas-Sánchez-Ferrero, Gonzalo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39934-8
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
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:
120. 
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:
121. 
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:
122. 
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:
123. 
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:
124. 
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:
125. 
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:
126. 
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:
127. 
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:
128. 
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:
129. 
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:
130. 
Cover image for Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges 6th International Workshop, STACOM 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers
Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges 6th International Workshop, STACOM 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers
Author 
Camara, Oscar. editor. Mansi, Tommaso. editor. Pop, Mihaela. editor. Rhode, Kawal. editor. Sermesant, Maxime. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28712-6
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
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:
132. 
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:
133. 
Cover image for Critical Infrastructure Protection X 10th IFIP WG 11.10 International Conference, ICCIP 2016, Arlington, VA, USA, March 14-16, 2016, Revised Selected Papers
Critical Infrastructure Protection X 10th IFIP WG 11.10 International Conference, ICCIP 2016, Arlington, VA, USA, March 14-16, 2016, 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-48737-3
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
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:
135. 
Cover image for Principles of object oriented modeling and simulation with Modelica 3.3 : a cyber-physical approach
Principles of object oriented modeling and simulation with Modelica 3.3 : a cyber-physical approach
Author 
Fritzson, Peter A., 1952-
Preferred Shelf Number 
ONLINE(342108.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
John Wiley http://dx.doi.org/10.1002/9781118989166
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for A practical guide to SysML : the systems modeling language
A practical guide to SysML : the systems modeling language
Author 
Friedenthal, Sanford, author. Moore, Alan, 1961- author. Steiner, Rick, author.
Preferred Shelf Number 
ONLINE(355422.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128002025
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
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:
138. 
Cover image for Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings
Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings
Author 
Mendes, Pedro. editor. Dada, Joseph O. editor. Smallbone, Kieran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12982-2
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
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:
140. 
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:
141. 
Cover image for Advances in Artificial Intelligence -- IBERAMIA 2014 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014, Proceedings
Advances in Artificial Intelligence -- IBERAMIA 2014 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014, Proceedings
Author 
Bazzan, Ana L.C. editor. Pichara, Karim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12027-0
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Modelling and Simulation of Diffusive Processes Methods and Applications
Modelling and Simulation of Diffusive Processes Methods and Applications
Author 
Basu, S.K. editor. Kumar, Naveen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05657-9
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
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:
144. 
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:
145. 
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:
146. 
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:
147. 
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:
148. 
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:
149. 
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:
150. 
Cover image for Visual Heritage in the Digital Age
Visual Heritage in the Digital Age
Author 
Ch'ng, Eugene. editor. Gaffney, Vincent. editor. Chapman, Henry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331214.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5535-5
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
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:
152. 
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:
153. 
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:
154. 
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:
155. 
Cover image for Quality Management in Reverse Logistics A Broad Look on Quality Issues and Their Interaction with Closed-Loop Supply Chains
Quality Management in Reverse Logistics A Broad Look on Quality Issues and Their Interaction with Closed-Loop Supply Chains
Author 
Nikolaidis, Yiannis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331003.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4537-0
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Understanding Statistics Using R
Understanding Statistics Using R
Author 
Schumacker, Randall. author. Tomek, Sara. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331978.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6227-9
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for New Geometric Data Structures for Collision Detection and Haptics
New Geometric Data Structures for Collision Detection and Haptics
Author 
Weller, René. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332832.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01020-5
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
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:
159. 
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:
160. 
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:
161. 
Cover image for Decision Support Systems II - Recent Developments Applied to DSS Network Environments Euro Working Group Workshop, EWG-DSS 2012, Liverpool, UK, April 12-13, 2012, and Vilnius, Lithuania, July 8-11, 2012, Revised Selected and Extended Papers
Decision Support Systems II - Recent Developments Applied to DSS Network Environments Euro Working Group Workshop, EWG-DSS 2012, Liverpool, UK, April 12-13, 2012, and Vilnius, Lithuania, July 8-11, 2012, Revised Selected and Extended Papers
Author 
Hernández, Jorge E. editor. Liu, Shaofeng. editor. Delibašić, Boris. editor. Zaraté, Pascale. editor. Dargam, Fátima. editor.
Preferred Shelf Number 
ONLINE(335053.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41077-2
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
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:
163. 
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:
164. 
Cover image for Grundkurs Künstliche Intelligenz Eine praxisorientierte Einführung
Grundkurs Künstliche Intelligenz Eine praxisorientierte Einführung
Author 
Ertel, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(338326.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2157-7
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
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:
166. 
Cover image for Preventive Methods for Coastal Protection Towards the Use of Ocean Dynamics for Pollution Control
Preventive Methods for Coastal Protection Towards the Use of Ocean Dynamics for Pollution Control
Author 
Soomere, Tarmo. editor. Quak, Ewald. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332753.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00440-2
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers
Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers
Author 
Glass, Kristin. editor. Colbaugh, Richard. editor. Ormerod, Paul. editor. Tsao, Jeffrey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332975.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03473-7
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
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:
169. 
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:
170. 
Cover image for Automatic trend estimation
Automatic trend estimation
Author 
Vamos¸, C˘alin. author. Cr˘aciun, Maria. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335830.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4825-5
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Agent-Based Modelling of Socio-Technical Systems
Agent-Based Modelling of Socio-Technical Systems
Author 
Dam, Koen H. editor. Nikolic, Igor. editor. Lukszo, Zofia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335852.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4933-7
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for 100 Minuten für Konfigurationsmanagement Kompaktes Wissen nicht nur für Projektleiter und Entwickler
100 Minuten für Konfigurationsmanagement Kompaktes Wissen nicht nur für Projektleiter und Entwickler
Author 
Grande, Marcus. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(338353.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2308-3
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
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:
174. 
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:
175. 
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:
176. 
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:
177. 
Cover image for Advanced Computing
Advanced Computing
Author 
Bader, Michael. editor. Bungartz, Hans-Joachim. editor. Weinzierl, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334664.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38762-3
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for A Journey from Robot to Digital Human Mathematical Principles and Applications with MATLAB Programming
A Journey from Robot to Digital Human Mathematical Principles and Applications with MATLAB Programming
Author 
Gu, Edward Y L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334717.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39047-0
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Human Aspects in Ambient Intelligence Contemporary Challenges and Solutions
Human Aspects in Ambient Intelligence Contemporary Challenges and Solutions
Author 
Bosse, Tibor. editor. Cook, Diane J. editor. Neerincx, Mark. editor. Sadri, Fariba. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336488.1)
Electronic Access 
http://dx.doi.org/10.2991/978-94-6239-018-8
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Decision Aid Models for Disaster Management and Emergencies
Decision Aid Models for Disaster Management and Emergencies
Author 
Vitoriano, Begoña. editor. Montero, Javier. editor. Ruan, Da. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336490.1)
Electronic Access 
http://dx.doi.org/10.2991/978-94-91216-74-9
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
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:
182. 
Cover image for Solving the Mind-Body Problem by the CODAM Neural Model of Consciousness?
Solving the Mind-Body Problem by the CODAM Neural Model of Consciousness?
Author 
Taylor, John G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336368.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-7645-6
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
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:
184. 
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:
185. 
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:
186. 
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:
187. 
Cover image for Testbeds and Research Infrastructure. Development of Networks and Communities 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers
Testbeds and Research Infrastructure. Development of Networks and Communities 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers
Author 
Korakis, Thanasis. editor. Li, Hongbin. editor. Tran-Gia, Phuoc. editor. Park, Hong-Shik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29273-6
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers
Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers
Author 
Ser, Javier. editor. Jorswieck, Eduard Axel. editor. Miguez, Joaquin. editor. Matinmikko, Marja. editor. Palomar, Daniel P. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29479-2
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Ad Hoc Networks Third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011, Revised Selected Papers
Ad Hoc Networks Third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011, Revised Selected Papers
Author 
Simplot-Ryl, David. editor. Dias de Amorim, Marcelo. editor. Giordano, Silvia. editor. Helmy, Ahmed. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29096-1
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Wireless Mobile Communication and Healthcare Second International ICST Conference, MobiHealth 2011, Kos Island, Greece, October 5-7, 2011. Revised Selected Papers
Wireless Mobile Communication and Healthcare Second International ICST Conference, MobiHealth 2011, Kos Island, Greece, October 5-7, 2011. Revised Selected Papers
Author 
Nikita, Konstantina S. editor. Lin, James C. editor. Fotiadis, Dimitrios I. editor. Arredondo Waldmeyer, Maria-Teresa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29734-2
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Decision Support Systems – Collaborative Models and Approaches in Real Environments Euro Working Group Workshops, EWG-DSS 2011, London, UK, June 23-24, 2011, and Paris, France, November 30 - December 1, 2011, Revised Selected and Extended Papers
Decision Support Systems – Collaborative Models and Approaches in Real Environments Euro Working Group Workshops, EWG-DSS 2011, London, UK, June 23-24, 2011, and Paris, France, November 30 - December 1, 2011, Revised Selected and Extended Papers
Author 
Hernández, Jorge E. editor. Zarate, Pascale. editor. Dargam, Fátima. editor. Delibašić, Boris. editor. Liu, Shaofeng. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32191-7
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
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:
193. 
Cover image for Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
Author 
Janssen, Jeroen. Schockaert, Steven. Vermeir, Dirk. de Cock, Martine. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.2991/978-94-91216-59-6
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Theoretical Foundations of Artificial General Intelligence
Theoretical Foundations of Artificial General Intelligence
Author 
Wang, Pei. editor. Goertzel, Ben. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.2991/978-94-91216-62-6
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Inverse Analyses with Model Reduction Proper Orthogonal Decomposition in Structural Mechanics
Inverse Analyses with Model Reduction Proper Orthogonal Decomposition in Structural Mechanics
Author 
Buljak, Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22703-5
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Solving Differential Equations in R
Solving Differential Equations in R
Author 
Soetaert, Karline. author. Cash, Jeff. author. Mazzia, Francesca. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28070-2
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Uncertainty Quantification in Scientific Computing 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers
Uncertainty Quantification in Scientific Computing 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers
Author 
Dienstfrey, Andrew M. editor. Boisvert, Ronald F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32677-6
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Critical Infrastructure Protection VI 6th IFIP WG 11.10 International Conference, ICCIP 2012, Washington, DC, USA, March 19-21, 2012, Revised Selected Papers
Critical Infrastructure Protection VI 6th IFIP WG 11.10 International Conference, ICCIP 2012, Washington, DC, USA, March 19-21, 2012, Revised Selected Papers
Author 
Butts, Jonathan. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35764-0
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Industrial used of formal method formal verification
Industrial used of formal method formal verification
Author 
Boulanger, Jean-Louis.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley http://dx.doi.org/10.1002/9781118561829
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Earth System Modelling - Volume 2 Algorithms, Code Infrastructure and Optimisation
Earth System Modelling - Volume 2 Algorithms, Code Infrastructure and Optimisation
Author 
Bonaventura, Luca. author. Redler, René. author. Budich, Reinhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23831-4
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Competence in High Performance Computing 2010 Proceedings of an International Conference on Competence in High Performance Computing, June 2010, Schloss Schwetzingen, Germany
Competence in High Performance Computing 2010 Proceedings of an International Conference on Competence in High Performance Computing, June 2010, Schloss Schwetzingen, Germany
Author 
Bischof, Christian. editor. Hegering, Heinz-Gerd. editor. Nagel, Wolfgang E. editor. Wittum, Gabriel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24025-6
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Proceedings of the 20th International Meshing Roundtable
Proceedings of the 20th International Meshing Roundtable
Author 
Quadros, William Roshan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24734-7
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part III
Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part III
Author 
Li, Daoliang. editor. Chen, Yingyi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27275-2
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part II
Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part II
Author 
Li, Daoliang. editor. Chen, Yingyi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27278-3
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part I
Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part I
Author 
Li, Daoliang. editor. Chen, Yingyi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27281-3
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Precision Assembly Technologies and Systems 6th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2012, Chamonix, France, February 12-15, 2012. Proceedings
Precision Assembly Technologies and Systems 6th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2012, Chamonix, France, February 12-15, 2012. Proceedings
Author 
Ratchev, Svetan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28163-1
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Model-Based Development and Evolution of Information Systems A Quality Approach
Model-Based Development and Evolution of Information Systems A Quality Approach
Author 
Krogstie, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2936-3
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Behavior Computing Modeling, Analysis, Mining and Decision
Behavior Computing Modeling, Analysis, Mining and Decision
Author 
Cao, Longbing. editor. Yu, Philip S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2969-1
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Computational Complexity Theory, Techniques, and Applications
Computational Complexity Theory, Techniques, and Applications
Author 
Meyers, Robert A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1800-9
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for An Introduction to Modern Mathematical Computing With Mathematica®
An Introduction to Modern Mathematical Computing With Mathematica®
Author 
Borwein, Jonathan M. author. Skerritt, Matthew P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4253-0
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Data-Driven Methods for Adaptive Spoken Dialogue Systems Computational Learning for Conversational Interfaces
Data-Driven Methods for Adaptive Spoken Dialogue Systems Computational Learning for Conversational Interfaces
Author 
Lemon, Oliver. editor. Pietquin, Olivier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4803-7
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Recht ex machina Formalisierung des Rechts im Internet der Dienste
Recht ex machina Formalisierung des Rechts im Internet der Dienste
Author 
Raabe, Oliver. author. Wacker, Richard. author. Oberle, Daniel. author. Baumann, Christian. author. Funk, Christian. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17671-5
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
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:
214. 
Cover image for Mobile Intention Recognition
Mobile Intention Recognition
Author 
Kiefer, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1854-2
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Pyomo – Optimization Modeling in Python
Pyomo – Optimization Modeling in Python
Author 
Hart, William E. author. Laird, Carl. author. Watson, Jean-Paul. author. Woodruff, David L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3226-5
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Finite Element Modeling for Materials Engineers Using MATLAB®
Finite Element Modeling for Materials Engineers Using MATLAB®
Author 
Oluwole, Oluleke. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-661-0
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Human-in-the-Loop Simulations Methods and Practice
Human-in-the-Loop Simulations Methods and Practice
Author 
Rothrock, Ling. editor. Narayanan, S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-883-6
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Haptic Interaction with Deformable Objects Modelling VR Systems for Textiles
Haptic Interaction with Deformable Objects Modelling VR Systems for Textiles
Author 
Böttcher, Guido. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-935-2
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Fast Numerical Methods for Mixed-Integer Nonlinear Model-Predictive Control
Fast Numerical Methods for Mixed-Integer Nonlinear Model-Predictive Control
Author 
Kirches, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-8202-8
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Quality and Reliability of Large-Eddy Simulations II
Quality and Reliability of Large-Eddy Simulations II
Author 
Salvetti, Maria Vittoria. editor. Geurts, Bernard. editor. Meyers, Johan. editor. Sagaut, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0231-8
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Social Understanding On Hermeneutics, Geometrical Models and Artificial Intelligence
Social Understanding On Hermeneutics, Geometrical Models and Artificial Intelligence
Author 
Klüver, Jürgen. author. Klüver, Christina. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9911-2
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Model-Based Software Performance Analysis
Model-Based Software Performance Analysis
Author 
Cortellessa, Vittorio. author. Di Marco, Antinisca. author. Inverardi, Paola. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13621-4
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
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:
224. 
Cover image for Technische Informatik Band 2: Entwurf digitaler Schaltungen
Technische Informatik Band 2: Entwurf digitaler Schaltungen
Author 
Kemnitz, Günter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17447-6
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part I
Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part I
Author 
Li, Daoliang. editor. Liu, Yande. editor. Chen, Yingyi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18333-1
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part II
Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part II
Author 
Li, Daoliang. editor. Liu, Yande. editor. Chen, Yingyi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18336-2
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part IV
Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part IV
Author 
Li, Daoliang. editor. Liu, Yande. editor. Chen, Yingyi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18369-0
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Building Innovation Pipelines through Computer-Aided Innovation 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 – July 1, 2011. Proceedings
Building Innovation Pipelines through Computer-Aided Innovation 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 – July 1, 2011. Proceedings
Author 
Cavallucci, Denis. editor. Guio, Roland. editor. Cascini, Gaetano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22182-8
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Engineering Applications of Neural Networks 12th INNS EANN-SIG International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, AIAI 2011, Corfu, Greece, September 15-18, 2011, Proceedings Part I
Engineering Applications of Neural Networks 12th INNS EANN-SIG International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, AIAI 2011, Corfu, Greece, September 15-18, 2011, Proceedings Part I
Author 
Iliadis, Lazaros. editor. Jayne, Chrisina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23957-1
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for The Synthesis of Three Dimensional Haptic Textures: Geometry, Control, and Psychophysics
The Synthesis of Three Dimensional Haptic Textures: Geometry, Control, and Psychophysics
Author 
Campion, Gianni. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-576-7
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for An Introduction to Modern Mathematical Computing With Maple™
An Introduction to Modern Mathematical Computing With Maple™
Author 
Borwein, Jonathan M. author. Skerritt, Matthew P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0122-3
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Triadic Game Design Balancing Reality, Meaning and Play
Triadic Game Design Balancing Reality, Meaning and Play
Author 
Harteveld, Casper. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-157-8
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
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:
234. 
Cover image for Testbeds and Research Infrastructures. Development of Networks and Communities 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers
Testbeds and Research Infrastructures. Development of Networks and Communities 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers
Author 
Magedanz, Thomas. editor. Gavras, Anastasius. editor. Thanh, Nguyen Huu. editor. Chase, Jeffry S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17851-1
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Fundamentals of Scientific Computing
Fundamentals of Scientific Computing
Author 
Gustafsson, Bertil. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19495-5
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Social Media Modeling and Computing
Social Media Modeling and Computing
Author 
Hoi, Steven C.H. editor. Luo, Jiebo. editor. Boll, Susanne. editor. Xu, Dong. editor. Jin, Rong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-436-4
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Handbook of Mobile Ad Hoc Networks for Mobility Models
Handbook of Mobile Ad Hoc Networks for Mobility Models
Author 
Roy, Radhika Ranjan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6050-4
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for IUTAM Symposium on Turbulence in the Atmosphere and Oceans Proceedings of the IUTAM Symposium on Turbulence in the Atmosphere and Oceans, Cambridge, UK, December 8 ─ 12, 2008
IUTAM Symposium on Turbulence in the Atmosphere and Oceans Proceedings of the IUTAM Symposium on Turbulence in the Atmosphere and Oceans, Cambridge, UK, December 8 ─ 12, 2008
Author 
Dritschel, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0360-5
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Mathematical Modeling of Biosensors An Introduction for Chemists and Mathematicians
Mathematical Modeling of Biosensors An Introduction for Chemists and Mathematicians
Author 
Baronas, Romas. author. Ivanauskas, Feliksas. author. Kulys, Juozas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-3243-0
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
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:
241. 
Cover image for Power System Modelling and Scripting
Power System Modelling and Scripting
Author 
Milano, Federico. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13669-6
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Intelligent Infrastructures
Intelligent Infrastructures
Author 
Negenborn, Rudy R. editor. Lukszo, Zofia. editor. Hellendoorn, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-3598-1
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Simulating Complex Systems by Cellular Automata
Simulating Complex Systems by Cellular Automata
Author 
Kroc, Jiri. editor. Sloot, Peter M.A. editor. Hoekstra, Alfons G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12203-3
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Ad Hoc Networks Second International Conference, ADHOCNETS 2010, Victoria, BC, Canada, August 18-20, 2010, Revised Selected Papers
Ad Hoc Networks Second International Conference, ADHOCNETS 2010, Victoria, BC, Canada, August 18-20, 2010, Revised Selected Papers
Author 
Zheng, Jun. editor. Simplot-Ryl, David. editor. Leung, Victor C. M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17994-5
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Mobile Lightweight Wireless Systems Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers
Mobile Lightweight Wireless Systems Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers
Author 
Chatzimisios, Periklis. editor. Verikoukis, Christos. editor. Santamaría, Ignacio. editor. Laddomada, Massimiliano. editor. Hoffmann, Oliver. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16644-0
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
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:
247. 
Cover image for Multivariate Nonparametric Methods with R An approach based on spatial signs and ranks
Multivariate Nonparametric Methods with R An approach based on spatial signs and ranks
Author 
Oja, Hannu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0468-3
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Modeling and Simulation in Scilab/Scicos with ScicosLab 4.4
Modeling and Simulation in Scilab/Scicos with ScicosLab 4.4
Author 
Campbell, Stephen L. author. Chancelier, Jean-Philippe. author. Nikoukhah, Ramine. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-5527-2
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Modeling and Simulating Bodies and Garments
Modeling and Simulating Bodies and Garments
Author 
Magnenat-Thalmann, Nadia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-263-6
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Finite-element-model Updating Using Computional Intelligence Techniques Applications to Structural Dynamics
Finite-element-model Updating Using Computional Intelligence Techniques Applications to Structural Dynamics
Author 
Marwala, Tshilidzi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-323-7
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Introduction to Modeling for Biosciences
Introduction to Modeling for Biosciences
Author 
Barnes, David J. author. Chu, Dominique. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-326-8
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for QVT - Operational Mappings Modellierung mit der Query Views Transformation
QVT - Operational Mappings Modellierung mit der Query Views Transformation
Author 
Nolte, Siegfried. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92293-3
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Evolution of Communication and Language in Embodied Agents
Evolution of Communication and Language in Embodied Agents
Author 
Nolfi, Stefano. editor. Mirolli, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01250-1
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Sensitivity Analysis for Neural Networks
Sensitivity Analysis for Neural Networks
Author 
Yeung, Daniel S. author. Cloete, Ian. author. Shi, Daming. author. Ng, Wing W. Y. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02532-7
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Stochastic Models for Fault Tolerance Restart, Rejuvenation and Checkpointing
Stochastic Models for Fault Tolerance Restart, Rejuvenation and Checkpointing
Author 
Wolter, Katinka. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11257-7
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Arts and Technology First International Conference, ArtsIT 2009, Yi-Lan, Taiwan, September 24-25, 2009, Revised Selected Papers
Arts and Technology First International Conference, ArtsIT 2009, Yi-Lan, Taiwan, September 24-25, 2009, Revised Selected Papers
Author 
Huang, Fay. editor. Wang, Reen-Cheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11577-6
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Precision Assembly Technologies and Systems 5th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2010, Chamonix, France, February 14-17, 2010. Proceedings
Precision Assembly Technologies and Systems 5th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2010, Chamonix, France, February 14-17, 2010. Proceedings
Author 
Ratchev, Svetan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11598-1
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Advanced Manufacturing and Sustainable Logistics 8th International Heinz Nixdorf Symposium, IHNS 2010, Paderborn, Germany, April 21-22, 2010. Proceedings
Advanced Manufacturing and Sustainable Logistics 8th International Heinz Nixdorf Symposium, IHNS 2010, Paderborn, Germany, April 21-22, 2010. Proceedings
Author 
Dangelmaier, Wilhelm. editor. Blecken, Alexander. editor. Delius, Robin. editor. Klöpfer, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12494-5
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Computer and Computing Technologies in Agriculture III Third IFIP TC 12 International Conference, CCTA 2009, Beijing, China, October 14-17, 2009, Revised Selected Papers
Computer and Computing Technologies in Agriculture III Third IFIP TC 12 International Conference, CCTA 2009, Beijing, China, October 14-17, 2009, Revised Selected Papers
Author 
Li, Daoliang. editor. Zhao, Chunjiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12220-0
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Intentional Perspectives on Information Systems Engineering
Intentional Perspectives on Information Systems Engineering
Author 
Nurcan, Selmin. editor. Salinesi, Camille. editor. Souveyet, Carine. editor. Ralyté, Jolita. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12544-7
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Balanced Automation Systems for Future Manufacturing Networks 9th IFIP WG 5.5 International Conference, BASYS 2010, Valencia, Spain, July 21-23, 2010. Proceedings
Balanced Automation Systems for Future Manufacturing Networks 9th IFIP WG 5.5 International Conference, BASYS 2010, Valencia, Spain, July 21-23, 2010. Proceedings
Author 
Ortiz, Ángel. editor. Franco, Rubén Darío. editor. Gasquet, Pedro Gómez. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14341-0
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Introducing Monte Carlo Methods with R
Introducing Monte Carlo Methods with R
Author 
Robert, Christian. author. Casella, George. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-1576-4
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Applied Probability
Applied Probability
Author 
Lange, Kenneth. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7165-4
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Queueing Theory for Telecommunications Discrete Time Modelling of a Single Node System
Queueing Theory for Telecommunications Discrete Time Modelling of a Single Node System
Author 
Alfa, Attahiru Sule. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7314-6
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Technology for Modelling Electrical Analogies, Engineering Practice, and the Development of Analogue Computing
Technology for Modelling Electrical Analogies, Engineering Practice, and the Development of Analogue Computing
Author 
Care, Charles. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-948-0
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Run-time Models for Self-managing Systems and Applications
Run-time Models for Self-managing Systems and Applications
Author 
Ardagna, Danilo. editor. Zhang, Li. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-0346-0433-8
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Bayesian Computation with R
Bayesian Computation with R
Author 
Albert, Jim.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=277058
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Mathematical modeling and simulation introduction for scientists and engineers
Mathematical modeling and simulation introduction for scientists and engineers
Author 
Velten, Kai. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=482349
John Wiley http://dx.doi.org/10.1002/9783527627608
http://swb.eblib.com/patron/FullRecord.aspx?p=482349
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Advances in Computational Vision and Medical Image Processing Methods and Applications
Advances in Computational Vision and Medical Image Processing Methods and Applications
Author 
Tavares, João Manuel R. S. editor. Jorge, R. M. Natal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9086-8
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Computer and Computing Technologies in Agriculture II, Volume 1 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China
Computer and Computing Technologies in Agriculture II, Volume 1 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China
Author 
Li, Daoliang. editor. Zhao, Chunjiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0209-2
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Computer and Computing Technologies in Agriculture II, Volume 2 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China
Computer and Computing Technologies in Agriculture II, Volume 2 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China
Author 
Li, Daoliang. editor. Zhao, Chunjiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0211-5
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Computer and Computing Technologies in Agriculture II, Volume 3 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China
Computer and Computing Technologies in Agriculture II, Volume 3 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China
Author 
Zhao, Chunjiang. editor. Li, Daoliang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0213-9
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
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:
274. 
Cover image for Foundations of Systems Biology Using Cell Illustrator® and Pathway Databases
Foundations of Systems Biology Using Cell Illustrator® and Pathway Databases
Author 
Nagasaki, Masao. author. Saito, Ayumu. author. Doi, Atsushi. author. Matsuno, Hiroshi. author. Miyano, Satoru. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-023-4
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Artificial Life Models in Hardware
Artificial Life Models in Hardware
Author 
Adamatzky, Andrew. editor. Komosinski, Maciej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-530-7
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Recent Advances in the 3D Physiological Human
Recent Advances in the 3D Physiological Human
Author 
Magnenat-Thalmann, Nadia. editor. Zhang, Jian J. editor. Feng, David D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-565-9
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for 100 Volumes of ‘Notes on Numerical Fluid Mechanics’ 40 Years of Numerical Fluid Mechanics and Aerodynamics in Retrospect
100 Volumes of ‘Notes on Numerical Fluid Mechanics’ 40 Years of Numerical Fluid Mechanics and Aerodynamics in Retrospect
Author 
Hirschel, Ernst Heinrich. editor. Krause, Egon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70805-6
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Bee-Inspired Protocol Engineering From Nature to Networks
Bee-Inspired Protocol Engineering From Nature to Networks
Author 
Farooq, Muddassar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85954-3
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Visualizing Sustainable Planning
Visualizing Sustainable Planning
Author 
Hagen, Hans. editor. Guhathakurta, Subhrajit. editor. Steinebach, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88203-9
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for QVT - Relations Language Modellierung mit der Query Views Transformation
QVT - Relations Language Modellierung mit der Query Views Transformation
Author 
Nolte, Siegfried. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92171-4
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Coloured Petri Nets Modelling and Validation of Concurrent Systems
Coloured Petri Nets Modelling and Validation of Concurrent Systems
Author 
Jensen, Kurt. author. Kristensen, Lars M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b95112
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Electronic Healthcare First International Conference, eHealth 2008, London, UK, September 8-9, 2008. Revised Selected Papers
Electronic Healthcare First International Conference, eHealth 2008, London, UK, September 8-9, 2008. Revised Selected Papers
Author 
Weerasinghe, Dasun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00413-1
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Nano-Net Third International ICST Conference, NanoNet 2008, Boston, MA, USA, September 14-16, 2008, Revised Selected Papers
Nano-Net Third International ICST Conference, NanoNet 2008, Boston, MA, USA, September 14-16, 2008, Revised Selected Papers
Author 
Cheng, Maggie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02427-6
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Growth and Development of Computer-Aided Innovation Third IFIP WG 5.4 Working Conference, CAI 2009, Harbin, China, August 20-21, 2009. Proceedings
Growth and Development of Computer-Aided Innovation Third IFIP WG 5.4 Working Conference, CAI 2009, Harbin, China, August 20-21, 2009. Proceedings
Author 
Tan, Runhua. editor. Cao, Guozhong. editor. León, Noel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03346-9
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Dynamic Modeling of Diseases and Pests
Dynamic Modeling of Diseases and Pests
Author 
Hannon, Bruce. author. Ruth, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09560-8
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Advances in Modeling Agricultural Systems
Advances in Modeling Agricultural Systems
Author 
Pardalos, Panos M. editor. Papajorgji, Petraq J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-75181-8
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Explorations in Monte Carlo Methods
Explorations in Monte Carlo Methods
Author 
Shonkwiler, Ronald W. author. Mendivil, Franklin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-87837-9
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08
Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08
Author 
Radetzki, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9714-0
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Scientific Modeling and Simulations
Scientific Modeling and Simulations
Author 
Yip, Sidney. editor. Rubia, Tomás Diaz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9741-6
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Artificial Intelligence Applications and Innovations III
Artificial Intelligence Applications and Innovations III
Author 
Iliadis. editor. Maglogiann. editor. Tsoumakasis. editor. Vlahavas. editor. Bramer. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0221-4
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms
Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms
Author 
Gomes, Abel J. P. editor. Voiculescu, Irina. editor. Jorge, Joaquim. editor. Wyvill, Brian. editor. Galbraith, Callum. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-406-5
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Parallel Computing Numerics, Applications, and Trends
Parallel Computing Numerics, Applications, and Trends
Author 
Trobec, Roman. editor. Vajteršic, Marián. editor. Zinterhof, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-409-6
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Artificial Life Models in Software
Artificial Life Models in Software
Author 
Komosinski, Maciej. editor. Adamatzky, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-285-6
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
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:
295. 
Cover image for Digitally Archiving Cultural Objects
Digitally Archiving Cultural Objects
Author 
Ikeuchi, Katsushi. author. Miyazaki, Daisuke. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-75807
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Simulation and Inference for Stochastic Differential Equations With R Examples
Simulation and Inference for Stochastic Differential Equations With R Examples
Author 
Iacus, Stefano M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-75839-8
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
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:
298. 
Cover image for ARIS Design Platform Advanced Process Modelling and Administration
ARIS Design Platform Advanced Process Modelling and Administration
Author 
Davis, Rob. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-111-4
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Handbook of Large-Scale Random Networks
Handbook of Large-Scale Random Networks
Author 
Bollobás, Béla. editor. Kozma, Robert. editor. Miklós, Dezső. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69395-6
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Swarm Intelligence Introduction and Applications
Swarm Intelligence Introduction and Applications
Author 
Blum, Christian. editor. Merkle, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74089-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action