Limit Search Results
Author
SpringerLink (Online service)
(719)
Gervasi, Osvaldo. editor.
(34)
Taniar, David. editor.
(31)
Murgante, Beniamino. editor.
(22)
Apduhan, Bernady O. editor.
(18)
Language
Publication Date
-
Subject
Computer simulation.
(712)
Software engineering.
(278)
Artificial intelligence.
(277)
Computer vision.
(150)
Computer software.
(136)
Material Type
Library
Switch to list view
Switch to thumbnail view
720 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
Author 
Kim, Tai-hoon. editor. Ramos, Carlos. editor. Abawajy, Jemal. editor. Kang, Byeong-Ho. editor. Ślęzak, Dominik. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35248-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part I
Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part I
Author 
Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21783-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part II
Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part II
Author 
Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21802-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
Cover image for Epistemological Aspects of Computer Simulation in the Social Sciences Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised Selected and Invited Papers
Epistemological Aspects of Computer Simulation in the Social Sciences Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised Selected and Invited Papers
Author 
Squazzoni, Flaminio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01109-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Gesture-Based Human-Computer Interaction and Simulation 7th International Gesture Workshop, GW 2007, Lisbon, Portugal, May 23-25, 2007, Revised Selected Papers
Gesture-Based Human-Computer Interaction and Simulation 7th International Gesture Workshop, GW 2007, Lisbon, Portugal, May 23-25, 2007, Revised Selected Papers
Author 
Sales Dias, Miguel. editor. Gibet, Sylvie. editor. Wanderley, Marcelo M. editor. Bastos, Rafael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92865-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009. Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009. Proceedings
Author 
Bertels, Koen. editor. Dimopoulos, Nikitas. editor. Silvano, Cristina. editor. Wong, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03138-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings
Author 
Bereković, Mladen. editor. Dimopoulos, Nikitas. editor. Wong, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70550-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings
Author 
Vassiliadis, Stamatis. editor. Bereković, Mladen. editor. Hämäläinen, Timo D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73625-7
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings
Author 
Vassiliadis, Stamatis. editor. Wong, Stephan. editor. Hämäläinen, Timo D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11796435
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Gesture in Human-Computer Interaction and Simulation 6th International Gesture Workshop, GW 2005, Berder Island, France, May 18-20, 2005, Revised Selected Papers
Gesture in Human-Computer Interaction and Simulation 6th International Gesture Workshop, GW 2005, Berder Island, France, May 18-20, 2005, Revised Selected Papers
Author 
Gibet, Sylvie. editor. Courty, Nicolas. editor. Kamp, Jean-François. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11678816
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005. Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005. Proceedings
Author 
Hämäläinen, Timo D. editor. Pimentel, Andy D. editor. Takala, Jarmo. editor. Vassiliadis, Stamatis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138322
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
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:
14. 
Cover image for Simulation Science First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers
Simulation Science First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers
Author 
Baum, Marcus. editor. Brenner, Gunther. editor. Grabowski, Jens. editor. Hanschke, Thomas. editor. Hartmann, Stefan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96271-9
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
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:
16. 
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:
17. 
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:
18. 
Cover image for Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
Author 
Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00151-3
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
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:
20. 
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:
21. 
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:
22. 
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:
23. 
Cover image for Applied Scientific Computing With Python
Applied Scientific Computing With Python
Author 
Turner, Peter R. author. Arildsen, Thomas. author. (orcid)0000-0003-3254-3790 Kavanagh, Kathleen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89575-8
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings
Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings
Author 
Bajo, Javier. editor. Corchado, Juan M. editor. Navarro Martínez, Elena María. editor. Osaba Icedo, Eneko. editor. Mathieu, Philippe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94779-2
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
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:
26. 
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:
27. 
Cover image for Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Author 
Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94111-0
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
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:
29. 
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:
30. 
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:
31. 
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:
32. 
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:
33. 
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:
34. 
Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Author 
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96145-3
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
Author 
McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99154-2
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
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:
37. 
Cover image for Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Author 
Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71734-0
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Author 
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96142-2
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
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:
40. 
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:
41. 
Cover image for Probability and Statistics for Computer Science
Probability and Statistics for Computer Science
Author 
Forsyth, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64410-3
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
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:
43. 
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:
44. 
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:
45. 
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:
46. 
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:
47. 
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:
48. 
Cover image for Modeling and Simulating Command and Control For Organizations Under Extreme Situations
Modeling and Simulating Command and Control For Organizations Under Extreme Situations
Author 
Moon, Il-Chul. author. Carley, Kathleen M. author. Kim, Tag Gon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331124.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5037-4
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
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:
50. 
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:
51. 
Cover image for Annual Dynamics of Daylight Variability and Contrast A Simulation-Based Approach to Quantifying Visual Effects in Architecture
Annual Dynamics of Daylight Variability and Contrast A Simulation-Based Approach to Quantifying Visual Effects in Architecture
Author 
Rockcastle, Siobhan. author. Andersen, Marilyne. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331178.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5233-0
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
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:
53. 
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:
54. 
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:
55. 
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:
56. 
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:
57. 
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:
58. 
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:
59. 
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:
60. 
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:
61. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
Author 
Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334136.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36157-9
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings
Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings
Author 
Berbineau, Marion. editor. Jonsson, Magnus. editor. Bonnin, Jean-Marie. editor. Cherkaoui, Soumaya. editor. Aguado, Marina. editor.
Preferred Shelf Number 
ONLINE(334508.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37974-1
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Advances on Practical Applications of Agents and Multi-Agent Systems 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings
Advances on Practical Applications of Agents and Multi-Agent Systems 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings
Author 
Demazeau, Yves. editor. Ishida, Toru. editor. Corchado, Juan M. editor. Bajo, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334528.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38073-0
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Clinical Image-Based Procedures. From Planning to Intervention International Workshop, CLIP 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers
Clinical Image-Based Procedures. From Planning to Intervention International Workshop, CLIP 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers
Author 
Drechsler, Klaus. editor. Erdt, Marius. editor. Linguraru, Marius George. editor. Oyarzun Laura, Cristina. editor. Sharma, Karun. editor.
Preferred Shelf Number 
ONLINE(334530.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38079-2
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Product-Focused Software Process Improvement 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings
Product-Focused Software Process Improvement 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings
Author 
Heidrich, Jens. editor. Oivo, Markku. editor. Jedlitschka, Andreas. editor. Baldassarre, Maria Teresa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334768.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39259-7
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Intelligent Virtual Agents 13th International Conference, IVA 2013, Edinburgh, UK, August 29-31, 2013. Proceedings
Intelligent Virtual Agents 13th International Conference, IVA 2013, Edinburgh, UK, August 29-31, 2013. Proceedings
Author 
Aylett, Ruth. editor. Krenn, Brigitte. editor. Pelachaud, Catherine. editor. Shimodaira, Hiroshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334943.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40415-3
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV
Author 
Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number 
ONLINE(334830.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39649-6
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Author 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334837.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39698-4
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Numerical Analysis and Its Applications 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers
Numerical Analysis and Its Applications 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers
Author 
Dimov, Ivan. editor. Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335116.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41515-9
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings
Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings
Author 
Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.
Preferred Shelf Number 
ONLINE(335120.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41533-3
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for User-Level Workflow Design A Bioinformatics Perspective
User-Level Workflow Design A Bioinformatics Perspective
Author 
Lamprecht, Anna-Lena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335213.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45389-2
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers
Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers
Author 
Cordeiro, José. editor. Hammoudi, Slimane. editor. Sinderen, Marten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335215.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45404-2
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Information Computing and Applications 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013 Revised Selected Papers, Part II
Information Computing and Applications 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013 Revised Selected Papers, Part II
Author 
Yang, Yuhang. editor. Ma, Maode. editor. Liu, Baoxiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335218.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-53703-5
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I
Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I
Author 
Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335219.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-53856-8
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II
Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II
Author 
Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335220.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-53862-9
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Transactions on Computational Collective Intelligence XI
Transactions on Computational Collective Intelligence XI
Author 
Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335144.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41776-4
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II
Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II
Author 
Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335148.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41908-9
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
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:
79. 
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:
80. 
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:
81. 
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:
82. 
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:
83. 
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:
84. 
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:
85. 
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:
86. 
Cover image for Guide to Modeling and Simulation of Systems of Systems User’s Reference
Guide to Modeling and Simulation of Systems of Systems User’s Reference
Author 
Zeigler, Bernard P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331013.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4570-7
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
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:
88. 
Cover image for Modeling Trust Context in Networks
Modeling Trust Context in Networks
Author 
Adali, Sibel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332190.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7031-1
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
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:
90. 
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:
91. 
Cover image for Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
Author 
Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332934.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02654-1
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Biomedical Engineering Systems and Technologies 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers
Biomedical Engineering Systems and Technologies 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers
Author 
Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333263.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29752-6
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
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:
94. 
Cover image for Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
Author 
Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334055.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35813-5
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers
Author 
Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334071.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35867-8
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Semantics in Data and Knowledge Bases 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers
Semantics in Data and Knowledge Bases 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers
Author 
Schewe, Klaus-Dieter. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334099.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36008-4
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
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:
98. 
Cover image for Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
Author 
Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334120.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36089-3
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
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:
100. 
Cover image for Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers
Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers
Author 
Tribastone, Mirco. editor. Gilmore, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334290.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36781-6
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Transactions on Computational Collective Intelligence IX
Transactions on Computational Collective Intelligence IX
Author 
Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334300.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36815-8
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
Author 
Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334556.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38209-3
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
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:
104. 
Cover image for Transactions on Computational Collective Intelligence X
Transactions on Computational Collective Intelligence X
Author 
Nguyen, Ngoc-Thanh. editor. Kołodziej, Joanna. editor. Burczyński, Tadeusz. editor. Biba, Marenglen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334611.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38496-7
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Information Processing in Computer-Assisted Interventions 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings
Information Processing in Computer-Assisted Interventions 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings
Author 
Barratt, Dean. editor. Cotin, Stéphane. editor. Fichtinger, Gabor. editor. Jannin, Pierre. editor. Navab, Nassir. editor.
Preferred Shelf Number 
ONLINE(334624.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38568-1
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Multi-Agent-Based Simulation XIII International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers
Multi-Agent-Based Simulation XIII International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers
Author 
Giardini, Francesca. editor. Amblard, Frédéric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334684.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38859-0
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Functional Imaging and Modeling of the Heart 7th International Conference, FIMH 2013, London, UK, June 20-22, 2013. Proceedings
Functional Imaging and Modeling of the Heart 7th International Conference, FIMH 2013, London, UK, June 20-22, 2013. Proceedings
Author 
Ourselin, Sébastien. editor. Rueckert, Daniel. editor. Smith, Nicolas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334694.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38899-6
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Author 
Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334698.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38916-0
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
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:
110. 
Cover image for Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings
Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings
Author 
Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334725.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39074-6
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers
Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers
Author 
Weber, Jens. editor. Perseil, Isabelle. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334727.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39088-3
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I
Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I
Author 
Duffy, Vincent G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334742.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39173-6
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Multiagent System Technologies 11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013. Proceedings
Multiagent System Technologies 11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013. Proceedings
Author 
Klusch, Matthias. editor. Thimm, Matthias. editor. Paprzycki, Marcin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335001.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40776-5
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I
Author 
Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number 
ONLINE(334826.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39637-3
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V
Author 
Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number 
ONLINE(334827.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39640-3
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II
Author 
Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number 
ONLINE(334828.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39643-4
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III
Author 
Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number 
ONLINE(334829.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39646-5
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings
Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings
Author 
Pacino, Dario. editor. Voß, Stefan. editor. Jensen, Rune Møller. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335043.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41019-2
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for On the Move to Meaningful Internet Systems: OTM 2013 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings
On the Move to Meaningful Internet Systems: OTM 2013 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings
Author 
Demey, Yan Tang. editor. Panetto, Hervé. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335045.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41033-8
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
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:
121. 
Cover image for Algorithmic Game Theory 6th International Symposium, SAGT 2013, Aachen, Germany, October 21-23, 2013. Proceedings
Algorithmic Game Theory 6th International Symposium, SAGT 2013, Aachen, Germany, October 21-23, 2013. Proceedings
Author 
Vöcking, Berthold. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335101.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41392-6
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Activities of Transport Telematics 13th International Conference on Transport Systems Telematics, TST 2013, Katowice-Ustroń, Poland, October 23–26, 2013, Selected Papers
Activities of Transport Telematics 13th International Conference on Transport Systems Telematics, TST 2013, Katowice-Ustroń, Poland, October 23–26, 2013, Selected Papers
Author 
Mikulski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335135.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41647-7
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Information Computing and Applications 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013, Revised Selected Papers, Part I
Information Computing and Applications 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013, Revised Selected Papers, Part I
Author 
Yang, Yuhang. editor. Ma, Maode. editor. Liu, Baoxiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335224.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-53932-9
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings
Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings
Author 
Ng, Wilfred. editor. Storey, Veda C. editor. Trujillo, Juan C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335150.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41924-9
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
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:
126. 
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:
127. 
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:
128. 
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:
129. 
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:
130. 
Cover image for Web Proxy Cache Replacement Strategies Simulation, Implementation, and Performance Evaluation
Web Proxy Cache Replacement Strategies Simulation, Implementation, and Performance Evaluation
Author 
ElAarag, Hala. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331089.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4893-7
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
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:
132. 
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:
133. 
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:
134. 
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:
135. 
Cover image for Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings
Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings
Author 
Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334871.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39958-9
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Pattern Recognition 35th German Conference, GCPR 2013, Saarbrücken, Germany, September 3-6, 2013. Proceedings
Pattern Recognition 35th German Conference, GCPR 2013, Saarbrücken, Germany, September 3-6, 2013. Proceedings
Author 
Weickert, Joachim. editor. Hein, Matthias. editor. Schiele, Bernt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334977.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40602-7
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Progress in Artificial Intelligence 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, Angra do Heroísmo, Azores, Portugal, September 9-12, 2013. Proceedings
Progress in Artificial Intelligence 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, Angra do Heroísmo, Azores, Portugal, September 9-12, 2013. Proceedings
Author 
Correia, Luís. editor. Reis, Luís Paulo. editor. Cascalho, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334986.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40669-0
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings
Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings
Author 
Gupta, Ashutosh. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334992.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40708-6
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings
Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings
Author 
Balsamo, Maria Simonetta. editor. Knottenbelt, William J. editor. Marin, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334995.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40725-3
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Augmented Reality Environments for Medical Imaging and Computer-Assisted Interventions 6th International Workshop, MIAR 2013 and 8th International Workshop, AE-CAI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings
Augmented Reality Environments for Medical Imaging and Computer-Assisted Interventions 6th International Workshop, MIAR 2013 and 8th International Workshop, AE-CAI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings
Author 
Liao, Hongen. editor. Linte, Cristian A. editor. Masamune, Ken. editor. Peters, Terry M. editor. Zheng, Guoyan. editor.
Preferred Shelf Number 
ONLINE(335016.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40843-4
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings
Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings
Author 
Kari, Jarkko. editor. Kutrib, Martin. editor. Malcher, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335022.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40867-0
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for KI 2013: Advances in Artificial Intelligence 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings
KI 2013: Advances in Artificial Intelligence 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings
Author 
Timm, Ingo J. editor. Thimm, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335031.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40942-4
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Model and Data Engineering Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013. Proceedings
Model and Data Engineering Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013. Proceedings
Author 
Cuzzocrea, Alfredo. editor. Maabout, Sofian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335097.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41366-7
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part I
Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part I
Author 
Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335179.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45025-9
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for AsiaSim 2013 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings
AsiaSim 2013 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings
Author 
Tan, Gary. editor. Yeo, Gee Kin. editor. Turner, Stephen John. editor. Teo, Yong Meng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335181.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45037-2
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
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:
147. 
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:
148. 
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:
149. 
Cover image for Curves and Surfaces 7th International Conference, Avignon, France, June 24 - 30, 2010, Revised Selected Papers
Curves and Surfaces 7th International Conference, Avignon, France, June 24 - 30, 2010, Revised Selected Papers
Author 
Boissonnat, Jean-Daniel. editor. Chenin, Patrick. editor. Cohen, Albert. editor. Gout, Christian. editor. Lyche, Tom. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27413-8
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Programming Multi-Agent Systems 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers
Programming Multi-Agent Systems 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers
Author 
Collier, Rem. editor. Dix, Jürgen. editor. Novák, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28939-2
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
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:
152. 
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:
153. 
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:
154. 
Cover image for Guide to Scientific Computing in C++
Guide to Scientific Computing in C++
Author 
Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2736-9
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
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:
156. 
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:
157. 
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:
158. 
Cover image for Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II
Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II
Author 
Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27579-1
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
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:
160. 
Cover image for Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers
Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers
Author 
Adam, Gheorghe. editor. Buša, Ján. editor. Hnatič, Michal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28212-6
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
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:
162. 
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:
163. 
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:
164. 
Cover image for Games, Actions and Social Software Multidisciplinary Aspects
Games, Actions and Social Software Multidisciplinary Aspects
Author 
Eijck, Jan. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29326-9
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers
Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers
Author 
Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29843-1
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for NETWORKING 2012 Workshops International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, Held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012. Proceedings
NETWORKING 2012 Workshops International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, Held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012. Proceedings
Author 
Becvar, Zdenek. editor. Bestak, Robert. editor. Kencl, Lukas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30039-4
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Computational Topology in Image Context 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012. Proceedings
Computational Topology in Image Context 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012. Proceedings
Author 
Ferri, Massimo. editor. Frosini, Patrizio. editor. Landi, Claudia. editor. Cerri, Andrea. editor. Fabio, Barbara. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30238-1
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
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:
169. 
Cover image for Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
Author 
Brucker, Achim D. editor. Julliand, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30473-6
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Eco-friendly Computing and Communication Systems International Conference, ICECCS 2012, Kochi, India, August 9-11, 2012. Proceedings
Eco-friendly Computing and Communication Systems International Conference, ICECCS 2012, Kochi, India, August 9-11, 2012. Proceedings
Author 
Mathew, Jimson. editor. Patra, Priyadarshan. editor. Pradhan, Dhiraj K. editor. Kuttyamma, A. J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32112-2
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
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:
172. 
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:
173. 
Cover image for Spatial Cognition VIII International Conference, Spatial Cognition 2012, Kloster Seeon, Germany, August 31 – September 3, 2012. Proceedings
Spatial Cognition VIII International Conference, Spatial Cognition 2012, Kloster Seeon, Germany, August 31 – September 3, 2012. Proceedings
Author 
Stachniss, Cyrill. editor. Schill, Kerstin. editor. Uttal, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32732-2
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Artificial Intelligence: Methodology, Systems, and Applications 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012. Proceedings
Artificial Intelligence: Methodology, Systems, and Applications 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012. Proceedings
Author 
Ramsay, Allan. editor. Agre, Gennady. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33185-5
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Intelligent Virtual Agents 12th International Conference, IVA 2012, Santa Cruz, CA, USA, September, 12-14, 2012. Proceedings
Intelligent Virtual Agents 12th International Conference, IVA 2012, Santa Cruz, CA, USA, September, 12-14, 2012. Proceedings
Author 
Nakano, Yukiko. editor. Neff, Michael. editor. Paiva, Ana. editor. Walker, Marilyn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33197-8
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for KI 2012: Advances in Artificial Intelligence 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012. Proceedings
KI 2012: Advances in Artificial Intelligence 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012. Proceedings
Author 
Glimm, Birte. editor. Krüger, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33347-7
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Cellular Automata 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012. Proceedings
Cellular Automata 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012. Proceedings
Author 
Sirakoulis, Georgios Ch. editor. Bandini, Stefania. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33350-7
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems VI Special Issue on Database- and Expert-Systems Applications
Transactions on Large-Scale Data- and Knowledge-Centered Systems VI Special Issue on Database- and Expert-Systems Applications
Author 
Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Liddle, Stephen W. editor. Schewe, Klaus-Dieter. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34179-3
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings
Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings
Author 
Noda, Itsuki. editor. Ando, Noriaki. editor. Brugali, Davide. editor. Kuffner, James J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34327-8
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I
System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I
Author 
Xiao, Tianyuan. editor. Zhang, Lin. editor. Ma, Shiwei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34381-0
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I
AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I
Author 
Xiao, Tianyuan. editor. Zhang, Lin. editor. Fei, Minrui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34384-1
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part III
AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part III
Author 
Xiao, Tianyuan. editor. Zhang, Lin. editor. Fei, Minrui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34387-2
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II
AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II
Author 
Xiao, Tianyuan. editor. Zhang, Lin. editor. Fei, Minrui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34390-2
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II
System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II
Author 
Xiao, Tianyuan. editor. Zhang, Lin. editor. Ma, Shiwei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34396-4
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part I
Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part I
Author 
Huang, Tingwen. editor. Zeng, Zhigang. editor. Li, Chuandong. editor. Leung, Chi Sing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34475-6
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part IV
Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part IV
Author 
Huang, Tingwen. editor. Zeng, Zhigang. editor. Li, Chuandong. editor. Leung, Chi Sing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34478-7
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part II
Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part II
Author 
Huang, Tingwen. editor. Zeng, Zhigang. editor. Li, Chuandong. editor. Leung, Chi Sing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34481-7
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part III
Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part III
Author 
Huang, Tingwen. editor. Zeng, Zhigang. editor. Li, Chuandong. editor. Leung, Chi Sing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34487-9
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V
Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V
Author 
Huang, Tingwen. editor. Zeng, Zhigang. editor. Li, Chuandong. editor. Leung, Chi Sing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34500-5
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Transactions on Computational Collective Intelligence VIII
Transactions on Computational Collective Intelligence VIII
Author 
Nguyen, Ngoc-Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34645-3
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Advances in Artificial Intelligence – IBERAMIA 2012 13th Ibero-American Conference on AI, Cartagena de Indias, Colombia, November 13-16, 2012. Proceedings
Advances in Artificial Intelligence – IBERAMIA 2012 13th Ibero-American Conference on AI, Cartagena de Indias, Colombia, November 13-16, 2012. Proceedings
Author 
Pavón, Juan. editor. Duque-Méndez, Néstor D. editor. Fuentes-Fernández, Rubén. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34654-5
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Motion in Games 5th International Conference, MIG 2012, Rennes, France, November 15-17, 2012. Proceedings
Motion in Games 5th International Conference, MIG 2012, Rennes, France, November 15-17, 2012. Proceedings
Author 
Kallmann, Marcelo. editor. Bekris, Kostas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34710-8
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Simulated Evolution and Learning 9th International Conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012. Proceedings
Simulated Evolution and Learning 9th International Conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012. Proceedings
Author 
Bui, Lam Thu. editor. Ong, Yew Soon. editor. Hoai, Nguyen Xuan. editor. Ishibuchi, Hisao. editor. Suganthan, Ponnuthurai Nagaratnam. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34859-4
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Design and Analysis of Algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings
Design and Analysis of Algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings
Author 
Even, Guy. editor. Rawitz, Dror. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34862-4
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems VII
Transactions on Large-Scale Data- and Knowledge-Centered Systems VII
Author 
Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35332-1
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Transactions on Computational Systems Biology XIV Special Issue on Computational Models for Cell Processes
Transactions on Computational Systems Biology XIV Special Issue on Computational Models for Cell Processes
Author 
Priami, Corrado. editor. Petre, Ion. editor. Vink, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35524-0
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Transactions on Aspect-Oriented Software Development IX
Transactions on Aspect-Oriented Software Development IX
Author 
Leavens, Gary T. editor. Chiba, Shigeru. editor. Haupt, Michael. editor. Ostermann, Klaus. editor. Wohlstadter, Eric. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35551-6
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Agent Based Simulation for a Sustainable Society and Multi-agent Smart Computing International Workshops, PRIMA 2011, Wollongong, Australia, November 14, 2011 Revised Selected Papers
Agent Based Simulation for a Sustainable Society and Multi-agent Smart Computing International Workshops, PRIMA 2011, Wollongong, Australia, November 14, 2011 Revised Selected Papers
Author 
Cranefield, Stephen. editor. Song, Insu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35612-4
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Quantum Interaction 6th International Symposium, QI 2012, Paris, France, June 27-29, 2012, Revised Selected Papers
Quantum Interaction 6th International Symposium, QI 2012, Paris, France, June 27-29, 2012, Revised Selected Papers
Author 
Busemeyer, Jerome R. editor. Dubois, François. editor. Lambert-Mogiliansky, Ariane. editor. Melucci, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35659-9
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
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:
201. 
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:
202. 
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:
203. 
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:
204. 
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:
205. 
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:
206. 
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:
207. 
Cover image for Principles and Practice of Multi-Agent Systems 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers
Principles and Practice of Multi-Agent Systems 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers
Author 
Desai, Nirmit. editor. Liu, Alan. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25920-3
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I
Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I
Author 
Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27549-4
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
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:
210. 
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:
211. 
Cover image for Membrane Computing 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers
Membrane Computing 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers
Author 
Gheorghe, Marian. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Verlan, Sergey. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28024-5
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Wireless Sensor Networks 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 2012. Proceedings
Wireless Sensor Networks 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 2012. Proceedings
Author 
Picco, Gian Pietro. editor. Heinzelman, Wendi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28169-3
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Reconfigurable Computing: Architectures, Tools and Applications 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings
Reconfigurable Computing: Architectures, Tools and Applications 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings
Author 
Choy, Oliver C. S. editor. Cheung, Ray C. C. editor. Athanas, Peter. editor. Sano, Kentaro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28365-9
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Multi-Agent-Based Simulation XII International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers
Multi-Agent-Based Simulation XII International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers
Author 
Villatoro, Daniel. editor. Sabater-Mir, Jordi. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28400-7
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Adaptive and Learning Agents International Workshop, ALA 2011, Held at AAMAS 2011, Taipei, Taiwan, May 2, 2011, Revised Selected Papers
Adaptive and Learning Agents International Workshop, ALA 2011, Held at AAMAS 2011, Taipei, Taiwan, May 2, 2011, Revised Selected Papers
Author 
Vrancx, Peter. editor. Knudson, Matthew. editor. Grześ, Marek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28499-1
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Advances in User Modeling UMAP 2011 Workshops, Girona, Spain, July 11-15, 2011, Revised Selected Papers
Advances in User Modeling UMAP 2011 Workshops, Girona, Spain, July 11-15, 2011, Revised Selected Papers
Author 
Ardissono, Liliana. editor. Kuflik, Tsvi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28509-7
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Latent Variable Analysis and Signal Separation 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings
Latent Variable Analysis and Signal Separation 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings
Author 
Theis, Fabian. editor. Cichocki, Andrzej. editor. Yeredor, Arie. editor. Zibulevsky, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28551-6
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency V
Transactions on Petri Nets and Other Models of Concurrency V
Author 
Jensen, Kurt. editor. Donatelli, Susanna. editor. Kleijn, Jetty. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29072-5
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
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:
220. 
Cover image for Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers
Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers
Author 
Kienzle, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29645-1
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
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:
222. 
Cover image for Agent and Multi-Agent Systems. Technologies and Applications 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings
Agent and Multi-Agent Systems. Technologies and Applications 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings
Author 
Jezic, Gordan. editor. Kusek, Mario. editor. Nguyen, Ngoc-Thanh. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30947-2
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Product-Focused Software Process Improvement 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 Proceedings
Product-Focused Software Process Improvement 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 Proceedings
Author 
Dieste, Oscar. editor. Jedlitschka, Andreas. editor. Juristo, Natalia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31063-8
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part II
Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part II
Author 
Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31075-1
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part I
Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part I
Author 
Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31125-3
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IV
Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IV
Author 
Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31128-4
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part III
Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part III
Author 
Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31137-6
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Pervasive Computing 10th International Conference, Pervasive 2012, Newcastle, UK, June 18-22, 2012. Proceedings
Pervasive Computing 10th International Conference, Pervasive 2012, Newcastle, UK, June 18-22, 2012. Proceedings
Author 
Kay, Judy. editor. Lukowicz, Paul. editor. Tokuda, Hideyuki. editor. Olivier, Patrick. editor. Krüger, Antonio. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31205-2
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Breast Imaging 11th International Workshop, IWDM 2012, Philadelphia, PA, USA, July 8-11, 2012. Proceedings
Breast Imaging 11th International Workshop, IWDM 2012, Philadelphia, PA, USA, July 8-11, 2012. Proceedings
Author 
Maidment, Andrew D. A. editor. Bakic, Predrag R. editor. Gavenonis, Sara. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31271-7
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Agents for Educational Games and Simulations International Workshop, AEGS 2011, Taipei, Taiwan, May 2, 2011. Revised Papers
Agents for Educational Games and Simulations International Workshop, AEGS 2011, Taipei, Taiwan, May 2, 2011. Revised Papers
Author 
Beer, Martin. editor. Brom, Cyril. editor. Dignum, Frank. editor. Soo, Von-Wun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32326-3
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Recent Advances in the Message Passing Interface 19th European MPI Users’ Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings
Recent Advances in the Message Passing Interface 19th European MPI Users’ Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings
Author 
Träff, Jesper Larsson. editor. Benkner, Siegfried. editor. Dongarra, Jack J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33518-1
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Computational Logistics Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012. Proceedings
Computational Logistics Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012. Proceedings
Author 
Hu, Hao. editor. Shi, Xiaoning. editor. Stahlbock, Robert. editor. Voß, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33587-7
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Model and Data Engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings
Model and Data Engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings
Author 
Abelló, Alberto. editor. Bellatreche, Ladjel. editor. Benatallah, Boualem. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33609-6
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for On the Move to Meaningful Internet Systems: OTM 2012 Workshops Confederated International Workshops: OTM Academy, Industry Case Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM, and SOMOCO 2012, Rome, Italy, September 10-14, 2012. Proceedings
On the Move to Meaningful Internet Systems: OTM 2012 Workshops Confederated International Workshops: OTM Academy, Industry Case Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM, and SOMOCO 2012, Rome, Italy, September 10-14, 2012. Proceedings
Author 
Herrero, Pilar. editor. Panetto, Hervé. editor. Meersman, Robert. editor. Dillon, Tharam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33618-8
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Computational Methods in Systems Biology 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings
Computational Methods in Systems Biology 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings
Author 
Gilbert, David. editor. Heiner, Monika. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33636-2
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Energy Efficient Data Centers First International Workshop, E2DC 2012, Madrid, Spain, Mai 8, 2012, Revised Selected Papers
Energy Efficient Data Centers First International Workshop, E2DC 2012, Madrid, Spain, Mai 8, 2012, Revised Selected Papers
Author 
Huusko, Jyrki. editor. Meer, Hermann. editor. Klingert, Sonja. editor. Somov, Andrey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33645-4
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings
Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings
Author 
France, Robert B. editor. Kazmeier, Jürgen. editor. Breu, Ruth. editor. Atkinson, Colin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33666-9
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Multiagent System Technologies 10th German Conference, MATES 2012, Trier, Germany, October 10-12, 2012. Proceedings
Multiagent System Technologies 10th German Conference, MATES 2012, Trier, Germany, October 10-12, 2012. Proceedings
Author 
Timm, Ingo J. editor. Guttmann, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33690-4
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Artificial Immune Systems 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012. Proceedings
Artificial Immune Systems 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012. Proceedings
Author 
Coello Coello, Carlos A. editor. Greensmith, Julie. editor. Krasnogor, Natalio. editor. Liò, Pietro. editor. Nicosia, Giuseppe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33757-4
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Algorithmic Game Theory 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings
Algorithmic Game Theory 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings
Author 
Serna, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33996-7
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Advances in Conceptual Modeling ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012. Proceedings
Advances in Conceptual Modeling ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012. Proceedings
Author 
Castano, Silvana. editor. Vassiliadis, Panos. editor. Lakshmanan, Laks V. editor. Lee, Mong Li. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33999-8
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings
Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings
Author 
Atzeni, Paolo. editor. Cheung, David. editor. Ram, Sudha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34002-4
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Telematics in the Transport Environment 12th International Conference on Transport Systems Telematics, TST 2012, Katowice-Ustroń, Poland, October 10–13, 2012. Selected Papers
Telematics in the Transport Environment 12th International Conference on Transport Systems Telematics, TST 2012, Katowice-Ustroń, Poland, October 10–13, 2012. Selected Papers
Author 
Mikulski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34050-5
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
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:
245. 
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:
246. 
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:
247. 
Cover image for Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
Author 
Cousot, Radhia. editor. Martel, Matthieu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15769-1
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
Author 
Giese, Holger. editor. Karsai, Gabor. editor. Lee, Edward. editor. Rumpe, Bernhard. editor. Schätz, Bernhard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16277-0
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
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:
250. 
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:
251. 
Cover image for Multi-Agent-Based Simulation XI International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers
Multi-Agent-Based Simulation XI International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers
Author 
Bosse, Tibor. editor. Geller, Armando. editor. Jonker, Catholijn M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18345-4
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Reconfigurable Computing: Architectures, Tools and Applications 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings
Reconfigurable Computing: Architectures, Tools and Applications 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings
Author 
Koch, Andreas. editor. Krishnamurthy, Ram. editor. McAllister, John. editor. Woods, Roger. editor. El-Ghazawi, Tarek. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19475-7
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
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:
254. 
Cover image for Engineering Psychology and Cognitive Ergonomics 9th International Conference, EPCE 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedings
Engineering Psychology and Cognitive Ergonomics 9th International Conference, EPCE 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedings
Author 
Harris, Don. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21741-8
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Digital Human Modeling Third International Conference, ICDHM 2011, Held as Part of HCI International 2011, Orlando, FL, USA July 9-14, 2011. Proceedings
Digital Human Modeling Third International Conference, ICDHM 2011, Held as Part of HCI International 2011, Orlando, FL, USA July 9-14, 2011. Proceedings
Author 
Duffy, Vincent G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21799-9
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Product-Focused Software Process Improvement 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings
Product-Focused Software Process Improvement 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings
Author 
Caivano, Danilo. editor. Oivo, Markku. editor. Baldassarre, Maria Teresa. editor. Visaggio, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21843-9
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Research and Education in Robotics - EUROBOT 2011 International Conference, Prague, Czech Republic, June 15-17, 2011. Proceedings
Research and Education in Robotics - EUROBOT 2011 International Conference, Prague, Czech Republic, June 15-17, 2011. Proceedings
Author 
Obdržálek, David. editor. Gottscheber, Achim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21975-7
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
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:
259. 
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:
260. 
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:
261. 
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:
262. 
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:
263. 
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:
264. 
Cover image for Markov Decision Processes and the Belief-Desire-Intention Model Bridging the Gap for Autonomous Agents
Markov Decision Processes and the Belief-Desire-Intention Model Bridging the Gap for Autonomous Agents
Author 
Simari, Gerardo I. author. Parsons, Simon D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1472-8
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Transactions on Aspect-Oriented Software Development VIII
Transactions on Aspect-Oriented Software Development VIII
Author 
Katz, Shmuel. editor. Mezini, Mira. editor. Schwanninger, Christine. editor. Joosen, Wouter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22031-9
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
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:
267. 
Cover image for Artificial Immune Systems 10th International Conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011. Proceedings
Artificial Immune Systems 10th International Conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011. Proceedings
Author 
Liò, Pietro. editor. Nicosia, Giuseppe. editor. Stibor, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22371-6
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Smart Graphics 11th International Symposium, SG 2011, Bremen, Germany, July 18-20, 2011. Proceedings
Smart Graphics 11th International Symposium, SG 2011, Bremen, Germany, July 18-20, 2011. Proceedings
Author 
Dickmann, Lutz. editor. Volkmann, Gerald. editor. Malaka, Rainer. editor. Boll, Susanne. editor. Krüger, Antonio. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22571-0
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Languages, Methodologies, and Development Tools for Multi-Agent Systems Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers
Languages, Methodologies, and Development Tools for Multi-Agent Systems Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers
Author 
Dastani, Mehdi. editor. Fallah Seghrouchni, Amal. editor. Hübner, Jomi. editor. Leite, João. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22723-3
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Hybrid Learning 4th International Conference, ICHL 2011, Hong Kong, China, August 10-12, 2011. Proceedings
Hybrid Learning 4th International Conference, ICHL 2011, Hong Kong, China, August 10-12, 2011. Proceedings
Author 
Kwan, Reggie. editor. Fong, Joseph. editor. Kwok, Lam-for. editor. Lam, Jeanne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22763-9
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Motion in Games 4th International Conference, MIG 2011, Edinburgh, UK, November 13-15, 2011. Proceedings
Motion in Games 4th International Conference, MIG 2011, Edinburgh, UK, November 13-15, 2011. Proceedings
Author 
Allbeck, Jan M. editor. Faloutsos, Petros. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25090-3
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
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:
273. 
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:
274. 
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:
275. 
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:
276. 
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:
277. 
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:
278. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers
Author 
Leuken, René. editor. Sicard, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17752-1
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
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:
280. 
Cover image for Membrane Computing 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers
Membrane Computing 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers
Author 
Gheorghe, Marian. editor. Hinze, Thomas. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18123-8
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Agents for Games and Simulations II Trends in Techniques, Concepts and Design
Agents for Games and Simulations II Trends in Techniques, Concepts and Design
Author 
Dignum, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18181-8
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Biomedical Engineering Systems and Technologies Third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010, Revised Selected Papers
Biomedical Engineering Systems and Technologies Third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010, Revised Selected Papers
Author 
Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18472-7
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
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:
284. 
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:
285. 
Cover image for Transactions on Computational Systems Biology XIII
Transactions on Computational Systems Biology XIII
Author 
Priami, Corrado. editor. Back, Ralph-Johan. editor. Petre, Ion. editor. Vink, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19748-2
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings
Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings
Author 
Marchetti-Spaccamela, Alberto. editor. Segal, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19754-3
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Computing with Instinct Rediscovering Artificial Intelligence
Computing with Instinct Rediscovering Artificial Intelligence
Author 
Cai, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19757-4
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Functional Imaging and Modeling of the Heart 6th International Conference, FIMH 2011, New York City, NY, USA, May 25-27, 2011. Proceedings
Functional Imaging and Modeling of the Heart 6th International Conference, FIMH 2011, New York City, NY, USA, May 25-27, 2011. Proceedings
Author 
Metaxas, Dimitris N. editor. Axel, Leon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21028-0
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
Author 
Swart, Harrie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21070-9
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Models in Software Engineering Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers
Models in Software Engineering Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers
Author 
Dingel, Juergen. editor. Solberg, Arnor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21210-9
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part II
Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part II
Author 
Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Iglesias, Andrés. editor. Taniar, David. editor. Apduhan, Bernady O. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21887-3
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part IV
Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part IV
Author 
Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Iglesias, Andrés. editor. Taniar, David. editor. Apduhan, Bernady O. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21898-9
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part I
Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part I
Author 
Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Iglesias, Andrés. editor. Taniar, David. editor. Apduhan, Bernady O. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21928-3
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part III
Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part III
Author 
Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Iglesias, Andrés. editor. Taniar, David. editor. Apduhan, Bernady O. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21931-3
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part V
Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part V
Author 
Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Iglesias, Andrés. editor. Taniar, David. editor. Apduhan, Bernady O. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21934-4
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for A Hybrid Deliberative Layer for Robotic Agents Fusing DL Reasoning with HTN Planning in Autonomous Robots
A Hybrid Deliberative Layer for Robotic Agents Fusing DL Reasoning with HTN Planning in Autonomous Robots
Author 
Hartanto, Ronny. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22580-2
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Parallel Computing Technologies 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings
Parallel Computing Technologies 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings
Author 
Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23178-0
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
Author 
Yahav, Eran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23702-7
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Prostate Cancer Imaging. Image Analysis and Image-Guided Interventions International Workshop, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 22, 2011. Proceedings
Prostate Cancer Imaging. Image Analysis and Image-Guided Interventions International Workshop, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 22, 2011. Proceedings
Author 
Madabhushi, Anant. editor. Dowling, Jason. editor. Huisman, Henkjan. editor. Barratt, Dean. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23944-1
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets