Ergebnisse filtern
Fachgebiet
Medium
  • 3599
  • 1257
  • 5
  • 4
Erscheinungsjahr
  • 61
  • 182
  • 1101
  • 239
  • 212
  • 198
  • 236
  • 230
  • 221
  • 199
  • 174
  • 121
  • 127
  • 71
  • 67
  • 49
  • 181
  • 110
  • 110
  • 72
  • 66
  • 52
  • 65
  • 81
  • 66
  • 64
  • 62
  • 45
  • 31
  • 58
  • 38
  • 22
  • 26
  • 16
  • 18
  • 17
  • 19
  • 17
  • 20
  • 15
  • 13
  • 11
  • 15
  • 6
  • 8
  • 9
  • 9
  • 5
  • 3
  • 4
  • 3
  • 1
  • 2
  • 3
  • 3
  • 2
  • 2
  • 1
  • 1
Autoren
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 16
  • 9
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 5
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 4
  • 8
  • 2
  • 6
  • 9
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 4
  • 3
  • 2
  • 4
  • 3
  • 4
  • 11
  • 85
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 3
  • 4
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 3
  • 6
  • 6
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 8
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 9
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 10
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 14
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 5
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 5
  • 3
  • 4
  • 2
  • 6
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 8
  • 2
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 8
  • 2
  • 12
  • 9
  • 4
  • 5
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 7
  • 8
  • 3
  • 7
  • 6
  • 3
  • 4
  • 3
  • 5
  • 9
  • 12
  • 3
  • 10
  • 10
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 6
  • 12
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 8
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 9
  • 3
  • 3
  • 8
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 5
  • 3
  • 3
  • 11
  • 3
  • 3
  • 3
  • 6
  • 4
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 9
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 6
  • 5
  • 6
  • 4
  • 8
  • 3
  • 3
  • 3
  • 5
  • 10
  • 6
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 7
  • 3
  • 7
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 8
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 6
  • 5
  • 4
  • 3
  • 3
  • 5
  • 4
  • 3
  • 15
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 11
  • 3
  • 4
  • 9
  • 4
  • 8
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 4
  • 7
  • 4
  • 6
  • 3
  • 4
  • 5
  • 4
  • 5
  • 4
  • 3
  • 4
Verlag
  • 7
  • 1
  • 1
  • 1
  • 946
  • 7
  • 4
  • 1
  • 1
  • 38
  • 1
  • 4
  • 9
  • 1
  • 2
  • 62
  • 73
  • 166
  • 1
  • 2
  • 124
  • 1203
  • 1
  • 1
  • 1
  • 3
  • 1
  • 25
  • 46
  • 2
  • 2
  • 2
  • 16
  • 16
  • 2
  • 3
  • 1
  • 4
  • 1
  • 3
  • 2
  • 1
  • 2
  • 33
  • 1
  • 2
  • 15
  • 3
  • 4
  • 2
  • 2
  • 3
  • 5
  • 18
  • 5
  • 1
  • 47
  • 8
  • 3
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 13
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 6
  • 18
  • 95
  • 5
  • 11
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1059
  • 25
  • 48
  • 3
  • 12
  • 4
  • 9
  • 23
  • 42
  • 4
  • 2
  • 9
  • 1
  • 1
  • 1
  • 92
  • 16
  • 89
  • 5
  • 1
  • 11
  • 1
  • 9
  • 2
  • 1
  • 1
  • 4
  • 2
  • 2
  • 114
  • 3
  • 8
  • 1
  • 85
  • 4
  • 9
  • 2
  • 2
  • 20
  • 10
  • 1
  • 1
  • 2
Preis
  • 312
  • 1823
  • 1919
  • 811
Sprachen
  • 4183
  • 682
  • 4
  • 1
Verfügbarkeit
  • 4793
  • 72
Eigenschaften
  • 4
Katalog
  • 4865
  • 178
