Ergebnisse filtern
Fachgebiet
Medium
  • 4150
Erscheinungsjahr
  • 25
  • 240
  • 183
  • 127
  • 47
  • 20
  • 39
  • 47
  • 67
  • 56
  • 61
  • 79
  • 66
  • 80
  • 83
  • 67
  • 149
  • 139
  • 145
  • 199
  • 201
  • 133
  • 212
  • 223
  • 183
  • 181
  • 120
  • 121
  • 85
  • 100
  • 95
  • 83
  • 68
  • 66
  • 50
  • 67
  • 38
  • 41
  • 30
  • 32
  • 20
  • 14
  • 11
  • 9
  • 13
  • 17
  • 11
  • 1
  • 1
  • 2
  • 2
  • 1
Autoren
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 8
  • 3
  • 5
  • 2
  • 4
  • 5
  • 2
  • 2
  • 7
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 5
  • 2
  • 3
  • 3
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 15
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 5
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 3
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 2
  • 4
  • 6
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 4
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 5
  • 3
  • 4
  • 5
  • 4
  • 2
  • 5
  • 4
  • 2
  • 2
  • 10
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 11
  • 2
  • 4
  • 9
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 9
  • 2
  • 4
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 3
  • 5
  • 3
  • 11
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 6
  • 3
  • 2
  • 3
  • 4
  • 3
  • 3
  • 3
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 3
  • 5
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 10
  • 3
  • 2
  • 8
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 13
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 35
  • 27
  • 2
  • 3
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 13
  • 4
  • 2
  • 9
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 16
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 3
  • 4
  • 3
  • 8
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 8
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 7
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 12
  • 6
  • 21
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 8
  • 4
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 7
  • 6
  • 5
  • 11
  • 3
  • 3
  • 6
  • 3
  • 7
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 15
  • 5
  • 6
  • 3
  • 4
  • 3
  • 6
  • 5
  • 4
  • 4
  • 3
  • 7
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 6
  • 3
  • 4
  • 6
  • 6
  • 3
  • 3
  • 3
  • 5
  • 6
  • 4
  • 3
  • 4
  • 3
  • 6
  • 7
  • 3
  • 6
  • 4
  • 3
  • 4
  • 6
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 9
  • 5
  • 6
  • 6
  • 5
  • 3
  • 5
  • 5
  • 5
  • 3
  • 3
  • 7
  • 3
  • 4
  • 12
  • 4
  • 4
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 8
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 4
  • 7
  • 3
  • 4
  • 4
  • 4
  • 8
  • 6
  • 3
  • 3
  • 6
  • 3
  • 6
  • 7
  • 5
  • 4
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 7
  • 3
  • 5
  • 5
  • 5
  • 3
  • 11
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 12
  • 3
  • 10
  • 4
  • 4
  • 3
  • 4
  • 11
  • 3
  • 3
  • 5
  • 3
  • 4
  • 10
  • 21
  • 7
  • 6
  • 4
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 7
  • 3
  • 4
  • 3
  • 3
  • 7
  • 4
  • 5
  • 5
  • 3
  • 6
  • 5
  • 4
  • 9
  • 5
  • 5
  • 5
  • 3
  • 7
  • 3
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 5
  • 4
  • 5
  • 4
  • 17
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 7
  • 7
  • 3
  • 3
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 6
  • 5
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 6
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 5
  • 3
  • 9
  • 4
  • 9
  • 18
  • 7
  • 6
  • 4
  • 3
  • 6
  • 4
  • 6
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 9
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 7
  • 3
  • 5
  • 6
  • 5
  • 3
  • 3
  • 6
  • 3
  • 4
  • 4
  • 4
  • 5
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 11
  • 9
  • 7
  • 3
  • 4
  • 4
  • 31
  • 4
  • 11
  • 3
  • 12
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 9
  • 3
  • 5
  • 4
  • 4
  • 3
  • 6
  • 26
  • 4
  • 6
  • 4
  • 9
  • 3
  • 3
  • 4
  • 33
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 10
  • 5
  • 17
  • 8
  • 9
  • 4
  • 6
  • 3
  • 11
  • 4
  • 4
  • 7
  • 4
  • 8
  • 4
  • 5
  • 4
  • 4
  • 3
  • 21
  • 6
  • 3
  • 5
  • 12
  • 6
  • 7
  • 5
  • 4
  • 3
  • 10
  • 3
  • 5
  • 6
  • 5
  • 4
  • 20
  • 5
  • 4
  • 6
  • 5
  • 4
  • 4
  • 6
Verlag
  • 4121
  • 1
  • 1
  • 3
  • 24
Preis
  • 13
  • 138
  • 3220
  • 779
Sprachen
  • 4150
  • 5
Verfügbarkeit
  • 4146
  • 4
Katalog
  • 4150
  • 239
