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

Continuous System Simulation

2026-04-01T23:39:24Z

Author Cellier, François E. author. Kofman, Ernesto. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-30260-3
Format: Electronic Resources
Availability Online Library~1

Model-based system architecture

2026-04-01T23:39:24Z

Author Weilkiens, Tim, author. Lamm, Jesko G., 1976- author. Roth, Stephan, 1968- author. Walker, Markus, 1965- author. John Wiley & Sons.
Preferred Shelf Number TA168 .W45 2022
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119746683
Format: Electronic Resources
Availability Online Library~1

Interactive dynamic-system simulation

2026-04-01T23:39:24Z

Author Korn, Granino A. (Granino Arthur), 1922, author.
Preferred Shelf Number QA76.9 .C65 K68 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Microdomains in the Cardiovascular System

2026-04-01T23:39:24Z

Author Nikolaev, Viacheslav. editor. Zaccolo, Manuela. editor. (orcid)0000-0002-0934-3662 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54579-0
Format: Electronic Resources
Availability Online Library~1

Computational Methods in Power System Analysis

2026-04-01T23:39:24Z

Author Idema, Reijer. author. Lahaye, Domenico J.P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.2991/978-94-6239-064-5
Format: Electronic Resources
Availability Online Library~1

Power System Modelling and Scripting

2026-04-01T23:39:24Z

Author Milano, Federico. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13669-6
Format: Electronic Resources
Availability Online Library~1

Handbook of dynamic system modeling

2026-04-01T23:39:24Z

Author Fishwick, Paul A.
Preferred Shelf Number QA76.9 .C65 H345 2007
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Modelling and Simulation Exploring Dynamic System Behaviour

2026-04-01T23:39:24Z

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

Multi-layer Pavement System under Blast Load

2026-04-01T23:39:24Z

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

Multiphysics Simulation Electromechanical System Applications and Optimization

2026-04-01T23:39:24Z

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

System simulation techniques with MATLAB and Simulink

2026-04-01T23:39:24Z

Author Xue, Dingyü. Chen, YangQuan, 1966-
Preferred Shelf Number T57.62 X84 2014
Format: Books
Availability Beytepe Library~1

Modelling and Simulation Exploring Dynamic System Behaviour

2026-04-01T23:39:24Z

Author Birta, Louis G. author. Arbez, Gilbert. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330882.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2783-3
Format: Electronic Resources
Availability Online Library~1

Modelling and Simulation Exploring Dynamic System Behaviour

2026-04-01T23:39:24Z

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

Earth System Modelling - Volume 1 Recent Developments and Projects

2026-04-01T23:39:24Z

Author Puri, Kamal. author. Redler, René. author. Budich, Reinhard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334243.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36597-3
Format: Electronic Resources
Availability Online Library~1

Earth System Modelling - Volume 2 Algorithms, Code Infrastructure and Optimisation

2026-04-01T23:39:24Z

Author Bonaventura, Luca. author. Redler, René. author. Budich, Reinhard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23831-4
Format: Electronic Resources
Availability Online Library~1

Earth System Modelling - Volume 5 Tools for Configuring, Building and Running Models

2026-04-01T23:39:24Z

Author Ford, Rupert. author. Riley, Graham. author. Budich, Reinhard. author. Redler, René. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23932-8
Format: Electronic Resources
Availability Online Library~1

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

2026-04-01T23:39:24Z

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

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

2026-04-01T23:39:24Z

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

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

2026-04-01T23:39:24Z

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

Advancement in Computational Methods for Life Systems Modelling and Simulation 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part I

2026-04-01T23:39:24Z

Author Fei, Minrui. editor. Wu, Hongjie. editor. Niu, Qun. editor. Li, Xin. editor. Zhang, Jingjing. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0188-2
Format: Electronic Resources
Availability Online Library~1

Robotics and Autonomous Systems and Engineering Applications of Computational Intelligence 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part V

2026-04-01T23:39:24Z

Author Gu, Juping. editor. Hu, Fuyuan. editor. Zhou, Huiyu. editor. (orcid)0000-0003-1634-9840 Fei, Zixiang. editor. Yang, Erfu. editor. (orcid)0000-0003-1813-5950
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0313-8
Format: Electronic Resources
Availability Online Library~1

Application of Gray System Theory in Fishery Science

2026-04-01T23:39:24Z

Author Chen, Xinjun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-0635-2
Format: Electronic Resources
Availability Online Library~1

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

2026-04-01T23:39:24Z

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

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

2026-04-01T23:39:24Z

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

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

2026-04-01T23:39:24Z

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

Measuring, Modeling and Simulating the Re-adaptation Process of the Human Visual System after Short-Time Glares in Traffic Scenarios

2026-04-01T23:39:24Z

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

Multiagent System Technologies 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings

2026-04-01T23:39:24Z

Author Klusch, Matthias. editor. Unland, Rainer. editor. Shehory, Onn. editor. Pokahr, Alexander. editor. Ahrndt, Sebastian. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45889-2
Format: Electronic Resources
Availability Online Library~1

Interactive Modeling and Simulation in Business System Design

2026-04-01T23:39:24Z

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

The Vienna LTE-Advanced Simulators Up and Downlink, Link and System Level Simulation

2026-04-01T23:39:24Z

Author Rupp, Markus. author. Schwarz, Stefan. author. Taranetz, Martin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-0617-3
Format: Electronic Resources
Availability Online Library~1

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

2026-04-01T23:39:24Z

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

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

2026-04-01T23:39:24Z

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

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

2026-04-01T23:39:24Z

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

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers

2026-04-01T23:39:24Z

Author Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334136.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36157-9
Format: Electronic Resources
Availability Online Library~1

System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers

2026-04-01T23:39:24Z

Author Hömberg, Dietmar. editor. Tröltzsch, Fredi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334111.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36062-6
Format: Electronic Resources
Availability Online Library~1

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

2026-04-01T23:39:24Z

Author Klusch, Matthias. editor. Thimm, Matthias. editor. Paprzycki, Marcin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335001.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40776-5
Format: Electronic Resources
Availability Online Library~1

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

2026-04-01T23:39:24Z

Author Timm, Ingo J. editor. Guttmann, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33690-4
Format: Electronic Resources
Availability Online Library~1

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

2026-04-01T23:39:24Z

Author Xiao, Tianyuan. editor. Zhang, Lin. editor. Ma, Shiwei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34381-0
Format: Electronic Resources
Availability Online Library~1

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

2026-04-01T23:39:24Z

Author Xiao, Tianyuan. editor. Zhang, Lin. editor. Ma, Shiwei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34396-4
Format: Electronic Resources
Availability Online Library~1

Improving Soil Fertility Recommendations in Africa using the Decision Support System for Agrotechnology Transfer (DSSAT)

2026-04-01T23:39:24Z

Author Kihara, Job. editor. Fatondji, Dougbedji. editor. Jones, James W. editor. Hoogenboom, Gerrit. editor. Tabo, Ramadjita. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-2960-5
Format: Electronic Resources
Availability Online Library~1

System Identification, Environmental Modelling, and Control System Design

2026-04-01T23:39:24Z

Author Wang, Liuping. editor. Garnier, Hugues. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-974-1
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers

2026-04-01T23:39:24Z

Author Leuken, René. editor. Sicard, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17752-1
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings

2026-04-01T23:39:24Z

Author Ayala, José L. editor. García-Cámara, Braulio. editor. Prieto, Manuel. editor. Ruggiero, Martino. editor. Sicard, Gilles. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24154-3
Format: Electronic Resources
Availability Online Library~1

Modeling the Dynamics and Consequences of Land System Change

2026-04-01T23:39:24Z

Author Deng, Xiangzheng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15447-8
Format: Electronic Resources
Availability Online Library~1

Large-Scale Computing Techniques for Complex System Simulations

2026-04-01T23:39:24Z

Author Dubitzky, Werner. Kurowski, Krzysztof. Schott, Bernard. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Wiley InterScience An electronic book accessible through the World Wide Web; click for information Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=818449 http://swb.eblib.com/patron/FullRecord.aspx?p=818449
Format: Electronic Resources
Availability Online Library~1

Solid Modelling and CAD Systems How to Survive a CAD System

2026-04-01T23:39:24Z

Author Stroud, Ian. author. Nagy, Hildegarde. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-259-9
Format: Electronic Resources
Availability Online Library~1

Supply Chain Simulation A System Dynamics Approach for Improving Performance

2026-04-01T23:39:24Z

Author Campuzano, Francisco. author. Mula, Josefa. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-719-8
Format: Electronic Resources
Availability Online Library~1

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part II

2026-04-01T23:39:24Z

Author Li, Kang. editor. Fei, Minrui. editor. Jia, Li. editor. Irwin, George W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15597-0
Format: Electronic Resources
Availability Online Library~1

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part III

2026-04-01T23:39:24Z

Author Li, Kang. editor. Jia, Li. editor. Sun, Xin. editor. Fei, Minrui. editor. Irwin, George W. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15615-1
Format: Electronic Resources
Availability Online Library~1

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, Deptember 17-20, 2010, Proceedings, Part I

2026-04-01T23:39:24Z

Author Li, Kang. editor. Fei, Minrui. editor. Jia, Li. editor. Irwin, George W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15621-2
Format: Electronic Resources
Availability Online Library~1

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part I

2026-04-01T23:39:24Z

Author Li, Kang. editor. Li, Xin. editor. Ma, Shiwei. editor. Irwin, George W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15853-7
Format: Electronic Resources
Availability Online Library~1

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part II

2026-04-01T23:39:24Z

Author Li, Kang. editor. Li, Xin. editor. Ma, Shiwei. editor. Irwin, George W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15859-9
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers

2026-04-01T23:39:24Z

Author Monteiro, José. editor. Leuken, René. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11802-9
Format: Electronic Resources
Availability Online Library~1

Queueing Theory for Telecommunications Discrete Time Modelling of a Single Node System

2026-04-01T23:39:24Z

Author Alfa, Attahiru Sule. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7314-6
Format: Electronic Resources
Availability Online Library~1

Bond Graph Methodology Development and Analysis of Multidisciplinary Dynamic System Models

2026-04-01T23:39:24Z

Author Borutzky, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-882-7
Format: Electronic Resources
Availability Online Library~1

Multiagent System Technologies 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings

2026-04-01T23:39:24Z

Author Braubach, Lars. editor. Hoek, Wiebe. editor. Petta, Paolo. editor. Pokahr, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04143-3
Format: Electronic Resources
Availability Online Library~1

Platform Based Design at the Electronic System Level Industry Perspectives and Experiences

2026-04-01T23:39:24Z

Author Burton, Mark. author. Morawiec, Adam. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-5138-7
Format: Electronic Resources
Availability Online Library~1

Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms

2026-04-01T23:39:24Z

Author Kogel, Tim. author. Leupers, Rainer. author. Meyr, Heinrich. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4826-2
Format: Electronic Resources
Availability Online Library~1

3D-Groundwater Modeling with PMWIN A Simulation System for Modeling Groundwater Flow and Transport Processes

2026-04-01T23:39:24Z

Author Chiang, Wen-Hsing. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-27592-4
Format: Electronic Resources
Availability Online Library~1

OpenGeoSys Tutorial Computational Hydrology II: Groundwater Quality Modeling

2026-04-01T23:39:24Z

