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

Computer simulation using particles

2024-11-08T15:23:23Z

Author Hockney, Roger W. Eastwood, James W.
Preferred Shelf Number ONLINE
Electronic Access book distributed by Taylor & Francis Group. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Computer Simulation of Thermal Plant Operations

2024-11-08T15:23:23Z

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

Time reversability, computer simulation, algorithms, chaos

2024-11-08T15:23:23Z

Author Hoover, William G. (William Graham), 1936- Hoover, Carol Griswold.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=479883
Format: Electronic Resources
Availability Online Library~1

Fluid simulation for computer graphics

2024-11-08T15:23:23Z

Author Bridson, Robert, 1976-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Oscillator Design and Computer Simulation

2024-11-08T15:23:23Z

Author Rhea, Randell W.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1049/SBEW023E
Format: Electronic Resources
Availability Online Library~1

HF Filter Design and Computer Simulation

2024-11-08T15:23:23Z

Author Rhea, Randall W.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1049/SBEW010E
Format: Electronic Resources
Availability Online Library~1

Computer simulation of materials at atomic level

2024-11-08T15:23:23Z

Author Deák, Péter. Frauenheim, Thomas. Pederson, Mark Roger. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/3527603107 HathiTrust Digital Library Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/43069165.html MyiLibrary, Table of contents http://www.myilibrary.com?id=55955&ref=toc
Format: Electronic Resources
Availability Online Library~1

Co-designers cultures of computer simulation in architecture

2024-11-08T15:23:23Z

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

Modeling and simulation : the computer science of illusion

2024-11-08T15:23:23Z

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

Embedded Computer Systems: Architectures, Modeling, and Simulation 23rd International Conference, SAMOS 2023, Samos, Greece, July 2-6, 2023, Proceedings

2024-11-08T15:23:23Z

Author Silvano, Cristina. editor. Pilato, Christian. editor. Reichenbach, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521320.1)
Electronic Access https://doi.org/10.1007/978-3-031-46077-7
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 19th International Conference, SAMOS 2019, Samos, Greece, July 7–11, 2019, Proceedings

2024-11-08T15:23:23Z

Author Pnevmatikatos, Dionisios N. editor. Pelcat, Maxime. editor. Jung, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27562-4
Format: Electronic Resources
Availability Online Library~1

Hypothesis-Driven Simulation Studies Assistance for the Systematic Design and Conducting of Computer Simulation Experiments

2024-11-08T15:23:23Z

Author Lorig, Fabian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-27588-4
Format: Electronic Resources
Availability Online Library~1

Summer of Simulation 50 Years of Seminal Computer Simulation Research

2024-11-08T15:23:23Z

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

Advanced methodologies and technologies in artificial intelligence, computer simulation, and human-computer interaction

2024-11-08T15:23:23Z

Author Khosrow-Pour, Mehdi, 1951- editor. IGI Global, publisher.
Preferred Shelf Number ONLINE
Electronic Access Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7368-5
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T15:23:23Z

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

Analysis and Simulation of Electrical and Computer Systems

2024-11-08T15:23:23Z

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

Computer-aided graphing and simulation tools for AutoCAD users

2024-11-08T15:23:23Z

Author Simionescu, P. A., 1968- author.
Preferred Shelf Number ONLINE(356711.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Testing and Validation of Computer Simulation Models Principles, Methods and Applications

2024-11-08T15:23:23Z

Author Murray-Smith, David J. author. SpringerLink (Online service)
Preferred Shelf Number XX(518652.1)
Electronic Access https://doi.org/10.1007/978-3-319-15099-4
Format: Electronic Resources
Availability Online Library~1

Social Interaction, Globalization and Computer-Aided Analysis A Practical Guide to Developing Social Simulation

2024-11-08T15:23:23Z

Author Osherenko, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6260-5
Format: Electronic Resources
Availability Online Library~1

The practical OPNET user guide for computer network simulation

2024-11-08T15:23:23Z

Author Sethi, Adarshpal S. Hnatyshin, Vasil Y.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Technology computer aided design simulation for VLSI MOSFET

2024-11-08T15:23:23Z

Author Sarkar, Chandan Kumar, editor of compilation.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Simulating nature a philosohpical study of computer-simulation uncertainties and their role in climate science and policy advice

2024-11-08T15:23:23Z

Author Petersen, Arthur C. (Arthur Caesar), 1970-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Health Care Evaluation Using Computer Simulation Concepts, Methods, and Applications

2024-11-08T15:23:23Z

Author Sobolev, Boris. author. Sanchez, Victor. author. Kuramoto, Lisa. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-2233-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

2024-11-08T15:23:23Z

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

Computer Simulation Study of Collective Phenomena in Dense Suspensions of Red Blood Cells under Shear

2024-11-08T15:23:23Z

Author Krüger, Timm. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-2376-2
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

2024-11-08T15:23:23Z

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

2024-11-08T15:23:23Z

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

Introduction to Computational Cardiology Mathematical Modeling and Computer Simulation

2024-11-08T15:23:23Z

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

Embedded Computer Systems: Architectures, Modeling, and Simulation 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009. Proceedings

2024-11-08T15:23:23Z

Author Bertels, Koen. editor. Dimopoulos, Nikitas. editor. Silvano, Cristina. editor. Wong, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03138-0
Format: Electronic Resources
Availability Online Library~1

Electromagnetism and interconnections advanced mathematical tools for computer-aided simulation

2024-11-08T15:23:23Z

Author Charruau, Stephane. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470611838 http://site.ebrary.com/lib/alltitles/Doc?id=10361210
Format: Electronic Resources
Availability Online Library~1

Advanced Computer Simulation Approaches for Soft Matter Sciences III

2024-11-08T15:23:23Z

Author Holm, Christian. editor. Kremer, Kurt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87706-6
Format: Electronic Resources
Availability Online Library~1

Gesture-Based Human-Computer Interaction and Simulation 7th International Gesture Workshop, GW 2007, Lisbon, Portugal, May 23-25, 2007, Revised Selected Papers

2024-11-08T15:23:23Z

Author Sales Dias, Miguel. editor. Gibet, Sylvie. editor. Wanderley, Marcelo M. editor. Bastos, Rafael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92865-2
Format: Electronic Resources
Availability Online Library~1

Epistemological Aspects of Computer Simulation in the Social Sciences Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised Selected and Invited Papers

2024-11-08T15:23:23Z

Author Squazzoni, Flaminio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01109-2
Format: Electronic Resources
Availability Online Library~1

Computer Simulation and Data Analysis in Molecular Biology and Biophysics An Introduction Using R

2024-11-08T15:23:23Z

Author Bloomfield, Victor. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0083-8
Format: Electronic Resources
Availability Online Library~1

Computer Simulation Studies in Condensed-Matter Physics XIX Proceedings of the NineteenthWorkshop Athens, GA, USA, February 20–24, 2006

2024-11-08T15:23:23Z

Author Landau, D. P. editor. Lewis, S. P. editor. Schöttler, H. B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85625-2
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings

2024-11-08T15:23:23Z

Author Bereković, Mladen. editor. Dimopoulos, Nikitas. editor. Wong, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70550-5
Format: Electronic Resources
Availability Online Library~1

Chemical engineering dynamics an introduction to modelling and computer simulation

2024-11-08T15:23:23Z

Author Ingham, John, Dr. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9783527614219
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings

2024-11-08T15:23:23Z

Author Vassiliadis, Stamatis. editor. Bereković, Mladen. editor. Hämäläinen, Timo D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73625-7
Format: Electronic Resources
Availability Online Library~1

Computer Simulation Studies in Condensed-Matter Physics XVI

2024-11-08T15:23:23Z

Author Landau, David P. editor. Lewis, Steven P. editor. Schütler, Heinz-Bernd. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137808
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings

2024-11-08T15:23:23Z

Author Vassiliadis, Stamatis. editor. Wong, Stephan. editor. Hämäläinen, Timo D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11796435
Format: Electronic Resources
Availability Online Library~1

Gesture in Human-Computer Interaction and Simulation 6th International Gesture Workshop, GW 2005, Berder Island, France, May 18-20, 2005, Revised Selected Papers

2024-11-08T15:23:23Z

Author Gibet, Sylvie. editor. Courty, Nicolas. editor. Kamp, Jean-François. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11678816
Format: Electronic Resources
Availability Online Library~1

Computer Simulation Studies in Condensed-Matter Physics XVIII Proceedings of the Eighteenth Workshop Athens, GA, USA, March 7–11, 2005

2024-11-08T15:23:23Z

Author Landau, David P. editor. Lewis, Steven P. editor. Schüttler, Heinz-Bernd. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-32640-3
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005. Proceedings

2024-11-08T15:23:23Z

Author Hämäläinen, Timo D. editor. Pimentel, Andy D. editor. Takala, Jarmo. editor. Vassiliadis, Stamatis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138322
Format: Electronic Resources
Availability Online Library~1

Advanced Computer Simulation Approaches for Soft Matter Sciences I

2024-11-08T15:23:23Z

Author Holm, Christian. editor. Kremer, Kurt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b98052
Format: Electronic Resources
Availability Online Library~1

Advanced Computer Simulation Approaches for Soft Matter Sciences II

2024-11-08T15:23:23Z

Author Holm, Christian. editor. Kremer, Kurt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136792
Format: Electronic Resources
Availability Online Library~1

Reliable methods for computer simulation error control and a posteriori estimates

2024-11-08T15:23:23Z

Author Neittaanmäki, P. (Pekka) Repin, Sergey I.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444513762
Format: Electronic Resources
Availability Online Library~1

Microstructures, mechanical properties and processes--computer simulation and modelling

2024-11-08T15:23:23Z

Author European Conference on Advanced Materials and Processes (6th : 1999 : Munich, Germany) Bréchet, Yves. Deutsche Gesellschaft für Materialkunde. Federation of European Materials Societies. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/3527606157
Format: Electronic Resources
Availability Online Library~1

Computational modelling and simulation of aircraft and the environment

2024-11-08T15:23:23Z

Author Diston, Dominic J.
Preferred Shelf Number ONLINE
Electronic Access Books24x7 http://www.books24x7.com/marc.asp?bookid=33686 John Wiley http://dx.doi.org/10.1002/9780470744130 http://site.ebrary.com/lib/alltitles/Doc?id=10313614
Format: Electronic Resources
Availability Online Library~1

Distributed Computer and Communication Networks 25th International Conference, DCCN 2022, Moscow, Russia, September 26-29, 2022, Revised Selected Papers

2024-11-08T15:23:23Z

Author Vishnevskiy, Vladimir M. editor. Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520232.1)
Electronic Access https://doi.org/10.1007/978-3-031-30648-8
Format: Electronic Resources
Availability Online Library~1

Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III

2024-11-08T15:23:23Z

Author Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520246.1)
Electronic Access https://doi.org/10.1007/978-981-99-2449-3
Format: Electronic Resources
Availability Online Library~1

Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part II

2024-11-08T15:23:23Z

Author Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520264.1)
Electronic Access https://doi.org/10.1007/978-3-031-23947-2
Format: Electronic Resources
Availability Online Library~1

Computer Supported Cooperative Work and Social Computing 17th CCF Conference, ChineseCSCW 2022, Taiyuan, China, November 25-27, 2022, Revised Selected Papers, Part I

2024-11-08T15:23:23Z

Author Sun, Yuqing. editor. Lu, Tun. editor. Guo, Yinzhang. editor. Song, Xiaoxia. editor. Fan, Hongfei. editor.
Preferred Shelf Number XX(520315.1)
Electronic Access https://doi.org/10.1007/978-981-99-2356-4
Format: Electronic Resources
Availability Online Library~1

Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II

2024-11-08T15:23:23Z

Author Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520319.1)
Electronic Access https://doi.org/10.1007/978-981-99-2446-2
Format: Electronic Resources
Availability Online Library~1

Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers

2024-11-08T15:23:23Z

Author Sokolinsky, Leonid. editor. Zymbler, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520526.1)
Electronic Access https://doi.org/10.1007/978-3-031-38864-4
Format: Electronic Resources
Availability Online Library~1

Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings

2024-11-08T15:23:23Z

Author Camarinha-Matos, Luis M. editor. Boucher, Xavier. editor. Ortiz, Angel. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520625.1)
Electronic Access https://doi.org/10.1007/978-3-031-42622-3
Format: Electronic Resources
Availability Online Library~1

Bio-inspired Information and Communications Technologies 14th EAI International Conference, BICT 2023, Okinawa, Japan, April 11-12, 2023, Proceedings

2024-11-08T15:23:23Z

Author Chen, Yifan. editor. Yao, Dezhong. editor. Nakano, Tadashi. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520635.1)
Electronic Access https://doi.org/10.1007/978-3-031-43135-7
Format: Electronic Resources
Availability Online Library~1

Computer Science and Education in Computer Science 19th EAI International Conference, CSECS 2023, Boston, MA, USA, June 28-29, 2023, Proceedings

2024-11-08T15:23:23Z

Author Zlateva, Tanya. editor. Tuparov, Georgi. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520698.1)
Electronic Access https://doi.org/10.1007/978-3-031-44668-9
Format: Electronic Resources
Availability Online Library~1

Image and Graphics Technologies and Applications 18th Chinese Conference, IGTA 2023, Beijing, China, August 17-19, 2023, Revised Selected Papers

2024-11-08T15:23:23Z

Author Yongtian, Wang. editor. Lifang, Wu. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520718.1)
Electronic Access https://doi.org/10.1007/978-981-99-7549-5
Format: Electronic Resources
Availability Online Library~1

Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part III

2024-11-08T15:23:23Z

Author Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520752.1)
Electronic Access https://doi.org/10.1007/978-3-031-23944-1
Format: Electronic Resources
Availability Online Library~1

Advanced Communication and Intelligent Systems First International Conference, ICACIS 2022, Virtual Event, October 20-21, 2022, Revised Selected Papers

2024-11-08T15:23:23Z

Author Shaw, Rabindra Nath. editor. Paprzycki, Marcin. editor. Ghosh, Ankush. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number XX(520756.1)
Electronic Access https://doi.org/10.1007/978-3-031-25088-0
Format: Electronic Resources
Availability Online Library~1

Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part I

2024-11-08T15:23:23Z

Author Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520194.1)
Electronic Access https://doi.org/10.1007/978-3-031-23950-2
Format: Electronic Resources
Availability Online Library~1

Emerging Networking Architecture and Technologies First International Conference, ICENAT 2022, Shenzhen, China, November 15-17, 2022, Proceedings

2024-11-08T15:23:23Z

Author Quan, Wei. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520200.1)
Electronic Access https://doi.org/10.1007/978-981-19-9697-9
Format: Electronic Resources
Availability Online Library~1

Computer Aided Engineering of Batteries

2024-11-08T15:23:23Z

Author Santhanagopalan, Shriram. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520358.1)
Electronic Access https://doi.org/10.1007/978-3-031-17607-4
Format: Electronic Resources
Availability Online Library~1

RoboCup 2022: Robot World Cup XXV

2024-11-08T15:23:23Z

Author Eguchi, Amy. editor. Lau, Nuno. editor. Paetzel-Prüsmann, Maike. editor. Wanichanon, Thanapat. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520910.1)
Electronic Access https://doi.org/10.1007/978-3-031-28469-4
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part VII

2024-11-08T15:23:23Z

Author Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)
Preferred Shelf Number XX(521240.1)
Electronic Access https://doi.org/10.1007/978-981-99-6498-7
Format: Electronic Resources
Availability Online Library~1

Advances in Visual Computing 18th International Symposium, ISVC 2023, Lake Tahoe, NV, USA, October 16-18, 2023, Proceedings, Part I

2024-11-08T15:23:23Z

Author Bebis, George. editor. Ghiasi, Golnaz. editor. Fang, Yi. editor. Sharf, Andrei. editor. Dong, Yue. editor.
Preferred Shelf Number XX(521353.1)
Electronic Access https://doi.org/10.1007/978-3-031-47969-4
Format: Electronic Resources
Availability Online Library~1

Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part I

2024-11-08T15:23:23Z

Author Voevodin, Vladimir. editor. Sobolev, Sergey. editor. Yakobovskiy, Mikhail. editor. Shagaliev, Rashit. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521380.1)
Electronic Access https://doi.org/10.1007/978-3-031-49432-1
Format: Electronic Resources
Availability Online Library~1

Comprehensive Healthcare Simulation: Pharmacy Education, Practice and Research

2024-11-08T15:23:23Z

Author Al-Worafi, Yaser Mohammed. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521591.1)
Electronic Access https://doi.org/10.1007/978-3-031-33761-1
Format: Electronic Resources
Availability Online Library~1

6GN for Future Wireless Networks 5th EAI International Conference, 6GN 2022, Harbin, China, December 17-18, 2022, Proceedings, Part II

2024-11-08T15:23:23Z

Author Li, Ao. editor. Shi, Yao. editor. Xi, Liang. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520491.1)
Electronic Access https://doi.org/10.1007/978-3-031-36014-5
Format: Electronic Resources
Availability Online Library~1

Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings

2024-11-08T15:23:23Z

Author Koucheryavy, Yevgeni. editor. (orcid) Aziz, Ahmed. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number XX(520839.1)
Electronic Access https://doi.org/10.1007/978-3-031-30258-9
Format: Electronic Resources
Availability Online Library~1

Intelligent Human Computer Interaction 14th International Conference, IHCI 2022, Tashkent, Uzbekistan, October 20-22, 2022, Revised Selected Papers

2024-11-08T15:23:23Z

Author Zaynidinov, Hakimjon. editor. Singh, Madhusudan. editor. Tiwary, Uma Shanker. editor. Singh, Dhananjay. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number XX(520933.1)
Electronic Access https://doi.org/10.1007/978-3-031-27199-1
Format: Electronic Resources
Availability Online Library~1

Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings

2024-11-08T15:23:23Z

Author Morusupalli, Raghava. editor. Dandibhotla, Teja Santosh. editor. Atluri, Vani Vathsala. editor. Windridge, David. editor. Lingras, Pawan. editor.
Preferred Shelf Number XX(521001.1)
Electronic Access https://doi.org/10.1007/978-3-031-36402-0
Format: Electronic Resources
Availability Online Library~1

Human-Centered Artificial Intelligence Advanced Lectures

2024-11-08T15:23:23Z

Author Chetouani, Mohamed. editor. (orcid) Dignum, Virginia. editor. Lukowicz, Paul. editor. (orcid) Sierra, Carles. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520925.1)
Electronic Access https://doi.org/10.1007/978-3-031-24349-3
Format: Electronic Resources
Availability Online Library~1

Computational modelling of nanoparticles

2024-11-08T15:23:23Z

Author Bromley, Stefan T., 1971- editor. Woodley, Scott M., editor.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect https://www.sciencedirect.com/science/bookseries/18762778/12
Format: Electronic Resources
Availability Online Library~1

Ray Tracing: A Tool for All

2024-11-08T15:23:23Z

Author Peddie, Jon. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17490-3
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Network Simulation The OMNeT++ Environment and its Ecosystem

2024-11-08T15:23:23Z

Author Virdis, Antonio. editor. Kirsche, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12842-5
Format: Electronic Resources
Availability Online Library~1

Experimental and Numerical Study of Glass Façade Breakage Behavior under Fire Conditions Fire Safety Engineering

2024-11-08T15:23:23Z

Author Wang, Yu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-6484-6
Format: Electronic Resources
Availability Online Library~1

Simulation Tools and Techniques 11th International Conference, SIMUtools 2019, Chengdu, China, July 8–10, 2019, Proceedings

2024-11-08T15:23:23Z

Author Song, Houbing. editor. Jiang, Dingde. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32216-8
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

2024-11-08T15:23:23Z

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

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

2024-11-08T15:23:23Z

Author Biondi, Fabrizio. editor. Given-Wilson, Thomas. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30923-7
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part V

2024-11-08T15:23:23Z

Author Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27541-9
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

2024-11-08T15:23:23Z

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

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

2024-11-08T15:23:23Z

Author Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34968-4
Format: Electronic Resources
Availability Online Library~1

Ad Hoc Networks 11th EAI International Conference, ADHOCNETS 2019, Queenstown, New Zealand, November 18–21, 2019, Proceedings

2024-11-08T15:23:23Z

Author Zheng, Jun. editor. Li, Cheng. editor. (orcid)0000-0003-3424-2414 Chong, Peter Han Joo. editor. Meng, Weixiao. editor. Yan, Feng. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-37262-0
Format: Electronic Resources
Availability Online Library~1

Green Energy and Networking 6th EAI International Conference, GreeNets 2019, Dalian, China, May 4, 2019, Proceedings

2024-11-08T15:23:23Z

Author Jin, Jiyu. editor. Li, Peng. editor. Fan, Lei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21730-3
Format: Electronic Resources
Availability Online Library~1

Advanced Hybrid Information Processing Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part II

2024-11-08T15:23:23Z

Author Gui, Guan. editor. (orcid)0000-0003-3888-2881 Yun, Lin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-36405-2
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Signal and Image Processing ISSIP 2017

2024-11-08T15:23:23Z

Author Bhattacharyya, Siddhartha. editor. Mukherjee, Anirban. editor. Bhaumik, Hrishikesh. editor. Das, Swagatam. editor. Yoshida, Kaori. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-8863-6
Format: Electronic Resources
Availability Online Library~1

Pervasive Computing: A Networking Perspective and Future Directions

2024-11-08T15:23:23Z

Author Bhargava, Deepshikha. editor. Vyas, Sonali. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-3462-7
Format: Electronic Resources
Availability Online Library~1

Modeling and Application of Flexible Electronics Packaging

2024-11-08T15:23:23Z

Author Huang, YongAn. author. Yin, Zhouping. author. Wan, Xiaodong. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-3627-0
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

2024-11-08T15:23:23Z

Author Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32409-4
Format: Electronic Resources
Availability Online Library~1

Algorithmic Game Theory 12th International Symposium, SAGT 2019, Athens, Greece, September 30 – October 3, 2019, Proceedings

2024-11-08T15:23:23Z

Author Fotakis, Dimitris. editor. Markakis, Evangelos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30473-7
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

2024-11-08T15:23:23Z

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

Cyber Physical Systems. Model-Based Design 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers

2024-11-08T15:23:23Z

Author Chamberlain, Roger. editor. (orcid)0000-0002-7207-6106 Taha, Walid. editor. (orcid)0000-0003-3160-9188 Törngren, Martin. editor. (orcid)0000-0002-4300-885X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23703-5
Format: Electronic Resources
Availability Online Library~1

New Global Perspectives on Industrial Engineering and Management International Joint Conference ICIEOM-ADINGOR-IISE-AIM-ASEM

2024-11-08T15:23:23Z

Author Mula, Josefa. editor. Barbastefano, Rafael. editor. Díaz-Madroñero, Manuel. editor. Poler, Raúl. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93488-4
Format: Electronic Resources
Availability Online Library~1

Transient Effects in Simulations of Hybrid Electric Drivetrains

2024-11-08T15:23:23Z

Author Winke, Florian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-22554-4
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part VI

2024-11-08T15:23:23Z

Author Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27529-7
Format: Electronic Resources
Availability Online Library~1

Computational methods and algorithms for medicine and optimized clinical practice

2024-11-08T15:23:23Z

Author Chui, Kwok Tai, editor. Lytras, Miltiadis D., 1973- editor. IGI Global, publisher.
Preferred Shelf Number ONLINE
Electronic Access Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-8244-1
Format: Electronic Resources
Availability Online Library~1

Effective Model-Based Systems Engineering

2024-11-08T15:23:23Z

Author Borky, John M. author. Bradley, Thomas H. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95669-5
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV

2024-11-08T15:23:23Z

Author Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27538-9
Format: Electronic Resources
Availability Online Library~1

Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part I

2024-11-08T15:23:23Z

Author Jia, Min. editor. (orcid)0000-0003-3551-8654 Guo, Qing. editor. Meng, Weixiao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19153-5
Format: Electronic Resources
Availability Online Library~1

Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part II

2024-11-08T15:23:23Z

Author Jia, Min. editor. (orcid)0000-0003-3551-8654 Guo, Qing. editor. Meng, Weixiao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19156-6
Format: Electronic Resources
Availability Online Library~1

Practice of Optimisation Theory in Geotechnical Engineering

2024-11-08T15:23:23Z

Author Yin, Zhen-Yu. author. Jin, Yin-Fu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-3408-5
Format: Electronic Resources
Availability Online Library~1

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

2024-11-08T15:23:23Z

Author Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29007-8
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

2024-11-08T15:23:23Z

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

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

2024-11-08T15:23:23Z

Author André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29662-9
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

2024-11-08T15:23:23Z

Author Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30446-1
Format: Electronic Resources
Availability Online Library~1

Simulation for Industry 4.0 Past, Present, and Future

2024-11-08T15:23:23Z

Author Gunal, Murat M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04137-3
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

2024-11-08T15:23:23Z

Author Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27008-7
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

2024-11-08T15:23:23Z

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

IoT as a Service 4th EAI International Conference, IoTaaS 2018, Xi’an, China, November 17–18, 2018, Proceedings

2024-11-08T15:23:23Z

Author Li, Bo. editor. Yang, Mao. editor. (orcid)0000-0001-6081-1006 Yuan, Hui. editor. (orcid)0000-0001-5212-3393 Yan, Zhongjiang. editor. (orcid)0000-0003-2806-5343 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14657-3
Format: Electronic Resources
Availability Online Library~1

The Art of High Performance Computing for Computational Science, Vol. 2 Advanced Techniques and Examples for Materials Science

2024-11-08T15:23:23Z

Author Geshi, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-9802-5
Format: Electronic Resources
Availability Online Library~1

Modelling and Simulation Exploring Dynamic System Behaviour

2024-11-08T15:23:23Z

Author Birta, Louis G. author. Arbez, Gilbert. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-18869-6
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

2024-11-08T15:23:23Z

Author Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20652-9
Format: Electronic Resources
Availability Online Library~1

Handbook of Model Predictive Control

2024-11-08T15:23:23Z

Author Raković, Saša V. editor. Levine, William S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77489-3
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

2024-11-08T15:23:23Z

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

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

2024-11-08T15:23:23Z

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

Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

2024-11-08T15:23:23Z

Author Duan, Zhenhua. editor. Liu, Shaoying. editor. Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-13651-2
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Signal and Image Processing Proceedings of ISSIP 2018

2024-11-08T15:23:23Z

Author Bhattacharyya, Siddhartha. editor. Pal, Sankar K. editor. Pan, Indrajit. editor. Das, Abhijit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-6783-0
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2024-11-08T15:23:23Z

Author Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-16722-6
Format: Electronic Resources
Availability Online Library~1

Bioinformatics and Phylogenetics Seminal Contributions of Bernard Moret

2024-11-08T15:23:23Z

Author Warnow, Tandy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-10837-3
Format: Electronic Resources
Availability Online Library~1

The Art of High Performance Computing for Computational Science, Vol. 1 Techniques of Speedup and Parallelization for General Purposes

2024-11-08T15:23:23Z

Author Geshi, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-6194-4
Format: Electronic Resources
Availability Online Library~1

BERRU Predictive Modeling Best Estimate Results with Reduced Uncertainties

2024-11-08T15:23:23Z

Author Cacuci, Dan Gabriel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-58395-1
Format: Electronic Resources
Availability Online Library~1

OPNET IoT Simulation

2024-11-08T15:23:23Z

Author Chen, Min. author. Miao, Yiming. author. Humar, Iztok. author. (orcid)0000-0002-4940-3500 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-32-9170-6
Format: Electronic Resources
Availability Online Library~1

Modelling and Simulation for Autonomous Systems 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17–19, 2018, Revised Selected papers

2024-11-08T15:23:23Z

Author Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14984-0
Format: Electronic Resources
Availability Online Library~1

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

2024-11-08T15:23:23Z

Author Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-18744-6
Format: Electronic Resources
Availability Online Library~1

Mathematical Insights into Advanced Computer Graphics Techniques

2024-11-08T15:23:23Z

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

Advanced CAD Modeling Explicit, Parametric, Free-Form CAD and Re-engineering

2024-11-08T15:23:23Z

Author Vukašinović, Nikola. author. Duhovnik, Jože. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02399-7
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence for Communications and Networks First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I

2024-11-08T15:23:23Z

Author Han, Shuai. editor. Ye, Liang. editor. Meng, Weixiao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22968-9
Format: Electronic Resources
Availability Online Library~1

Modelling and Simulation in Science, Technology and Engineering Mathematics Proceedings of the International Conference on Modelling and Simulation (MS-17)

2024-11-08T15:23:23Z

Author Chattopadhyay, Surajit. editor. Roy, Tamal. editor. Sengupta, Samarjit. editor. Berger-Vachon, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74808-5
Format: Electronic Resources
Availability Online Library~1

Neural Modeling of Speech Processing and Speech Learning An Introduction

2024-11-08T15:23:23Z

Author Kröger, Bernd J. author. Bekolay, Trevor. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15853-8
Format: 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

2024-11-08T15:23:23Z

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

Advances in Manufacturing, Production Management and Process Control Joint proceedings of the AHFE 2018 International Conference on Advanced Production Management and Process Control, the AHFE International Conference on Human Aspects of Advanced Manufacturing, and the AHFE International Conference on Additive Manufacturing, Modeling Systems and 3D Prototyping, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA

2024-11-08T15:23:23Z

Author Karwowski, Waldemar. editor. Trzcielinski, Stefan. editor. Mrugalska, Beata. editor. Di Nicolantonio, Massimo. editor. Rossi, Emilio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94196-7
Format: Electronic Resources
Availability Online Library~1

New Developments on Computational Methods and Imaging in Biomechanics and Biomedical Engineering

2024-11-08T15:23:23Z

Author Tavares, João Manuel R. S. editor. Fernandes, Paulo Rui. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23073-9
Format: Electronic Resources
Availability Online Library~1

Comprehensive Healthcare Simulation: Operations, Technology, and Innovative Practice

2024-11-08T15:23:23Z

Author Crawford, Scott B. editor. Baily, Lance W. editor. Monks, Stormy M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15378-6
Format: Electronic Resources
Availability Online Library~1

Simulating Urban Traffic Scenarios 3rd SUMO Conference 2015 Berlin, Germany

2024-11-08T15:23:23Z

Author Behrisch, Michael. editor. Weber, Melanie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33616-9
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

2024-11-08T15:23:23Z

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

Reliability Aspect of Cloud Computing Environment

2024-11-08T15:23:23Z

Author Kumar, Vikas. author. Vidhyalakshmi, R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-3023-0
Format: Electronic Resources
Availability Online Library~1

Computer Simulations of Space Societies

2024-11-08T15:23:23Z

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

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

2024-11-08T15:23:23Z

Author Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77935-5
Format: Electronic Resources
Availability Online Library~1

Numerical Simulation of the Aerodynamics of High-Lift Configurations

2024-11-08T15:23:23Z

Author López Mejia, Omar Darío. editor. (orcid)0000-0001-6795-9396 Escobar Gomez, Jaime A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62136-4
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Computation, Machine Learning, and Cognitive Research Selected Papers from the XIX International Conference on Neuroinformatics, October 2-6, 2017, Moscow, Russia

2024-11-08T15:23:23Z

Author Kryzhanovsky, Boris. editor. Dunin-Barkowski, Witali. editor. Redko, Vladimir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66604-4
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

2024-11-08T15:23:23Z

Author Furia, Carlo A. editor. Winter, Kirsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98938-9
Format: Electronic Resources
Availability Online Library~1

Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers

2024-11-08T15:23:23Z

Author Pergl, Robert. editor. (orcid)0000-0003-2980-4400 Babkin, Eduard. editor. (orcid)0000-0003-2597-9043 Lock, Russell. editor. (orcid)0000-0002-4543-3753 Malyzhenkov, Pavel. editor. (orcid)0000-0003-1973-5026 Merunka, Vojtěch. editor. (orcid)0000-0002-9056-1439
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00787-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

2024-11-08T15:23:23Z

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

Applied Scientific Computing With Python

2024-11-08T15:23:23Z

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

New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

2024-11-08T15:23:23Z

Author Abdelwahed, El Hassan. editor. Bellatreche, Ladjel. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Golfarelli, Matteo. editor. Jean, Stéphane. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02852-7
Format: Electronic Resources
Availability Online Library~1

Handbook of Dynamic Data Driven Applications Systems

2024-11-08T15:23:23Z

Author Blasch, Erik. editor. Ravela, Sai. editor. Aved, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95504-9
Format: Electronic Resources
Availability Online Library~1

Real-Time Modelling and Processing for Communication Systems Applications and Practices

2024-11-08T15:23:23Z

Author Alam, Muhammad. editor. Dghais, Wael. editor. Chen, Yuanfang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72215-3
Format: Electronic Resources
Availability Online Library~1

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

2024-11-08T15:23:23Z

Author Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71734-0
Format: 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

2024-11-08T15:23:23Z

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

Simulations for Design and Manufacturing Select Papers from AIMTDR 2016

2024-11-08T15:23:23Z

Author Dixit, Uday S. editor. Kant, Ravi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-8518-5
Format: Electronic Resources
Availability Online Library~1

Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II

2024-11-08T15:23:23Z

Author Li, Bo. editor. Shu, Lei. editor. Zeng, Deze. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78139-6
Format: Electronic Resources
Availability Online Library~1

Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers

2024-11-08T15:23:23Z

Author Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76072-8
Format: Electronic Resources
Availability Online Library~1

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

2024-11-08T15:23:23Z

Author Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94111-0
Format: Electronic Resources
Availability Online Library~1

Computational Models of Rhythm and Meter

2024-11-08T15:23:23Z

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

Fuzzy Graph Theory with Applications to Human Trafficking

2024-11-08T15:23:23Z

Author Mordeson, John N. author. Mathew, Sunil. author. Malik, Davender S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76454-2
Format: Electronic Resources
Availability Online Library~1

Exploring Occupant Behavior in Buildings Methods and Challenges

2024-11-08T15:23:23Z

Author Wagner, Andreas. editor. O’Brien, William. editor. Dong, Bing. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61464-9
Format: Electronic Resources
Availability Online Library~1

Stochastic Finite Element Methods An Introduction

2024-11-08T15:23:23Z

Author Papadopoulos, Vissarion. author. Giovanis, Dimitris G. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64528-5
Format: Electronic Resources
Availability Online Library~1

New Perspectives on Applied Industrial Tools and Techniques

2024-11-08T15:23:23Z

Author García-Alcaraz, Jorge Luis. editor. (orcid)0000-0002-7092-6963 Alor-Hernández, Giner. editor. Maldonado-Macías, Aidé Aracely. editor. Sánchez-Ramírez, Cuauhtémoc. editor. (orcid)0000-0002-0344-1966 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56871-3
Format: Electronic Resources
Availability Online Library~1

Comprehensive Healthcare Simulation: Neurosurgery

2024-11-08T15:23:23Z

Author Alaraj, Ali. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75583-0
Format: Electronic Resources
Availability Online Library~1

Bioinformatics: Sequences, Structures, Phylogeny

2024-11-08T15:23:23Z

Author Shanker, Asheesh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1562-6
Format: Electronic Resources
Availability Online Library~1

Wireless Internet 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings

2024-11-08T15:23:23Z

Author Li, Cheng. editor. Mao, Shiwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90802-1
Format: Electronic Resources
Availability Online Library~1

Honeypot Frameworks and Their Applications: A New Framework

2024-11-08T15:23:23Z

Author NG, Chee Keong. author. Pan, Lei. author. Xiang, Yang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7739-5
Format: Electronic Resources
Availability Online Library~1

From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings

2024-11-08T15:23:23Z

Author Manoonpong, Poramate. editor. (orcid)0000-0002-4806-7576 Larsen, Jørgen Christian. editor. (orcid)0000-0002-4741-8290 Xiong, Xiaofeng. editor. Hallam, John. editor. Triesch, Jochen. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97628-0
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

2024-11-08T15:23:23Z

Author Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01090-4
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T15:23:23Z

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

Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage

2024-11-08T15:23:23Z

Author Gonzalez-Perez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72652-6
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part II

2024-11-08T15:23:23Z

Author Gu, Xuemai. editor. Liu, Gongliang. editor. Li, Bo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73447-7
Format: Electronic Resources
Availability Online Library~1

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

2024-11-08T15:23:23Z

Author Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95582-7
Format: 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

2024-11-08T15:23:23Z

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

VipIMAGE 2017 Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017

2024-11-08T15:23:23Z

Author Tavares, João Manuel R.S. editor. Natal Jorge, R.M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68195-5
Format: Electronic Resources
Availability Online Library~1

Food Dependency in the Middle East and North Africa Region Retrospective Analysis and Projections to 2050

2024-11-08T15:23:23Z

Author Le Mouël, Chantal. editor. Schmitt, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-94-024-1563-6
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

2024-11-08T15:23:23Z

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

Systems Analysis Approach for Complex Global Challenges

2024-11-08T15:23:23Z

Author Mensah, Priscilla. editor. Katerere, David. editor. Hachigonta, Sepo. editor. Roodt, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71486-8
Format: Electronic Resources
Availability Online Library~1

5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings

2024-11-08T15:23:23Z

Author Long, Keping. editor. Leung, Victor C.M. editor. Zhang, Haijun. editor. Feng, Zhiyong. editor. Li, Yonghui. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72823-0
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

2024-11-08T15:23:23Z

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

Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

2024-11-08T15:23:23Z

Author Dimuro, Graçaliz Pereira. editor. (orcid)0000-0001-6986-9888 Antunes, Luis. editor. (orcid)0000-0002-8237-6524 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91587-6
Format: Electronic Resources
Availability Online Library~1

Modeling and Simulation in Industrial Engineering

2024-11-08T15:23:23Z

Author Ram, Mangey. editor. Davim, J. Paulo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60432-9
Format: Electronic Resources
Availability Online Library~1

Innovative Techniques and Applications of Modelling, Identification and Control Selected and Expanded Reports from ICMIC’17

2024-11-08T15:23:23Z

Author Zhu, Quanmin. editor. Na, Jing. editor. Wu, Xing. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7212-3
Format: Electronic Resources
Availability Online Library~1

Nature Inspired Computing Proceedings of CSI 2015

2024-11-08T15:23:23Z

Author Panigrahi, Bijaya Ketan. editor. Hoda, M. N. editor. Sharma, Vinod. editor. Goel, Shivendra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6747-1
Format: Electronic Resources
Availability Online Library~1

Encyclopedia of Social Network Analysis and Mining

2024-11-08T15:23:23Z

Author Alhajj, Reda. editor. Rokne, Jon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-7131-2
Format: Electronic Resources
Availability Online Library~1

Automatic Control Systems in Biomedical Engineering An Interactive Educational Approach

2024-11-08T15:23:23Z

Author Fernández de Cañete, J. author. Galindo, C. author. Barbancho, J. author. Luque, A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75717-9
Format: Electronic Resources
Availability Online Library~1

Computational Methods and Models for Transport New Challenges for the Greening of Transport Systems

2024-11-08T15:23:23Z

Author Diez, Pedro. editor. Neittaanmäki, Pekka. editor. Periaux, Jacques. editor. Tuovinen, Tero. editor. Bräysy, Olli. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54490-8
Format: Electronic Resources
Availability Online Library~1

Advances in Human Factors in Simulation and Modeling Proceedings of the AHFE 2017 International Conference on Human Factors in Simulation and Modeling, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2024-11-08T15:23:23Z

Author Cassenti, Daniel N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60591-3
Format: Electronic Resources
Availability Online Library~1

Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part I

2024-11-08T15:23:23Z

Author Li, Bo. editor. Shu, Lei. editor. Zeng, Deze. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78130-3
Format: Electronic Resources
Availability Online Library~1

Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II

2024-11-08T15:23:23Z

Author Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66628-0
Format: Electronic Resources
Availability Online Library~1

Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I

2024-11-08T15:23:23Z

Author Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66625-9
Format: Electronic Resources
Availability Online Library~1

Neural Networks for Cooperative Control of Multiple Robot Arms

2024-11-08T15:23:23Z

Author Li, Shuai. author. Zhang, Yinyan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7037-2
Format: Electronic Resources
Availability Online Library~1

Advanced Hybrid Information Processing First International Conference, ADHIP 2017, Harbin, China, July 17–18, 2017, Proceedings

2024-11-08T15:23:23Z

Author Sun, Guanglu. editor. Liu, Shuai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73317-3
Format: Electronic Resources
Availability Online Library~1

Modeling, Simulation, and Optimization

2024-11-08T15:23:23Z

Author Vasant, Pandian. editor. Litvinchev, Igor. editor. Marmolejo-Saucedo, José Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70542-2
Format: Electronic Resources
Availability Online Library~1

Multi-layer Pavement System under Blast Load

2024-11-08T15:23:23Z

Author Wu, Jun. author. Wu, Hao. author. Tan, Hong Wei Andy. author. Chew, Soon Hoe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-5001-5
Format: Electronic Resources
Availability Online Library~1

Proceedings of the International Conference on Modern Research in Aerospace Engineering MRAE-2016

2024-11-08T15:23:23Z

Author Singh, Sanjay. editor. Raj, Pushkar. editor. Tambe, Samir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-5849-3
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part I

2024-11-08T15:23:23Z

Author Gu, Xuemai. editor. Liu, Gongliang. editor. Li, Bo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73564-1
Format: Electronic Resources
Availability Online Library~1

Modeling Discrete-Event Systems with GPenSIM An Introduction

2024-11-08T15:23:23Z

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

Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings

2024-11-08T15:23:23Z

Author Bajo, Javier. editor. Corchado, Juan M. editor. Navarro Martínez, Elena María. editor. Osaba Icedo, Eneko. editor. Mathieu, Philippe. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94779-2
Format: Electronic Resources
Availability Online Library~1

3D Kinematics

2024-11-08T15:23:23Z

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

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

2024-11-08T15:23:23Z

Author Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00244-2
Format: Electronic Resources
Availability Online Library~1

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

2024-11-08T15:23:23Z

Author McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99154-2
Format: Electronic Resources
Availability Online Library~1

Engineering Simulations as Scientific Instruments: A Pattern Language With Kieran Alden, Paul S. Andrews, James L. Bown, Alastair Droop, Richard B. Greaves, Mark Read, Adam T. Sampson, Jon Timmis, Alan F.T. Winfield

2024-11-08T15:23:23Z

Author Stepney, Susan. author. Polack, Fiona A.C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01938-9
Format: Electronic Resources
Availability Online Library~1

The Test and Launch Control Technology for Launch Vehicles

2024-11-08T15:23:23Z

Author Song, Zhengyu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-8712-7
Format: Electronic Resources
Availability Online Library~1

Ad Hoc Networks 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28–29, 2017, Proceedings

2024-11-08T15:23:23Z

Author Zhou, Yifeng. editor. Kunz, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74439-1
Format: Electronic Resources
Availability Online Library~1

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

2024-11-08T15:23:23Z

Author de Boer, Frank. editor. Bonsangue, Marcello. editor. Rutten, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90089-6
Format: Electronic Resources
Availability Online Library~1

New Advances in Mechanism and Machine Science Proceedings of The 12th IFToMM International Symposium on Science of Mechanisms and Machines (SYROM 2017)

2024-11-08T15:23:23Z

Author Doroftei, Ioan. editor. Oprisan, Cezar. editor. Pisla, Doina. editor. Lovasz, Erwin Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-79111-1
Format: Electronic Resources
Availability Online Library~1

Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2–5, 2018, Proceedings

2024-11-08T15:23:23Z

Author Deville, Yannick. editor. (orcid)0000-0002-8769-2446 Gannot, Sharon. editor. (orcid)0000-0002-2885-170X Mason, Russell. editor. (orcid)0000-0002-6030-9603 Plumbley, Mark D. editor. (orcid)0000-0002-9708-1075 Ward, Dominic. editor. (orcid)0000-0002-7819-0145
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93764-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

2024-11-08T15:23:23Z

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

Automatic Tuning of Compilers Using Machine Learning

2024-11-08T15:23:23Z

Author Ashouri, Amir H. author. Palermo, Gianluca. author. Cavazos, John. author. Silvano, Cristina. author. (orcid)0000-0003-1668-0883 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71489-9
Format: Electronic Resources
Availability Online Library~1

Probability and Statistics for Computer Science

2024-11-08T15:23:23Z

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

Intelligent Control Design and MATLAB Simulation

2024-11-08T15:23:23Z

Author Liu, Jinkun. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-5263-7
Format: Electronic Resources
Availability Online Library~1

Finite Element Applications A Practical Guide to the FEM Process

2024-11-08T15:23:23Z

Author Okereke, Michael. author. Keates, Simeon. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67125-3
Format: Electronic Resources
Availability Online Library~1

Bone Adaptation In Silico Approach

2024-11-08T15:23:23Z

Author Kameo, Yoshitaka. author. Tsubota, Ken-ichi. author. Adachi, Taiji. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-4-431-56514-7
Format: Electronic Resources
Availability Online Library~1

Thermal Effects in Complex Machining Processes Final Report of the DFG Priority Programme 1480

2024-11-08T15:23:23Z

Author Biermann, D. editor. Hollmann, F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57120-1
Format: Electronic Resources
Availability Online Library~1

Modelling and simulation in the science of micro- and meso-porous materials

2024-11-08T15:23:23Z

Author Catlow, C. R. A. (Charles Richard Arthur), 1947- Van Speybroeck, Veronique. Santen, R. A. van (Rutger A.)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128050576
Format: Electronic Resources
Availability Online Library~1

Algorithmic Game Theory 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings

2024-11-08T15:23:23Z

Author Deng, Xiaotie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99660-8
Format: Electronic Resources
Availability Online Library~1

Advances in Cross-Cultural Decision Making Proceedings of the AHFE 2017 International Conference on Cross-Cultural Decision Making, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2024-11-08T15:23:23Z

Author Hoffman, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60747-4
Format: Electronic Resources
Availability Online Library~1

Computational frameworks : systems, models and applications

2024-11-08T15:23:23Z

Author Traoré, Mamadou K. (Mamadou Kaba), editor.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781785482564
Format: Electronic Resources
Availability Online Library~1

The rewiring brain : a computational approach to structural plasticity in the adult brain

2024-11-08T15:23:23Z

Author Van Ooyen, Arjen, editor. Butz-Ostendorf, Markus, editor.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128037843 ScienceDirect https://www.sciencedirect.com/science/book/9780128037843
Format: Electronic Resources
Availability Online Library~1

Advanced engineering materials and modeling

2024-11-08T15:23:23Z

Author Tiwari, Ashutosh, 1978- editor. Murugan, N. Arul, 1976- editor. Ahuja, Rajeev, 1965- editor.
Preferred Shelf Number ONLINE
Electronic Access Wiley Online Library
Format: Electronic Resources
Availability Online Library~1

Introduction to EEG- and speech-based emotion recognition

2024-11-08T15:23:23Z

Author Abhang, Priyanka A., author. Gawali, Bharti W., author. Mehrotra, Suresh C., author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect https://www.sciencedirect.com/science/book/9780128044902
Format: Electronic Resources
Availability Online Library~1

Computational systems biology : inference and modelling

2024-11-08T15:23:23Z

Author Lecca, Paola, 1973- author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780081000953
Format: Electronic Resources
Availability Online Library~1

Handbook of virtual environments : design, implementation, and applications

2024-11-08T15:23:23Z