4.865  Titel
    Ketkar | Deep Learning with Python | Buch | Sack Fachmedien

    Ketkar Deep Learning with Python

    A Hands-on Introduction
    1. Auflage 2017
    Verlag: Apress
    ISBN: 978-1-4842-2765-7
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smith | C++ Toolkit for Engineers and Scientists | Buch | Sack Fachmedien

    Smith C++ Toolkit for Engineers and Scientists

    2. Auflage 1999
    Verlag: Springer
    ISBN: 978-0-387-98797-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cimatti / Titolo | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Cimatti / Titolo Formal Methods for Industrial Critical Systems

    28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
    2023
    Verlag: Springer
    ISBN: 978-3-031-43680-2
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dittrich / Guerrini / Merlo | Objects and Databases | Buch | Sack Fachmedien

    Dittrich / Guerrini / Merlo Objects and Databases

    International Symposium, Sophia Antipolis, France, June 13, 2000. Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41664-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Böszörményi / Schojer | Modular Programming Languages | Buch | Sack Fachmedien

    Böszörményi / Schojer Modular Programming Languages

    Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40796-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carbonell / Stephanidis | Universal Access. Theoretical Perspectives, Practice, and Experience | Buch | Sack Fachmedien

    Carbonell / Stephanidis Universal Access. Theoretical Perspectives, Practice, and Experience

    7th ERCIM International Workshop on User Interfaces for All, Paris, France, October 24-25, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00855-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liskov / Atkinson / Bloom | CLU | Buch | Sack Fachmedien

    Liskov / Atkinson / Bloom CLU

    Reference Manual
    1. Auflage 1981
    Verlag: Springer
    ISBN: 978-3-540-10836-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mycielski / Rozenberg / Salomaa | Structures in Logic and Computer Science | Buch | Sack Fachmedien

    Mycielski / Rozenberg / Salomaa Structures in Logic and Computer Science

    A Selection of Essays in Honor of A. Ehrenfeucht
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63246-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wallis | Ada Software Tools Interfaces | Buch | Sack Fachmedien

    Wallis Ada Software Tools Interfaces

    Workshop, Bath, July 13-15, 1983. Proceedings
    1. Auflage 1984
    Verlag: Springer
    ISBN: 978-3-540-13878-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sherman | Paragon | Buch | Sack Fachmedien

    Sherman Paragon

    A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15212-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barringer | A Survey of Verification Techniques for Parallel Programs | Buch | Sack Fachmedien

    Barringer A Survey of Verification Techniques for Parallel Programs

    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15239-2
    Medium: Buch
    24,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    The Munich Project CIP | Buch | Sack Fachmedien

    The Munich Project CIP

    Volume I: The Wide Spectrum Language CIP-L
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15187-6
    Medium: Buch
    32,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Craeynest / Strohmeier | Reliable Software Technologies - Ada-Europe 2001 | Buch | Sack Fachmedien

    Craeynest / Strohmeier Reliable Software Technologies - Ada-Europe 2001

    6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42123-8
    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
    Sakaibara / Kobayashi / Sato | Grammatical Inference: Algorithms and Applications | Buch | Sack Fachmedien

    Sakaibara / Kobayashi / Sato Grammatical Inference: Algorithms and Applications

    8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45264-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Businger | PORTAL Language Description | Buch | Sack Fachmedien

    Businger PORTAL Language Description

    2. extended Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-18960-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zwiers | Compositionality, Concurrency, and Partial Correctness | Buch | Sack Fachmedien

    Zwiers Compositionality, Concurrency, and Partial Correctness

    Proof Theories for Networks of Processes, and Their Relationship
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-50845-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kobayashi | Programming Languages and Systems | Buch | Sack Fachmedien

    Kobayashi Programming Languages and Systems

    4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-48937-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beer | Concepts, Design, and Performance Analysis of a Parallel Prolog Machine | Buch | Sack Fachmedien

    Beer Concepts, Design, and Performance Analysis of a Parallel Prolog Machine

    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-52053-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Plümer | Termination Proofs for Logic Programs | Buch | Sack Fachmedien

    Plümer Termination Proofs for Logic Programs

    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52837-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kreczmar / Salwicki / Warpechowski | LOGLAN '88 - Report on the Programming Language | Buch | Sack Fachmedien

    Kreczmar / Salwicki / Warpechowski LOGLAN '88 - Report on the Programming Language

    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52325-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hanus | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Hanus Practical Aspects of Declarative Languages

    9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings
    Erscheinungsjahr 2006
    Verlag: Springer
    ISBN: 978-3-540-69608-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grumberg / Veith | 25 Years of Model Checking | Buch | Sack Fachmedien

    Grumberg / Veith 25 Years of Model Checking

    History, Achievements, Perspectives
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69849-4
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe | Formal Methods for Open Object-Based Distributed Systems | Buch | Sack Fachmedien

    Barthe Formal Methods for Open Object-Based Distributed Systems

    10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68862-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Murphy / Vitek | Coordination Models and Languages | Buch | Sack Fachmedien

    Murphy / Vitek Coordination Models and Languages

    9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72793-4
    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