Author Sachse, Agnes. author. Nixdorf, Erik. author. Jang, Eunseon. author. Rink, Karsten. author. (orcid)0000-0001-9826-8221 Fischer, Thomas. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-52809-0
Format: Electronic Resources
Availability Online Library~1

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

2026-04-01T23:39:24Z

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

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

2026-04-01T23:39:24Z

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

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

2026-04-01T23:39:24Z

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

Understanding Modelling and Programming

2026-04-01T23:39:24Z

Author Prinz, Andreas. author. (orcid)0000-0002-0646-2877 Møller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260 Fischer, Joachim. author. (orcid)0000-0003-2476-3996 Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71280-7
Format: Electronic Resources
Availability Online Library~1

Dynamic Models of Energy, Robotic, and Biological Systems Systems, Design, and Validation

2026-04-01T23:39:24Z

Author Rubio, Jose de Jesus. author. (orcid)0000-0002-2005-5979 Zacarias, Alejandro. author. (orcid)0000-0002-6427-4911 Pacheco, Jaime. author. (orcid)0000-0002-2377-1639 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85438-5
Format: Electronic Resources
Availability Online Library~1

Applied Antifragility in Natural Systems From Principles to Applications

2026-04-01T23:39:24Z

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

NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings

2026-04-01T23:39:24Z

Author Dutle, Aaron. editor. (orcid)0000-0002-8503-5514 Humphrey, Laura. editor. (orcid)0000-0002-3148-9035 Titolo, Laura. editor. (orcid)0000-0001-7820-7640 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-93706-4
Format: Electronic Resources
Availability Online Library~1

Control Systems Benchmarks

2026-04-01T23:39:24Z

Author Maestre, José M. editor. (orcid)0000-0002-4968-6811 Ocampo-Martinez, Carlos. editor. (orcid)0000-0001-9251-6044 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-76312-0
Format: Electronic Resources
Availability Online Library~1

Hybrid Modeling and Simulation Conceptualizations, Methods and Applications

2026-04-01T23:39:24Z

Author Fakhimi, Masoud. editor. (orcid)0000-0002-7144-7868 Mustafee, Navonil. editor. (orcid)0000-0002-2204-8924 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-59999-6
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 4th International Conference on Advances in Computational Science and Engineering ICACSE 2023, 16-17 December, Manila, Philippines

2026-04-01T23:39:24Z

Author Thiruchelvam, Vinesh. editor. Alfred, Rayner. editor. (orcid)0000-0002-3080-3264 Ismail, Zamhar Iswandono Bin Awang. editor. Haviluddin, Haviluddin. editor. Baharum, Aslina. editor. (orcid)0000-0003-3910-5646
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2977-7
Format: Electronic Resources
Availability Online Library~1

MATLAB and Simulink in Action Programming, Scientific Computing and Simulation

2026-04-01T23:39:24Z

Author Xue, Dingyü. author. Pan, Feng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-1176-9
Format: Electronic Resources
Availability Online Library~1

Intelligent Systems and Computing

2026-04-01T23:39:24Z

Author Cao, Bing-Yuan. editor. Wang, Shu-Feng. editor. Nasseri, Hadi. editor. Zhong, Yu-Bin. editor. (orcid)0000-0002-0473-0372 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2891-6
Format: Electronic Resources
Availability Online Library~1

Discrete-event simulation : concepts and production in arena

2026-04-01T23:39:24Z

Author Jerbi, Abdessalem, author.
Preferred Shelf Number T57.62 .J47 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394332236
Format: Electronic Resources
Availability Online Library~1

Modeling, Simulation and Optimization Proceedings of CoMSO 2022

2026-04-01T23:39:24Z

Author Das, Biplab. editor. (orcid)0000-0003-3752-6308 Patgiri, Ripon. editor. (orcid)0000-0002-9899-9152 Bandyopadhyay, Sivaji. editor. (orcid)0000-0003-2607-1774 Balas, Valentina Emilia. editor. Roy, Sukanta. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-6866-4
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

2026-04-01T23:39:24Z

Author Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929 Gopinath, Divya. editor. (orcid)0000-0002-1242-7701 Shi, Nija. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-60698-4
Format: Electronic Resources
Availability Online Library~1

Computational and Experimental Simulations in Engineering Proceedings of ICCES 2022

2026-04-01T23:39:24Z

Author Dai, Honghua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-02097-1
Format: Electronic Resources
Availability Online Library~1

Computational Methods for Biological Models

2026-04-01T23:39:24Z

Author Singh, Harendra. editor. Dutta, Hemen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5001-0
Format: Electronic Resources
Availability Online Library~1

Introduction to Mechatronics An Integrated Approach

2026-04-01T23:39:24Z

Author Samanta, Biswanath. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-29320-7
Format: Electronic Resources
Availability Online Library~1

Computer models of process dynamics : from Newton to energy fields

2026-04-01T23:39:24Z

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

Systems engineering neural networks

2026-04-01T23:39:24Z

Author Migliaccio, Alessandro, author. Iannone, Giovanni, author.
Preferred Shelf Number QA76.87 .M537 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119902027
Format: Electronic Resources
Availability Online Library~1

Computational modeling and simulation examples in bioengineering

2026-04-01T23:39:24Z

Author Filipovic, Nenad, 1970- editor.
Preferred Shelf Number R856 .C66 2022
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119563983
Format: Electronic Resources
Availability Online Library~1

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

2026-04-01T23:39:24Z

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

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

2026-04-01T23:39:24Z

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

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

2026-04-01T23:39:24Z

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

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

2026-04-01T23:39:24Z

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

Effective Model-Based Systems Engineering

2026-04-01T23:39:24Z

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

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

2026-04-01T23:39:24Z

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

Handbook of Model Predictive Control

