Search Results for - Narrowed by: Springer E-Book Collection - Computer simulation. - System Performance and Evaluation.

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

2024-05-25T17:44:24Z

Yazar Duan, Zhenhua. editor.
https://doi.org/10.1007/978-3-030-13651-2
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Biondi, Fabrizio. editor.
https://doi.org/10.1007/978-3-030-30923-7
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Ölveczky, Peter Csaba. editor.
https://doi.org/10.1007/978-3-030-30446-1
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
https://doi.org/10.1007/978-3-030-17502-3
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Beisbart, Claus. editor.
https://doi.org/10.1007/978-3-319-70766-2
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613
https://doi.org/10.1007/978-3-030-16722-6
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Li, Cheng. editor.
https://doi.org/10.1007/978-3-319-90802-1
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Chen, Qianbin. editor.
https://doi.org/10.1007/978-3-319-66628-0
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Li, Bo. editor.
https://doi.org/10.1007/978-3-319-78130-3
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Dutle, Aaron. editor.
https://doi.org/10.1007/978-3-319-77935-5
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Itsykson, Vladimir. editor.
https://doi.org/10.1007/978-3-319-71734-0
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Li, Bo. editor.
https://doi.org/10.1007/978-3-319-78139-6
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Havelund, Klaus. editor. (orcid)0000-0001-7079-0472
https://doi.org/10.1007/978-3-319-95582-7
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Long, Keping. editor.
https://doi.org/10.1007/978-3-319-72823-0
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Chen, Qianbin. editor.
https://doi.org/10.1007/978-3-319-66625-9
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Cavalheiro, Simone. editor. (orcid)0000-0002-7442-7379
https://doi.org/10.1007/978-3-319-70848-5
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Bertrand, Nathalie. editor.
https://doi.org/10.1007/978-3-319-66335-7
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Reinecke, Philipp. editor.
https://doi.org/10.1007/978-3-319-66583-2
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Vishnevskiy, Vladimir M. editor.
https://doi.org/10.1007/978-3-319-66836-9
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Yuan, Hanning. editor.
https://doi.org/10.1007/978-981-10-3966-9
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Dutra, Inês. editor.
https://doi.org/10.1007/978-3-319-61982-8
Format: Electronic Resources

Combinatorial Testing in Cloud Computing

2024-05-25T17:44:24Z

Yazar Tsai, Wei-Tek. author.
https://doi.org/10.1007/978-981-10-4481-6
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Mas, Antonia. editor.
https://doi.org/10.1007/978-3-319-67383-7
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Pirovano, Alain. editor.
https://doi.org/10.1007/978-3-319-56880-5
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Majumdar, Rupak. editor.
https://doi.org/10.1007/978-3-319-63387-9
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Lee, Jong-Hyouk. editor.
https://doi.org/10.1007/978-3-319-60717-7
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Yuan, Hanning. editor.
https://doi.org/10.1007/978-981-10-3969-0
Format: Electronic Resources

Guide to Modeling and Simulation of Systems of Systems

2024-05-25T17:44:24Z

Yazar P. Zeigler, Bernard. author.
https://doi.org/10.1007/978-3-319-64134-8
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Dudin, Alexander. editor.
https://doi.org/10.1007/978-3-319-68069-9
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar van Eekelen, Marko. editor.
http://dx.doi.org/10.1007/978-3-319-46559-3
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Bian, Fuling. editor.
http://dx.doi.org/10.1007/978-3-662-49155-3
Format: Electronic Resources

Isochronous Wireless Network for Real-time Communication in Industrial Automation

2024-05-25T17:44:24Z

