Ergebnisse filtern
Fachgebiet
Medium
  • 2067
Erscheinungsjahr
  • 11
  • 156
  • 129
  • 105
  • 39
  • 16
  • 24
  • 33
  • 38
  • 28
  • 33
  • 47
  • 31
  • 51
  • 51
  • 31
  • 68
  • 63
  • 60
  • 92
  • 74
  • 62
  • 120
  • 108
  • 96
  • 77
  • 59
  • 51
  • 36
  • 27
  • 34
  • 33
  • 27
  • 31
  • 19
  • 32
  • 16
  • 15
  • 8
  • 10
  • 4
  • 7
  • 4
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
Autoren
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 4
  • 3
  • 5
  • 3
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 12
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 4
  • 4
  • 2
  • 3
  • 3
  • 3
  • 4
  • 6
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 7
  • 5
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 4
  • 5
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 11
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 9
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 12
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 13
  • 23
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 13
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 7
  • 2
  • 3
  • 2
  • 3
  • 5
  • 3
  • 2
  • 5
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 20
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 4
  • 3
  • 3
  • 5
  • 2
  • 4
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 3
  • 5
  • 2
  • 6
  • 2
  • 2
  • 3
  • 3
  • 3
  • 5
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 5
  • 2
  • 4
  • 2
  • 3
  • 6
  • 2
  • 4
  • 2
  • 4
  • 2
  • 7
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 6
  • 3
  • 3
  • 2
  • 3
  • 2
  • 4
  • 5
  • 2
  • 6
  • 2
  • 4
  • 3
  • 5
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 12
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 7
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 7
  • 3
  • 2
  • 2
  • 4
  • 4
  • 3
  • 3
  • 6
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 5
  • 10
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 10
  • 19
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 4
  • 5
  • 5
  • 2
  • 2
  • 2
  • 4
  • 8
  • 5
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 16
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 9
  • 18
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 7
  • 2
  • 3
  • 7
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 6
  • 5
  • 2
  • 2
  • 3
  • 2
  • 12
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 12
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 23
  • 4
  • 2
  • 3
  • 5
  • 9
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 32
  • 2
  • 3
  • 5
  • 4
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 4
  • 6
  • 5
  • 17
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 9
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 7
  • 3
  • 9
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 7
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 5
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 11
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 4
  • 5
  • 3
  • 7
  • 3
  • 5
  • 2
  • 2
  • 2
  • 17
  • 2
  • 2
  • 2
  • 6
  • 2
  • 7
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
Verlag
  • 2058
  • 1
  • 8
Preis
  • 4
  • 85
  • 1673
  • 305
Sprachen
  • 2067
Verfügbarkeit
  • 2066
  • 1
Katalog
  • 2067
  • 130
2.067  Treffer  für „Lecture Notes in Computer Science“
    Chin / Xu | Theoretical Aspects of Software Engineering | Buch | Sack Fachmedien

    Chin / Xu Theoretical Aspects of Software Engineering

    18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-64625-6
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Neele / Wijs | Model Checking Software | Buch | Sack Fachmedien

    Neele / Wijs Model Checking Software

    30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-66148-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kahng | Information Networking. Networking Technologies for Broadband and Mobile Networks | Buch | Sack Fachmedien

    Kahng Information Networking. Networking Technologies for Broadband and Mobile Networks

    International Conference ICOIN 2004, Busan, Korea, February 18-20, 2004, Revised Selected Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23034-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bougé / Prasanna | High Performance Computing - HiPC 2004 | Buch | Sack Fachmedien

    Bougé / Prasanna High Performance Computing - HiPC 2004

    11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-24129-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voevodin / Sobolev / Yakobovskiy | Supercomputing | Buch | Sack Fachmedien

    Voevodin / Sobolev / Yakobovskiy Supercomputing

    9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-49431-4
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baaz / Voronkov | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    Baaz / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning

    9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-00010-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang | Internet of Things - ICIOT 2024 | Buch | Sack Fachmedien

    Zhang Internet of Things - ICIOT 2024

    9th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-77002-9
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Madria / Claypool / Kannan | Distributed Computing and Internet Technology | Buch | Sack Fachmedien

    Madria / Claypool / Kannan Distributed Computing and Internet Technology

    Third International Conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-68379-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hummel / Sterbenz | Self-Organizing Systems | Buch | Sack Fachmedien

    Hummel / Sterbenz Self-Organizing Systems

    Third International Workshop, IWSOS 2008, Vienna, Austria, December 10-12, 2008
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-92156-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stajano / Matyáš / Christianson | Security Protocols XXVIII | Buch | Sack Fachmedien

    Stajano / Matyáš / Christianson Security Protocols XXVIII

    28th International Workshop, Cambridge, UK, March 27-28, 2023, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-43032-9
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taibi / Smite | Software Engineering and Advanced Applications | Buch | Sack Fachmedien

    Taibi / Smite Software Engineering and Advanced Applications

    51st Euromicro Conference, SEAA 2025, Salerno, Italy, September 10-12, 2025, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-04206-4
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mosses | CASL Reference Manual | Buch | Sack Fachmedien

    Mosses CASL Reference Manual

    The Complete Documentation of the Common Algebraic Specification Language
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21301-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gutknecht / Weck | Modular Programming Languages | Buch | Sack Fachmedien

    Gutknecht / Weck Modular Programming Languages

    Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67958-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller / Cossentino | Agent-Oriented Software Engineering XIII | Buch | Sack Fachmedien

    Müller / Cossentino Agent-Oriented Software Engineering XIII

    13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39865-0
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clarke / Agha | Coordination Models and Languages | Buch | Sack Fachmedien

    Clarke / Agha Coordination Models and Languages

    12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13413-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Endrullis / Tichy | Graph Transformation | Buch | Sack Fachmedien

    Endrullis / Tichy Graph Transformation

    18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-94705-6
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vogt | Concurrency 88 | Buch | Sack Fachmedien

    Vogt Concurrency 88

    International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-50403-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shankaranarayanan / Sankaranarayanan / Trivedi | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Shankaranarayanan / Sankaranarayanan / Trivedi Verification, Model Checking, and Abstract Interpretation

    26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-82702-0
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bouajjani / Chin | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Bouajjani / Chin Automated Technology for Verification and Analysis

    8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15642-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lucena / Garcia / Romanovsky | Software Engineering for Multi-Agent Systems II | Buch | Sack Fachmedien

    Lucena / Garcia / Romanovsky Software Engineering for Multi-Agent Systems II

    Research Issues and Practical Applications
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21182-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Machado / Maciel / Rubin | Model-Based Methodologies for Pervasive and Embedded Software | Buch | Sack Fachmedien

    Machado / Maciel / Rubin Model-Based Methodologies for Pervasive and Embedded Software

    8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38208-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Staunstrup | Program Specification | Buch | Sack Fachmedien

    Staunstrup Program Specification

    Proceedings of a Workshop Aarhus, Denmark, August 1981
    1. Auflage 1982
    Verlag: Springer
    ISBN: 978-3-540-11490-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bolduc / Desharnais / Ktari | Mathematics of Program Construction | Buch | Sack Fachmedien

    Bolduc / Desharnais / Ktari Mathematics of Program Construction

    10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13320-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fensel | Problem-Solving Methods | Buch | Sack Fachmedien

    Fensel Problem-Solving Methods

    Understanding, Description, Development, and Reuse
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67816-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    ter Beek / Nickovic / Nickovic | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    ter Beek / Nickovic / Nickovic Formal Methods for Industrial Critical Systems

    25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-58297-5
    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