2026-04-01T23:39:24Z

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

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

2026-04-01T23:39:24Z

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

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

2026-04-01T23:39:24Z

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

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

2026-04-01T23:39:24Z

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

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

2026-04-01T23:39:24Z

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

2026-04-01T23:39:24Z

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

2026-04-01T23:39:24Z

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

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

2026-04-01T23:39:24Z

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

Simulations for Design and Manufacturing Select Papers from AIMTDR 2016

2026-04-01T23:39:24Z

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

2026-04-01T23:39:24Z

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

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

2026-04-01T23:39:24Z

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

New Perspectives on Applied Industrial Tools and Techniques

2026-04-01T23:39:24Z

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

An introduction to cyber modeling and simulation

2026-04-01T23:39:24Z

Author Couretas, Jerry M., 1966- author.
Preferred Shelf Number QA76.9 .C65
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119420842
Format: Electronic Resources
Availability Online Library~1

The profession of modeling and simulation : discipline, ethics, education, vocation, societies, and economics

2026-04-01T23:39:24Z

Author Tolk, Andreas, editor. Ören, Tuncer I., editor.
Preferred Shelf Number QA10.5
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119288091
Format: Electronic Resources
Availability Online Library~1

Simulating Social Complexity A Handbook

2026-04-01T23:39:24Z

Author Edmonds, Bruce. editor. Meyer, Ruth. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66948-9
Format: Electronic Resources
Availability Online Library~1

Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings

2026-04-01T23:39:24Z

Author Cavalheiro, Simone. editor. Fiadeiro, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70848-5
Format: Electronic Resources
Availability Online Library~1

Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers

2026-04-01T23:39:24Z

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

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

2026-04-01T23:39:24Z

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

Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part II

2026-04-01T23:39:24Z

Author Tan, Ying. editor. (orcid)0000-0001-8243-4731 Takagi, Hideyuki. editor. Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61833-3
Format: Electronic Resources
Availability Online Library~1

Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers

2026-04-01T23:39:24Z

Author Cabello, Enrique. editor. Cardoso, Jorge. editor. Ludwig, André. editor. Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 van Sinderen, Marten. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62569-0
Format: Electronic Resources
Availability Online Library~1

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

2026-04-01T23:39:24Z

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

Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

2026-04-01T23:39:24Z

Author Criado Pacheco, Natalia. editor. Carrascosa, Carlos. editor. Osman, Nardine. editor. Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59294-7
Format: Electronic Resources
Availability Online Library~1

Combinatorial Testing in Cloud Computing

2026-04-01T23:39:24Z

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

Planning Support Science for Smarter Urban Futures

2026-04-01T23:39:24Z

Author Geertman, Stan. editor. Allan, Andrew. editor. Pettit, Chris. editor. Stillwell, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57819-4
Format: Electronic Resources
Availability Online Library~1

Quality, Reliability, Security and Robustness in Heterogeneous Networks 12th International Conference, QShine 2016, Seoul, Korea, July 7-8, 2016, Proceedings

2026-04-01T23:39:24Z

Author Lee, Jong-Hyouk. editor. Pack, Sangheon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60717-7
Format: Electronic Resources
Availability Online Library~1

Modeling with Digital Ocean and Digital Coast

2026-04-01T23:39:24Z

Author Zhang, Xin. editor. Wang, Lei. editor. Jiang, Xiaoyi. editor. Zhu, Changming. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42710-2
Format: Electronic Resources
Availability Online Library~1

Guide to Modeling and Simulation of Systems of Systems

2026-04-01T23:39:24Z

Author P. Zeigler, Bernard. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64134-8
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part I

2026-04-01T23:39:24Z

Author Tan, Ying. editor. (orcid)0000-0001-8243-4731 Takagi, Hideyuki. editor. Shi, Yuhui. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61824-1
Format: Electronic Resources
Availability Online Library~1

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

2026-04-01T23:39:24Z

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

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

2026-04-01T23:39:24Z

Author Ölveczky, Peter Csaba. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6687-0
Format: Electronic Resources
Availability Online Library~1

Critical Infrastructure Protection XI 11th IFIP WG 11.10 International Conference, ICCIP 2017, Arlington, VA, USA, March 13-15, 2017, Revised Selected Papers

2026-04-01T23:39:24Z

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

Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications

2026-04-01T23:39:24Z

Author Berry, Stuart. editor. Lowndes, Val. editor. Trovati, Marcello. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55417-4
Format: Electronic Resources
Availability Online Library~1

Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems International Workshops of PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings

2026-04-01T23:39:24Z

Author Bajo, Javier. editor. Vale, Zita. editor. Hallenborg, Kasper. editor. Rocha, Ana Paula. editor. Mathieu, Philippe. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60285-1
Format: Electronic Resources
Availability Online Library~1

Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part II

2026-04-01T23:39:24Z

Author Yuan, Hanning. editor. Geng, Jing. editor. Bian, Fuling. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3969-0
Format: Electronic Resources
Availability Online Library~1

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

2026-04-01T23:39:24Z

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

Advances in Modeling and Simulation Seminal Research from 50 Years of Winter Simulation Conferences

2026-04-01T23:39:24Z

Author Tolk, Andreas. editor. Fowler, John. editor. Shao, Guodong. editor. Yücesan, Enver. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64182-9
Format: Electronic Resources
Availability Online Library~1

Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part I

2026-04-01T23:39:24Z

Author Yuan, Hanning. editor. Geng, Jing. editor. Bian, Fuling. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3966-9
Format: Electronic Resources
Availability Online Library~1

Electromagnetic Linear Machines with Dual Halbach Array Design and Analysis

2026-04-01T23:39:24Z