Yazar Trsek, Henning. author.
http://dx.doi.org/10.1007/978-3-662-49158-4
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Vishnevsky, Vladimir. editor.
http://dx.doi.org/10.1007/978-3-319-30843-2
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Fiems, Dieter. editor.
http://dx.doi.org/10.1007/978-3-319-46433-6
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Mendizabal, Jaizki. editor.
http://dx.doi.org/10.1007/978-3-319-38921-9
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Dudin, Alexander. editor.
http://dx.doi.org/10.1007/978-3-319-44615-8
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Blanchette, Jasmin Christian. editor.
http://dx.doi.org/10.1007/978-3-319-43144-4
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Agha, Gul. editor.
http://dx.doi.org/10.1007/978-3-319-43425-4
Format: Electronic Resources

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised Selected Papers

2024-05-25T17:44:24Z

Yazar Jarvis, Stephen A. editor.
http://dx.doi.org/10.1007/978-3-319-17248-4
Format: Electronic Resources

High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers

2024-05-25T17:44:24Z

Yazar Daydé, Michel. editor.
http://dx.doi.org/10.1007/978-3-319-17353-5
Format: Electronic Resources

Geo-Informatics in Resource Management and Sustainable Ecosystem Second International Conference, GRMSE 2014, Ypsilanti, MI, USA, October 3-5, 2014. Proceedings

2024-05-25T17:44:24Z

Yazar Bian, Fuling. editor.
http://dx.doi.org/10.1007/978-3-662-45737-5
Format: Electronic Resources

Parallel Scientific Computing Theory, Algorithms, and Applications of Mesh Based and Meshless Methods

2024-05-25T17:44:24Z

Yazar Trobec, Roman. author.
http://dx.doi.org/10.1007/978-3-319-17073-2
Format: Electronic Resources

Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings

2024-05-25T17:44:24Z

Yazar Campos, Javier. editor.
http://dx.doi.org/10.1007/978-3-319-22264-6
Format: Electronic Resources

Information Technologies and Mathematical Modelling - Queueing Theory and Applications 14th International Scientific Conference, ITMM 2015, named after A. F. Terpugov, Anzhero-Sudzhensk, Russia, November 18-22, 2015, Proceedings

2024-05-25T17:44:24Z

Yazar Dudin, Alexander. editor.
http://dx.doi.org/10.1007/978-3-319-25861-4
Format: Electronic Resources

Energy Efficient Data Centers Third International Workshop, E2DC 2014, Cambridge, UK, June 10, 2014, Revised Selected Papers

2024-05-25T17:44:24Z

Yazar Klingert, Sonja. editor.
http://dx.doi.org/10.1007/978-3-319-15786-3
Format: Electronic Resources

Supercomputing for Molecular Dynamics Simulations Handling Multi-Trillion Particles in Nanofluidics

2024-05-25T17:44:24Z

Yazar Heinecke, Alexander. author.
http://dx.doi.org/10.1007/978-3-319-17148-7
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Li, Kenli. editor.
http://dx.doi.org/10.1007/978-3-642-53962-6
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Jarvis, Stephen A. editor.
http://dx.doi.org/10.1007/978-3-319-10214-6
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Dingel, Juergen. editor.
http://dx.doi.org/10.1007/978-3-319-11653-2
Format: Electronic Resources

Benchmarking Transaction and Analytical Processing Systems The Creation of a Mixed Workload Benchmark and its Application

2024-05-25T17:44:24Z

Yazar Bog, Anja. author.
http://dx.doi.org/10.1007/978-3-642-38070-9
Format: Electronic Resources

Computational Intelligence, Networked Systems and Their Applications International Conference of Life System Modeling and Simulation, LSMS 2014 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 20-23, 2014, Proceedings, Part II

2024-05-25T17:44:24Z

Yazar Fei, Minrui. editor.
http://dx.doi.org/10.1007/978-3-662-45261-5
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Tanaka, Satoshi. editor.
http://dx.doi.org/10.1007/978-3-662-45289-9
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Klingert, Sonja. editor.
http://dx.doi.org/10.1007/978-3-642-55149-9
Format: Electronic Resources

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

2024-05-25T17:44:24Z

Yazar Horváth, András. editor.
http://dx.doi.org/10.1007/978-3-319-10885-8
Format: Electronic Resources