Fachgebiet
Medium
  • 135
Erscheinungsjahr
  • 3
  • 12
  • 11
  • 4
  • 6
  • 6
  • 6
  • 7
  • 10
  • 12
  • 12
  • 8
  • 4
  • 11
  • 11
  • 2
  • 5
  • 2
  • 1
  • 2
Autoren
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 6
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 2
  • 1
  • 5
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 4
  • 1
  • 2
  • 4
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 2
  • 132
  • 1
Preis
  • 14
  • 63
  • 58
Sprachen
  • 135
Verfügbarkeit
  • 135
Katalog
  • 135
  • 6

Modellierung & Simulation

135  Treffer  für „Lecture Notes in Computer Science“


    Kertesz / Kondor Advances in Computer Simulation

    Lectures Held at the Eötvös Summer School in Budapest, Hungary, 16-20 July 1996
    Softcover Nachdruck of the original 1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-662-14186-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Geertman / Allan / Pettit Planning Support Science for Smarter Urban Futures

    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-86258-3
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Geertman / Allan / Pettit Planning Support Science for Smarter Urban Futures

    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-57818-7
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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

    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 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

    Cabot / Rubin Modelling Foundations and Applications

    10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-09194-5
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jahn / Ungvári / Ilin Algorithms and Solutions Based on Computer Technology

    5th Scientific International Online Conference Algorithms and Solutions based on Computer Technology (ASBC 2021)
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-93871-0
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bjørstad / Brenner / Halpern Domain Decomposition Methods in Science and Engineering XXIV

    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-93872-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Huang / Kornhuber / Widlund Domain Decomposition Methods in Science and Engineering XIX

    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-11303-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ferrario / Ciccotti / Binder Computer Simulations in Condensed Matter: From Materials to Chemical Biology. Volume 2

    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35283-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ferrario / Ciccotti / Binder Computer Simulations in Condensed Matter: From Materials to Chemical Biology. Volume 2

    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-3-642-07123-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Haynes / MacLachlan / Cai Domain Decomposition Methods in Science and Engineering XXV

    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-56749-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Haynes / MacLachlan / Cai Domain Decomposition Methods in Science and Engineering XXV

    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-56752-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Huang / Kornhuber / Widlund Domain Decomposition Methods in Science and Engineering XIX

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-26569-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Link / Trujillo Advances in Conceptual Modeling

    ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14-17, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-47716-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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

    Hussain / Jiang / Ren Advances in Brain Inspired Cognitive Systems

    14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-962881-0
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bensalem / Lakhnech / Legay From Programs to Systems - The Systems Perspective in Computing

    ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54847-5
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Demazeau / Ito / Bajo Advances in Practical Applications of Scalable Multi-agent Systems. The PAAMS Collection

    14th International Conference, PAAMS 2016, Sevilla, Spain, June 1-3, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-39323-0
    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

    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

    Aceto / Bacci / Ingólfsdóttir Models, Algorithms, Logics and Tools

    Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-63120-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Aramaki / Barthet / Kronland-Martinet From Sounds to Music and Emotions

    9th International Symposium CMMR 2012, London, UK, June 19-22, 2012, Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41247-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Liu / Xie / Li Neural Information Processing

    24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part V
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-70138-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Liu / Xie / Li Neural Information Processing

    24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part II
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-70095-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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

    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

    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

    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
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Floater / Lyche / Mazure 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
    ISBN: 978-3-319-67884-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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

    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

    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

    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

    Flanagan / König Tools and Algorithms for the Construction and Analysis of Systems

    18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28755-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Deshmukh / Havelund / Pinto NASA Formal Methods

    18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-28078-7
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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

    Brock / Krichmar From Animals to Animats 17

    17th International Conference on Simulation of Adaptive Behavior, SAB 2024, Irvine, CA, USA, September 9-12, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-71532-7
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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

    7th International Conference, FIMH 2013, London, UK, June 20-22,2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38898-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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

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

    Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-69482-5
    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

    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

    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

    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

    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

    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

    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

    Aichernig / Furia Tests and Proofs

    10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-41134-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hodicky Modelling and Simulation for Autonomous Systems

    Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-47604-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Junges / Katz Tools and Algorithms for the Construction and Analysis of Systems

    32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part I
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-22751-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Van Gorp / Ritter / Rose Modelling Foundations and Applications

    9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39012-8
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Abate / Safranek Hybrid Systems Biology

    Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-26915-3
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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

    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

    17th International Symposium, SAGT 2024, Amsterdam, The Netherlands, September 3-6, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-71032-2
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Mazal / Fagiolini / Vasik Modelling and Simulation for Autonomous Systems

    6th International Conference, MESAS 2019, Palermo, Italy, October 29-31, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-43889-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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

    Deville / Gannot / Mason Latent Variable Analysis and Signal Separation

    14th International Conference, LVA/ICA 2018, Guildford, UK, July 2-5, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-93763-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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

    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

    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

    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

    Junges / Katz Tools and Algorithms for the Construction and Analysis of Systems

    32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-22748-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Bilò / Flammini Algorithmic Game Theory

    10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-66699-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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

    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

    Lehnert Energy-Aware Communications

    17th International Workshop, EUNICE 2011, Dresden, Germany, September 5-7, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-23540-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Mehl / Bischoff / Schäfer Recent Trends in Computational Engineering - CE2014

    Optimization, Uncertainty, Parallel Algorithms, Coupled and Complex Problems
    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-38721-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Mehl / Bischoff / Schäfer Recent Trends in Computational Engineering - CE2014

    Optimization, Uncertainty, Parallel Algorithms, Coupled and Complex Problems
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-22996-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Urban Wavelets in Numerical Simulation

    Problem Adapted Construction and Applications
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43055-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Xing Advances in Geocomputing

    Softcover Nachdruck of the original 1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-662-51867-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cao / Wang / Nasseri Intelligent Systems and Computing

    2024
    Verlag: Springer
    ISBN: 978-981-97-2890-9
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Roy / Goyal / Mittal Advanced Prognostic Predictive Modelling in Healthcare Data Analytics

    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-981-16-0537-6
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Roy / Goyal / Mittal Advanced Prognostic Predictive Modelling in Healthcare Data Analytics

    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-981-16-0540-6
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Pumain / Reuillon Urban Dynamics and Simulation Models

    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-83528-0
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Pumain / Reuillon Urban Dynamics and Simulation Models

    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-46495-4
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Avdakovic Advanced Technologies, Systems, and Applications III

    Proceedings of the International Symposium on Innovative and Interdisciplinary Applications of Advanced Technologies (IAT), Volume 1
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-02573-1
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Avdakovic Advanced Technologies, Systems, and Applications III

    Proceedings of the International Symposium on Innovative and Interdisciplinary Applications of Advanced Technologies (IAT), Volume 2
    1. Auflage 2019
    Verlag: Palgrave Macmillan
    ISBN: 978-3-030-02576-2
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Massobrio / Bulou / Goyhenex Atomic-Scale Modeling of Nanosystems and Nanostructured Materials

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-26245-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Christiansen / Stojanovic / Papadopoulos Modeling and Using Context

    9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, November 2-6,2015. Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-25590-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Roca / Loseille 27th International Meshing Roundtable

    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-13991-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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