Author Hale, Kelly S. Stanney, Kay M.
Preferred Shelf Number ONLINE(356746.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Computational modeling of pulverized coal fired boilers

2024-11-08T15:23:23Z

Author Ranade, Vivek V., author. Gupta, Devkumar F., author.
Preferred Shelf Number ONLINE(356972.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Simulation technologies in networking and communications : selecting the best tool for the test

2024-11-08T15:23:23Z

Author Pathan, Al-Sakib Khan, editor. Monowar, Muhammad Mostafa, editor. Khan, Shafiullah, editor.
Preferred Shelf Number ONLINE(357100.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Process modelling and simulation in chemical, biochemical and environmental engineering

2024-11-08T15:23:23Z

Author Verma, Ashok Kumar, author.
Preferred Shelf Number ONLINE(356413.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

The uncanny valley in games and animation

2024-11-08T15:23:23Z

Author Tinwell, Angela, author.
Preferred Shelf Number ONLINE(357045.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

A practical guide to SysML : the systems modeling language

2024-11-08T15:23:23Z

Author Friedenthal, Sanford, author. Moore, Alan, 1961- author. Steiner, Rick, author.
Preferred Shelf Number ONLINE(355422.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128002025
Format: Electronic Resources
Availability Online Library~1

The multibody systems approach to vehicle dynamics

2024-11-08T15:23:23Z

Author Blundell, Michael, author. Harty, Damian, author.
Preferred Shelf Number ONLINE(355475.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780080994253
Format: Electronic Resources
Availability Online Library~1

Frontiers in computational chemistry. Volume 1

2024-11-08T15:23:23Z

Author Haq, Zaheer-ul- editor. Madura, J. D., editor.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781608058655
Format: Electronic Resources
Availability Online Library~1

Multiscale modeling for process safety applications

2024-11-08T15:23:23Z

Author Chakrabarty, Arnab, author. Mannan, Sam, author. Cagin, Tahir, author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123969750
Format: Electronic Resources
Availability Online Library~1

Groundwater vulnerability : chernobyl nuclear disaster

2024-11-08T15:23:23Z

Author Faybishenko, Boris, editor. American Geophysical Union.
Preferred Shelf Number ONLINE(342085.1)
Electronic Access ebrary http://alltitles.ebrary.com/Doc?id=10951347 John Wiley http://dx.doi.org/10.1002/9781118962220
Format: Electronic Resources
Availability Online Library~1

Principles of object oriented modeling and simulation with Modelica 3.3 : a cyber-physical approach

2024-11-08T15:23:23Z

Author Fritzson, Peter A., 1952-
Preferred Shelf Number ONLINE(342108.1)
Electronic Access ebrary An electronic book accessible through the World Wide Web; click to view John Wiley http://dx.doi.org/10.1002/9781118989166
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part II

2024-11-08T15:23:23Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number XX(518794.1)
Electronic Access https://doi.org/10.1007/978-3-319-21407-8
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III

2024-11-08T15:23:23Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number XX(518867.1)
Electronic Access https://doi.org/10.1007/978-3-319-21470-2
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I

2024-11-08T15:23:23Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number XX(519112.1)
Electronic Access https://doi.org/10.1007/978-3-319-21404-7
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV

2024-11-08T15:23:23Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number XX(519260.1)
Electronic Access https://doi.org/10.1007/978-3-319-21410-8
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V

2024-11-08T15:23:23Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number XX(519341.1)
Electronic Access https://doi.org/10.1007/978-3-319-21413-9
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing Theories and Methodologies 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part II

2024-11-08T15:23:23Z

Author Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. Hussain, Abir. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519184.1)
Electronic Access https://doi.org/10.1007/978-3-319-22186-1
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence XIX

2024-11-08T15:23:23Z

Author Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. Xhafa, Fatos. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519152.1)
Electronic Access https://doi.org/10.1007/978-3-662-49017-4
Format: Electronic Resources
Availability Online Library~1

Recent advances in computational mechanics : proceedings of the 20th International Conference on Computer Methods in Mechanics (CMM2013), Pozna¿̐ưn, Poland, 27-31 August 2013

2024-11-08T15:23:23Z

Author International Conference on Computer Methods in Mechanics (20th : 2013 : Poland), sponsor. ¿̐ưodygowski, Tomasz, editor. Rakowski, Jerzy, editor. Litewka, Przemys¿̐ưaw, editor.
Preferred Shelf Number ONLINE(357003.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Understanding LTE with MATLAB : from mathematical modeling to simulation and prototyping

2024-11-08T15:23:23Z

Author Zarrinkoub, Houman, author.
Preferred Shelf Number ONLINE(341541.1)
Electronic Access Cover image http://catalogimages.wiley.com/images/db/jimages/9781118443415.jpg John Wiley http://dx.doi.org/10.1002/9781118443446
Format: Electronic Resources
Availability Online Library~1

Understanding the discrete element method : simulation of non-spherical particles for granular and multi-body systems

2024-11-08T15:23:23Z

Author Matuttis, Hans-Georg, author. Chen, J. F. (Jian-Fei), 1963- author.
Preferred Shelf Number ONLINE(341591.1)
Electronic Access John Wiley http://dx.doi.org/10.1002/9781118567210
Format: Electronic Resources
Availability Online Library~1

Kinetics in nanoscale materials

2024-11-08T15:23:23Z

Author Tu, K. N. (King-Ning), 1937- author. Gusak, Andriy M., author.
Preferred Shelf Number ONLINE(341716.1)
Electronic Access Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1690920 John Wiley http://dx.doi.org/10.1002/9781118743140 MyiLibrary http://www.myilibrary.com?id=611506
Format: Electronic Resources
Availability Online Library~1

Computational approaches to studying the co-evolution of networks and behavior in social dilemmas

2024-11-08T15:23:23Z

Author Corten, Rense, author.
Preferred Shelf Number ONLINE(341743.1)
Electronic Access Cover image http://catalogimages.wiley.com/images/db/jimages/9781118636879.jpg Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1603264 John Wiley http://dx.doi.org/10.1002/9781118762912 MyiLibrary http://www.myilibrary.com?id=571625
Format: Electronic Resources
Availability Online Library~1

Differential Equation Analysis in Biomedical Science and Engineering Partial Differential Equation Applications with R.

2024-11-08T15:23:23Z

Author Schiesser, William E.
Preferred Shelf Number R857 .M34 .S345 2013
Electronic Access http://onlinelibrary.wiley.com/book/10.1002/9781118705292
Format: Electronic Resources
Availability Online Library~1

Virtual world design : creating immersive virtual environments

2024-11-08T15:23:23Z

Author Cudworth, Ann Latham, 1955- author.
Preferred Shelf Number ONLINE(356384.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Understanding large temporal networks and spatial networks : exploration, pattern searching, visualization and network evolution

2024-11-08T15:23:23Z

Author Batagelj, Vladimir, 1948-
Preferred Shelf Number ONLINE(342025.1)
Electronic Access Cover image http://catalogimages.wiley.com/images/db/jimages/9780470714522.jpg Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1780727 John Wiley http://dx.doi.org/10.1002/9781118915370 MyiLibrary http://www.myilibrary.com?id=642293 http://swb.eblib.com/patron/FullRecord.aspx?p=1780727
Format: Electronic Resources
Availability Online Library~1

Interatomic bonding in solids fundamentals, simulation, applications

2024-11-08T15:23:23Z

Author Levitin, Valim.
Preferred Shelf Number ONLINE(342212.1)
Electronic Access John Wiley http://dx.doi.org/10.1002/9783527671557
Format: Electronic Resources
Availability Online Library~1

Process engineering and design using Visual Basic℗ʼ

2024-11-08T15:23:23Z

Author Datta, Arun, author.
Preferred Shelf Number ONLINE(342719.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Computational modeling of polymer composites : a study of creep and environmental effects

2024-11-08T15:23:23Z

Author Roy, Samit, author. Reddy, J. N., author.
Preferred Shelf Number ONLINE(342870.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Integrated design and simulation of chemical processes

2024-11-08T15:23:23Z

Author Dimian, Alexandre C., author. Bildea, Costin Sorin, author. Kiss, Anton, author.
Preferred Shelf Number ONLINE(355552.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444627001
Format: Electronic Resources
Availability Online Library~1

Modelling, simulation and control of the dyeing process

2024-11-08T15:23:23Z

Author Shamey, R., author. Zhao, X., author.
Preferred Shelf Number ONLINE(355584.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780857091338
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T15:23:23Z

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

The multilevel fast multipole algorithm (MLFMA) for solving large-scale computational electromagnetics problems

2024-11-08T15:23:23Z

Author Ergül, Özgür, author. Gurel, Levent, author. IEEE Antennas and Propagation Society, sponsor.
Preferred Shelf Number ONLINE(341875.1)
Electronic Access Cover image http://catalogimages.wiley.com/images/db/jimages/9781119977414.jpg http://onlinelibrary.wiley.com/book/10.1002/9781118844977 John Wiley http://dx.doi.org/10.1002/9781118844977
Format: Electronic Resources
Availability Online Library~1

Modeling enterprise architecture with TOGAF : a practical guide using UML and BPMN

2024-11-08T15:23:23Z

Author Desfray, Philippe, author. Raymond, Gilbert, author.
Preferred Shelf Number ONLINE(355810.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124199842
Format: Electronic Resources
Availability Online Library~1

Ecological modelling and engineering of lakes and wetlands

2024-11-08T15:23:23Z

Author Jørgensen, Sven Erik. Chang, Ni-Bin. Xu, Fu-Liu.
Preferred Shelf Number ONLINE(355860.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444632494
Format: Electronic Resources
Availability Online Library~1

Process modeling style

2024-11-08T15:23:23Z

Author Long, John O., author.
Preferred Shelf Number ONLINE(355910.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128009598
Format: Electronic Resources
Availability Online Library~1

Discrete and continuous simulation : theory and practice

2024-11-08T15:23:23Z

Author Bandyopadhyay, Susmita, author. Bhattacharya, Ranjan, author.
Preferred Shelf Number ONLINE(356664.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Improving Disaster Resilience and Mitigation - IT Means and Tools

2024-11-08T15:23:23Z

Author Teodorescu, Horia-Nicolai. editor. Kirschenbaum, Alan. editor. Cojocaru, Svetlana. editor. Bruderlein, Claude. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-94-017-9136-6
Format: Electronic Resources
Availability Online Library~1

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

2024-11-08T15:23:23Z

Author Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11245-9
Format: Electronic Resources
Availability Online Library~1

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

2024-11-08T15:23:23Z

Author Cerone, Antonio. editor. Persico, Donatella. editor. Fernandes, Sara. editor. Garcia-Perez, Alexeis. editor. Katsaros, Panagiotis. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54338-8
Format: Electronic Resources
Availability Online Library~1

Decision Support Systems III - Impact of Decision Support Systems for Global Environments Euro Working Group Workshops, EWG-DSS 2013, Thessaloniki, Greece, May 29-31, 2013, and Rome, Italy, July 1-4, 2013, Revised Selected and Extended Papers

2024-11-08T15:23:23Z

Author Dargam, Fátima. editor. Hernández, Jorge E. editor. Zaraté, Pascale. editor. Liu, Shaofeng. editor. Ribeiro, Rita. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11364-7
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

2024-11-08T15:23:23Z

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

Mathematical Methods in Engineering

2024-11-08T15:23:23Z

Author Fonseca Ferreira, Nuno Miguel. editor. Tenreiro Machado, José António. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-94-007-7183-3
Format: Electronic Resources
Availability Online Library~1

Computational Logistics 5th International Conference, ICCL 2014, Valparaíso, Chile, September 24-26, 2014, Proceedings

2024-11-08T15:23:23Z

Author González-Ramírez, Rosa G. editor. Schulte, Frederik. editor. Voß, Stefan. editor. Ceroni Díaz, Jose A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11421-7
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T15:23:23Z

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

Advances in Image and Graphics Technologies Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014. Proceedings

2024-11-08T15:23:23Z

Author Tan, Tieniu. editor. Ruan, Qiuqi. editor. Wang, Shengjin. editor. Ma, Huimin. editor. Huang, Kaiqi. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45498-5
Format: Electronic Resources
Availability Online Library~1

Context in Computing A Cross-Disciplinary Approach for Modeling the Real World

2024-11-08T15:23:23Z

Author Brézillon, Patrick. editor. Gonzalez, Avelino J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-1887-4
Format: Electronic Resources
Availability Online Library~1

Development of Innovative Drugs via Modeling with MATLAB A Practical Guide

2024-11-08T15:23:23Z

Author Gieschke, Ronald. author. Serafin, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-39765-3
Format: Electronic Resources
Availability Online Library~1

Variational Regularization of 3D Data Experiments with MATLAB®

2024-11-08T15:23:23Z

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

Process Design for Natural Scientists An Agile Model-Driven Approach

2024-11-08T15:23:23Z

Author Lamprecht, Anna-Lena. editor. Margaria, Tiziana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45006-2
Format: Electronic Resources
Availability Online Library~1

Foundations of the Complex Variable Boundary Element Method

2024-11-08T15:23:23Z

Author Hromadka, Theodore. author. Whitley, Robert. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05954-9
Format: Electronic Resources
Availability Online Library~1

Accelerated Lattice Boltzmann Model for Colloidal Suspensions Rheology and Interface Morphology

2024-11-08T15:23:23Z

Author Farhat, Hassan. author. Lee, Joon Sang. author. Kondaraju, Sasidhar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4899-7402-0
Format: Electronic Resources
Availability Online Library~1

KI 2014: Advances in Artificial Intelligence 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014, Proceedings

2024-11-08T15:23:23Z

Author Lutz, Carsten. editor. Thielscher, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11206-0
Format: Electronic Resources
Availability Online Library~1

Advances in Conceptual Modeling ER 2014 Workshops, ENMO, MoBiD, MReBA, QMMQ, SeCoGIS, WISM, and ER Demos, Atlanta, GA, USA, October 27-29, 2014. Proceedings

2024-11-08T15:23:23Z

Author Indulska, Marta. editor. Purao, Sandeep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12256-4
Format: Electronic Resources
Availability Online Library~1

Multi-Agent-Based Simulation XIV International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

2024-11-08T15:23:23Z

Author Alam, Shah Jamal. editor. Parunak, H. Van Dyke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54783-6
Format: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers

2024-11-08T15:23:23Z

Author Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43779-7
Format: Electronic Resources
Availability Online Library~1

Algorithmic Game Theory 7th International Symposium, SAGT 2014, Haifa, Israel, September 30 -- October 2, 2014, Proceedings

2024-11-08T15:23:23Z

Author Lavi, Ron. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44803-8
Format: Electronic Resources
Availability Online Library~1

Simulation of Urban Mobility First International Conference, SUMO 2013, Berlin, Germany, May 15-17, 2013. Revised Selected Papers

2024-11-08T15:23:23Z

Author Behrisch, Michael. editor. Krajzewicz, Daniel. editor. Weber, Melanie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45079-6
Format: Electronic Resources
Availability Online Library~1

Mathematical Methods for Curves and Surfaces 8th International Conference, MMCS 2012, Oslo, Norway, June 28 - July 3, 2012, Revised Selected Papers

2024-11-08T15:23:23Z

Author Floater, Michael. editor. Lyche, Tom. editor. Mazure, Marie-Laurence. editor. Morken, Knut. editor. Schumaker, Larry L. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54382-1
Format: Electronic Resources
Availability Online Library~1

Modelling and Simulation for Autonomous Systems First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers

2024-11-08T15:23:23Z

Author Hodicky, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13823-7
Format: Electronic Resources
Availability Online Library~1

Spatial Cognition IX International Conference, Spatial Cognition 2014, Bremen, Germany, September 15-19, 2014. Proceedings

2024-11-08T15:23:23Z

Author Freksa, Christian. editor. Nebel, Bernhard. editor. Hegarty, Mary. editor. Barkowsky, Thomas. editor. (orcid)0000-0002-3961-2595 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11215-2
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

2024-11-08T15:23:23Z

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

Advances in Artificial Intelligence -- IBERAMIA 2014 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014, Proceedings

2024-11-08T15:23:23Z

Author Bazzan, Ana L.C. editor. Pichara, Karim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12027-0
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T15:23:23Z

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

Pattern Recognition 36th German Conference, GCPR 2014, Münster, Germany, September 2-5, 2014, Proceedings

2024-11-08T15:23:23Z

Author Jiang, Xiaoyi. editor. Hornegger, Joachim. editor. Koch, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11752-2
Format: Electronic Resources
Availability Online Library~1

Energy-Efficient Data Centers Second International Workshop, E²DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papers

2024-11-08T15:23:23Z

Author Klingert, Sonja. editor. Hesselbach-Serra, Xavier. editor. Perez Ortega, Maria. editor. Giuliani, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-55149-9
Format: Electronic Resources
Availability Online Library~1

Computational Finance An Introductory Course with R

2024-11-08T15:23:23Z

Author Arratia, Argimiro. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.2991/978-94-6239-070-6
Format: Electronic Resources
Availability Online Library~1

Multiagent System Technologies 12th German Conference, MATES 2014, Stuttgart, Germany, September 23-25, 2014, Proceedings

2024-11-08T15:23:23Z

Author Müller, Jörg P. editor. Weyrich, Michael. editor. Bazzan, Ana L.C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11584-9
Format: Electronic Resources
Availability Online Library~1

Differential equation analysis in biomedical science and engineering : ordinary differential equation applications with R

2024-11-08T15:23:23Z

Author Schiesser, W. E., author.
Preferred Shelf Number ONLINE(341690.1)
Electronic Access Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1637703 John Wiley http://dx.doi.org/10.1002/9781118705070 MyiLibrary http://www.myilibrary.com?id=578552
Format: Electronic Resources
Availability Online Library~1

Electromagnetic modeling and simulation

2024-11-08T15:23:23Z

Author Sevgi, Levent, author.
Preferred Shelf Number ONLINE(341703.1)
Electronic Access Cover image http://catalogimages.wiley.com/images/db/jimages/9781118716182.jpg Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1652170 ebrary http://site.ebrary.com/id/10851103 John Wiley http://dx.doi.org/10.1002/9781118716410
Format: Electronic Resources
Availability Online Library~1

Advanced electric drives : analysis, control, and modeling using MATLAB/Simulink

2024-11-08T15:23:23Z

Author Mohan, Ned, author.
Preferred Shelf Number ONLINE(342003.1)
Electronic Access Cover image http://catalogimages.wiley.com/images/db/jimages/9781118485484.jpg Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1744264 ebrary http://site.ebrary.com/id/10896038 John Wiley http://dx.doi.org/10.1002/9781118910962 MyiLibrary http://www.myilibrary.com?id=629217
Format: Electronic Resources
Availability Online Library~1

Logical modeling of biological systems

2024-11-08T15:23:23Z

Author Inoue, Katsumi, editor. Fariñas del Cerro, Luis, editor.
Preferred Shelf Number ONLINE(342139.1)
Electronic Access Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1765112 ebrary http://site.ebrary.com/id/10907565 John Wiley http://dx.doi.org/10.1002/9781119005223 MyiLibrary http://www.myilibrary.com?id=637336
Format: Electronic Resources
Availability Online Library~1

Coverbal synchrony in human-machine interaction

2024-11-08T15:23:23Z

Author Rojc, Matej, editor of compilation. Campbell, Nick, editor of compilation.
Preferred Shelf Number ONLINE(342565.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Quasi-Dimensional Simulation of Spark Ignition Engines From Thermodynamic Optimization to Cyclic Variability

2024-11-08T15:23:23Z

Author Medina, Alejandro. author. Curto-Risso, Pedro Luis. author. Hernández, Antonio Calvo. author. Guzmán-Vargas, Lev. author. Angulo-Brown, Fernando. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-5289-7
Format: Electronic Resources
Availability Online Library~1

Multiphysics Simulation Electromechanical System Applications and Optimization

2024-11-08T15:23:23Z

Author Dede, Ercan M. author. Lee, Jaewook. author. Nomura, Tsuyoshi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-5640-6
Format: Electronic Resources
Availability Online Library~1

Introduction to Transportation Analysis, Modeling and Simulation Computational Foundations and Multimodal Applications

2024-11-08T15:23:23Z

Author Möller, Dietmar P.F. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-5637-6
Format: Electronic Resources
Availability Online Library~1

Models@run.time Foundations, Applications, and Roadmaps

2024-11-08T15:23:23Z

Author Bencomo, Nelly. editor. France, Robert B. editor. Cheng, Betty H.C. editor. Aßmann, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08915-7
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings

2024-11-08T15:23:23Z

Author Jedlitschka, Andreas. editor. Kuvaja, Pasi. editor. Kuhrmann, Marco. editor. Männistö, Tomi. editor. Münch, Jürgen. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13835-0
Format: Electronic Resources
Availability Online Library~1

Digital Fabrication in Architecture, Engineering and Construction

2024-11-08T15:23:23Z

Author Caneparo, Luca. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-94-007-7137-6
Format: Electronic Resources
Availability Online Library~1

Simulation of ODE/PDE Models with MATLAB®, OCTAVE and SCILAB Scientific and Engineering Applications

2024-11-08T15:23:23Z

Author Vande Wouwer, Alain. author. Saucez, Philippe. author. Vilas, Carlos. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06790-2
Format: Electronic Resources
Availability Online Library~1

Tactile Score A Knowledge Media for Tactile Sense

2024-11-08T15:23:23Z

Author Suzuki, Yasuhiro. author. Suzuki, Rieko. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-4-431-54547-7
Format: Electronic Resources
Availability Online Library~1