Ergebnisse filtern
Fachgebiet
Medium
  • 76
Erscheinungsjahr
  • 12
  • 9
  • 3
  • 2
  • 1
  • 1
  • 4
  • 8
  • 9
  • 3
  • 7
  • 6
  • 6
  • 3
  • 1
  • 1
Autoren
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 4
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 4
  • 1
  • 1
  • 1
  • 6
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
Verlag
  • 75
  • 1
Preis
  • 12
  • 53
  • 11
Sprachen
  • 76
Verfügbarkeit
  • 76
Katalog
  • 76
  • 2
76  Treffer  für „Lecture Notes in Computer Science“
    van Assen / Bovendeerd / Delhaas | Functional Imaging and Modeling of the Heart | Buch | Sack Fachmedien

    van Assen / Bovendeerd / Delhaas Functional Imaging and Modeling of the Heart

    8th International Conference, FIMH 2015, Maastricht, The Netherlands, June 25-27, 2015. Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-20308-9
    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
    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
    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
    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 | Modelling and Simulation for Autonomous Systems | Buch | Sack Fachmedien

    Mazal Modelling and Simulation for Autonomous Systems

    4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-76071-1
    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
    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
    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
    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
    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
    Giardini / Amblard | Multi-Agent-Based Simulation XIII | Buch | Sack Fachmedien

    Giardini / Amblard Multi-Agent-Based Simulation XIII

    International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38858-3
    Medium: Buch
    49,22 € (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
    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
    Brugali / Broenink / Kroeger | Simulation, Modeling, and Programming for Autonomous Robots | Buch | Sack Fachmedien

    Brugali / Broenink / Kroeger Simulation, Modeling, and Programming for Autonomous Robots

    4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11899-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ziemke / Balkenius / Hallam | From Animals to Animats 12 | Buch | Sack Fachmedien

    Ziemke / Balkenius / Hallam From Animals to Animats 12

    12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33092-6
    Medium: Buch
    53,49 € (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
    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
    Grimaldo / Norling | Multi-Agent-Based Simulation XV | Buch | Sack Fachmedien

    Grimaldo / Norling Multi-Agent-Based Simulation XV

    International Workshop, MABS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-14626-3
    Medium: Buch
    51,36 € (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
    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
    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
    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
    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

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