Author Yan, Liang. author. Zhang, Lu. author. Peng, Juanjuan. author. Zhang, Lei. author. Jiao, Zongxia. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2309-5
Format: Electronic Resources
Availability Online Library~1

Mathematical Advances Towards Sustainable Environmental Systems

2026-04-01T23:39:24Z

Author Furze, James N. editor. Swing, Kelly. editor. Gupta, Anil K. editor. McClatchey, Richard H. editor. Reynolds, Darren M. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43901-3
Format: Electronic Resources
Availability Online Library~1

Solid-State-Drives (SSDs) Modeling Simulation Tools & Strategies

2026-04-01T23:39:24Z

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

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

2026-04-01T23:39:24Z

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

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

2026-04-01T23:39:24Z

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

Urban Dynamics and Simulation Models

2026-04-01T23:39:24Z

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

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

2026-04-01T23:39:24Z

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

Advances in Social Simulation 2015

2026-04-01T23:39:24Z

Author Jager, Wander. editor. Verbrugge, Rineke. editor. Flache, Andreas. editor. de Roo, Gert. editor. Hoogduin, Lex. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47253-9
Format: Electronic Resources
Availability Online Library~1

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

2026-04-01T23:39:24Z

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

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

2026-04-01T23:39:24Z

Author Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68270-9
Format: Electronic Resources
Availability Online Library~1

Software Process Improvement and Capability Determination 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017, Proceedings

2026-04-01T23:39:24Z

Author Mas, Antonia. editor. Mesquida, Antoni. editor. O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67383-7
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Intelligent Communications First International Conference, MLICOM 2016, Shanghai, China, August 27-28, 2016, Revised Selected Papers

2026-04-01T23:39:24Z

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

Communication Technologies for Vehicles 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017, Proceedings

2026-04-01T23:39:24Z

Author Pirovano, Alain. editor. Berbineau, Marion. editor. Vinel, Alexey. editor. Guerber, Christophe. editor. Roque, Damien. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56880-5
Format: Electronic Resources
Availability Online Library~1

Communication Technologies for Vehicles 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedings

2026-04-01T23:39:24Z

Author Mendizabal, Jaizki. editor. Berbineau, Marion. editor. Vinel, Alexey. editor. Pfletschinger, Stephan. editor. Bonneville, Hervé. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-38921-9
Format: Electronic Resources
Availability Online Library~1

Geochemical Modelling of Igneous Processes - Principles And Recipes in R Language Bringing the Power of R to a Geochemical Community

2026-04-01T23:39:24Z

Author Janoušek, Vojtěch. author. Moyen, Jean-François. author. (orcid)0000-0002-0065-2442 Martin, Hervé. author. Erban, Vojtěch. author. Farrow, Colin. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-46792-3
Format: Electronic Resources
Availability Online Library~1

Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection International Workshops of PAAMS 2016, Sevilla, Spain, June 1-3, 2016. Proceedings

2026-04-01T23:39:24Z

Author Bajo, Javier. editor. Escalona, María José. editor. Giroux, Sylvain. editor. Hoffa-Dąbrowska, Patrycja. editor. Julián, Vicente. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39387-2
Format: Electronic Resources
Availability Online Library~1

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

2026-04-01T23:39:24Z

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

Machine Learning for Evolution Strategies

2026-04-01T23:39:24Z

Author Kramer, Oliver. author. (orcid)0000-0001-7607-1700 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33383-0
Format: Electronic Resources
Availability Online Library~1

Autonomic Road Transport Support Systems

2026-04-01T23:39:24Z

Author McCluskey, Thomas Leo. editor. Kotsialos, Apostolos. editor. Müller, Jörg P. editor. Klügl, Franziska. editor. Rana, Omer. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-25808-9
Format: Electronic Resources
Availability Online Library~1

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

2026-04-01T23:39:24Z

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

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

2026-04-01T23:39:24Z

Author Blanchette, Jasmin Christian. editor. Merz, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43144-4
Format: Electronic Resources
Availability Online Library~1

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

2026-04-01T23:39:24Z

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

Context-Enhanced Information Fusion Boosting Real-World Performance with Domain Knowledge

2026-04-01T23:39:24Z

Author Snidaro, Lauro. editor. García, Jesús. editor. (orcid)0000-0003-1768-2688 Llinas, James. editor. Blasch, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-28971-7
Format: Electronic Resources
Availability Online Library~1

Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

2026-04-01T23:39:24Z

Author Aichernig, Bernhard K. editor. Furia, Carlo A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41135-4
Format: Electronic Resources
Availability Online Library~1

Isochronous Wireless Network for Real-time Communication in Industrial Automation

2026-04-01T23:39:24Z

Author Trsek, Henning. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49158-4
Format: Electronic Resources
Availability Online Library~1

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

2026-04-01T23:39:24Z

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

Social Dimensions of Organised Crime Modelling the Dynamics of Extortion Rackets

2026-04-01T23:39:24Z

Author Elsenbroich, Corinna. editor. Anzola, David. editor. Gilbert, Nigel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45169-5
Format: Electronic Resources
Availability Online Library~1

Urban Resilience A Transformative Approach

2026-04-01T23:39:24Z

Author Yamagata, Yoshiki. editor. Maruyama, Hiroshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39812-9
Format: Electronic Resources
Availability Online Library~1

Lasso-MPC - Predictive Control with ℓ1-Regularised Least Squares

2026-04-01T23:39:24Z

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

Data Assimilation: Mathematical Concepts and Instructive Examples

2026-04-01T23:39:24Z

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

Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

2026-04-01T23:39:24Z

Author van Eekelen, Marko. editor. Dal Lago, Ugo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46559-3
Format: Electronic Resources
Availability Online Library~1

Geo-Informatics in Resource Management and Sustainable Ecosystem Third International Conference, GRMSE 2015, Wuhan, China, October 16-18, 2015, Revised Selected Papers

