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

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

2024-05-20T16:16:53Z

Yazar Herzig, Andreas. editor. (orcid)0000-0003-0833-2782
https://doi.org/10.1007/978-3-030-29007-8
Format: Electronic Resources

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

2024-05-20T16:16:53Z

Yazar Yu, Haibin. editor.
https://doi.org/10.1007/978-3-030-27538-9
Format: Electronic Resources

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

2024-05-20T16:16:53Z

Yazar André, Étienne. editor. (orcid)0000-0001-8473-9555
https://doi.org/10.1007/978-3-030-29662-9
Format: Electronic Resources

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

2024-05-20T16:16:53Z

Yazar Yu, Haibin. editor.
https://doi.org/10.1007/978-3-030-27541-9
Format: Electronic Resources

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

2024-05-20T16:16:53Z

Yazar Yu, Haibin. editor.
https://doi.org/10.1007/978-3-030-27529-7
Format: Electronic Resources

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

2024-05-20T16:16:53Z

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

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

2024-05-20T16:16:53Z

Yazar Collart-Dutilleul, Simon. editor.
https://doi.org/10.1007/978-3-030-18744-6
Format: Electronic Resources

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

2024-05-20T16:16:53Z

Yazar Artho, Cyrille. editor.
https://doi.org/10.1007/978-3-030-12988-0
Format: Electronic Resources

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

2024-05-20T16:16:53Z

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

Computational Logistics 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings

2024-05-20T16:16:53Z

Yazar Paias, Ana. editor.
http://dx.doi.org/10.1007/978-3-319-44896-1
Format: Electronic Resources

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

2024-05-20T16:16:53Z

Yazar Saeed, Khalid. editor.
http://dx.doi.org/10.1007/978-3-319-45378-1
Format: Electronic Resources

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

2024-05-20T16:16:53Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-42085-1
Format: Electronic Resources

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

2024-05-20T16:16:53Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-42089-9
Format: Electronic Resources

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

2024-05-20T16:16:53Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-42092-9
Format: Electronic Resources

Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers

2024-05-20T16:16:53Z

Yazar Rovatsos, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-33509-4
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-20T16:16:53Z

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

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

2024-05-20T16:16:53Z

Yazar Klusch, Matthias. editor.
http://dx.doi.org/10.1007/978-3-319-45889-2
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-20T16:16:53Z

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

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

2024-05-20T16:16:53Z

Yazar Gerdt, Vladimir P. editor.
http://dx.doi.org/10.1007/978-3-319-45641-6
Format: Electronic Resources

Computational Methods and Clinical Applications for Spine Imaging Third International Workshop and Challenge, CSI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Proceedings

2024-05-20T16:16:53Z

Yazar Vrtovec, Tomaž. editor.
http://dx.doi.org/10.1007/978-3-319-41827-8
Format: Electronic Resources

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

2024-05-20T16:16:53Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-42108-7
Format: Electronic Resources

Medical Imaging and Augmented Reality 7th International Conference, MIAR 2016, Bern, Switzerland, August 24-26, 2016, Proceedings

2024-05-20T16:16:53Z

Yazar Zheng, Guoyan. editor.
http://dx.doi.org/10.1007/978-3-319-43775-0
Format: Electronic Resources

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

2024-05-20T16:16:53Z

Yazar Bac, Alexandra. editor.
http://dx.doi.org/10.1007/978-3-319-39441-1
Format: Electronic Resources

Autonomous Agents and Multiagent Systems AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers

2024-05-20T16:16:53Z

Yazar Osman, Nardine. editor.
http://dx.doi.org/10.1007/978-3-319-46882-2
Format: Electronic Resources

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

2024-05-20T16:16:53Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-42111-7
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers

2024-05-20T16:16:53Z

Yazar Cirne, Walfredo. editor.
http://dx.doi.org/10.1007/978-3-319-15789-4
Format: Electronic Resources

Advances in Swarm and Computational Intelligence 6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part I

2024-05-20T16:16:53Z

Yazar Tan, Ying. editor.
http://dx.doi.org/10.1007/978-3-319-20466-6
Format: Electronic Resources

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

2024-05-20T16:16:53Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-21410-8
Format: Electronic Resources

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

2024-05-20T16:16:53Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-21413-9
Format: Electronic Resources

Computer Information Systems and Industrial Management 14th IFIP TC 8 International Conference, CISIM 2015, Warsaw, Poland, September 24-26, 2015, Proceedings

2024-05-20T16:16:53Z

Yazar Saeed, Khalid. editor.
http://dx.doi.org/10.1007/978-3-319-24369-6
Format: Electronic Resources

Augmented Environments for Computer-Assisted Interventions 10th International Workshop, AE-CAI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015. Proceedings

2024-05-20T16:16:53Z

Yazar Linte, Cristian A. editor.
http://dx.doi.org/10.1007/978-3-319-24601-7
Format: Electronic Resources

Curves and Surfaces 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers

2024-05-20T16:16:53Z

Yazar Boissonnat, Jean-Daniel. editor.
http://dx.doi.org/10.1007/978-3-319-22804-4
Format: Electronic Resources

Multi-Agent Systems 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers

2024-05-20T16:16:53Z

Yazar Bulling, Nils. editor.
http://dx.doi.org/10.1007/978-3-319-17130-2
Format: Electronic Resources

Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings

2024-05-20T16:16:53Z

Yazar Malyshkin, Victor. editor.
http://dx.doi.org/10.1007/978-3-319-21909-7
Format: Electronic Resources

Latent Variable Analysis and Signal Separation 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings

2024-05-20T16:16:53Z

Yazar Vincent, Emmanuel. editor.
http://dx.doi.org/10.1007/978-3-319-22482-4
Format: Electronic Resources

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

2024-05-20T16:16:53Z

Yazar Lirkov, Ivan. editor.
http://dx.doi.org/10.1007/978-3-319-26520-9
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-20T16:16:53Z

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

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

2024-05-20T16:16:53Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-21404-7
Format: Electronic Resources

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

2024-05-20T16:16:53Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-21407-8
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-20T16:16:53Z

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

Patch-Based Techniques in Medical Imaging First International Workshop, Patch-MI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers

2024-05-20T16:16:53Z

Yazar Wu, Guorong. editor.
http://dx.doi.org/10.1007/978-3-319-28194-0
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-20T16:16:53Z

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

Computational Logistics 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings

2024-05-20T16:16:53Z

Yazar Corman, Francesco. editor.
http://dx.doi.org/10.1007/978-3-319-24264-4
Format: Electronic Resources

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

2024-05-20T16:16:53Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-21470-2
Format: Electronic Resources

Solving Software Challenges for Exascale International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers

2024-05-20T16:16:53Z

Yazar Markidis, Stefano. editor.
http://dx.doi.org/10.1007/978-3-319-15976-8
Format: Electronic Resources

Advances in Swarm and Computational Intelligence 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part III

2024-05-20T16:16:53Z

Yazar Tan, Ying. editor.
http://dx.doi.org/10.1007/978-3-319-20469-7
Format: Electronic Resources

Advances in Swarm and Computational Intelligence 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, June 25-28, 2015, Proceedings, Part II

2024-05-20T16:16:53Z

Yazar Tan, Ying. editor.
http://dx.doi.org/10.1007/978-3-319-20472-7
Format: Electronic Resources

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

2024-05-20T16:16:53Z

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

Adaptive Resource Management and Scheduling for Cloud Computing Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers

2024-05-20T16:16:53Z

Yazar Pop, Florin. editor.
http://dx.doi.org/10.1007/978-3-319-28448-4
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part II

2024-05-20T16:16:53Z

Yazar Murgante, Beniamino. editor.
http://dx.doi.org/10.1007/978-3-319-09129-7
Format: Electronic Resources

Emotion Modeling Towards Pragmatic Computational Models of Affective Processes

2024-05-20T16:16:53Z

Yazar Bosse, Tibor. editor.
http://dx.doi.org/10.1007/978-3-319-12973-0
Format: Electronic Resources

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

2024-05-20T16:16:53Z

Yazar Linte, Cristian A. editor.
http://dx.doi.org/10.1007/978-3-319-10437-9
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part VI

2024-05-20T16:16:53Z

Yazar Murgante, Beniamino. editor.
http://dx.doi.org/10.1007/978-3-319-09153-2
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part V

2024-05-20T16:16:53Z

Yazar Murgante, Beniamino. editor.
http://dx.doi.org/10.1007/978-3-319-09156-3
Format: Electronic Resources

Computational Logistics 5th International Conference, ICCL 2014, Valparaiso, Chile, September 24-26, 2014. Proceedings

2024-05-20T16:16:53Z

Yazar González-Ramírez, Rosa G. editor.
http://dx.doi.org/10.1007/978-3-319-11421-7
Format: Electronic Resources

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

2024-05-20T16:16:53Z

Yazar Desai, Narayan. editor.
http://dx.doi.org/10.1007/978-3-662-43779-7
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part I

2024-05-20T16:16:53Z

Yazar Murgante, Beniamino. editor.
http://dx.doi.org/10.1007/978-3-319-09144-0
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part IV

2024-05-20T16:16:53Z

Yazar Murgante, Beniamino. editor.
http://dx.doi.org/10.1007/978-3-319-09147-1
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part III

2024-05-20T16:16:53Z

Yazar Murgante, Beniamino. editor.
http://dx.doi.org/10.1007/978-3-319-09150-1
Format: Electronic Resources

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

2024-05-20T16:16:53Z

Yazar Lirkov, Ivan. editor.
http://dx.doi.org/10.1007/978-3-662-43880-0
Format: Electronic Resources

Computational Methods in Power System Analysis

2024-05-20T16:16:53Z

Yazar Idema, Reijer. author.
http://dx.doi.org/10.2991/978-94-6239-064-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-20T16:16:53Z

Yazar Wąs, Jarosław. editor.
http://dx.doi.org/10.1007/978-3-319-11520-7
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-20T16:16:53Z

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

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

2024-05-20T16:16:53Z

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