Ergebnisse filtern
Fachgebiet
Medium
  • 2013
Erscheinungsjahr
  • 9
  • 28
  • 22
  • 7
  • 20
  • 26
  • 24
  • 30
  • 42
  • 35
  • 33
  • 38
  • 28
  • 3
  • 26
  • 49
  • 120
  • 75
  • 120
  • 154
  • 147
  • 130
  • 117
  • 86
  • 67
  • 68
  • 63
  • 62
  • 65
  • 60
  • 40
  • 40
  • 48
  • 25
  • 34
  • 18
  • 12
  • 14
  • 9
  • 3
  • 1
  • 3
  • 8
  • 4
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 6
  • 1
  • 4
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 7
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 3
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 10
  • 2
  • 2
  • 2
  • 7
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 5
  • 4
  • 2
  • 3
  • 7
  • 3
  • 6
  • 2
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 5
  • 2
  • 9
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 3
  • 6
  • 3
  • 21
  • 9
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 14
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 5
  • 4
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 4
  • 2
  • 7
  • 2
  • 3
  • 2
  • 5
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 5
  • 4
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 5
  • 8
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 8
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 5
  • 5
  • 5
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 9
  • 2
  • 7
  • 7
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 3
  • 3
  • 4
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 3
  • 6
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 11
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 8
  • 3
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 5
  • 7
  • 2
  • 4
  • 2
  • 2
  • 3
  • 9
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 7
  • 4
  • 2
  • 6
  • 2
  • 2
  • 5
  • 4
  • 34
  • 10
  • 2
  • 3
  • 3
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 10
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 11
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 3
  • 4
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 11
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 4
  • 4
Verlag
  • 138
  • 1595
  • 204
  • 36
  • 40
Preis
  • 34
  • 1606
  • 373
Sprachen
  • 2013
  • 3
  • 1
Verfügbarkeit
  • 2011
  • 2
Katalog
  • 2013
  • 78
2.013  Treffer  für „Lecture Notes in Computer Science“
    Lumpe / Proença | Formal Aspects of Component Software | Buch | Sack Fachmedien

    Lumpe / Proença Formal Aspects of Component Software

    14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-68033-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sahinalp / Dogrusoz / Muthukrishnan | Combinatorial Pattern Matching | Buch | Sack Fachmedien

    Sahinalp / Dogrusoz / Muthukrishnan Combinatorial Pattern Matching

    15th Annual Symposium, CPM 2004, Istanbul, Turkey, July 5-7, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22341-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolff / Delugach / Pfeiffer | Conceptual Structures at Work | Buch | Sack Fachmedien

    Wolff / Delugach / Pfeiffer Conceptual Structures at Work

    12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22392-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Denvir / Wray / Harwood | The Analysis of Concurrent Systems | Buch | Sack Fachmedien

    Denvir / Wray / Harwood The Analysis of Concurrent Systems

    Cambridge, September 12-16, 1983. Proceedings
    1985
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-16047-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lingas / Karlsson | SWAT '88 | Buch | Sack Fachmedien

    Lingas / Karlsson SWAT '88

    1st Scandinavian Workshop on Algorithm Theory Halmstad, Sweden, July 5-8, 1988. Proceedings
    1988
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-19487-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Podelski | Static Analysis | Buch | Sack Fachmedien

    Podelski Static Analysis

    25th International Symposium, SAS 2018, Freiburg, Germany, August 29¿31, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-99724-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mauri / El Yacoubi / Manzoni | Cellular Automata | Buch | Sack Fachmedien

    Mauri / El Yacoubi / Manzoni Cellular Automata

    13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17¿21, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-99812-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Engeler | Logic of Programs | Buch | Sack Fachmedien

    Engeler Logic of Programs

    Workshop, ETH Zürich, May-July 1979
    1981
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-11160-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hailpern | Verifying Concurrent Processes Using Temporal Logic | Buch | Sack Fachmedien

    Hailpern Verifying Concurrent Processes Using Temporal Logic

    1982
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-11205-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dorigo / Birattari / Stützle | Ant Colony Optimization and Swarm Intelligence | Buch | Sack Fachmedien

    Dorigo / Birattari / Stützle Ant Colony Optimization and Swarm Intelligence

    4th International Workshop, ANTS 2004, Brussels, Belgium, September 5-8, 2004, Proceeding
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22672-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Morin / Bose | Algorithms and Computation | Buch | Sack Fachmedien

    Morin / Bose Algorithms and Computation

    13th International Symposium, ISAAC 2002 Vancouver, BC, Canada, November 21-23, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00142-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wiedijk / Geuvers | Types for Proofs and Programs | Buch | Sack Fachmedien

    Wiedijk / Geuvers Types for Proofs and Programs

    Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-14031-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Yao / Liu | Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing | Buch | Sack Fachmedien

    Wang / Yao / Liu Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing

    9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-14040-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger | Computation Theory and Logic | Buch | Sack Fachmedien

    Börger Computation Theory and Logic

    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18170-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Okada / Pierce / Yonezawa | Software Security -- Theories and Systems | Buch | Sack Fachmedien

    Okada / Pierce / Yonezawa Software Security -- Theories and Systems

    Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00708-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miao / George | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Miao / George Formal Methods and Software Engineering

    4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00029-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sahin / Winfield / Spears | Swarm Robotics | Buch | Sack Fachmedien

    Sahin / Winfield / Spears Swarm Robotics

    Second SAB 2006 International Workshop, Rome, Italy, September 30-October 1, 2006 Revised Selected Papers
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-71540-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bin / Ur / Ziv | Hardware and Software, Verification and Testing | Buch | Sack Fachmedien

    Bin / Ur / Ziv Hardware and Software, Verification and Testing

    Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-70888-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dastani / Winikoff / El Fallah Seghrouchni | Programming Multi-Agent Systems | Buch | Sack Fachmedien

    Dastani / Winikoff / El Fallah Seghrouchni Programming Multi-Agent Systems

    Fifth International Workshop, ProMAS 2007 Honolulu, HI, USA, May 14-18, 2007 Revised and Invited Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-79042-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aluru / Prasanna / Parashar | High Performance Computing - HiPC 2007 | Buch | Sack Fachmedien

    Aluru / Prasanna / Parashar High Performance Computing - HiPC 2007

    14th International Conference, Goa, India, December 18-21, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77219-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Inverardi / Fiadeiro | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Inverardi / Fiadeiro Fundamental Approaches to Software Engineering

    11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78742-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Piterman | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Piterman Hardware and Software: Verification and Testing

    11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-26286-4
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weaver / Heule | Theory and Applications of Satisfiability Testing -- SAT 2015 | Buch | Sack Fachmedien

    Weaver / Heule Theory and Applications of Satisfiability Testing -- SAT 2015

    18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-24317-7
    Medium: Buch
    68,48 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Majumdar / Bartocci | Runtime Verification | Buch | Sack Fachmedien

    Majumdar / Bartocci Runtime Verification

    6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-23819-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gribaudo / Remke / Manini | Analytical and Stochastic Modelling Techniques and Applications | Buch | Sack Fachmedien

    Gribaudo / Remke / Manini Analytical and Stochastic Modelling Techniques and Applications

    22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-18578-1
    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