Ergebnisse filtern
Fachgebiet
Medium
  • 11196
Erscheinungsjahr
  • 61
  • 782
  • 797
  • 841
  • 617
  • 474
  • 277
  • 303
  • 312
  • 306
  • 275
  • 315
  • 320
  • 301
  • 320
  • 275
  • 292
  • 267
  • 251
  • 230
  • 257
  • 257
  • 236
  • 358
  • 298
  • 258
  • 259
  • 179
  • 178
  • 125
  • 142
  • 135
  • 118
  • 110
  • 94
  • 72
  • 86
  • 56
  • 57
  • 44
  • 46
  • 31
  • 26
  • 17
  • 12
  • 16
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 5
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 9
  • 4
  • 4
  • 12
  • 24
  • 7
  • 7
  • 4
  • 4
  • 5
  • 5
  • 4
  • 6
  • 8
  • 4
  • 8
  • 6
  • 7
  • 17
  • 10
  • 5
  • 19
  • 4
  • 9
  • 5
  • 4
  • 4
  • 5
  • 9
  • 8
  • 4
  • 4
  • 6
  • 4
  • 4
  • 8
  • 14
  • 31
  • 36
  • 4
  • 46
  • 6
  • 5
  • 4
  • 5
  • 6
  • 4
  • 6
  • 4
  • 5
  • 5
  • 16
  • 6
  • 7
  • 21
  • 13
  • 4
  • 5
  • 7
  • 4
  • 4
  • 6
  • 4
  • 8
  • 4
  • 39
  • 12
  • 4
  • 4
  • 5
  • 5
  • 5
  • 6
  • 6
  • 6
  • 4
  • 6
  • 4
  • 11
  • 4
  • 9
  • 46
  • 5
  • 6
  • 4
  • 4
  • 4
  • 6
  • 5
  • 9
  • 22
  • 5
  • 4
  • 4
  • 7
  • 10
  • 10
  • 10
  • 7
  • 6
  • 11
  • 5
  • 4
  • 4
  • 6
  • 4
  • 4
  • 18
  • 6
  • 5
  • 7
  • 4
  • 4
  • 17
  • 5
  • 11
  • 5
  • 5
  • 6
  • 4
  • 11
  • 8
  • 4
  • 4
  • 4
  • 6
  • 25
  • 4
  • 4
  • 13
  • 7
  • 5
  • 4
  • 6
  • 40
  • 4
  • 4
  • 5
  • 7
  • 4
  • 22
  • 18
  • 5
  • 5
  • 7
  • 10
  • 9
  • 4
  • 5
  • 4
  • 8
  • 7
  • 4
  • 7
  • 8
  • 6
  • 4
  • 8
  • 12
  • 11
  • 7
  • 11
  • 7
  • 6
  • 15
  • 4
  • 5
  • 5
  • 5
  • 5
  • 10
  • 4
  • 39
  • 18
  • 6
  • 4
  • 7
  • 5
  • 5
  • 6
  • 5
  • 15
  • 5
  • 4
  • 8
  • 4
  • 12
  • 7
  • 6
  • 5
  • 14
  • 7
  • 5
  • 5
  • 4
  • 4
  • 24
  • 4
  • 13
  • 7
  • 8
  • 4
  • 12
  • 5
  • 4
  • 4
  • 8
  • 6
  • 4
  • 8
  • 6
  • 34
  • 14
  • 41
  • 11
  • 8
  • 15
  • 19
  • 4
  • 9
  • 44
  • 12
  • 36
  • 4
  • 4
  • 9
  • 14
  • 5
  • 5
  • 4
  • 12
  • 6
  • 7
  • 12
  • 10
  • 5
  • 5
  • 39
  • 5
  • 6
  • 11
  • 12
  • 10
  • 5
  • 6
  • 8
  • 13
  • 5
  • 5
  • 5
  • 16
  • 6
  • 14
  • 6
  • 10
  • 7
  • 9
  • 26
  • 6
  • 25
  • 15
  • 25
  • 8
  • 12
  • 5
  • 9
  • 6
  • 5
  • 9
  • 6
  • 15
  • 9
  • 24
  • 6
  • 7
  • 7
  • 5
  • 8
  • 10
  • 9
  • 7
  • 5
  • 6
  • 15
  • 10
  • 6
  • 11
  • 11
  • 8
  • 5
  • 46
  • 40
  • 9
  • 41
  • 9
  • 6
  • 10
  • 5
  • 8
  • 32
  • 13
  • 5
  • 5
  • 17
  • 6
  • 6
  • 10
  • 26
  • 14
  • 43
  • 78
  • 9
  • 7
  • 14
  • 8
  • 6
  • 5
  • 7
  • 9
  • 5
  • 10
  • 5
  • 9
  • 8
  • 5
  • 6
  • 8
  • 7
  • 7
  • 5
  • 7
  • 20
  • 18
  • 5
  • 8
  • 6
  • 11
  • 9
  • 5
  • 13
  • 20
  • 67
  • 33
  • 8
  • 7
  • 23
  • 16
  • 22
  • 112
  • 11
  • 5
  • 5
  • 14
  • 8
  • 6
  • 7
  • 18
  • 12
  • 5
  • 10
  • 6
  • 8
  • 15
  • 7
  • 5
  • 6
  • 10
  • 6
  • 37
  • 10
  • 9
  • 5
  • 7
  • 7
  • 9
  • 17
  • 6
  • 8
  • 9
  • 23
  • 39
  • 7
  • 5
  • 18
  • 8
  • 10
  • 5
  • 5
  • 16
  • 5
  • 11
  • 15
  • 6
  • 5
  • 9
  • 6
  • 95
  • 5
  • 7
  • 10
  • 5
  • 5
  • 6
  • 5
  • 5
  • 6
  • 15
  • 6
  • 12
  • 5
  • 9
  • 5
  • 19
  • 8
  • 10
  • 7
  • 5
  • 6
  • 6
  • 12
  • 18
  • 12
  • 9
  • 8
  • 13
  • 5
  • 6
  • 13
  • 7
  • 9
  • 5
  • 12
  • 5
  • 7
  • 7
  • 6
  • 12
  • 9
  • 10
  • 5
  • 15
  • 8
  • 7
  • 8
  • 41
  • 13
  • 7
  • 8
  • 24
  • 5
  • 17
  • 39
  • 7
  • 5
  • 12
  • 15
  • 12
  • 32
  • 5
  • 11
  • 8
  • 9
  • 5
  • 18
  • 6
  • 5
  • 11
  • 5
  • 17
  • 36
  • 7
  • 15
  • 5
  • 8
  • 15
  • 5
  • 17
  • 7
  • 6
  • 22
  • 5
  • 78
  • 14
  • 21
  • 45
  • 5
  • 8
  • 5
  • 7
  • 5
  • 5
  • 9
  • 6
  • 8
  • 12
  • 7
  • 7
  • 7
  • 7
  • 10
  • 7
  • 6
  • 17
  • 92
  • 13
  • 43
  • 6
  • 6
  • 12
  • 7
  • 8
  • 5
  • 8
  • 13
  • 10
  • 11
  • 5
  • 34
  • 5
  • 7
  • 10
  • 15
  • 18
  • 5
  • 19
  • 5
  • 26
  • 5
  • 6
  • 76
  • 9
  • 5
  • 16
  • 6
  • 6
  • 10
  • 21
  • 5
  • 8
  • 8
  • 7
  • 6
  • 7
  • 30
  • 6
  • 9
  • 24
  • 6
  • 5
  • 10
  • 14
  • 13
  • 5
  • 14
  • 14
  • 14
  • 13
  • 16
  • 6
  • 6
  • 78
  • 11
  • 9
  • 10
  • 27
  • 31
  • 32
  • 5
  • 5
  • 8
  • 6
  • 11
  • 5
  • 23
  • 8
  • 7
  • 7
  • 7
  • 7
  • 10
  • 5
  • 13
  • 5
  • 21
  • 5
  • 9
  • 10
  • 8
  • 11
  • 8
  • 13
  • 6
  • 6
  • 39
  • 5
  • 13
  • 11
  • 6
  • 6
  • 6
  • 6
  • 6
  • 7
  • 5
  • 7
  • 21
  • 7
  • 9
  • 8
  • 8
  • 9
  • 102
  • 7
  • 6
  • 5
  • 7
  • 9
  • 12
  • 10
  • 5
  • 8
  • 11
  • 41
  • 5
  • 5
  • 18
  • 9
  • 5
  • 5
  • 10
  • 5
  • 5
  • 13
  • 5
  • 21
  • 25
  • 10
  • 5
  • 5
  • 6
  • 6
  • 8
  • 10
  • 6
  • 6
  • 7
  • 5
  • 10
  • 6
  • 5
  • 10
  • 9
  • 48
  • 5
  • 17
  • 39
  • 13
  • 9
  • 8
  • 13
  • 20
  • 15
  • 14
  • 15
  • 11
  • 6
  • 8
  • 27
  • 9
  • 13
  • 6
  • 5
  • 18
  • 5
  • 10
  • 6
  • 16
  • 14
  • 5
  • 5
  • 10
  • 6
  • 16
  • 7
  • 13
  • 6
  • 12
  • 7
  • 8
  • 24
  • 5
  • 9
  • 5
  • 8
  • 6
  • 8
  • 38
  • 14
  • 8
  • 8
  • 7
  • 5
  • 14
  • 7
  • 6
  • 5
  • 9
  • 11
  • 30
  • 6
  • 14
  • 7
  • 34
  • 8
  • 7
  • 9
  • 10
  • 90
  • 7
  • 6
  • 5
  • 9
  • 6
  • 31
  • 17
  • 6
  • 5
  • 7
  • 78
  • 5
  • 22
  • 10
  • 8
  • 5
  • 6
  • 12
  • 20
  • 18
  • 8
  • 9
  • 92
  • 6
  • 46
  • 5
  • 11
  • 11
  • 11
  • 89
  • 22
  • 6
  • 20
  • 8
  • 8
  • 6
  • 9
  • 15
  • 15
  • 7
  • 6
  • 7
  • 5
  • 8
  • 5
  • 90
  • 7
  • 5
  • 5
  • 5
  • 6
  • 20
  • 10
  • 12
  • 6
  • 80
  • 11
  • 11
  • 15
  • 7
  • 12
  • 10
  • 10
  • 13
  • 5
  • 8
  • 7
  • 22
  • 15
  • 6
  • 8
  • 9
  • 5
  • 15
  • 5
  • 23
  • 9
  • 5
  • 7
  • 8
  • 5
  • 6
  • 5
  • 5
  • 14
  • 9
  • 8
  • 5
  • 13
  • 6
  • 10
  • 21
  • 28
  • 7
  • 6
  • 6
  • 20
  • 11
  • 6
  • 6
  • 13
  • 7
  • 6
  • 34
  • 14
  • 5
  • 6
  • 13
  • 8
  • 42
  • 8
  • 48
  • 9
  • 6
  • 12
  • 6
  • 11
  • 12
  • 14
  • 23
  • 18
  • 11
  • 15
  • 16
  • 22
  • 8
  • 7
  • 10
  • 29
  • 12
  • 23
  • 68
  • 10
  • 16
  • 21
  • 8
  • 9
  • 5
  • 6
  • 5
  • 22
  • 6
  • 19
  • 15
  • 5
  • 6
  • 6
  • 21
  • 9
  • 58
  • 81
  • 24
  • 12
  • 6
  • 13
  • 15
  • 7
  • 7
  • 12
  • 14
  • 9
  • 5
  • 15
  • 12
  • 6
  • 13
  • 9
  • 5
  • 5
  • 89
  • 11
  • 6
  • 18
  • 9
  • 15
  • 10
  • 6
  • 6
  • 8
  • 13
  • 7
  • 5
  • 8
  • 27
  • 5
  • 11
  • 8
  • 10
  • 5
  • 6
  • 13
  • 18
  • 6
  • 36
  • 6
  • 5
  • 8
  • 14
  • 19
  • 14
  • 6
  • 8
  • 7
  • 7
  • 6
  • 6
  • 23
  • 8
  • 12
  • 10
  • 6
  • 8
  • 6
  • 6
  • 7
  • 7
  • 16
  • 11
  • 9
  • 5
  • 5
  • 18
  • 5
  • 15
  • 14
  • 5
  • 8
  • 5
  • 19
  • 26
  • 10
  • 14
  • 23
  • 19
  • 5
  • 7
  • 5
  • 11
  • 8
  • 6
  • 18
  • 7
  • 6
  • 46
  • 6
  • 10
  • 35
  • 5
  • 23
  • 6
  • 5
  • 42
  • 38
  • 61
  • 39
  • 7
  • 12
  • 6
  • 10
  • 5
  • 5
  • 21
  • 32
  • 7
  • 7
  • 26
  • 17
  • 20
  • 8
  • 6
  • 9
  • 5
  • 11
  • 7
  • 21
