Ergebnisse filtern
Fachgebiet
Medium
  • 2213
Erscheinungsjahr
  • 26
  • 123
  • 149
  • 138
  • 107
  • 40
  • 21
  • 22
  • 36
  • 38
  • 24
  • 31
  • 47
  • 41
  • 48
  • 41
  • 28
  • 74
  • 58
  • 73
  • 82
  • 72
  • 73
  • 116
  • 105
  • 95
  • 77
  • 56
  • 51
  • 38
  • 29
  • 34
  • 33
  • 27
  • 32
  • 19
  • 33
  • 17
  • 15
  • 8
  • 10
  • 4
  • 7
  • 4
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
Autoren
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 8
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 11
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 10
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 3
  • 10
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 11
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 8
  • 6
  • 2
  • 2
  • 3
  • 4
  • 6
  • 4
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 10
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 2
  • 4
  • 4
  • 2
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 5
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 4
  • 4
  • 2
  • 5
  • 12
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 7
  • 2
  • 17
  • 25
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 13
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 6
  • 2
  • 4
  • 2
  • 2
  • 4
  • 9
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 23
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 8
  • 2
  • 3
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 7
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 7
  • 2
  • 5
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 7
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 2
  • 8
  • 3
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 9
  • 2
  • 12
  • 2
  • 2
  • 4
  • 8
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 4
  • 6
  • 2
  • 4
  • 6
  • 2
  • 3
  • 5
  • 4
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 5
  • 5
  • 2
  • 10
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 4
  • 4
  • 8
  • 2
  • 3
  • 2
  • 12
  • 25
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 7
  • 6
  • 2
  • 2
  • 3
  • 5
  • 5
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 3
  • 2
  • 6
  • 4
  • 18
  • 2
  • 2
  • 5
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 2
  • 5
  • 3
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 3
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 4
  • 22
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 5
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 10
  • 2
  • 3
  • 3
  • 5
  • 3
  • 5
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 6
  • 2
  • 2
  • 2
  • 9
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 11
  • 6
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 4
  • 4
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 10
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 13
  • 16
  • 3
  • 9
  • 3
  • 3
  • 6
  • 6
  • 3
  • 36
  • 3
  • 3
  • 6
  • 4
  • 4
  • 6
  • 4
  • 5
  • 4
  • 3
  • 4
  • 5
  • 6
  • 11
  • 21
  • 4
  • 3
  • 6
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 11
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 4
  • 5
  • 3
  • 6
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 11
  • 8
  • 6
  • 3
  • 3
  • 4
  • 7
  • 3
  • 3
  • 5
  • 4
  • 4
  • 7
  • 3
  • 7
  • 5
  • 4
  • 6
  • 4
  • 5
  • 6
  • 5
  • 4
  • 18
  • 3
  • 10
  • 3
  • 3
  • 4
  • 4
Verlag
  • 1
  • 2197
  • 1
  • 7
  • 2
  • 5
Preis
  • 4
  • 106
  • 1763
  • 340
Sprachen
  • 2213
Verfügbarkeit
  • 2169
  • 44
Katalog
  • 2213
  • 133
