Ergebnisse filtern
Fachgebiet
Medium
  • 68
Erscheinungsjahr
  • 11
  • 9
  • 3
  • 2
  • 1
  • 1
  • 2
  • 4
  • 3
  • 7
  • 4
  • 5
  • 6
  • 7
  • 1
  • 1
  • 1
Autoren
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 6
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
Verlag
  • 68
Preis
  • 12
  • 46
  • 10
Sprachen
  • 68
Verfügbarkeit
  • 68
Katalog
  • 68
  • 1

Modellierung & Simulation

68  Treffer  für „Lecture Notes in Computer Science“
    Quesada-Arencibia / Affenzeller / Moreno-Díaz | Computer Aided Systems Theory - EUROCAST 2024 | Buch | Sack Fachmedien

    Quesada-Arencibia / Affenzeller / Moreno-Díaz 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
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-83887-3
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Quesada-Arencibia / Affenzeller / Moreno-Díaz | Computer Aided Systems Theory - EUROCAST 2024 | Buch | Sack Fachmedien

    Quesada-Arencibia / Affenzeller / Moreno-Díaz 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
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-82959-8
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Quesada-Arencibia / Affenzeller / Moreno-Díaz | Computer Aided Systems Theory - EUROCAST 2024 | Buch | Sack Fachmedien

    Quesada-Arencibia / Affenzeller / Moreno-Díaz 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
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-82951-2
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreno-Díaz / Pichler / Quesada-Arencibia | Computer Aided Systems Theory - EUROCAST 2017 | Buch | Sack Fachmedien

    Moreno-Díaz / Pichler / Quesada-Arencibia Computer Aided Systems Theory - EUROCAST 2017

    16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-74717-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreno-Díaz / Pichler / Quesada-Arencibia | Computer Aided Systems Theory - EUROCAST 2017 | Buch | Sack Fachmedien

    Moreno-Díaz / Pichler / Quesada-Arencibia Computer Aided Systems Theory - EUROCAST 2017

    16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-74726-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreno-Díaz / Pichler / Quesada-Arencibia | Computer Aided Systems Theory - EUROCAST 2022 | Buch | Sack Fachmedien

    Moreno-Díaz / Pichler / Quesada-Arencibia Computer Aided Systems Theory - EUROCAST 2022

    18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022, Revised Selected Papers
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-25311-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hu / de Lara | Theory and Practice of Model Transformations | Buch | Sack Fachmedien

    Hu / de Lara Theory and Practice of Model Transformations

    5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30475-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meijer / Smeds | Frontiers in Gaming Simulation | Buch | Sack Fachmedien

    Meijer / Smeds Frontiers in Gaming Simulation

    44th International Simulation and Gaming Association Conference, ISAGA 2013 and 17th IFIP WG 5.7 Workshop on Experimental Interactive Learning in Industrial Management, Stockholm, Sweden, June 24-28, 2013. Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-04953-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bac / Mari | Computational Topology in Image Context | Buch | Sack Fachmedien

    Bac / Mari Computational Topology in Image Context

    6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-39440-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tsaftaris / Gooya / Frangi | Simulation and Synthesis in Medical Imaging | Buch | Sack Fachmedien

    Tsaftaris / Gooya / Frangi Simulation and Synthesis in Medical Imaging

    First International Workshop, SASHIMI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-46629-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Friedrich / Helmert / Wotawa | KI 2016: Advances in Artificial Intelligence | Buch | Sack Fachmedien

    Friedrich / Helmert / Wotawa KI 2016: Advances in Artificial Intelligence

    39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-46072-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blaas-Schenner / Niethammer / Haas | Recent Advances in the Message Passing Interface | Buch | Sack Fachmedien

    Blaas-Schenner / Niethammer / Haas Recent Advances in the Message Passing Interface

    31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-73369-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ren / Hussain / Liao | Advances in Brain Inspired Cognitive Systems | Buch | Sack Fachmedien

    Ren / Hussain / Liao Advances in Brain Inspired Cognitive Systems

    13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-981-97-1416-2
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schuchart / Bouteiller / Hunold | Recent Advances in the Message Passing Interface | Buch | Sack Fachmedien

    Schuchart / Bouteiller / Hunold Recent Advances in the Message Passing Interface

    32nd European MPI Users' Group Meeting, EuroMPI 2025, Charlotte, NC, USA, October 1-3, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-07193-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Camara / Mansi / Pop | Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges | Buch | Sack Fachmedien

    Camara / Mansi / Pop Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges

    Third International Workshop, STACOM 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36960-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brézillon / Blackburn / Dapoigny | Modeling and Using Context | Buch | Sack Fachmedien

    Brézillon / Blackburn / Dapoigny Modeling and Using Context

    8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 - 31, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40971-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Camara / Mansi / Pop | Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges | Buch | Sack Fachmedien

    Camara / Mansi / Pop Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges

    4th International Workshop, STACOM 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 26, 2013. Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54267-1
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Xie / Li | Neural Information Processing | Buch | Sack Fachmedien

    Liu / Xie / Li Neural Information Processing

    24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part IV
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-70092-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dudin / De Turck | Analytical and Stochastic Modeling Techniques and Applications | Buch | Sack Fachmedien

    Dudin / De Turck Analytical and Stochastic Modeling Techniques and Applications

    20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39407-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Coello-Coello / Greensmith / Krasnogor | Artificial Immune Systems | Buch | Sack Fachmedien

    Coello-Coello / Greensmith / Krasnogor Artificial Immune Systems

    11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33756-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Xie / Li | Neural Information Processing | Buch | Sack Fachmedien

    Liu / Xie / Li Neural Information Processing

    24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part III
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-70089-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Xie / Li | Neural Information Processing | Buch | Sack Fachmedien

    Liu / Xie / Li Neural Information Processing

    24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part VI
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-70135-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rutkowski / Korytkowski / Scherer | Artificial Intelligence and Soft Computing | Buch | Sack Fachmedien

    Rutkowski / Korytkowski / Scherer Artificial Intelligence and Soft Computing

    11th International Conference, ICAISA 2012, Zakopane, Poland, April 29 - 3 May, 2012, Proceedings, Part II
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29349-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bello / Cotin | Biomedical Simulation | Buch | Sack Fachmedien

    Bello / Cotin Biomedical Simulation

    5th International Symposium, ISBMS 2010, Phoenix, AZ, USA, January 23-24, 2010. Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-11614-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mazal / Fagiolini / Vasik | Modelling and Simulation for Autonomous Systems | Buch | Sack Fachmedien

    Mazal / Fagiolini / Vasik Modelling and Simulation for Autonomous Systems

    10th International Conference, MESAS 2023, Palermo, Italy, October 17-19, 2023, Revised Selected Papers
    2023
    Verlag: Springer
    ISBN: 978-3-031-71396-5
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kolodziej / Kolodziej / González-Vélez | High-Performance Modelling and Simulation for Big Data Applications | Buch | Sack Fachmedien

    Kolodziej / Kolodziej / González-Vélez High-Performance Modelling and Simulation for Big Data Applications

    Selected Results of the COST Action IC1406 cHiPSet
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-16271-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gurfinkel / Heule | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Gurfinkel / Heule Tools and Algorithms for the Construction and Analysis of Systems

    31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-90659-6
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gurfinkel / Heule | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Gurfinkel / Heule Tools and Algorithms for the Construction and Analysis of Systems

    31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-90652-7
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Benz / Gopinath / Shi | NASA Formal Methods | Buch | Sack Fachmedien

    Benz / Gopinath / Shi NASA Formal Methods

    16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-60697-7
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cuzzocrea / Maabout | Model and Data Engineering | Buch | Sack Fachmedien

    Cuzzocrea / Maabout Model and Data Engineering

    Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013 Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41365-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dimov / Faragó / Vulkov | Finite Difference Methods,Theory and Applications | Buch | Sack Fachmedien

    Dimov / Faragó / Vulkov Finite Difference Methods,Theory and Applications

    6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-20238-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rovatsos / Vouros / Julian | Multi-Agent Systems and Agreement Technologies | Buch | Sack Fachmedien

    Rovatsos / Vouros / Julian 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
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-33508-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jurdzinski / Nickovic | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Jurdzinski / Nickovic Formal Modeling and Analysis of Timed Systems

    10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33364-4
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schäfer / Ventre | Algorithmic Game Theory | Buch | Sack Fachmedien

    Schäfer / Ventre Algorithmic Game Theory

    17th International Symposium, SAGT 2024, Amsterdam, The Netherlands, September 3-6, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-71032-2
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dimuro / Antunes | Multi-Agent Based Simulation XVIII | Buch | Sack Fachmedien

    Dimuro / Antunes Multi-Agent Based Simulation XVIII

    International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-91586-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gallardo / Merino | Model Checking Software | Buch | Sack Fachmedien

    Gallardo / Merino Model Checking Software

    25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-94110-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mazal / Fagiolini / Vašík | Modelling and Simulation for Autonomous Systems | Buch | Sack Fachmedien

    Mazal / Fagiolini / Vašík Modelling and Simulation for Autonomous Systems

    9th International Conference, MESAS 2022, Prague, Czech Republic, October 20-21, 2022, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-31267-0
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mazal / Fagiolini / Vašík | Modelling and Simulation for Autonomous Systems | Buch | Sack Fachmedien

    Mazal / Fagiolini / Vašík Modelling and Simulation for Autonomous Systems

    11th International Conference, MESAS 2024, Chania, Crete, Greece, October 1-3, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-99731-0
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maler / Halász / Dang | Hybrid Systems Biology | Buch | Sack Fachmedien

    Maler / Halász / Dang 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
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-27655-7
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Finkbeiner / Kovács | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Finkbeiner / Kovács Tools and Algorithms for the Construction and Analysis of Systems

    30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-3-031-57248-7
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chiba / Südholt / Eugster | Transactions on Modularity and Composition I | Buch | Sack Fachmedien

    Chiba / Südholt / Eugster Transactions on Modularity and Composition I

    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-46968-3
    Medium: Buch
    82,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blasch / Darema / Metaxas | Dynamic Data Driven Applications Systems | Buch | Sack Fachmedien

    Blasch / Darema / Metaxas Dynamic Data Driven Applications Systems

    5th International Conference, DDDAS/Infosymbiotics for Reliable AI 2024, New Brunswick, NJ, USA, November 6-8, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-94894-7
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ayala / Shang / Yakovlev | Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation | Buch | Sack Fachmedien

    Ayala / Shang / Yakovlev 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
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36156-2
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gurfinkel / Heule | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Gurfinkel / Heule Tools and Algorithms for the Construction and Analysis of Systems

    31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-90642-8
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haugen / Reed / Gotzhein | System Analysis and Modeling: Theory and Practice | Buch | Sack Fachmedien

    Haugen / Reed / Gotzhein System Analysis and Modeling: Theory and Practice

    7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36756-4
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mutzel / Jünger / Leipert | Graph Drawing | Buch | Sack Fachmedien

    Mutzel / Jünger / Leipert Graph Drawing

    9th International Symposium, GD 2001 Vienna, Austria, September 23-26, 2001, Revised Papers
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43309-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vallecillo / Tolvanen / Kindler | Modelling Foundations and Applications | Buch | Sack Fachmedien

    Vallecillo / Tolvanen / Kindler Modelling Foundations and Applications

    8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31490-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fischer / Scheidgen / Schieferdecker | SDL 2015: Model-Driven Engineering for Smart Cities | Buch | Sack Fachmedien

    Fischer / Scheidgen / Schieferdecker SDL 2015: Model-Driven Engineering for Smart Cities

    17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-24911-7
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Amyot / Fonseca i Casas / Mussbacher | System Analysis and Modeling: Models and Reusability | Buch | Sack Fachmedien

    Amyot / Fonseca i Casas / Mussbacher System Analysis and Modeling: Models and Reusability

    8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11742-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hodicky | Modelling and Simulation for Autonomous Systems | Buch | Sack Fachmedien

    Hodicky Modelling and Simulation for Autonomous Systems

    Second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-22382-7
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Caragiannis / Hansen | Algorithmic Game Theory | Buch | Sack Fachmedien

    Caragiannis / Hansen Algorithmic Game Theory

    14th International Symposium, SAGT 2021, Aarhus, Denmark, September 21-24, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-85946-6
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mazal | Modelling and Simulation for Autonomous Systems | Buch | Sack Fachmedien

    Mazal Modelling and Simulation for Autonomous Systems

    5th International Conference, MESAS 2018, Prague, Czech Republic, October 17-19, 2018, Revised Selected papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-14983-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Finkbeiner / Kovács | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Finkbeiner / Kovács Tools and Algorithms for the Construction and Analysis of Systems

    30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
    2024
    Verlag: Springer
    ISBN: 978-3-031-57245-6
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Finkbeiner / Kovács | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Finkbeiner / Kovács Tools and Algorithms for the Construction and Analysis of Systems

    30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III
    2024
    Verlag: Springer
    ISBN: 978-3-031-57255-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klusch / Unland / Shehory | Multiagent System Technologies | Buch | Sack Fachmedien

    Klusch / Unland / Shehory Multiagent System Technologies

    14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-45888-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kanellopoulos / Kyropoulou / Voudouris | Algorithmic Game Theory | Buch | Sack Fachmedien

    Kanellopoulos / Kyropoulou / Voudouris Algorithmic Game Theory

    15th International Symposium, SAGT 2022, Colchester, UK, September 12-15, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-15713-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Simao / Morgan | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Simao / Morgan Formal Methods: Foundations and Applications

    14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-25031-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mazal / Fagiolini / Vasik | Modelling and Simulation for Autonomous Systems | Buch | Sack Fachmedien

    Mazal / Fagiolini / Vasik Modelling and Simulation for Autonomous Systems

    8th International Conference, MESAS 2021, Virtual Event, October 13-14, 2021, Revised Selected Papers
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-98259-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deligkas / Filos-Ratsikas | Algorithmic Game Theory | Buch | Sack Fachmedien

    Deligkas / Filos-Ratsikas Algorithmic Game Theory

    16th International Symposium, SAGT 2023, Egham, UK, September 4-7, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-43253-8
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ortmeier / Rauzy | Model-Based Safety and Assessment | Buch | Sack Fachmedien

    Ortmeier / Rauzy Model-Based Safety and Assessment

    4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-12213-7
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alam / Parunak | Multi-Agent-Based Simulation XIV | Buch | Sack Fachmedien

    Alam / Parunak Multi-Agent-Based Simulation XIV

    International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54782-9
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goodloe / Person | NASA Formal Methods | Buch | Sack Fachmedien

    Goodloe / Person NASA Formal Methods

    4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28890-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dutle / Humphrey / Titolo | NASA Formal Methods | Buch | Sack Fachmedien

    Dutle / Humphrey / Titolo NASA Formal Methods

    17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-93705-7
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fred / De Marsico / Figueiredo | Pattern Recognition: Applications and Methods | Buch | Sack Fachmedien

    Fred / De Marsico / Figueiredo Pattern Recognition: Applications and Methods

    4th International Conference, ICPRAM 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-27676-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blasch / Darema / Aved | Dynamic Data Driven Applications Systems | Buch | Sack Fachmedien

    Blasch / Darema / Aved Dynamic Data Driven Applications Systems

    4th International Conference, DDDAS 2022, Cambridge, MA, USA, October 6-10, 2022, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-52669-5
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lavi / Zhang | Algorithmic Game Theory | Buch | Sack Fachmedien

    Lavi / Zhang Algorithmic Game Theory

    18th International Symposium, SAGT 2025, Bath, UK, September 2-5, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-03638-4
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chamberlain / Edin Grimheden / Taha | Cyber Physical Systems. Model-Based Design | Buch | Sack Fachmedien

    Chamberlain / Edin Grimheden / Taha Cyber Physical Systems. Model-Based Design

    9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-41130-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Al-Begain / Fiems / Vincent | Analytical and Stochastic Modeling Techniques and Applications | Buch | Sack Fachmedien

    Al-Begain / Fiems / Vincent Analytical and Stochastic Modeling Techniques and Applications

    19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30781-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular