Search Results for Computer. - Narrowed by: Computer simulation.

Applied Computer Science

2026-03-21T23:00:51Z

Author Torbert, Shane. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30866-1
Format: Electronic Resources
Availability Online Library~1

Design and modeling for computer experiments

2026-03-21T23:00:51Z

Author Fang, Kaitai., author. Li, Run-ze. Sudjianto, Agus.
Preferred Shelf Number QA76.9 .C65 F36 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Probability and Statistics for Computer Science

2026-03-21T23:00:51Z

Author Forsyth, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64410-3
Format: Electronic Resources
Availability Online Library~1

Computer Simulations of Space Societies

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Computer Simulation of Thermal Plant Operations

2026-03-21T23:00:51Z

Author O'Kelly, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331461.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4256-1
Format: Electronic Resources
Availability Online Library~1

Systems modeling and computer simulation

2026-03-21T23:00:51Z

Author Kheir, Naim A., 1933- ed.
Preferred Shelf Number QA 76.9.C65 S975 1996
Format: Books
Availability Beytepe Library~1

Introduction to mathematical modeling and computer simulations

2026-03-21T23:00:51Z

Author Mityushev, Vladimir V., author.
Preferred Shelf Number QA76.9 .C65
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781032684284 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Mathematical Insights into Advanced Computer Graphics Techniques

2026-03-21T23:00:51Z

Author Dobashi, Yoshinori. editor. Kaji, Shizuo. editor. Iwasaki, Kei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2850-3
Format: Electronic Resources
Availability Online Library~1

Handbook of Mathematical Models in Computer Vision

2026-03-21T23:00:51Z

Author Paragios, Nikos. editor. Chen, Yunmei. editor. Faugeras, Olivier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28831-7
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I

2026-03-21T23:00:51Z

Author Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82949-9
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II

2026-03-21T23:00:51Z

Author Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82957-4
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III

2026-03-21T23:00:51Z

Author Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-83885-9
Format: Electronic Resources
Availability Online Library~1

Computer-Aided and Machine Learning-Driven Drug Design From Theory to Applications

2026-03-21T23:00:51Z

Author Maltarollo, Vinícius Gonçalves. editor. (orcid)0000-0001-9675-5907 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-76718-0
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

2026-03-21T23:00:51Z

Author Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-25540-4
Format: Electronic Resources
Availability Online Library~1

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

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

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

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II

2026-03-21T23:00:51Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74727-9
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I

2026-03-21T23:00:51Z

Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74718-7
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

2026-03-21T23:00:51Z

Author Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63387-9
Format: Electronic Resources
Availability Online Library~1

Computer Vision Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, Proceedings, Part II

2026-03-21T23:00:51Z

Author Yang, Jinfeng. editor. Hu, Qinghua. editor. Cheng, Ming-Ming. editor. Wang, Liang. editor. (orcid)0000-0001-5224-8647 Liu, Qingshan. editor. (orcid)0000-0002-8161-1780
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7302-1
Format: Electronic Resources
Availability Online Library~1

Computer Vision Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, Proceedings, Part I

2026-03-21T23:00:51Z

Author Yang, Jinfeng. editor. Hu, Qinghua. editor. Cheng, Ming-Ming. editor. Wang, Liang. editor. (orcid)0000-0001-5224-8647 Liu, Qingshan. editor. (orcid)0000-0002-8161-1780
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7299-4
Format: Electronic Resources
Availability Online Library~1

Distributed Computer and Communication Networks 20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017, Proceedings

2026-03-21T23:00:51Z

Author Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66836-9
Format: Electronic Resources
Availability Online Library~1

Computer Vision Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, Proceedings, Part III

2026-03-21T23:00:51Z

Author Yang, Jinfeng. editor. Hu, Qinghua. editor. Cheng, Ming-Ming. editor. Wang, Liang. editor. (orcid)0000-0001-5224-8647 Liu, Qingshan. editor. (orcid)0000-0002-8161-1780
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7305-2
Format: Electronic Resources
Availability Online Library~1

High Performance Computer Applications 6th International Conference, ISUM 2015, Mexico City, Mexico, March 9-13, 2015, Revised Selected Papers

2026-03-21T23:00:51Z

Author Gitler, Isidoro. editor. (orcid)0000-0003-1241-5943 Klapp, Jaime. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-32243-8
Format: Electronic Resources
Availability Online Library~1

Distributed Computer and Communication Networks 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers

2026-03-21T23:00:51Z

Author Vishnevsky, Vladimir. editor. (orcid)0000-0001-7373-4847 Kozyrev, Dmitry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30843-2
Format: Electronic Resources
Availability Online Library~1

Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings

2026-03-21T23:00:51Z

Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45641-6
Format: Electronic Resources
Availability Online Library~1

Social Computing Second International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2016, Harbin, China, August 20-22, 2016, Proceedings, Part I

2026-03-21T23:00:51Z

Author Che, Wanxiang. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Jing, Weipeng. editor. Peng, Shaoliang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2053-7
Format: Electronic Resources
Availability Online Library~1

Distributed Computer and Communication Networks 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers

2026-03-21T23:00:51Z

Author Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51917-3
Format: Electronic Resources
Availability Online Library~1

Social Computing Second International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2016, Harbin, China, August 20-22, 2016, Proceedings, Part II

2026-03-21T23:00:51Z

Author Che, Wanxiang. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Jing, Weipeng. editor. Peng, Shaoliang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2098-8
Format: Electronic Resources
Availability Online Library~1

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

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Information Processing in Computer-Assisted Interventions 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

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

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

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

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Co-designers cultures of computer simulation in architecture

2026-03-21T23:00:51Z

Author Loukissas, Yanni A. (Yanni Alexander)
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part I

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part II

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2010 13th International Conference, Beijing, China, September 20-24, 2010, Proceedings, Part I