2.213  Treffer  für „Lecture Notes in Computer Science“
    Hojjat / Ábrahám | Fundamentals of Software Engineering | Buch | Sack Fachmedien

    Hojjat / Ábrahám Fundamentals of Software Engineering

    10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-42440-3
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jongbae / Mokhtari / Aloulou | Digital Health Transformation, Smart Ageing, and Managing Disability | Buch | Sack Fachmedien

    Jongbae / Mokhtari / Aloulou Digital Health Transformation, Smart Ageing, and Managing Disability

    20th International Conference, ICOST 2023, Wonju, South Korea, July 7-8, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-43949-0
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Porkoláb / Zsók | Composability, Comprehensibility and Correctness of Working Software | Buch | Sack Fachmedien

    Porkoláb / Zsók Composability, Comprehensibility and Correctness of Working Software

    8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-42832-6
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hammer / Alirezaie / Strannegård | Artificial General Intelligence | Buch | Sack Fachmedien

    Hammer / Alirezaie / Strannegård Artificial General Intelligence

    16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-33468-9
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen | Bridging the Gap Between AI and Reality | Buch | Sack Fachmedien

    Steffen Bridging the Gap Between AI and Reality

    First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-46001-2
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Comuzzi / Grigori / Sellami | Cooperative Information Systems | Buch | Sack Fachmedien

    Comuzzi / Grigori / Sellami Cooperative Information Systems

    30th International Conference, CoopIS 2024, Porto, Portugal, November 19-21, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-81374-0
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfahl / Gonzalez Huerta / Klünder | Product-Focused Software Process Improvement | Buch | Sack Fachmedien

    Pfahl / Gonzalez Huerta / Klünder Product-Focused Software Process Improvement

    25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024, Proceedings
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-78385-2
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calinescu / Rumpe | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Calinescu / Rumpe Software Engineering and Formal Methods

    13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-22968-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marcus / Rosenzweig / Soares | Design, User Experience, and Usability | Buch | Sack Fachmedien

    Marcus / Rosenzweig / Soares Design, User Experience, and Usability

    13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-3-031-61352-4
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Könighofer / Torfah | Runtime Verification | Buch | Sack Fachmedien

    Könighofer / Torfah Runtime Verification

    25th International Conference, RV 2025, Graz, Austria, September 15-19, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-05434-0
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Capilla / Gallina / Cetina | New Opportunities for Software Reuse | Buch | Sack Fachmedien

    Capilla / Gallina / Cetina New Opportunities for Software Reuse

    17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-90420-7
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe / Fournet | Trustworthy Global Computing | Buch | Sack Fachmedien

    Barthe / Fournet Trustworthy Global Computing

    Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78662-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malek / Nett / Suri | Service Availability | Buch | Sack Fachmedien

    Malek / Nett / Suri Service Availability

    Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29103-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Strichman / Szeider | Theory and Applications of Satisfiability Testing - SAT 2010 | Buch | Sack Fachmedien

    Strichman / Szeider Theory and Applications of Satisfiability Testing - SAT 2010

    13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14185-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calvanese / Lausen | Web Reasoning and Rule Systems | Buch | Sack Fachmedien

    Calvanese / Lausen Web Reasoning and Rule Systems

    Second International Conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88736-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wirsing / Bergstra | Algebraic Methods: Theory, Tools and Applications | Buch | Sack Fachmedien

    Wirsing / Bergstra Algebraic Methods: Theory, Tools and Applications

    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51698-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Armando / Baumgartner / Dowek | Automated Reasoning | Buch | Sack Fachmedien

    Armando / Baumgartner / Dowek Automated Reasoning

    4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-71069-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Albert / Sekerinski | Integrated Formal Methods | Buch | Sack Fachmedien

    Albert / Sekerinski Integrated Formal Methods

    11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-10180-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Schreye | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    De Schreye Logic-Based Program Synthesis and Transformation

    19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12591-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rausch / Reussner / Mirandola | The Common Component Modeling Example | Buch | Sack Fachmedien

    Rausch / Reussner / Mirandola The Common Component Modeling Example

    Comparing Software Component Models
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85288-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wirsing / Nivat | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Wirsing / Nivat Algebraic Methodology and Software Technology

    5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61463-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Heisel / Joosen / López | Engineering Secure Future Internet Services and Systems | Buch | Sack Fachmedien

    Heisel / Joosen / López Engineering Secure Future Internet Services and Systems

    Current Research
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-07451-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Garousi / Madachy | Trustworthy Software Development Processes | Buch | Sack Fachmedien

    Wang / Garousi / Madachy Trustworthy Software Development Processes

    International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01679-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Henzinger / Sastry | Hybrid Systems: Computation and Control | Buch | Sack Fachmedien

    Henzinger / Sastry Hybrid Systems: Computation and Control

    First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64358-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kauffman / Pedrielli | Runtime Verification | Buch | Sack Fachmedien

    Kauffman / Pedrielli Runtime Verification

    26th International Conference, RV 2026, Kingston, ON, Canada, October 6-9, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-41159-4
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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