Search Results for - Narrowed by: Springer E-Book Collection - Computers. - Simulation and Modeling.

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

2024-05-18T14:03:55Z

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

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

2024-05-18T14:03:55Z

Yazar Larsen, Kim Guldstrand. editor.
https://doi.org/10.1007/978-3-030-27008-7
Format: Electronic Resources

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-18T14:03:55Z

Yazar Duan, Zhenhua. editor.
https://doi.org/10.1007/978-3-030-13651-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-18T14:03:55Z

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

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

2024-05-18T14:03:55Z

Yazar Chamberlain, Roger. editor. (orcid)0000-0002-7207-6106
https://doi.org/10.1007/978-3-030-23703-5
Format: Electronic Resources

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

2024-05-18T14:03:55Z

Yazar Biagioni, Edoardo S. editor.
https://doi.org/10.1007/978-3-030-23597-0
Format: Electronic Resources

Machine Learning and Intelligent Communications 4th International Conference, MLICOM 2019, Nanjing, China, August 24–25, 2019, Proceedings

2024-05-18T14:03:55Z

Yazar Zhai, Xiangping Bryce. editor. (orcid)0000-0001-8939-199X
https://doi.org/10.1007/978-3-030-32388-2
Format: Electronic Resources

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

2024-05-18T14:03:55Z

Yazar Gui, Guan. editor. (orcid)0000-0003-3888-2881
https://doi.org/10.1007/978-3-030-36405-2
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-18T14:03:55Z

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

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

2024-05-18T14:03:55Z

Yazar Longo, Luca. editor. (orcid)0000-0002-2718-5426
https://doi.org/10.1007/978-3-030-14273-5
Format: Electronic Resources

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

2024-05-18T14:03:55Z

Yazar Badger, Julia M. editor.
https://doi.org/10.1007/978-3-030-20652-9
Format: Electronic Resources

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

2024-05-18T14:03:55Z

Yazar Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555
https://doi.org/10.1007/978-3-030-34968-4
Format: Electronic Resources

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

2024-05-18T14:03:55Z

Yazar Dillig, Isil. editor.
https://doi.org/10.1007/978-3-030-25540-4
Format: Electronic Resources

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

2024-05-18T14:03:55Z

Yazar Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712
https://doi.org/10.1007/978-3-030-32409-4
Format: Electronic Resources

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

2024-05-18T14:03:55Z

Yazar Duguleană, Mihai. editor.
https://doi.org/10.1007/978-3-030-05819-7
Format: Electronic Resources

Transactions on Computational Collective Intelligence XXIV

2024-05-18T14:03:55Z

Yazar Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-662-53525-7
Format: Electronic Resources

Transactions on Computational Collective Intelligence XXI Special Issue on Keyword Search and Big Data

2024-05-18T14:03:55Z

Yazar Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-662-49521-6
Format: Electronic Resources

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

2024-05-18T14:03:55Z

Yazar Al-Begain, Khalid. editor.
http://dx.doi.org/10.1007/978-3-319-33786-9
Format: Electronic Resources

Anti-fragile ICT Systems

2024-05-18T14:03:55Z

Yazar Hole, Kjell Jørgen. author.
http://dx.doi.org/10.1007/978-3-319-30070-2
Format: Electronic Resources

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

2024-05-18T14:03:55Z

Yazar Cook, Matthew. editor.
http://dx.doi.org/10.1007/978-3-319-39300-1
Format: Electronic Resources

Multi-Agent Based Simulation XVI International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers

2024-05-18T14:03:55Z

Yazar Gaudou, Benoit. editor.
http://dx.doi.org/10.1007/978-3-319-31447-1
Format: Electronic Resources

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

2024-05-18T14:03:55Z

Yazar Artho, Cyrille. editor.
http://dx.doi.org/10.1007/978-3-319-29510-7
Format: Electronic Resources

Behavioural Models From Modelling Finite Automata to Analysing Business Processes

2024-05-18T14:03:55Z

Yazar Kunze, Matthias. author.
http://dx.doi.org/10.1007/978-3-319-44960-9
Format: Electronic Resources

Haptics: Perception, Devices, Control, and Applications 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part I

2024-05-18T14:03:55Z

Yazar Bello, Fernando. editor.
http://dx.doi.org/10.1007/978-3-319-42321-0
Format: Electronic Resources

Algorithmic Game Theory 9th International Symposium, SAGT 2016, Liverpool, UK, September 19–21, 2016, Proceedings

2024-05-18T14:03:55Z

Yazar Gairing, Martin. editor.
http://dx.doi.org/10.1007/978-3-662-53354-3
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-18T14:03:55Z

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

Transactions on Computational Collective Intelligence XXII

2024-05-18T14:03:55Z

Yazar Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-662-49619-0
Format: Electronic Resources

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

2024-05-18T14:03:55Z

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

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

2024-05-18T14:03:55Z

Yazar El Yacoubi, Samira. editor.
http://dx.doi.org/10.1007/978-3-319-44365-2
Format: Electronic Resources

Big Data Technology and Applications First National Conference, BDTA 2015, Harbin, China, December 25-26, 2015. Proceedings

2024-05-18T14:03:55Z

Yazar Chen, Wenguang. editor.
http://dx.doi.org/10.1007/978-981-10-0457-5
Format: Electronic Resources

Haptics: Perception, Devices, Control, and Applications 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part II

2024-05-18T14:03:55Z

Yazar Bello, Fernando. editor.
http://dx.doi.org/10.1007/978-3-319-42324-1
Format: Electronic Resources

Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

2024-05-18T14:03:55Z

Yazar Bartocci, Ezio. editor.
http://dx.doi.org/10.1007/978-3-319-45177-0
Format: Electronic Resources

Transactions on Computational Collective Intelligence XXIII

2024-05-18T14:03:55Z

Yazar Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-662-52886-0
Format: Electronic Resources

Isochronous Wireless Network for Real-time Communication in Industrial Automation

2024-05-18T14:03:55Z

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

Distributed Simulation A Model Driven Engineering Approach

2024-05-18T14:03:55Z

Yazar Topçu, Okan. author.
http://dx.doi.org/10.1007/978-3-319-03050-0
Format: Electronic Resources

Behavior Modeling -- Foundations and Applications International Workshops, BM-FA 2009-2014, Revised Selected Papers

2024-05-18T14:03:55Z

Yazar Roubtsova, Ella. editor.
http://dx.doi.org/10.1007/978-3-319-21912-7
Format: Electronic Resources

Transactions on Computational Collective Intelligence XVIII

2024-05-18T14:03:55Z

Yazar Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-662-48145-5
Format: Electronic Resources

Multi-Agent-Based Simulation XV International Workshop, MABS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

2024-05-18T14:03:55Z

Yazar Grimaldo, Francisco. editor.
http://dx.doi.org/10.1007/978-3-319-14627-0
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-18T14:03:55Z

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

Learning and Intelligent Optimization 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers

2024-05-18T14:03:55Z

Yazar Dhaenens, Clarisse. editor.
http://dx.doi.org/10.1007/978-3-319-19084-6
Format: Electronic Resources

Cellular Automata and Discrete Complex Systems 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers

2024-05-18T14:03:55Z

Yazar Isokawa, Teijiro. editor.
http://dx.doi.org/10.1007/978-3-319-18812-6
Format: Electronic Resources

Modelling and Simulation for Autonomous Systems Second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015, Revised Selected Papers

2024-05-18T14:03:55Z

Yazar Hodicky, Jan. editor.
http://dx.doi.org/10.1007/978-3-319-22383-4
Format: Electronic Resources

Agents and Artificial Intelligence 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers

2024-05-18T14:03:55Z

Yazar Duval, Béatrice. editor.
http://dx.doi.org/10.1007/978-3-319-27947-3
Format: Electronic Resources

Algorithmic Game Theory 8th International Symposium, SAGT 2015, Saarbrücken, Germany, September 28-30, 2015. Proceedings

2024-05-18T14:03:55Z

Yazar Hoefer, Martin. editor.
http://dx.doi.org/10.1007/978-3-662-48433-3
Format: Electronic Resources

Computational Methods in Systems Biology 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings

2024-05-18T14:03:55Z

Yazar Roux, Olivier. editor.
http://dx.doi.org/10.1007/978-3-319-23401-4
Format: Electronic Resources

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

2024-05-18T14:03:55Z

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

Transactions on Computational Collective Intelligence XX

2024-05-18T14:03:55Z

Yazar Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-319-27543-7
Format: Electronic Resources

Hybrid Systems Biology Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers

2024-05-18T14:03:55Z

Yazar Maler, Oded. editor.
http://dx.doi.org/10.1007/978-3-319-27656-4
Format: Electronic Resources

Large-Scale Scientific Computing 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papers

2024-05-18T14:03:55Z

Yazar Lirkov, Ivan. editor.
http://dx.doi.org/10.1007/978-3-319-26520-9
Format: Electronic Resources