2026-03-21T23:00:51Z

Author Jiang, Tianzi. editor. Navab, Nassir. editor. Pluim, Josien P. W. editor. Viergever, Max A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15705-9
Format: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2010 13th International Conference, Beijing, China, September 20-24, 2010, Proceedings, Part III

2026-03-21T23:00:51Z

Author Jiang, Tianzi. editor. Navab, Nassir. editor. Pluim, Josien P. W. editor. Viergever, Max A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15711-0
Format: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2010 13th International Conference, Beijing, China, September 20-24, 2010, Proceedings, Part II

2026-03-21T23:00:51Z

Author Jiang, Tianzi. editor. Navab, Nassir. editor. Pluim, Josien P. W. editor. Viergever, Max A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15745-5
Format: Electronic Resources
Availability Online Library~1

Prostate Cancer Imaging. Computer-Aided Diagnosis, Prognosis, and Intervention International Workshop, Held in Conjunction with MICCAI 2010, Beijing,China, September 24, 2010. Proceedings

2026-03-21T23:00:51Z

Author Madabhushi, Anant. editor. Dowling, Jason. editor. Yan, Pingkun. editor. Fenster, Aaron. editor. Abolmaesumi, Purang. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15989-3
Format: Electronic Resources
Availability Online Library~1

Computer Vision and Computer Graphics. Theory and Applications International Conference VISIGRAPH 2007, Barcelona, Spain, March 8-11, 2007. Revised Selected Papers

2026-03-21T23:00:51Z

Author Braz, José. editor. Ranchordas, Alpesh. editor. Araújo, Hélder J. editor. Pereira, João Madeiras. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89682-1
Format: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2009 12th International Conference, London, UK, September 20-24, 2009, Proceedings, Part II

2026-03-21T23:00:51Z

Author Yang, Guang-Zhong. editor. Hawkes, David. editor. Rueckert, Daniel. editor. Noble, Alison. editor. Taylor, Chris. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04271-3
Format: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2009 12th International Conference, London, UK, September 20-24, 2009, Proceedings, Part I

2026-03-21T23:00:51Z

Author Yang, Guang-Zhong. editor. Hawkes, David. editor. Rueckert, Daniel. editor. Noble, Alison. editor. Taylor, Chris. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04268-3
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2009 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers

2026-03-21T23:00:51Z

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-04772-5
Format: Electronic Resources
Availability Online Library~1

Computer Vision and Computer Graphics. Theory and Applications International Conference, VISIGRAPP 2008, Funchal-Madeira, Portugal, January 22-25, 2008. Revised Selected Papers

2026-03-21T23:00:51Z

Author Ranchordas, AlpeshKumar. editor. Araújo, Hélder J. editor. Pereira, João Madeiras. editor. Braz, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10226-4
Format: Electronic Resources
Availability Online Library~1

HCI and Usability for e-Inclusion 5th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2009, Linz, Austria, November 9-10, 2009 Proceedings

2026-03-21T23:00:51Z

Author Holzinger, Andreas. editor. Miesenberger, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10308-7
Format: Electronic Resources
Availability Online Library~1

Discrete Geometry for Computer Imagery 14th IAPR International Conference, DGCI 2008, Lyon, France, April 16-18, 2008. Proceedings

2026-03-21T23:00:51Z

Author Coeurjolly, David. editor. Sivignon, Isabelle. editor. Tougne, Laure. editor. Dupont, Florent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79126-3
Format: Electronic Resources
Availability Online Library~1

Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers

2026-03-21T23:00:51Z

Author Kapur, Deepak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87827-8
Format: Electronic Resources
Availability Online Library~1

HCI and Usability for Education and Work 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008. Proceedings

2026-03-21T23:00:51Z

Author Holzinger, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89350-9
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Graphics and Computer Vision International Conferences VISAPP and GRAPP 2006, Setúbal, Portugal, February 25-28, 2006, Revised Selected Papers

2026-03-21T23:00:51Z

Author Braz, José. editor. Ranchordas, Alpesh. editor. Araújo, Helder. editor. Jorge, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75274-5
Format: Electronic Resources
Availability Online Library~1

HCI and Usability for Medicine and Health Care Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007 Graz, Austria, November, 22, 2007. Proceedings

2026-03-21T23:00:51Z

Author Holzinger, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76805-0
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers

2026-03-21T23:00:51Z

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-540-75867-9
Format: Electronic Resources
Availability Online Library~1

Discrete Geometry for Computer Imagery 13th International Conference, DGCI 2006, Szeged, Hungary, October 25-27, 2006. Proceedings

2026-03-21T23:00:51Z

Author Kuba, Attila. editor. Nyúl, László G. editor. Palágyi, Kálmán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11907350
Format: Electronic Resources
Availability Online Library~1

Discrete Geometry for Computer Imagery 12th International Conference, DGCI 2005, Poitiers, France, April 13-15, 2005. Proceedings

2026-03-21T23:00:51Z

Author Andres, Eric. editor. Damiand, Guillaume. editor. Lienhardt, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135490
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers

2026-03-21T23:00:51Z

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/11556985
Format: Electronic Resources
Availability Online Library~1

Augmented Reality, Virtual Reality, and Computer Graphics Third International Conference, AVR 2016, Lecce, Italy, June 15-18, 2016. Proceedings, Part II

2026-03-21T23:00:51Z

Author De Paolis, Lucio Tommaso. editor. Mongelli, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40651-0
Format: Electronic Resources
Availability Online Library~1

Augmented Reality, Virtual Reality, and Computer Graphics Third International Conference, AVR 2016, Lecce, Italy, June 15-18, 2016. Proceedings, Part I

2026-03-21T23:00:51Z

Author De Paolis, Lucio Tommaso. editor. Mongelli, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40621-3
Format: Electronic Resources
Availability Online Library~1

Medical Computer Vision: Algorithms for Big Data International Workshop, MCV 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected Papers

2026-03-21T23:00:51Z

Author Menze, Bjoern. editor. Langs, Georg. editor. Montillo, Albert. editor. Kelm, Michael. editor. Müller, Henning. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13972-2
Format: Electronic Resources
Availability Online Library~1

Augmented Environments for Computer-Assisted Interventions 9th International Workshop, AE-CAI 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 14, 2014, Proceedings

2026-03-21T23:00:51Z

Author Linte, Cristian A. editor. Yaniv, Ziv. editor. Fallavollita, Pascal. editor. Abolmaesumi, Purang. editor. Holmes III, David. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10437-9
Format: Electronic Resources
Availability Online Library~1

Modeling and simulation : the computer science of illusion

2026-03-21T23:00:51Z

Author Raczynski, Stanislaw.
Preferred Shelf Number ONLINE
Electronic Access Wiley Online Library
Format: Electronic Resources
Availability Online Library~1

Expanding Senses using Neurotechnology Volume 2 ‒ Brain Computer Interfaces and their Applications

2026-03-21T23:00:51Z

Author Chaudhary, Ujwal. author. (orcid)0000-0002-7887-1012 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78991-5
Format: Electronic Resources
Availability Online Library~1

Expanding Senses using Neurotechnology Volume 1 ‒ Foundation of Brain-Computer Interface Technology

2026-03-21T23:00:51Z

Author Chaudhary, Ujwal. author. (orcid)0000-0002-7887-1012 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-76081-5
Format: Electronic Resources
Availability Online Library~1

Computer models of process dynamics : from Newton to energy fields

2026-03-21T23:00:51Z

Author Rubin, Olis, author.
Preferred Shelf Number QC52 .R83 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119885689
Format: Electronic Resources
Availability Online Library~1

Summer of Simulation 50 Years of Seminal Computer Simulation Research

2026-03-21T23:00:51Z

Author Sokolowski, John. editor. Durak, Umut. editor. Mustafee, Navonil. editor. Tolk, Andreas. editor. (orcid)0000-0002-4201-8757 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17164-3
Format: Electronic Resources
Availability Online Library~1

Computer Simulation Validation Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives

2026-03-21T23:00:51Z

Author Beisbart, Claus. editor. Saam, Nicole J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70766-2
Format: Electronic Resources
Availability Online Library~1

Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings

2026-03-21T23:00:51Z

Author Hřebíček, Jiří. editor. Denzer, Ralf. editor. Schimak, Gerald. editor. Pitner, Tomáš. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89935-0
Format: Electronic Resources
Availability Online Library~1

Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

2026-03-21T23:00:51Z

Author Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66583-2
Format: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings

2026-03-21T23:00:51Z

Author Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. Chaki, Rituparna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59105-6
Format: Electronic Resources
Availability Online Library~1

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

2026-03-21T23:00:51Z

Author Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62075-6
Format: Electronic Resources
Availability Online Library~1

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings

2026-03-21T23:00:51Z

Author Remke, Anne. editor. Haverkort, Boudewijn R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31559-1
Format: Electronic Resources
Availability Online Library~1

Intelligent Systems for Computer Modelling Proceedings of the 1st European-Middle Asian Conference on Computer Modelling 2015, EMACOM 2015

2026-03-21T23:00:51Z

Author Styskala, Vitezslav. editor. Kolosov, Dmitrii. editor. Snasel, Vaclav. editor. Karakeyev, Taalaybek. editor. Abraham, Ajith. editor. (orcid)0000-0002-0169-6738
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-27644-1
Format: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings

2026-03-21T23:00:51Z

Author Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45378-1
Format: Electronic Resources
Availability Online Library~1

Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

2026-03-21T23:00:51Z

Author Kohlhase, Michael. editor. Johansson, Moa. editor. Miller, Bruce. editor. de Moura, Leonardo. editor. Tompa, Frank. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42547-4
Format: Electronic Resources
Availability Online Library~1

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

2026-03-21T23:00:51Z

Author Fiems, Dieter. editor. Paolieri, Marco. editor. Platis, Agapios N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46433-6
Format: Electronic Resources
Availability Online Library~1

Analysis and Simulation of Electrical and Computer Systems

2026-03-21T23:00:51Z

Author Gołębiowski, Lesław. editor. Mazur, Damian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11248-0
Format: Electronic Resources
Availability Online Library~1

Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings

2026-03-21T23:00:51Z

Author Horváth, András. editor. Wolter, Katinka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10885-8
Format: Electronic Resources
Availability Online Library~1

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

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

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

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

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

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part I

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part II

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part IV

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Building Innovation Pipelines through Computer-Aided Innovation 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 – July 1, 2011. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Introduction to Computational Cardiology Mathematical Modeling and Computer Simulation

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Geometric Algebra Computing in Engineering and Computer Science

2026-03-21T23:00:51Z

Author Bayro-Corrochano, Eduardo. editor. Scheuermann, Gerik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-108-0
Format: Electronic Resources
Availability Online Library~1

Computer and Computing Technologies in Agriculture III Third IFIP TC 12 International Conference, CCTA 2009, Beijing, China, October 14-17, 2009, Revised Selected Papers

2026-03-21T23:00:51Z

Author Li, Daoliang. editor. Zhao, Chunjiang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12220-0
Format: Electronic Resources
Availability Online Library~1

Computer and Computing Technologies in Agriculture II, Volume 2 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China

2026-03-21T23:00:51Z

Author Li, Daoliang. editor. Zhao, Chunjiang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0211-5
Format: Electronic Resources
Availability Online Library~1

Computer and Computing Technologies in Agriculture II, Volume 3 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China

2026-03-21T23:00:51Z

Author Zhao, Chunjiang. editor. Li, Daoliang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0213-9
Format: Electronic Resources
Availability Online Library~1

Computer and Computing Technologies in Agriculture II, Volume 1 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China

2026-03-21T23:00:51Z

Author Li, Daoliang. editor. Zhao, Chunjiang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0209-2
Format: Electronic Resources
Availability Online Library~1

Growth and Development of Computer-Aided Innovation Third IFIP WG 5.4 Working Conference, CAI 2009, Harbin, China, August 20-21, 2009. Proceedings

2026-03-21T23:00:51Z

Author Tan, Runhua. editor. Cao, Guozhong. editor. León, Noel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03346-9
Format: Electronic Resources
Availability Online Library~1

Computer And Computing Technologies In Agriculture, Volume I First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007

2026-03-21T23:00:51Z

Author Li, Daoliang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-77251-6
Format: Electronic Resources
Availability Online Library~1

Computer And Computing Technologies In Agriculture, Volume II First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007

2026-03-21T23:00:51Z

Author Li, Daoliang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-77253-0
Format: Electronic Resources
Availability Online Library~1

Computer Algebra Recipes An Advanced Guide to Scientific Modeling

2026-03-21T23:00:51Z

Author Enns, Richard H. author. McGuire, George C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-49333-6
Format: Electronic Resources
Availability Online Library~1

Models for Computer Aided Tolerancing in Design and Manufacturing Selected Conference Papers from the 9th CIRP International Seminar on Computer-Aided Tolerancing, held at Arizona State University, Tempe, Arizona, USA, 10-12 April, 2005

2026-03-21T23:00:51Z

Author Davidson, Joseph K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-5438-6
Format: Electronic Resources
Availability Online Library~1

Programming for Peace Computer-Aided Methods for International Conflict Resolution and Prevention

2026-03-21T23:00:51Z

Author Trappl, Robert. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4390-2
Format: Electronic Resources
Availability Online Library~1

Computer Algebra Recipes An Introductory Guide to the Mathematical Models of Science

2026-03-21T23:00:51Z

Author Enns, Richard H. author. McGuire, George C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-31262-5
Format: Electronic Resources
Availability Online Library~1

Architecture Description Languages IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22–27, 2004, Toulouse, France

2026-03-21T23:00:51Z

Author Dissaux, Pierre. editor. Filali-Amine, Mamoun. editor. Michel, Pierre. editor. Vernadat, François. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106318
Format: Electronic Resources
Availability Online Library~1

High Performance Computational Science and Engineering IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22–27, 2004, Toulouse, France

2026-03-21T23:00:51Z

Author Ng, Michael K. editor. Doncescu, Andrei. editor. Yang, Laurence T. editor. Leng, Tau. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104300
Format: Electronic Resources
Availability Online Library~1

Mathematical modeling and optimization : An essay for the design of computer-based modeling tools

2026-03-21T23:00:51Z

Author Hürlimann, Tony.
Preferred Shelf Number QA 401 H88 1999
Format: Books
Availability Beytepe Library~1

Simulation with Arena

2026-03-21T23:00:51Z

Author Kelton, W. David. Sadowski, Randall P. Zupick, Nancy B.
Preferred Shelf Number QA76.9.C65 K45 2015
Format: Books
Availability Beytepe Library~1

Applied Antifragility in Natural Systems From Principles to Applications

2026-03-21T23:00:51Z

Author Axenie, Cristian. author. (orcid)0000-0001-6184-0546 Bauer, Roman. author. (orcid)0000-0002-7268-9359 López Corona, Oliver. author. West, Jeffrey. author. (orcid)0000-0001-9579-4664 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90391-5
Format: Electronic Resources
Availability Online Library~1

Opportunistic Mobile Networks Advances and Applications

2026-03-21T23:00:51Z

Author Misra, Sudip. author. Saha, Barun Kumar. author. Pal, Sujata. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29031-7
Format: Electronic Resources
Availability Online Library~1

Resource Management for Big Data Platforms Algorithms, Modelling, and High-Performance Computing Techniques

2026-03-21T23:00:51Z

Author Pop, Florin. editor. Kołodziej, Joanna. editor. Di Martino, Beniamino. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44881-7
Format: Electronic Resources
Availability Online Library~1

Digital Make-Believe

2026-03-21T23:00:51Z

Author Turner, Phil. editor. Harviainen, J. Tuomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29553-4
Format: Electronic Resources
Availability Online Library~1

Tangible Interactive Systems Grasping the Real World with Computers

2026-03-21T23:00:51Z

Author Boy, Guy André. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30270-6
Format: Electronic Resources
Availability Online Library~1

Morphological Modeling of Terrains and Volume Data

2026-03-21T23:00:51Z

Author Čomić, Lidija. author. De Floriani, Leila. author. Magillo, Paola. author. Iuricich, Federico. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-2149-2
Format: Electronic Resources
Availability Online Library~1

Guide to Modeling and Simulation of Systems of Systems User’s Reference

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Modeling and Simulating Command and Control For Organizations Under Extreme Situations

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Annual Dynamics of Daylight Variability and Contrast A Simulation-Based Approach to Quantifying Visual Effects in Architecture

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

New Trends in Interaction, Virtual Reality and Modeling

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Web Proxy Cache Replacement Strategies Simulation, Implementation, and Performance Evaluation

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Modeling Trust Context in Networks

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Evolutionary Game Design

2026-03-21T23:00:51Z

Author Browne, Cameron. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2179-4
Format: Electronic Resources
Availability Online Library~1

Markov Decision Processes and the Belief-Desire-Intention Model Bridging the Gap for Autonomous Agents

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Cognition, Communication and Interaction Transdisciplinary Perspectives on Interactive Technology

2026-03-21T23:00:51Z