Verlag
  • 7
  • 11083
  • 3
  • 10
  • 2
  • 41
  • 5
  • 1
  • 13
  • 31
Preis
  • 42
  • 412
  • 8511
  • 2231
Sprachen
  • 11191
  • 17
  • 13
  • 1
Verfügbarkeit
  • 10920
  • 276
Eigenschaften
  • 3
Katalog
  • 11196
  • 585
11.196  Treffer  für „Lecture Notes in Computer Science“
    Felleisen / Gardner | Programming Languages and Systems | Buch | Sack Fachmedien

    Felleisen / Gardner Programming Languages and Systems

    22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-37035-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Pieprzyk / Varadharajan | Information Security and Privacy | Buch | Sack Fachmedien

    Wang / Pieprzyk / Varadharajan Information Security and Privacy

    9th Australasian Conference, ACISP 2004, Sydney, Australia, July 13-15, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22379-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Priami / Quaglia | Global Computing | Buch | Sack Fachmedien

    Priami / Quaglia Global Computing

    IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24101-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bossi | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Bossi Logic-Based Program Synthesis and Transformation

    9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67628-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bigun / Gustavsson | Image Analysis | Buch | Sack Fachmedien

    Bigun / Gustavsson Image Analysis

    13th Scandinavian Conference, SCIA 2003 Halmstad, Sweden, June 29 - July 2, 2003 Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40601-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calmet | Algebraic Algorithms and Error-Correcting Codes | Buch | Sack Fachmedien

    Calmet Algebraic Algorithms and Error-Correcting Codes

    3rd International Conference, AAECC-3, Grenoble, France, July 15-19, 1985. Proceedings
    1. Auflage 1986
    Verlag: Springer
    ISBN: 978-3-540-16776-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhou / Roli / Kittler | Multiple Classifier Systems | Buch | Sack Fachmedien

    Zhou / Roli / Kittler Multiple Classifier Systems

    11th International Workshop, MCS 2013, Nanjing, China, May 15-17, 2013. Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38066-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fink / Fornés / Kise | Document Analysis and Recognition - ICDAR 2026 | Buch | Sack Fachmedien

    Fink / Fornés / Kise Document Analysis and Recognition - ICDAR 2026

    20th International Conference, Vienna, Austria, August 31 - September 2, 2026, Proceedings, Part II
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-36032-8
    Medium: Buch
    104,85 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fink / Fornés / Kise | Document Analysis and Recognition - ICDAR 2026 | Buch | Sack Fachmedien

    Fink / Fornés / Kise Document Analysis and Recognition - ICDAR 2026

    20th International Conference, Vienna, Austria, August 31 - September 2, 2026, Proceedings, Part III
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-36038-0
    Medium: Buch
    104,85 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hankin | Programming Languages and Systems | Buch | Sack Fachmedien

    Hankin Programming Languages and Systems

    7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64302-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baeten / Klop | CONCUR '90: Theories of Concurrency: Unification and Extension | Buch | Sack Fachmedien

    Baeten / Klop CONCUR '90: Theories of Concurrency: Unification and Extension

    Theories of Concurrency: Unification and Extension
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-3-540-53048-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Zhang | Intelligent Strategies for Pathway Mining | Buch | Sack Fachmedien

    Chen / Zhang Intelligent Strategies for Pathway Mining

    Model and Pattern Identification
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-04171-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nielson | Programming Languages and Systems - ESOP '96 | Buch | Sack Fachmedien

    Nielson Programming Languages and Systems - ESOP '96

    6th European Symposium on Programming, Linköping, Sweden, April, 22 - 24, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61055-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Owe / Steffen / Telle | Fundamentals of Computation Theory | Buch | Sack Fachmedien

    Owe / Steffen / Telle Fundamentals of Computation Theory

    18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22952-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huntbach / Ringwood | Agent-Oriented Programming | Buch | Sack Fachmedien

    Huntbach / Ringwood Agent-Oriented Programming

    From Prolog to Guarded Definite Clauses
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66683-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Demeester / Moerman / Terzis | Wireless Sensor Networks | Buch | Sack Fachmedien

    Demeester / Moerman / Terzis Wireless Sensor Networks

    10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36671-0
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bianchi / Akin / Ramamoorthy | RoboCup 2014: Robot World Cup XVIII | Buch | Sack Fachmedien

    Bianchi / Akin / Ramamoorthy RoboCup 2014: Robot World Cup XVIII

    2015
    Verlag: Springer
    ISBN: 978-3-319-18614-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jeannot / Namyst / Roman | Euro-Par 2011 Parallel Processing | Buch | Sack Fachmedien

    Jeannot / Namyst / Roman Euro-Par 2011 Parallel Processing

    17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-23396-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Herrtwich | Network and Operating System Support for Digital Audio and Video | Buch | Sack Fachmedien

    Herrtwich Network and Operating System Support for Digital Audio and Video

    Second International Workshop, Heidelberg, Germany, November 18-19, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55639-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wermelinger / Margaria-Steffen | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Wermelinger / Margaria-Steffen Fundamental Approaches to Software Engineering

    7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - april 2, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21305-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dobbertin / Rijmen / Sowa | Advanced Encryption Standard - AES | Buch | Sack Fachmedien

    Dobbertin / Rijmen / Sowa Advanced Encryption Standard - AES

    4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26557-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oakley / Brewster | Haptic and Audio Interaction Design | Buch | Sack Fachmedien

    Oakley / Brewster Haptic and Audio Interaction Design

    Second International Workshop, HAID 2007 Seoul, Korea, November 29-30, 2007 Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-76701-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kolodziej / Di Martino / Talia | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Kolodziej / Di Martino / Talia Algorithms and Architectures for Parallel Processing

    13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-03858-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cassez / Jard | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Cassez / Jard Formal Modeling and Analysis of Timed Systems

    6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85777-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Donaldson / Parker | Model Checking Software | Buch | Sack Fachmedien

    Donaldson / Parker Model Checking Software

    19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31758-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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