Ergebnisse filtern
Fachgebiet
Medium
  • 4139
Erscheinungsjahr
  • 26
  • 240
  • 183
  • 127
  • 47
  • 20
  • 39
  • 47
  • 67
  • 56
  • 61
  • 79
  • 66
  • 81
  • 81
  • 62
  • 144
  • 144
  • 145
  • 199
  • 193
  • 137
  • 211
  • 222
  • 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
  • 6
  • 2
  • 3
  • 8
  • 3
  • 5
  • 2
  • 3
  • 5
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 3
  • 3
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 15
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 5
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 3
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 2
  • 4
  • 2
  • 6
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 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
  • 2
  • 4
  • 5
  • 4
  • 2
  • 6
  • 4
  • 2
  • 2
  • 10
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 11
  • 2
  • 4
  • 7
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 9
  • 4
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 3
  • 5
  • 2
  • 9
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 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
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 6
  • 3
  • 5
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 6
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 10
  • 2
  • 2
  • 8
  • 2
  • 6
  • 2
  • 2
  • 2
  • 14
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 34
  • 27
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 13
  • 4
  • 2
  • 9
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 16
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 8
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 8
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 4
  • 7
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 12
  • 6
  • 22
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 9
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 3
  • 5
  • 4
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 7
  • 6
  • 5
  • 11
  • 3
  • 3
  • 6
  • 3
  • 8
  • 6
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 15
  • 5
  • 4
  • 3
  • 4
  • 3
  • 6
  • 5
  • 4
  • 4
  • 3
  • 7
  • 4
  • 4
  • 5
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 5
  • 5
  • 3
  • 4
  • 6
  • 6
  • 3
  • 3
  • 4
  • 6
  • 3
  • 4
  • 4
  • 3
  • 6
  • 7
  • 3
  • 6
  • 4
  • 3
  • 4
  • 6
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 7
  • 5
  • 6
  • 6
  • 5
  • 3
  • 5
  • 5
  • 5
  • 3
  • 3
  • 7
  • 3
  • 4
  • 12
  • 4
  • 4
  • 7
  • 3
  • 5
  • 4
  • 3
  • 3
  • 8
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 4
  • 7
  • 3
  • 4
  • 3
  • 4
  • 4
  • 8
  • 6
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 6
  • 7
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 7
  • 3
  • 5
  • 5
  • 5
  • 11
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 12
  • 3
  • 9
  • 4
  • 4
  • 3
  • 4
  • 11
  • 3
  • 5
  • 3
  • 4
  • 10
  • 22
  • 7
  • 5
  • 4
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 3
  • 3
  • 7
  • 3
  • 4
  • 3
  • 6
  • 3
  • 4
  • 5
  • 5
  • 3
  • 6
  • 5
  • 4
  • 9
  • 5
  • 5
  • 5
  • 4
  • 7
  • 3
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 5
  • 4
  • 5
  • 3
  • 5
  • 17
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 5
  • 7
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 5
  • 6
  • 5
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 5
  • 4
  • 5
  • 3
  • 5
  • 5
  • 3
  • 7
  • 4
  • 9
  • 18
  • 7
  • 6
  • 4
  • 3
  • 7
  • 4
  • 6
  • 3
  • 6
  • 4
  • 3
  • 9
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 7
  • 3
  • 5
  • 6
  • 6
  • 3
  • 7
  • 3
  • 3
  • 4
  • 4
  • 4
  • 6
  • 6
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 4
  • 6
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 6
  • 3
  • 11
  • 9
  • 7
  • 4
  • 4
  • 31
  • 4
  • 11
  • 3
  • 3
  • 13
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 5
  • 4
  • 4
  • 3
  • 6
  • 26
  • 3
  • 6
  • 9
  • 3
  • 5
  • 33
  • 3
  • 5
  • 5
  • 3
  • 4
  • 3
  • 10
  • 6
  • 18
  • 8
  • 7
  • 4
  • 3
  • 6
  • 3
  • 11
  • 4
  • 4
  • 6
  • 4
  • 9
  • 4
  • 5
  • 4
  • 4
  • 3
  • 20
  • 6
  • 3
  • 5
  • 12
  • 4
  • 5
  • 4
  • 3
  • 10
  • 3
  • 5
  • 6
  • 4
  • 4
  • 20
  • 5
  • 4
  • 6
  • 4
  • 4
  • 6
  • 3
Verlag
  • 4111
  • 1
  • 3
  • 24
Preis
  • 13
  • 135
  • 3214
  • 777
Sprachen
  • 4139
  • 5
Verfügbarkeit
  • 4135
  • 4