2026-04-01T23:39:24Z

Author Bian, Fuling. editor. Xie, Yichun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49155-3
Format: Electronic Resources
Availability Online Library~1

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

2026-04-01T23:39:24Z

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

Distributed Simulation A Model Driven Engineering Approach

2026-04-01T23:39:24Z

Author Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-03050-0
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings

2026-04-01T23:39:24Z

Author Abrahamsson, Pekka. editor. Jedlitschka, Andreas. editor. Nguyen Duc, Anh. editor. (orcid)0000-0002-7063-9200 Felderer, Michael. editor. Amasaki, Sousuke. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49094-6
Format: Electronic Resources
Availability Online Library~1

Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation

2026-04-01T23:39:24Z

Author Al-Begain, Khalid. editor. Bargiela, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33786-9
Format: Electronic Resources
Availability Online Library~1

Spatial Modeling Principles in Earth Sciences

2026-04-01T23:39:24Z

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

Graphical Simulation of Deformable Models

2026-04-01T23:39:24Z

Author Cai, Jianping. author. Lin, Feng. author. Seah, Hock Soon. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51031-6
Format: Electronic Resources
Availability Online Library~1

Behavioural Models From Modelling Finite Automata to Analysing Business Processes

2026-04-01T23:39:24Z

Author Kunze, Matthias. author. Weske, Mathias. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44960-9
Format: Electronic Resources
Availability Online Library~1

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

2026-04-01T23:39:24Z

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

Real Time Modeling, Simulation and Control of Dynamical Systems

2026-04-01T23:39:24Z

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

Fundamentals of Neuromechanics

2026-04-01T23:39:24Z

Author Valero-Cuevas, Francisco J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6747-1
Format: Electronic Resources
Availability Online Library~1

Applied Computer Science

2026-04-01T23:39:24Z

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

Transactions on Foundations for Mastering Change I

2026-04-01T23:39:24Z

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

Managing the Complexity of Critical Infrastructures A Modelling and Simulation Approach

2026-04-01T23:39:24Z

Author Setola, Roberto. editor. Rosato, Vittorio. editor. Kyriakides, Elias. editor. Rome, Erich. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51043-9
Format: Electronic Resources
Availability Online Library~1

CAD, 3D Modeling, Engineering Analysis, and Prototype Experimentation Industrial and Research Applications

2026-04-01T23:39:24Z

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

INS/CNS/GNSS Integrated Navigation Technology

2026-04-01T23:39:24Z

Author Quan, Wei. author. Li, Jianli. author. Gong, Xiaolin. author. Fang, Jiancheng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45159-5
Format: Electronic Resources
Availability Online Library~1

Hierarchical Sliding Mode Control for Under-actuated Cranes Design, Analysis and Simulation

2026-04-01T23:39:24Z

Author Qian, Dianwei. author. Yi, Jianqiang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-48417-3
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Natural Computing Selected Results from the IWNC 7 Symposium

2026-04-01T23:39:24Z

Author Suzuki, Yasuhiro. editor. Hagiya, Masami. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-4-431-55105-8
Format: Electronic Resources
Availability Online Library~1

Decision Models in Engineering and Management

2026-04-01T23:39:24Z

Author Guarnieri, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11949-6
Format: Electronic Resources
Availability Online Library~1

Analysis and Simulation of Electrical and Computer Systems

2026-04-01T23:39:24Z

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

Turbulence

2026-04-01T23:39:24Z

Author Bailly, Christophe. author. Comte-Bellot, Geneviève. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-16160-0
Format: Electronic Resources
Availability Online Library~1

Simulation and Modeling Methodologies, Technologies and Applications International Conference, SIMULTECH 2013 Reykjavík, Iceland, July 29-31, 2013 Revised Selected Papers

2026-04-01T23:39:24Z

Author Obaidat, Mohammad S. editor. Koziel, Slawomir. editor. Kacprzyk, Janusz. editor. Leifsson, Leifur. editor. Ören, Tuncer. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11457-6
Format: Electronic Resources
Availability Online Library~1

Railway Infrastructure Security

2026-04-01T23:39:24Z

Author Setola, Roberto. editor. Sforza, Antonio. editor. Vittorini, Valeria. editor. Pragliola, Concetta. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04426-2
Format: Electronic Resources
Availability Online Library~1

Bond Graph Model-based Fault Diagnosis of Hybrid Systems

2026-04-01T23:39:24Z

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

Fractional Order Differentiation and Robust Control Design CRONE, H-infinity and Motion Control

2026-04-01T23:39:24Z

Author Sabatier, Jocelyn. author. Lanusse, Patrick. author. Melchior, Pierre. author. Oustaloup, Alain. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-94-017-9807-5
Format: Electronic Resources
Availability Online Library~1

Discrete and continuous simulation : theory and practice

2026-04-01T23:39:24Z

Author Bandyopadhyay, Susmita, author. Bhattacharya, Ranjan, author.
Preferred Shelf Number QA76.9 .C65 B36 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

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

2026-04-01T23:39:24Z

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

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

2026-04-01T23:39:24Z

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

Intelligent Control A Hybrid Approach Based on Fuzzy Logic, Neural Networks and Genetic Algorithms

2026-04-01T23:39:24Z

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

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

2026-04-01T23:39:24Z

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

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

2026-04-01T23:39:24Z

Author Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11653-2
Format: Electronic Resources
Availability Online Library~1

Distributed Model Predictive Control Made Easy

2026-04-01T23:39:24Z

Author Maestre, José M. editor. Negenborn, Rudy R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-94-007-7006-5
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

2026-04-01T23:39:24Z

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

Real-time simulation technologies : principles, methodologies, and applications