Author Gill, Satinder. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-927-9
Format: Electronic Resources
Availability Online Library~1

Applied Scientific Computing With Python

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Combinatorial Testing in Cloud Computing

2026-03-21T23:00:51Z

Author Tsai, Wei-Tek. author. Qi, Guanqiu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-4481-6
Format: Electronic Resources
Availability Online Library~1

Introduction to Computational Social Science Principles and Applications

2026-03-21T23:00:51Z

Author Cioffi-Revilla, Claudio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50131-4
Format: Electronic Resources
Availability Online Library~1

Integrating 3D Modeling, Photogrammetry and Design

2026-03-21T23:00:51Z

Author Foster, Shaun. author. Halbstein, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6329-9
Format: Electronic Resources
Availability Online Library~1

Introduction to Computational Social Science Principles and Applications

2026-03-21T23:00:51Z

Author Cioffi-Revilla, Claudio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-5661-1
Format: Electronic Resources
Availability Online Library~1

Variational Regularization of 3D Data Experiments with MATLAB®

2026-03-21T23:00:51Z

Author Montegranario, Hebert. author. Espinosa, Jairo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-0533-1
Format: Electronic Resources
Availability Online Library~1

Systems Modelling and Simulation First International Symposium, SMS 2024, Johor Bahru, Malaysia, December 16-17, 2024, Proceedings

2026-03-21T23:00:51Z

Author Mohamed, Zaharuddin. editor. (orcid)0000-0002-2719-4138 Hassan, Fazilah. editor. (orcid)0000-0003-2992-7355 Tan, Gary. editor. Ahmad, Anita. editor. (orcid)0000-0002-8109-2490 Pei Ling, Leow. editor. (orcid)0000-0001-7930-4717
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4613-5
Format: Electronic Resources
Availability Online Library~1

Modelling and Simulation for Autonomous Systems 10th International Conference, MESAS 2023, Palermo, Italy, October 17-19, 2023, Revised Selected Papers

2026-03-21T23:00:51Z

Author Mazal, Jan. editor. (orcid)0000-0001-5741-558X Fagiolini, Adriano. editor. (orcid)0000-0001-9943-1975 Vasik, Petr. editor. (orcid)0000-0001-6725-7378 Pacillo, Francesco. editor. Bruzzone, Agostino. editor. (orcid)0000-0002-0155-5310
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71397-2
Format: Electronic Resources
Availability Online Library~1

Clean Energy Technology and Energy Storage Systems 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part III

2026-03-21T23:00:51Z

Author Li, Kang. editor. Liu, Kailong. editor. Hu, Yukun. editor. (orcid)0000-0002-7480-4250 Tan, Mao. editor. Zhang, Long. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0232-2
Format: Electronic Resources
Availability Online Library~1

Smart Grid and Cyber Security Technologies 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part II

2026-03-21T23:00:51Z

Author Du, Dajun. editor. Jia, Xinchun. editor. Zhao, Wanqing. editor. Li, Xue. editor. Sun, Xin. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0225-4
Format: Electronic Resources
Availability Online Library~1

Advanced Control and Intelligent Computing Applications 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part IV

2026-03-21T23:00:51Z

Author Peng, Chen. editor. Wang, Yulong. editor. (orcid)0000-0002-6508-0051 Guan, Yanpeng. editor. Sun, Qing. editor. (orcid)0000-0002-9662-2685 Chen, Zhi. editor. (orcid)0000-0002-9307-4871
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0294-0
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

2026-03-21T23:00:51Z

Author Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90643-5
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III

2026-03-21T23:00:51Z

Author Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90660-2
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

2026-03-21T23:00:51Z

Author Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90653-4
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III

2026-03-21T23:00:51Z

Author Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57256-2
Format: Electronic Resources
Availability Online Library~1

Methods and Applications for Modeling and Simulation of Complex Systems 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023, Proceedings, Part I

2026-03-21T23:00:51Z

Author Hassan, Fazilah. editor. (orcid)0000-0003-2992-7355 Sunar, Noorhazirah. editor. Mohd Basri, Mohd Ariffanan. editor. Mahmud, Mohd Saiful Azimi. editor. Ishak, Mohamad Hafis Izran. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7240-1
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

2026-03-21T23:00:51Z

Author Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57249-4
Format: Electronic Resources
Availability Online Library~1

Methods and Applications for Modeling and Simulation of Complex Systems 23rd Asia Simulation Conference, AsiaSim 2024, Kobe, Japan, September 17-20, 2024, Proceedings

2026-03-21T23:00:51Z

Author Saito, Seiki. editor. Tanaka, Satoshi. editor. Li, Liang. editor. Takatori, Satoshi. editor. Tamura, Yuichi. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-7225-4
Format: Electronic Resources
Availability Online Library~1

Algorithmic Game Theory 17th International Symposium, SAGT 2024, Amsterdam, The Netherlands, September 3-6, 2024, Proceedings

2026-03-21T23:00:51Z

Author Schäfer, Guido. editor. (orcid)0000-0002-1923-4902 Ventre, Carmine. editor. (orcid)0000-0003-1464-1215 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71033-9
Format: Electronic Resources
Availability Online Library~1

Structural Decision Diagrams in Digital Test Theory and Applications

2026-03-21T23:00:51Z

Author Ubar, Raimund. author. Raik, Jaan. author. Jenihhin, Maksim. author. Jutman, Artur. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44734-1
Format: Electronic Resources
Availability Online Library~1

Dynamic Data Driven Applications Systems 4th International Conference, DDDAS 2022, Cambridge, MA, USA, October 6-10, 2022, Proceedings

2026-03-21T23:00:51Z

Author Blasch, Erik. editor. Darema, Frederica. editor. Aved, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-52670-1
Format: Electronic Resources
Availability Online Library~1

Methods and Applications for Modeling and Simulation of Complex Systems 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023, Proceedings, Part II

2026-03-21T23:00:51Z

Author Hassan, Fazilah. editor. (orcid)0000-0003-2992-7355 Sunar, Noorhazirah. editor. Mohd Basri, Mohd Ariffanan. editor. Mahmud, Mohd Saiful Azimi. editor. Ishak, Mohamad Hafis Izran. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7243-2
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

2026-03-21T23:00:51Z

Author Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57246-3
Format: Electronic Resources
Availability Online Library~1

Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings

2026-03-21T23:00:51Z

Author Biagioni, Edoardo S. editor. Zheng, Yao. editor. Cheng, Siyao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23597-0
Format: Electronic Resources
Availability Online Library~1

Computational and Information Technologies in Science, Engineering and Education 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers

2026-03-21T23:00:51Z

Author Shokin, Yuri. editor. (orcid)0000-0002-5178-8294 Shaimardanov, Zhassulan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12203-4
Format: Electronic Resources
Availability Online Library~1

Methods and Applications for Modeling and Simulation of Complex Systems 19th Asia Simulation Conference, AsiaSim 2019, Singapore, October 30 – November 1, 2019, Proceedings

2026-03-21T23:00:51Z

Author Tan, Gary. editor. Lehmann, Axel. editor. Teo, Yong Meng. editor. Cai, Wentong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-1078-6
Format: Electronic Resources
Availability Online Library~1

Intersections in Simulation and Gaming: Disruption and Balance Third Australasian Simulation Congress, ASC 2019, Gold Coast, Australia, September 2–5, 2019, Proceedings

2026-03-21T23:00:51Z

Author Naweed, Anjum. editor. (orcid)0000-0002-5534-4295 Bowditch, Lorelle. editor. Sprick, Cyle. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-32-9582-7
Format: Electronic Resources
Availability Online Library~1

VR Technologies in Cultural Heritage First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers

2026-03-21T23:00:51Z

Author Duguleană, Mihai. editor. Carrozzino, Marcello. editor. Gams, Matjaž. editor. Tanea, Iulian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05819-7
Format: Electronic Resources
Availability Online Library~1

Human Mental Workload: Models and Applications Second International Symposium, H-WORKLOAD 2018, Amsterdam, The Netherlands, September 20-21, 2018, Revised Selected Papers

2026-03-21T23:00:51Z

Author Longo, Luca. editor. (orcid)0000-0002-2718-5426 Leva, M. Chiara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14273-5
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

2026-03-21T23:00:51Z

Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17502-3
Format: Electronic Resources
Availability Online Library~1

Simulation Science First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Methods and Applications for Modeling and Simulation of Complex Systems 18th Asia Simulation Conference, AsiaSim 2018, Kyoto, Japan, October 27–29, 2018, Proceedings

2026-03-21T23:00:51Z

Author Li, Liang. editor. Hasegawa, Kyoko. editor. Tanaka, Satoshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2853-4
Format: Electronic Resources
Availability Online Library~1

Artificial Life and Intelligent Agents Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers

2026-03-21T23:00:51Z

Author Lewis, Peter R. editor. Headleand, Christopher J. editor. Battle, Steve. editor. Ritsos, Panagiotis D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90418-4
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing, Networked Control, and Their Engineering Applications International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part II

2026-03-21T23:00:51Z

Author Yue, Dong. editor. Peng, Chen. editor. (orcid)0000-0003-3652-2233 Du, Dajun. editor. Zhang, Tengfei. editor. Zheng, Min. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6373-2
Format: Electronic Resources
Availability Online Library~1

Modeling, Design and Simulation of Systems 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017, Proceedings, Part I

2026-03-21T23:00:51Z

Author Mohamed Ali, Mohamed Sultan. editor. Wahid, Herman. editor. Mohd Subha, Nurul Adilla. editor. Sahlan, Shafishuhaza. editor. Md. Yunus, Mohd Amri. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6463-0
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers

2026-03-21T23:00:51Z

Author James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72044-9
Format: Electronic Resources
Availability Online Library~1

Information Technologies and Mathematical Modelling. Queueing Theory and Applications 16th International Conference, ITMM 2017, Named After A.F. Terpugov, Kazan, Russia, September 29 - October 3, 2017, Proceedings

2026-03-21T23:00:51Z

Author Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Kirpichnikov, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68069-9
Format: Electronic Resources
Availability Online Library~1

Analytical and Computational Methods in Probability Theory First International Conference, ACMPT 2017, Moscow, Russia, October 23-27, 2017, Proceedings

2026-03-21T23:00:51Z

Author Rykov, Vladimir V. editor. Singpurwalla, Nozer D. editor. Zubkov, Andrey M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71504-9
Format: Electronic Resources
Availability Online Library~1

Modeling, Design and Simulation of Systems 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017, Proceedings, Part II

2026-03-21T23:00:51Z

Author Mohamed Ali, Mohamed Sultan. editor. Wahid, Herman. editor. Mohd Subha, Nurul Adilla. editor. Sahlan, Shafishuhaza. editor. Md. Yunus, Mohd Amri. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6502-6
Format: Electronic Resources
Availability Online Library~1

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

2026-03-21T23:00:51Z

Author Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63501-9
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

2026-03-21T23:00:51Z

Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53946-1
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings

2026-03-21T23:00:51Z

Author van der Aalst, Wil. editor. Best, Eike. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57861-3
Format: Electronic Resources
Availability Online Library~1

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

2026-03-21T23:00:51Z

Author Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63121-9
Format: Electronic Resources
Availability Online Library~1

Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers

2026-03-21T23:00:51Z

Author Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67035-5
Format: Electronic Resources
Availability Online Library~1