Transactions on Computational Collective Intelligence XIX

2024-05-18T14:03:55Z

Yazar Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-662-49017-4
Format: Electronic Resources

Cellular Automata and Discrete Complex Systems 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings

2024-05-18T14:03:55Z

Yazar Kari, Jarkko. editor.
http://dx.doi.org/10.1007/978-3-662-47221-7
Format: Electronic Resources

An Introduction to R for Quantitative Economics Graphing, Simulating and Computing

2024-05-18T14:03:55Z

Yazar Dayal, Vikram. author.
http://dx.doi.org/10.1007/978-81-322-2340-5
Format: Electronic Resources

Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014. Proceedings

2024-05-18T14:03:55Z

Yazar Wąs, Jarosław. editor.
http://dx.doi.org/10.1007/978-3-319-11520-7
Format: Electronic Resources

Simulation, Modeling, and Programming for Autonomous Robots 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings

2024-05-18T14:03:55Z

Yazar Brugali, Davide. editor.
http://dx.doi.org/10.1007/978-3-319-11900-7
Format: Electronic Resources

Simulated Evolution and Learning 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, 2014. Proceedings

2024-05-18T14:03:55Z

Yazar Dick, Grant. editor.
http://dx.doi.org/10.1007/978-3-319-13563-2
Format: Electronic Resources

Transactions on Computational Collective Intelligence XV

2024-05-18T14:03:55Z

Yazar Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-662-44750-5
Format: Electronic Resources

Transactions on Computational Science XXIII Special Issue on Cyberworlds

2024-05-18T14:03:55Z

Yazar Gavrilova, Marina L. editor.
http://dx.doi.org/10.1007/978-3-662-43790-2
Format: Electronic Resources

Process Design for Natural Scientists An Agile Model-Driven Approach

2024-05-18T14:03:55Z

Yazar Lamprecht, Anna-Lena. editor.
http://dx.doi.org/10.1007/978-3-662-45006-2
Format: Electronic Resources

ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings

2024-05-18T14:03:55Z

Yazar Boniol, Frédéric. editor.
http://dx.doi.org/10.1007/978-3-319-07512-9
Format: Electronic Resources

Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings

2024-05-18T14:03:55Z

Yazar Mendes, Pedro. editor.
http://dx.doi.org/10.1007/978-3-319-12982-2
Format: Electronic Resources

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

2024-05-18T14:03:55Z

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

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

2024-05-18T14:03:55Z

Yazar Hodicky, Jan. editor.
http://dx.doi.org/10.1007/978-3-319-13823-7
Format: Electronic Resources

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

2024-05-18T14:03:55Z

Yazar Bazzan, Ana L.C. editor.
http://dx.doi.org/10.1007/978-3-319-12027-0
Format: Electronic Resources

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

2024-05-18T14:03:55Z

Yazar Grandinetti, Lucio. editor.
http://dx.doi.org/10.1007/978-3-319-12084-3
Format: Electronic Resources

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

2024-05-18T14:03:55Z

Yazar Lavi, Ron. editor.
http://dx.doi.org/10.1007/978-3-662-44803-8
Format: Electronic Resources

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

2024-05-18T14:03:55Z

Yazar Tan, Tieniu. editor.
http://dx.doi.org/10.1007/978-3-662-45498-5
Format: Electronic Resources

Haptics: Neuroscience, Devices, Modeling, and Applications 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014, Proceedings, Part I

2024-05-18T14:03:55Z

Yazar Auvray, Malika. editor.
http://dx.doi.org/10.1007/978-3-662-44193-0
Format: Electronic Resources

Haptics: Neuroscience, Devices, Modeling, and Applications 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014, Proceedings, Part II

2024-05-18T14:03:55Z

Yazar Auvray, Malika. editor.
http://dx.doi.org/10.1007/978-3-662-44196-1
Format: Electronic Resources

Transactions on Computational Collective Intelligence XVI

2024-05-18T14:03:55Z

Yazar Kowalczyk, Ryszard. editor.
http://dx.doi.org/10.1007/978-3-662-44871-7
Format: Electronic Resources

Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives

2024-05-18T14:03:55Z

Yazar Anderson, Neal G. editor.
http://dx.doi.org/10.1007/978-3-662-43722-3
Format: Electronic Resources

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

2024-05-18T14:03:55Z

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

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

2024-05-18T14:03:55Z

Yazar Alam, Shah Jamal. editor.
http://dx.doi.org/10.1007/978-3-642-54783-6
Format: Electronic Resources

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

2024-05-18T14:03:55Z

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