2026-04-01T23:39:24Z

Author Popovici, Katalin. Mosterman, Pieter J.
Preferred Shelf Number QA76.9 .C65 R385 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

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

2026-04-01T23:39:24Z

Author ElAarag, Hala. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331089.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4893-7
Format: Electronic Resources
Availability Online Library~1

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

2026-04-01T23:39:24Z

Author Berbineau, Marion. editor. Jonsson, Magnus. editor. Bonnin, Jean-Marie. editor. Cherkaoui, Soumaya. editor. Aguado, Marina. editor.
Preferred Shelf Number ONLINE(334508.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37974-1
Format: Electronic Resources
Availability Online Library~1

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

2026-04-01T23:39:24Z

Author Balsamo, Maria Simonetta. editor. Knottenbelt, William J. editor. Marin, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334995.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40725-3
Format: Electronic Resources
Availability Online Library~1

Guide to Modeling and Simulation of Systems of Systems

2026-04-01T23:39:24Z

Author Zeigler, Bernard P. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330586.1)
Electronic Access http://dx.doi.org/10.1007/978-0-85729-865-2
Format: Electronic Resources
Availability Online Library~1

Quality Management in Reverse Logistics A Broad Look on Quality Issues and Their Interaction with Closed-Loop Supply Chains

2026-04-01T23:39:24Z

Author Nikolaidis, Yiannis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331003.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4537-0
Format: Electronic Resources
Availability Online Library~1

Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers

2026-04-01T23:39:24Z

Author Tribastone, Mirco. editor. Gilmore, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334290.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36781-6
Format: Electronic Resources
Availability Online Library~1

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

2026-04-01T23:39:24Z

Author Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.
Preferred Shelf Number ONLINE(335120.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41533-3
Format: Electronic Resources
Availability Online Library~1

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

2026-04-01T23:39:24Z

Author Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335179.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45025-9
Format: Electronic Resources
Availability Online Library~1

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

2026-04-01T23:39:24Z

Author Tan, Gary. editor. Yeo, Gee Kin. editor. Turner, Stephen John. editor. Teo, Yong Meng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335181.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45037-2
Format: Electronic Resources
Availability Online Library~1

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

2026-04-01T23:39:24Z

Author Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335148.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41908-9
Format: Electronic Resources
Availability Online Library~1

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

2026-04-01T23:39:24Z

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

Ad Hoc Networks Third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011, Revised Selected Papers

2026-04-01T23:39:24Z

Author Simplot-Ryl, David. editor. Dias de Amorim, Marcelo. editor. Giordano, Silvia. editor. Helmy, Ahmed. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29096-1
Format: Electronic Resources
Availability Online Library~1

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

2026-04-01T23:39:24Z

Author France, Robert B. editor. Kazmeier, Jürgen. editor. Breu, Ruth. editor. Atkinson, Colin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33666-9
Format: Electronic Resources
Availability Online Library~1

Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings

2026-04-01T23:39:24Z

Author Kim, Jong-Hyun. editor. Lee, Kangsun. editor. Tanaka, Satoshi. editor. Park, Soo-Hyun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-4-431-54216-2
Format: Electronic Resources
Availability Online Library~1

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

2026-04-01T23:39:24Z

Author Huusko, Jyrki. editor. Meer, Hermann. editor. Klingert, Sonja. editor. Somov, Andrey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33645-4
Format: Electronic Resources
Availability Online Library~1

Testbeds and Research Infrastructure. Development of Networks and Communities 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers

2026-04-01T23:39:24Z

Author Korakis, Thanasis. editor. Li, Hongbin. editor. Tran-Gia, Phuoc. editor. Park, Hong-Shik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29273-6
Format: Electronic Resources
Availability Online Library~1

PEM Fuel Cells with Bio-Ethanol Processor Systems A Multidisciplinary Study of Modelling, Simulation, Fault Diagnosis and Advanced Control

2026-04-01T23:39:24Z

Author Basualdo, Marta S. editor. Feroldi, Diego. editor. Outbib, Rachid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-184-4
Format: Electronic Resources
Availability Online Library~1

Maintenance Management in Network Utilities Framework and Practical Implementation

2026-04-01T23:39:24Z

Author Gómez Fernández, Juan F. author. Crespo Márquez, Adolfo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2757-4
Format: Electronic Resources
Availability Online Library~1

Handbook of real-world applications in modeling and simulation

2026-04-01T23:39:24Z

Author Sokolowski, John A., 1953- Banks, Catherine M., 1960-
Preferred Shelf Number ONLINE
Electronic Access Connect to MyiLibrary resource. John Wiley http://dx.doi.org/10.1002/9781118241042 Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=822094
Format: Electronic Resources
Availability Online Library~1

FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems

2026-04-01T23:39:24Z

Author Schnieder, Eckehard. editor. Tarnai, Geza. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14261-1
Format: Electronic Resources
Availability Online Library~1

Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

2026-04-01T23:39:24Z

Author Giese, Holger. editor. Karsai, Gabor. editor. Lee, Edward. editor. Rumpe, Bernhard. editor. Schätz, Bernhard. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16277-0
Format: Electronic Resources
Availability Online Library~1

Testbeds and Research Infrastructures. Development of Networks and Communities 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers

2026-04-01T23:39:24Z

Author Magedanz, Thomas. editor. Gavras, Anastasius. editor. Thanh, Nguyen Huu. editor. Chase, Jeffry S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17851-1
Format: Electronic Resources
Availability Online Library~1

Model-Based Software Performance Analysis

2026-04-01T23:39:24Z

Author Cortellessa, Vittorio. author. Di Marco, Antinisca. author. Inverardi, Paola. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13621-4
Format: Electronic Resources
Availability Online Library~1

Handbook of Mobile Ad Hoc Networks for Mobility Models

2026-04-01T23:39:24Z

Author Roy, Radhika Ranjan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-6050-4
Format: Electronic Resources
Availability Online Library~1

Safety and Risk Modeling and Its Applications

2026-04-01T23:39:24Z

Author Pham, Hoang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-470-8
Format: Electronic Resources
Availability Online Library~1

Condition Monitoring and Assessment of Power Transformers Using Computational Intelligence

2026-04-01T23:39:24Z

Author Tang, W.H. author. Wu, Q.H. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-052-6
Format: Electronic Resources
Availability Online Library~1

Stochastic Models for Fault Tolerance Restart, Rejuvenation and Checkpointing

2026-04-01T23:39:24Z

Author Wolter, Katinka. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11257-7
Format: Electronic Resources
Availability Online Library~1

Modeling and Tools for Network Simulation

2026-04-01T23:39:24Z

Author Wehrle, Klaus. editor. Güneş, Mesut. editor. Gross, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12331-3
Format: Electronic Resources
Availability Online Library~1

Ad Hoc Networks Second International Conference, ADHOCNETS 2010, Victoria, BC, Canada, August 18-20, 2010, Revised Selected Papers

2026-04-01T23:39:24Z

Author Zheng, Jun. editor. Simplot-Ryl, David. editor. Leung, Victor C. M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17994-5
Format: Electronic Resources
Availability Online Library~1

Simulation Methods for Reliability and Availability of Complex Systems

2026-04-01T23:39:24Z

Author Faulin, Javier. editor. Juan, Angel A. editor. Martorell, Sebastián. editor. Ramírez-Márquez, José-Emmanuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-213-9
Format: Electronic Resources
Availability Online Library~1

Introduction to Network Simulator NS2

2026-04-01T23:39:24Z

Author Issariyakul, Teerawat. author. Hossain, Ekram. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-71760-9
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

2026-04-01T23:39:24Z

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

Analytical and Stochastic Modeling Techniques and Applications 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009. Proceedings

2026-04-01T23:39:24Z

Author Al-Begain, Khalid. editor. Fiems, Dieter. editor. Horváth, Gábor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02205-0
Format: Electronic Resources
Availability Online Library~1

Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08

2026-04-01T23:39:24Z

Author Radetzki, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9714-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development V

2026-04-01T23:39:24Z

Author Rashid, Awais. editor. Ossher, Harold. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02059-9
Format: Electronic Resources
Availability Online Library~1

Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systems

2026-04-01T23:39:24Z

Author Ahuja, Ravindra K. editor. Möhring, Rolf H. editor. Zaroliagis, Christos D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05465-5
Format: Electronic Resources
Availability Online Library~1

Control and Automation International Conference, CA 2009, Held as Part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009.Proceedings

2026-04-01T23:39:24Z

Author Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Stoica, Adrian. editor. Kang, Byeong-Ho. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10741-2
Format: Electronic Resources
Availability Online Library~1

Permutation Tests for Stochastic Ordering and ANOVA Theory and Applications with R

2026-04-01T23:39:24Z

Author Solari, Aldo. author. Salmaso, Luigi. author. Pesarin, Fortunato. author. Basso, Dario. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-85956-9
Format: Electronic Resources
Availability Online Library~1

Qualitätskriterien für die Simulation in Produktion und Logistik Planung und Durchführung von Simulationsstudien

2026-04-01T23:39:24Z

Author Wenzel, Sigrid. author. Weiß, Matthias. author. Collisi-Böhmer, Simone. author. Pitsch, Holger. author. Rose, Oliver. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-35276-1
Format: Electronic Resources
Availability Online Library~1

The Common Component Modeling Example Comparing Software Component Models

2026-04-01T23:39:24Z

Author Rausch, Andreas. editor. Reussner, Ralf. editor. Mirandola, Raffaela. editor. Plášil, František. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85289-6
Format: Electronic Resources
Availability Online Library~1

Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings

2026-04-01T23:39:24Z

Author Al-Begain, Khalid. editor. Heindl, Armin. editor. Telek, Miklós. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68982-9
Format: Electronic Resources
Availability Online Library~1

Stochastic Discrete Event Systems Modeling, Evaluation, Applications

2026-04-01T23:39:24Z

Author Zimmermann, Armin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74173-2
Format: Electronic Resources
Availability Online Library~1

Shock and Damage Models in Reliability Theory

2026-04-01T23:39:24Z

Author Nakagawa, Toshio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-442-7
Format: Electronic Resources
Availability Online Library~1

Performance Analysis of Network Architectures

2026-04-01T23:39:24Z

Author Tutsch, Dietmar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-34310-5
Format: Electronic Resources
Availability Online Library~1

Electronics Process Technology Production Modelling, Simulation and Optimisation

2026-04-01T23:39:24Z

Author Sauer, Wilfried. author. Oppermann, Martin. author. Werner, Sebastian. author. Wohlrabe, Heinz. author. Zerna, Thomas. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-354-X
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence in Time Series Forecasting Theory and Engineering Applications

2026-04-01T23:39:24Z

Author Palit, Ajoy K. author. Popovic, Dobrivoje. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-184-9
Format: Electronic Resources
Availability Online Library~1

Software Process Modeling

2026-04-01T23:39:24Z

Author Acuña, Silvia T. editor. Juristo, Natalia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104986
Format: Electronic Resources
Availability Online Library~1

A Software Process Model Handbook for Incorporating People’s Capabilities

2026-04-01T23:39:24Z

Author Acuña, Silvia Teresita. author. Juristo, Natalia. author. Moreno, Ana María. author. Mon, Alicia. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106969
Format: Electronic Resources
Availability Online Library~1

Systems modeling and computer simulation

2026-04-01T23:39:24Z

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