Ergebnisse filtern
Fachgebiet
Medium
  • 120
Erscheinungsjahr
  • 11
  • 4
  • 6
  • 7
  • 6
  • 6
  • 11
  • 13
  • 9
  • 6
  • 10
  • 6
  • 9
  • 4
  • 6
  • 2
  • 1
  • 1
  • 2
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 2
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
Verlag
  • 38
  • 4
  • 58
  • 6
  • 11
  • 2
  • 1
Preis
  • 7
  • 58
  • 55
Sprachen
  • 120
Verfügbarkeit
  • 120
Katalog
  • 120
  • 9
120  Treffer  für „Lecture Notes in Computer Science“
    Kovács / Finkbeiner | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Kovács / Finkbeiner 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 Nature Switzerland
    ISBN: 978-3-031-57255-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kovács / Finkbeiner | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Kovács / Finkbeiner 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 Nature Switzerland
    ISBN: 978-3-031-57245-6
    Medium: Buch
    42,79 € (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 International Publishing
    ISBN: 978-3-319-22382-7
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barkowsky / Schultheis / Burte | Spatial Cognition X | Buch | Sack Fachmedien

    Barkowsky / Schultheis / Burte Spatial Cognition X

    13th Biennial Conference, KogWis 2016, Bremen, Germany, September 26¿30, 2016, and 10th International Conference, Spatial Cognition 2016, Philadelphia, PA, USA, August 2¿5, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-68188-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Wang / Sokolsky | Dependable Software Engineering. Theories, Tools, and Applications | Buch | Sack Fachmedien

    Larsen / Wang / Sokolsky Dependable Software Engineering. Theories, Tools, and Applications

    Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-69482-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ourselin / Smith / Rueckert | Functional Imaging and Modeling of the Heart | Buch | Sack Fachmedien

    Ourselin / Smith / Rueckert Functional Imaging and Modeling of the Heart

    7th International Conference, FIMH 2013, London, UK, June 20-22,2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-38898-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klusch / Unland / Ahrndt | Multiagent System Technologies | Buch | Sack Fachmedien

    Klusch / Unland / Ahrndt Multiagent System Technologies

    14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-45888-5
    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 International Publishing
    ISBN: 978-3-031-31267-0
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mazal / Turi / Fagiolini | Modelling and Simulation for Autonomous Systems | Buch | Sack Fachmedien

    Mazal / Turi / Fagiolini Modelling and Simulation for Autonomous Systems

    7th International Conference, MESAS 2020, Prague, Czech Republic, October 21, 2020, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-70739-2
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chiba / Südholt / Leavens | Transactions on Modularity and Composition I | Buch | Sack Fachmedien

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

    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-46968-3
    Medium: Buch
    82,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kovács / Finkbeiner | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Kovács / Finkbeiner 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 Nature Switzerland
    ISBN: 978-3-031-57248-7
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Antunes / Dimuro | Multi-Agent Based Simulation XVIII | Buch | Sack Fachmedien

    Antunes / Dimuro 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 International Publishing
    ISBN: 978-3-319-91586-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Floater / Lyche / Schumaker | Mathematical Methods for Curves and Surfaces | Buch | Sack Fachmedien

    Floater / Lyche / Schumaker Mathematical Methods for Curves and Surfaces

    9th International Conference, MMCS 2016, Tønsberg, Norway, June 23¿28, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-67884-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brugali / MacDonald / Broenink | Simulation, Modeling, and Programming for Autonomous Robots | Buch | Sack Fachmedien

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

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

    Ziemke / Hallam / Balkenius From Animals to Animats 12

    12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-33092-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bui / Ong / Suganthan | Simulated Evolution and Learning | Buch | Sack Fachmedien

    Bui / Ong / Suganthan Simulated Evolution and Learning

    9th International Conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-34858-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Person / Goodloe | NASA Formal Methods | Buch | Sack Fachmedien

    Person / Goodloe NASA Formal Methods

    4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-28890-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parunak / Alam | Multi-Agent-Based Simulation XIV | Buch | Sack Fachmedien

    Parunak / Alam Multi-Agent-Based Simulation XIV

    International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers
    2014
    Verlag: Springer
    ISBN: 978-3-642-54782-9
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Filos-Ratsikas / Deligkas | Algorithmic Game Theory | Buch | Sack Fachmedien

    Filos-Ratsikas / Deligkas Algorithmic Game Theory

    16th International Symposium, SAGT 2023, Egham, UK, September 4¿7, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-43253-8
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreira / Schätz / Clarke | Model-Driven Engineering Languages and Systems | Buch | Sack Fachmedien

    Moreira / Schätz / Clarke Model-Driven Engineering Languages and Systems

    16th International Conference, MODELS 2013, Miami, FL, USA, September 29 ¿ October 4, 2013. Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-41532-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maabout / Cuzzocrea | Model and Data Engineering | Buch | Sack Fachmedien

    Maabout / Cuzzocrea Model and Data Engineering

    Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013 Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-41365-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ventre / Schäfer | Algorithmic Game Theory | Buch | Sack Fachmedien

    Ventre / Schäfer Algorithmic Game Theory

    17th International Symposium, SAGT 2024, Amsterdam, The Netherlands, September 3¿6, 2024, Proceedings
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-71032-2
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Benz / Shi / Gopinath | NASA Formal Methods | Buch | Sack Fachmedien

    Benz / Shi / Gopinath NASA Formal Methods

    16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4¿6, 2024, Proceedings
    2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-60697-7
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rovatsos / Julian / Vouros | Multi-Agent Systems and Agreement Technologies | Buch | Sack Fachmedien

    Rovatsos / Julian / Vouros 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 International Publishing
    ISBN: 978-3-319-33508-7
    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