Katalog
  • 4139
  • 234
4.139  Treffer  für „Lecture Notes in Computer Science“
    Marques-Silva / Sakallah | Theory and Applications of Satisfiability Testing - SAT 2007 | Buch | Sack Fachmedien

    Marques-Silva / Sakallah Theory and Applications of Satisfiability Testing - SAT 2007

    10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72787-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Midkiff / Moreira / Gupta | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Midkiff / Moreira / Gupta Languages and Compilers for Parallel Computing

    13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42862-6
    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
    King / Munson | Digital Documents: Systems and Principles | Buch | Sack Fachmedien

    King / Munson Digital Documents: Systems and Principles

    8th International Conference on Digital Documents and Electronic Publishing, DDEP 2000, 5th International Workshop on the Principles of Digital Document Processing, PODDP 2000, Munich, Germany, September 13-15, 2000, Revised Papers
    Erscheinungsjahr 2004
    Verlag: Springer
    ISBN: 978-3-540-21070-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leeuwen / Santoro | Distributed Algorithms | Buch | Sack Fachmedien

    Leeuwen / Santoro Distributed Algorithms

    4th International Workshop, Bari, Italy, September 24-26, 1990. Proceedings.
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54099-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Horváth / Yamamoto | Inductive Logic Programming | Buch | Sack Fachmedien

    Horváth / Yamamoto Inductive Logic Programming

    13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20144-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Theoharis | Algorithms for Parallel Polygon Rendering | Buch | Sack Fachmedien

    Theoharis Algorithms for Parallel Polygon Rendering

    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51394-0
    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
    Sagonas | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Sagonas Practical Aspects of Declarative Languages

    15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-45283-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dezani-Ciancaglini / Plotkin | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Dezani-Ciancaglini / Plotkin Typed Lambda Calculi and Applications

    Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-59048-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Luk / Cheung / Glesner | Field Programmable Logic and Applications | Buch | Sack Fachmedien

    Luk / Cheung / Glesner Field Programmable Logic and Applications

    7th International Workshop, FPL '97, London, UK, September, 1-3, 1997, Proceedings.
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63465-2
    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
    Al-Begain / Fiems / Knottenbelt | Analytical and Stochastic Modeling Techniques and Applications | Buch | Sack Fachmedien

    Al-Begain / Fiems / Knottenbelt Analytical and Stochastic Modeling Techniques and Applications

    17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13567-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nipkow / Paulson / Wenzel | Isabelle/HOL | Buch | Sack Fachmedien

    Nipkow / Paulson / Wenzel Isabelle/HOL

    A Proof Assistant for Higher-Order Logic
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43376-7
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Avgeriou / Zdun | Software Architecture | Buch | Sack Fachmedien

    Avgeriou / Zdun Software Architecture

    8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-09969-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Magoutis / Pietzuch | Distributed Applications and Interoperable Systems | Buch | Sack Fachmedien

    Magoutis / Pietzuch Distributed Applications and Interoperable Systems

    14th IFIP WG 6.1 International Conference, DAIS 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-43351-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Katzenbeisser / Sadeghi | Information Hiding | Buch | Sack Fachmedien

    Katzenbeisser / Sadeghi Information Hiding

    11th International Workshop, IH 2009, Darmstadt, Germany, June 8-10, 2009, Revised Selected Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04430-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baeten / Groote | CONCUR '91 | Buch | Sack Fachmedien

    Baeten / Groote CONCUR '91

    2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54430-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bonomi / Mandal / Robinson | Stabilization, Safety, and Security of Distributed Systems | Buch | Sack Fachmedien

    Bonomi / Mandal / Robinson Stabilization, Safety, and Security of Distributed Systems

    27th International Symposium, SSS 2025, Kathmandu, Nepal, October 9-11, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-11126-5
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Das / Uehara | WALCOM: Algorithms and Computation | Buch | Sack Fachmedien

    Das / Uehara WALCOM: Algorithms and Computation

    Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-00201-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gibbons / Nuno Oliveira | Teaching Formal Methods | Buch | Sack Fachmedien

    Gibbons / Nuno Oliveira Teaching Formal Methods

    Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04911-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chiba / Südholt / Eugster | Transactions on Modularity and Composition I | Buch | Sack Fachmedien

    Chiba / Südholt / Eugster Transactions on Modularity and Composition I

    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-46968-3
    Medium: Buch
    82,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Broy / Jähnichen | KORSO: Methods, Languages, and Tools for the Construction of Correct Software | Buch | Sack Fachmedien

    Broy / Jähnichen KORSO: Methods, Languages, and Tools for the Construction of Correct Software

    Final Report
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60589-8
    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