4.150  Treffer  für „Lecture Notes in Computer Science“
    Groves / Sun | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Groves / Sun Formal Methods and Software Engineering

    15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41201-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thai / Sahni | Computing and Combinatorics | Buch | Sack Fachmedien

    Thai / Sahni Computing and Combinatorics

    16th Annual International Conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010 Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14030-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bezem / Groote | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Bezem / Groote Typed Lambda Calculi and Applications

    International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56517-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gaševic / Lämmel / van Wyk | Software Language Engineering | Buch | Sack Fachmedien

    Gaševic / Lämmel / van Wyk Software Language Engineering

    First International Conference, SLE 2008 Toulouse, France, September 29-30, 2008, Revised Selected Papers
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00433-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roca / Rousseau | Interactive Multimedia and Next Generation Networks | Buch | Sack Fachmedien

    Roca / Rousseau Interactive Multimedia and Next Generation Networks

    Second International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2004, Grenoble, France, November 16-19, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23928-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Helmert | Understanding Planning Tasks | Buch | Sack Fachmedien

    Helmert Understanding Planning Tasks

    Domain Complexity and Heuristic Decomposition
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77722-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fischetti / Williamson | Integer Programming and Combinatorial Optimization | Buch | Sack Fachmedien

    Fischetti / Williamson Integer Programming and Combinatorial Optimization

    12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72791-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Le Metayer | Programming Languages and Systems | Buch | Sack Fachmedien

    Le Metayer Programming Languages and Systems

    11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43363-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wu / Guo | Combinatorial Optimization and Applications | Buch | Sack Fachmedien

    Wu / Guo Combinatorial Optimization and Applications

    16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-49610-3
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weirich | Programming Languages and Systems | Buch | Sack Fachmedien

    Weirich Programming Languages and Systems

    33rd European Symposium on Programming, ESOP 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-57261-6
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kallel / Ben Halima / Raibulet | Service-Oriented Computing - ICSOC 2024 Workshops | Buch | Sack Fachmedien

    Kallel / Ben Halima / Raibulet Service-Oriented Computing - ICSOC 2024 Workshops

    ASOCA, AI-PA, WESOACS, GAISS, LAIS, AI on Edge, RTSEMS, SQS, SOCAISA, SOC4AI and Satellite Events, Tunis, Tunisia, December 3-6, 2024, Revised Selected Papers, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-967237-0
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ferreira / Rolim / Saad | Parallel Algorithms for Irregularly Structured Problems | Buch | Sack Fachmedien

    Ferreira / Rolim / Saad Parallel Algorithms for Irregularly Structured Problems

    Third International Workshop, IRREGULAR '96, Santa Barbara, CA, USA, August 19 - 21, 1996. Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61549-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brunner / Keller | Self-Managing Distributed Systems | Buch | Sack Fachmedien

    Brunner / Keller Self-Managing Distributed Systems

    14th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2003, Heidelberg, Germany, October 20-22, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20314-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Costa / d'Amato / Fanizzi | Uncertainty Reasoning for the Semantic Web I | Buch | Sack Fachmedien

    Costa / d'Amato / Fanizzi Uncertainty Reasoning for the Semantic Web I

    ISWC International Workshop, URSW 2005-2007, Revised Selected and Invited Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-89764-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Snyers / Thayse | From Logic Design to Logic Programming | Buch | Sack Fachmedien

    Snyers / Thayse From Logic Design to Logic Programming

    Theorem Proving Techniques and P-Functions
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18217-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Swart / Orlowska / Schmidt | Theory and Applications of Relational Structures as Knowledge Instruments | Buch | Sack Fachmedien

    Swart / Orlowska / Schmidt Theory and Applications of Relational Structures as Knowledge Instruments

    COST Action 274, TARSKI, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20780-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Huynh / Das | Wireless Algorithms, Systems, and Applications | Buch | Sack Fachmedien

    Li / Huynh / Das Wireless Algorithms, Systems, and Applications

    Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88581-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lecomte / Pinger / Romanovsky | Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | Buch | Sack Fachmedien

    Lecomte / Pinger / Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-33950-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feng / He / Zhang | Blockchain - ICBC 2024 | Buch | Sack Fachmedien

    Feng / He / Zhang Blockchain - ICBC 2024

    7th 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-77094-4
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nürnberg | Metainformatics | Buch | Sack Fachmedien

    Nürnberg Metainformatics

    International Symposium, MIS 2002, Esbjerg, Denmark, August 7-10, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40218-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leuschel | Logic Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Leuschel Logic Based Program Synthesis and Transformation

    12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40438-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eder / Louren?o / Shehory | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Eder / Louren?o / Shehory Hardware and Software: Verification and Testing

    7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34187-8
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Verification | Buch | Sack Fachmedien

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Verification

    8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-03420-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grabowski / Nielsen | Formal Approaches to Software Testing | Buch | Sack Fachmedien

    Grabowski / Nielsen Formal Approaches to Software Testing

    4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25109-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kirby / Dearle / Sjoberg | Persistent Object Systems: Design, Implementation, and Use | Buch | Sack Fachmedien

    Kirby / Dearle / Sjoberg Persistent Object Systems: Design, Implementation, and Use

    9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000, Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42735-3
    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