Ergebnisse filtern
Fachgebiet
Medium
  • 49
Erscheinungsjahr
  • 5
  • 3
  • 2
  • 1
  • 2
  • 4
  • 5
  • 4
  • 10
  • 6
  • 5
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
Verlag
  • 17
  • 1
  • 24
  • 7
Preis
  • 10
  • 35
  • 4
Sprachen
  • 49
Verfügbarkeit
  • 49
Katalog
  • 49
  • 3
49  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
    Amyot / Mussbacher / Fonseca i Casas | System Analysis and Modeling: Models and Reusability | Buch | Sack Fachmedien

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

    8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-11742-3
    Medium: Buch
    53,49 € (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
    Kanellopoulos / Voudouris / Kyropoulou | Algorithmic Game Theory | Buch | Sack Fachmedien

    Kanellopoulos / Voudouris / Kyropoulou Algorithmic Game Theory

    15th International Symposium, SAGT 2022, Colchester, UK, September 12¿15, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-15713-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nguyen / Xhafa / Kowalczyk | Transactions on Computational Collective Intelligence XIX | Buch | Sack Fachmedien

    Nguyen / Xhafa / Kowalczyk Transactions on Computational Collective Intelligence XIX

    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-49016-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Safranek / Abate | Hybrid Systems Biology | Buch | Sack Fachmedien

    Safranek / Abate Hybrid Systems Biology

    Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-26915-3
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Norling / Grimaldo | Multi-Agent-Based Simulation XV | Buch | Sack Fachmedien

    Norling / Grimaldo Multi-Agent-Based Simulation XV

    International Workshop, MABS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-14626-3
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dimov / Vulkov / Faragó | Finite Difference Methods,Theory and Applications | Buch | Sack Fachmedien

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

    6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-20238-9
    Medium: Buch
    53,49 € (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 Nature Switzerland
    ISBN: 978-3-031-60697-7
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nickovic / Jurdzinski | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Nickovic / Jurdzinski Formal Modeling and Analysis of Timed Systems

    10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-33364-4
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Van Gorp / Rose / Ritter | Modelling Foundations and Applications | Buch | Sack Fachmedien

    Van Gorp / Rose / Ritter Modelling Foundations and Applications

    9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-39012-8
    Medium: Buch
    49,22 € (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
    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
    Al-Begain / Vincent / Fiems | Analytical and Stochastic Modeling Techniques and Applications | Buch | Sack Fachmedien

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

    19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-30781-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blasch / Aved / Darema | Dynamic Data Driven Applications Systems | Buch | Sack Fachmedien

    Blasch / Aved / Darema Dynamic Data Driven Applications Systems

    4th International Conference, DDDAS 2022, Cambridge, MA, USA, October 6¿10, 2022, Proceedings
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-52669-5
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fred / Figueiredo / De Marsico | Pattern Recognition: Applications and Methods | Buch | Sack Fachmedien

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

    4th International Conference, ICPRAM 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-27676-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Behrisch / Weber / Krajzewicz | Simulation of Urban Mobility | Buch | Sack Fachmedien

    Behrisch / Weber / Krajzewicz Simulation of Urban Mobility

    First International Conference, SUMO 2013, Berlin, Germany, May 15-17, 2013. Revised Selected Papers
    2014
    Verlag: Springer
    ISBN: 978-3-662-45078-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
    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
    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
    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
    Rauzy / Ortmeier | Model-Based Safety and Assessment | Buch | Sack Fachmedien

    Rauzy / Ortmeier Model-Based Safety and Assessment

    4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-12213-7
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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