Human Mental Workload: Models and Applications First International Symposium, H-WORKLOAD 2017, Dublin, Ireland, June 28-30, 2017, Revised Selected Papers

2026-03-21T23:00:51Z

Author Longo, Luca. editor. Leva, M. Chiara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61061-0
Format: Electronic Resources
Availability Online Library~1

Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

2026-03-21T23:00:51Z

Author Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Bortolussi, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66335-7
Format: Electronic Resources
Availability Online Library~1

High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

2026-03-21T23:00:51Z

Author Dutra, Inês. editor. Camacho, Rui. editor. Barbosa, Jorge. editor. Marques, Osni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61982-8
Format: Electronic Resources
Availability Online Library~1

Guide to Scientific Computing in C++

2026-03-21T23:00:51Z

Author Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73132-2
Format: Electronic Resources
Availability Online Library~1

Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings

2026-03-21T23:00:51Z

Author Dennunzio, Alberto. editor. Formenti, Enrico. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58631-1
Format: Electronic Resources
Availability Online Library~1

Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part III

2026-03-21T23:00:51Z

Author Li, Kang. editor. Xue, Yusheng. editor. Cui, Shumei. editor. Niu, Qun. editor. Yang, Zhile. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6364-0
Format: Electronic Resources
Availability Online Library~1

Advanced Computational Methods in Life System Modeling and Simulation International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part I

2026-03-21T23:00:51Z

Author Fei, Minrui. editor. Ma, Shiwei. editor. Li, Xin. editor. Sun, Xin. editor. Jia, Li. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6370-1
Format: Electronic Resources
Availability Online Library~1

Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings

2026-03-21T23:00:51Z

Author Shi, Yuhui. editor. Tan, Kay Chen. editor. Zhang, Mengjie. editor. (orcid)0000-0003-4463-9538 Tang, Ke. editor. Li, Xiaodong. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68759-9
Format: Electronic Resources
Availability Online Library~1

Information Technologies and Mathematical Modelling: Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings

2026-03-21T23:00:51Z

Author Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Gortsev, Alexander. editor. Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Yakupov, Rafael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44615-8
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I

2026-03-21T23:00:51Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A. C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42085-1
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV

2026-03-21T23:00:51Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42089-9
Format: Electronic Resources
Availability Online Library~1

Computational Topology in Image Context 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings

2026-03-21T23:00:51Z

Author Bac, Alexandra. editor. Mari, Jean-Luc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39441-1
Format: Electronic Resources
Availability Online Library~1

Model Design and Simulation Analysis 15th International Conference, AsiaSim 2015, Jeju, Korea, November 4-7, 2015, Revised Selected Papers

2026-03-21T23:00:51Z

Author Ohn, Syng Yup. editor. Chi, Sung Do. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2158-9
Format: Electronic Resources
Availability Online Library~1

Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part I

2026-03-21T23:00:51Z

Author Zhang, Lin. editor. (orcid)0000-0003-1989-6102 Song, Xiao. editor. (orcid)0000-0003-4279-426X Wu, Yunjie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2663-8
Format: Electronic Resources
Availability Online Library~1

Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part II

2026-03-21T23:00:51Z

Author Zhang, Lin. editor. (orcid)0000-0003-1989-6102 Song, Xiao. editor. (orcid)0000-0003-4279-426X Wu, Yunjie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2666-9
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II

2026-03-21T23:00:51Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42108-7
Format: Electronic Resources
Availability Online Library~1

Supercomputing Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected Papers

2026-03-21T23:00:51Z

Author Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55669-7
Format: Electronic Resources
Availability Online Library~1

Cellular Automata 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings

2026-03-21T23:00:51Z

Author El Yacoubi, Samira. editor. Wąs, Jarosław. editor. Bandini, Stefania. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44365-2
Format: Electronic Resources
Availability Online Library~1

Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings

2026-03-21T23:00:51Z

Author Cook, Matthew. editor. Neary, Turlough. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39300-1
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V

2026-03-21T23:00:51Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42092-9
Format: Electronic Resources
Availability Online Library~1

Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

2026-03-21T23:00:51Z

Author Agha, Gul. editor. Van Houdt, Benny. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43425-4
Format: Electronic Resources
Availability Online Library~1

Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part III

2026-03-21T23:00:51Z

Author Zhang, Lin. editor. (orcid)0000-0003-1989-6102 Song, Xiao. editor. (orcid)0000-0003-4279-426X Wu, Yunjie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2669-0
Format: Electronic Resources
Availability Online Library~1

Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part IV

2026-03-21T23:00:51Z

Author Zhang, Lin. editor. (orcid)0000-0003-1989-6102 Song, Xiao. editor. (orcid)0000-0003-4279-426X Wu, Yunjie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2672-0
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

2026-03-21T23:00:51Z

Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29510-7
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III

2026-03-21T23:00:51Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42111-7
Format: Electronic Resources
Availability Online Library~1

Biomedical Simulation 6th International Symposium, ISBMS 2014, Strasbourg, France, October 16-17, 2014, Proceedings

2026-03-21T23:00:51Z

Author Bello, Fernando. editor. Cotin, Stéphane. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12057-7
Format: Electronic Resources
Availability Online Library~1

Parallel Computational Fluid Dynamics 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers

2026-03-21T23:00:51Z

Author Li, Kenli. editor. Xiao, Zheng. editor. Wang, Yan. editor. Du, Jiayi. editor. Li, Keqin. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-53962-6
Format: Electronic Resources
Availability Online Library~1

High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papers

2026-03-21T23:00:51Z

Author Jarvis, Stephen A. editor. Wright, Steven A. editor. Hammond, Simon D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10214-6
Format: Electronic Resources
Availability Online Library~1

AsiaSim 2014 14th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014. Proceedings

2026-03-21T23:00:51Z

Author Tanaka, Satoshi. editor. Hasegawa, Kyoko. editor. Xu, Rui. editor. Sakamoto, Naohisa. editor. Turner, Stephen John. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45289-9
Format: Electronic Resources
Availability Online Library~1

Telematics - Support for Transport 14th International Conference on Transport Systems Telematics, TST 2014, Katowice/Krakow/Ustron, Poland, October 22-25, 2014. Proceedings

2026-03-21T23:00:51Z

Author Mikulski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45317-9
Format: Electronic Resources
Availability Online Library~1

Life System Modeling and Simulation International Conference on Life System Modeling and Simulation, LSMS 2014, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part I

2026-03-21T23:00:51Z

Author Ma, Shiwei. editor. Jia, Li. editor. Li, Xin. editor. Wang, Ling. editor. Zhou, Huiyu. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45283-7
Format: Electronic Resources
Availability Online Library~1

Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives

2026-03-21T23:00:51Z

Author Anderson, Neal G. editor. Bhanja, Sanjukta. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43722-3
Format: Electronic Resources
Availability Online Library~1

Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers

2026-03-21T23:00:51Z

Author Grandinetti, Lucio. editor. Lippert, Thomas. editor. Petkov, Nicolai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12084-3
Format: Electronic Resources
Availability Online Library~1

Bio-inspired Computing: Theories and Applications 9th International Conference, BIC-TA 2014, Wuhan, China, October 16-19, 2014, Proceedings

2026-03-21T23:00:51Z

Author Pan, Linqiang. editor. Paun, Gheorghe. editor. Pérez-Jiménez, Mario J. editor. Song, Tao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45049-9
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing in Smart Grid and Electrical Vehicles International Conference on Life System Modeling and Simulation, LSMS 2014 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part Ⅲ

2026-03-21T23:00:51Z

Author Li, Kang. editor. Xue, Yusheng. editor. Cui, Shumei. editor. Qun, Niu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45286-8
Format: Electronic Resources
Availability Online Library~1

Large-Scale Scientific Computing 9th International Conference, LSSC 2013, Sozopol, Bulgaria, June 3-7, 2013. Revised Selected Papers

2026-03-21T23:00:51Z

Author Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43880-0
Format: Electronic Resources
Availability Online Library~1

Process Simulation and Parametric Modeling for Strategic Project Management

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence IX

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

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

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

KI 2013: Advances in Artificial Intelligence 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence XI

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Pattern Recognition 35th German Conference, GCPR 2013, Saarbrücken, Germany, September 3-6, 2013. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Progress in Artificial Intelligence 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, Angra do Heroísmo, Azores, Portugal, September 9-12, 2013. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part I

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

User-Level Workflow Design A Bioinformatics Perspective

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Information Computing and Applications 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013 Revised Selected Papers, Part II

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Information Computing and Applications 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013, Revised Selected Papers, Part I

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Biomedical Engineering Systems and Technologies 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

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

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Semantics in Data and Knowledge Bases 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Advances on Practical Applications of Agents and Multi-Agent Systems 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence X

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Multi-Agent-Based Simulation XIII International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Intelligent Virtual Agents 13th International Conference, IVA 2013, Edinburgh, UK, August 29-31, 2013. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

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

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Numerical Analysis and Its Applications 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Activities of Transport Telematics 13th International Conference on Transport Systems Telematics, TST 2013, Katowice-Ustroń, Poland, October 23–26, 2013, Selected Papers

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Model and Data Engineering Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Algorithmic Game Theory 6th International Symposium, SAGT 2013, Aachen, Germany, October 21-23, 2013. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

AsiaSim 2013 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

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

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Functional Imaging and Modeling of the Heart 7th International Conference, FIMH 2013, London, UK, June 20-22, 2013. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Multiagent System Technologies 11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Membrane Computing 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Wireless Sensor Networks 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 2012. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency V

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Games, Actions and Social Software Multidisciplinary Aspects

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Eco-friendly Computing and Communication Systems International Conference, ICECCS 2012, Kochi, India, August 9-11, 2012. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Agents for Educational Games and Simulations International Workshop, AEGS 2011, Taipei, Taiwan, May 2, 2011. Revised Papers

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Spatial Cognition VIII International Conference, Spatial Cognition 2012, Kloster Seeon, Germany, August 31 – September 3, 2012. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Artificial Intelligence: Methodology, Systems, and Applications 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Intelligent Virtual Agents 12th International Conference, IVA 2012, Santa Cruz, CA, USA, September, 12-14, 2012. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

KI 2012: Advances in Artificial Intelligence 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Cellular Automata 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Recent Advances in the Message Passing Interface 19th European MPI Users’ Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems VI Special Issue on Database- and Expert-Systems Applications

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part I

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part II

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Guide to Scientific Computing in C++

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Agent and Multi-Agent Systems. Technologies and Applications 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part II

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part I

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IV

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part III

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Pervasive Computing 10th International Conference, Pervasive 2012, Newcastle, UK, June 18-22, 2012. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Breast Imaging 11th International Workshop, IWDM 2012, Philadelphia, PA, USA, July 8-11, 2012. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Computational Logistics Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Model and Data Engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

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

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Computational Methods in Systems Biology 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Energy Efficient Data Centers First International Workshop, E2DC 2012, Madrid, Spain, Mai 8, 2012, Revised Selected Papers

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Multiagent System Technologies 10th German Conference, MATES 2012, Trier, Germany, October 10-12, 2012. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Artificial Immune Systems 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Algorithmic Game Theory 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Advances in Conceptual Modeling ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

Telematics in the Transport Environment 12th International Conference on Transport Systems Telematics, TST 2012, Katowice-Ustroń, Poland, October 10–13, 2012. Selected Papers

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1

AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I

2026-03-21T23:00:51Z

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: Electronic Resources
Availability Online Library~1