Ergebnisse filtern
Fachgebiet
Medium
  • 11282
  • 2636
Erscheinungsjahr
  • 5
  • 865
  • 1013
  • 1060
  • 800
  • 640
  • 419
  • 430
  • 428
  • 449
  • 404
  • 427
  • 436
  • 444
  • 431
  • 411
  • 398
  • 387
  • 257
  • 219
  • 274
  • 286
  • 234
  • 439
  • 523
  • 258
  • 256
  • 178
  • 178
  • 155
  • 140
  • 135
  • 120
  • 110
  • 95
  • 75
  • 88
  • 59
  • 60
  • 46
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 7
  • 9
  • 14
  • 30
  • 14
  • 9
  • 13
  • 6
  • 22
  • 6
  • 22
  • 6
  • 7
  • 8
  • 11
  • 8
  • 6
  • 15
  • 6
  • 42
  • 44
  • 62
  • 7
  • 6
  • 9
  • 17
  • 23
  • 16
  • 7
  • 7
  • 6
  • 50
  • 16
  • 7
  • 8
  • 7
  • 14
  • 6
  • 19
  • 10
  • 9
  • 30
  • 11
  • 12
  • 10
  • 11
  • 6
  • 6
  • 13
  • 9
  • 7
  • 24
  • 7
  • 19
  • 10
  • 14
  • 9
  • 7
  • 7
  • 32
  • 11
  • 13
  • 7
  • 6
  • 48
  • 9
  • 7
  • 26
  • 21
  • 6
  • 14
  • 12
  • 9
  • 9
  • 13
  • 6
  • 9
  • 6
  • 6
  • 21
  • 14
  • 8
  • 14
  • 10
  • 8
  • 20
  • 6
  • 6
  • 6
  • 7
  • 10
  • 50
  • 24
  • 6
  • 7
  • 9
  • 6
  • 7
  • 7
  • 21
  • 8
  • 8
  • 18
  • 7
  • 9
  • 16
  • 10
  • 6
  • 12
  • 31
  • 7
  • 18
  • 13
  • 16
  • 6
  • 12
  • 7
  • 6
  • 8
  • 13
  • 8
  • 7
  • 8
  • 41
  • 6
  • 18
  • 52
  • 6
  • 13
  • 11
  • 23
  • 24
  • 19
  • 57
  • 10
  • 54
  • 13
  • 17
  • 15
  • 6
  • 8
  • 6
  • 10
  • 13
  • 6
  • 12
  • 14
  • 7
  • 16
  • 6
  • 6
  • 50
  • 6
  • 15
  • 9
  • 19
  • 8
  • 7
  • 12
  • 14
  • 15
  • 7
  • 10
  • 8
  • 7
  • 22
  • 8
  • 8
  • 19
  • 11
  • 9
  • 6
  • 7
  • 8
  • 7
  • 29
  • 31
  • 17
  • 32
  • 10
  • 7
  • 8
  • 9
  • 10
  • 7
  • 8
  • 6
  • 8
  • 24
  • 14
  • 31
  • 6
  • 9
  • 9
  • 6
  • 8
  • 10
  • 12
  • 8
  • 6
  • 6
  • 7
  • 8
  • 10
  • 10
  • 17
  • 10
  • 6
  • 12
  • 13
  • 6
  • 51
  • 45
  • 10
  • 45
  • 15
  • 18
  • 7
  • 8
  • 44
  • 17
  • 6
  • 7
  • 8
  • 11
  • 6
  • 6
  • 20
  • 6
  • 6
  • 6
  • 15
  • 7
  • 11
  • 6
  • 12
  • 34
  • 21
  • 54
  • 78
  • 13
  • 7
  • 19
  • 12
  • 13
  • 6
  • 14
  • 17
  • 22
  • 6
  • 11
  • 12
  • 7
  • 9
  • 6
  • 7
  • 8
  • 7
  • 8
  • 7
  • 8
  • 8
  • 27
  • 23
  • 13
  • 6
  • 12
  • 6
  • 17
  • 13
  • 6
  • 11
  • 14
  • 7
  • 23
  • 88
  • 48
  • 11
  • 30
  • 8
  • 25
  • 35
  • 138
  • 15
  • 8
  • 6
  • 10
  • 20
  • 6
  • 15
  • 11
  • 7
  • 6
  • 26
  • 18
  • 6
  • 9
  • 8
  • 15
  • 9
  • 7
  • 7
  • 21
  • 6
  • 9
  • 7
  • 7
  • 6
  • 7
  • 6
  • 20
  • 6
  • 59
  • 6
  • 15
  • 10
  • 7
  • 6
  • 11
  • 22
  • 9
  • 12
  • 8
  • 29
  • 50
  • 8
  • 6
  • 7
  • 7
  • 21
  • 7
  • 16
  • 6
  • 11
  • 7
  • 10
  • 20
  • 7
  • 6
  • 21
  • 21
  • 11
  • 7
  • 6
  • 11
  • 118
  • 10
  • 6
  • 10
  • 7
  • 17
  • 9
  • 7
  • 7
  • 11
  • 6
  • 7
  • 10
  • 21
  • 17
  • 8
  • 12
  • 25
  • 9
  • 6
  • 17
  • 12
  • 6
  • 10
  • 7
  • 13
  • 25
  • 19
  • 11
  • 12
  • 15
  • 8
  • 9
  • 18
  • 6
  • 9
  • 11
  • 7
  • 15
  • 6
  • 7
  • 6
  • 10
  • 8
  • 12
  • 7
  • 10
  • 18
  • 6
  • 6
  • 20
  • 6
  • 11
  • 7
  • 16
  • 9
  • 51
  • 6
  • 13
  • 10
  • 6
  • 29
  • 8
  • 7
  • 21
  • 50
  • 7
  • 9
  • 8
  • 17
  • 21
  • 13
  • 46
  • 6
  • 7
  • 6
  • 9
  • 8
  • 6
  • 9
  • 22
  • 7
  • 10
  • 14
  • 6
  • 22
  • 48
  • 26
  • 10
  • 8
  • 15
  • 9
  • 9
  • 6
  • 22
  • 8
  • 29
  • 7
  • 78
  • 6
  • 14
  • 37
  • 65
  • 6
  • 7
  • 14
  • 6
  • 8
  • 6
  • 8
  • 6
  • 10
  • 11
  • 6
  • 13
  • 6
  • 11
  • 8
  • 8
  • 8
  • 9
  • 7
  • 8
  • 6
  • 19
  • 7
  • 114
  • 16
  • 6
  • 8
  • 52
  • 9
  • 7
  • 7
  • 6
  • 15
  • 7
  • 11
  • 7
  • 7
  • 12
  • 16
  • 15
  • 16
  • 8
  • 6
  • 15
  • 11
  • 10
  • 25
  • 23
  • 9
  • 35
  • 9
  • 6
  • 12
  • 8
  • 99
  • 8
  • 30
  • 9
  • 7
  • 6
  • 16
  • 33
  • 6
  • 10
  • 8
  • 6
  • 7
  • 10
  • 38
  • 11
  • 12
  • 7
  • 33
  • 7
  • 6
  • 6
  • 7
  • 7
  • 19
  • 14
  • 6
  • 7
  • 18
  • 20
  • 18
  • 19
  • 20
  • 18
  • 6
  • 78
  • 13
  • 6
  • 13
  • 8
  • 9
  • 37
  • 12
  • 10
  • 10
  • 6
  • 44
  • 41
  • 7
  • 10
  • 10
  • 13
  • 10
  • 24
  • 6
  • 9
  • 6
  • 7
  • 9
  • 8
  • 6
  • 19
  • 8
  • 6
  • 6
  • 12
  • 7
  • 28
  • 11
  • 7
  • 10
  • 11
  • 14
  • 10
  • 10
  • 18
  • 7
  • 7
  • 55
  • 8
  • 6
  • 17
  • 10
  • 6
  • 6
  • 6
  • 8
  • 10
  • 7
  • 9
  • 7
  • 9
  • 26
  • 10
  • 7
  • 6
  • 13
  • 14
  • 6
  • 9
  • 6
  • 10
  • 10
  • 6
  • 129
  • 6
  • 11
  • 10
  • 16
  • 18
  • 14
  • 13
  • 7
  • 12
  • 7
  • 14
  • 7
  • 58
  • 13
  • 23
  • 12
  • 6
  • 12
  • 8
  • 6
  • 8
  • 20
  • 6
  • 25
  • 31
  • 15
  • 6
  • 6
  • 6
  • 9
  • 10
  • 12
  • 7
  • 7
  • 7
  • 11
  • 6
  • 6
  • 7
  • 6
  • 6
  • 14
  • 8
  • 6
  • 7
  • 13
  • 56
  • 11
  • 6
  • 26
  • 7
  • 9
  • 49
  • 18
  • 13
  • 7
  • 12
  • 7
  • 18
  • 20
  • 6
  • 17
  • 21
  • 21
  • 9
  • 14
  • 7
  • 12
  • 31
  • 13
  • 7
  • 9
  • 15
  • 13
  • 7
  • 7
  • 6
  • 23
  • 7
  • 12
  • 9
  • 19
  • 13
  • 8
  • 11
  • 14
  • 8
  • 14
  • 6
  • 9
  • 19
  • 9
  • 31
  • 9
  • 9
  • 8
  • 10
  • 6
  • 6
  • 48
  • 12
  • 14
  • 9
  • 6
  • 8
  • 7
  • 25
  • 11
  • 11
  • 6
  • 6
  • 9
  • 11
  • 7
  • 38
  • 6
  • 9
  • 16
  • 8
  • 8
  • 43
  • 6
  • 8
  • 8
  • 12
  • 11
  • 7
  • 114
  • 7
  • 6
  • 10
  • 7
  • 45
  • 20
  • 7
  • 6
  • 8
  • 78
  • 23
  • 14
  • 9
  • 6
  • 10
  • 15
  • 16
  • 26
  • 22
  • 10
  • 10
  • 117
  • 6
  • 53
  • 13
  • 12
  • 16
  • 8
  • 113
  • 22
  • 7
  • 8
  • 21
  • 13
  • 6
  • 13
  • 8
  • 13
  • 19
  • 20
  • 7
  • 7
  • 13
  • 8
  • 14
  • 10
  • 7
  • 114
  • 6
  • 8
  • 22
  • 6
  • 7
  • 8
  • 8
  • 82
  • 15
  • 23
  • 22
  • 7
  • 13
  • 11
  • 11
  • 12
  • 6
  • 16
  • 11
  • 10
  • 27
  • 22
  • 11
  • 12
  • 8
  • 8
  • 12
  • 7
  • 11
  • 8
  • 19
  • 9
  • 6
  • 37
  • 6
  • 9
  • 8
  • 10
  • 12
  • 6
  • 7
  • 17
  • 11
  • 7
  • 10
  • 11
  • 6
  • 21
  • 10
  • 16
  • 26
  • 32
  • 6
  • 14
  • 6
  • 8
  • 25
  • 14
  • 7
  • 16
  • 12
  • 6
  • 37
  • 14
  • 6
  • 9
  • 6
  • 7
  • 19
  • 11
  • 56
  • 9
  • 68
  • 13
  • 7
  • 13
  • 8
  • 15
  • 14
  • 8
  • 8
  • 29
  • 9
  • 22
  • 8
  • 18
  • 23
  • 24
  • 9
  • 11
  • 28
  • 19
  • 37
  • 86
  • 10
  • 26
  • 26
  • 11
  • 13
  • 10
  • 12
  • 27
  • 7
  • 21
  • 20
  • 12
  • 7
  • 8
  • 21
  • 11
  • 86
  • 82
  • 31
  • 16
  • 8
  • 10
  • 19
  • 19
  • 16
  • 10
  • 8
  • 13
  • 25
  • 15
  • 7
  • 18
  • 19
  • 7
  • 8
  • 12
  • 14
  • 113
  • 15
  • 24
  • 9
  • 22
  • 9
  • 7
  • 7
  • 17
  • 11
  • 11
  • 10
  • 45
  • 7
  • 13
  • 11
  • 9
  • 14
  • 18
  • 28
  • 13
  • 18
  • 46
  • 14
  • 21
  • 18
  • 12
  • 12
  • 12
  • 13
  • 7
  • 29
  • 18
  • 10
  • 7
  • 9
  • 12
  • 7
  • 12
  • 15
  • 16
  • 8
  • 25
  • 13
  • 16
  • 8
  • 8
  • 19
  • 34
  • 13
  • 15
  • 20
  • 27
  • 7
  • 12
  • 15
  • 12
  • 11
  • 25
  • 11
  • 8
  • 58
  • 7
  • 7
  • 7
  • 31
  • 62
  • 51
  • 87
  • 52
  • 7
  • 16
  • 9
  • 7
  • 22
  • 44
  • 32
  • 25
  • 27
  • 10
  • 7
  • 8
  • 12
  • 12
  • 7
  • 20
Verlag
  • 6
  • 12023
  • 23
  • 1662
  • 1
  • 6
  • 9
  • 4
  • 139
  • 1
  • 1
  • 5
  • 38
Preis
  • 47
  • 507
  • 10841
  • 2523
Sprachen
  • 13910
  • 19
  • 15
Verfügbarkeit
  • 13593
  • 325
Eigenschaften
  • 48
Katalog
  • 13918
  • 598
13.918  Treffer  für „Lecture Notes in Computer Science“
    Arge / Freivalds | Algorithm Theory - SWAT 2006 | Buch | Sack Fachmedien

    Arge / Freivalds Algorithm Theory - SWAT 2006

    10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35753-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhou / Salvendy | Human Aspects of IT for the Aged Population. Acceptance, Communication and Participation | Buch | Sack Fachmedien

    Zhou / Salvendy Human Aspects of IT for the Aged Population. Acceptance, Communication and Participation

    4th International Conference, ITAP 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-92033-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pernul / Tjoa | Entity-Relationship Approach - ER '92 | Buch | Sack Fachmedien

    Pernul / Tjoa Entity-Relationship Approach - ER '92

    11th International Conference on the Entity-Relationship Approach, Karlsruhe, Germany, October 7-9, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-56023-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gonzalo / Braschler / Kluck | Comparative Evaluation of Multilingual Information Access Systems | Buch | Sack Fachmedien

    Gonzalo / Braschler / Kluck Comparative Evaluation of Multilingual Information Access Systems

    4th Workshop of the Cross-Language Evaluation Forum, CLEF 2003, Trondheim, Norway, August 21-22, 2003, Revised Selected Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-24017-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kunii / Jajodia / Soelvberg | Conceptual Modeling - ER 2001 | Buch | Sack Fachmedien

    Kunii / Jajodia / Soelvberg Conceptual Modeling - ER 2001

    20th International Conference on Conceptual Modeling, Yokohama, Japan, November 27-30, 2001, Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42866-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vitter / Zaroliagis | Algorithm Engineering | Buch | Sack Fachmedien

    Vitter / Zaroliagis Algorithm Engineering

    3rd International Workshop, WAE'99 London, UK, July 19-21, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66427-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Conte / Navarro / Hwu | High Performance Embedded Architectures and Compilers | Buch | Sack Fachmedien

    Conte / Navarro / Hwu High Performance Embedded Architectures and Compilers

    First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30317-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hermenegildo / Puebla | Static Analysis | Buch | Sack Fachmedien

    Hermenegildo / Puebla Static Analysis

    9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44235-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mosca | Post-Quantum Cryptography | Buch | Sack Fachmedien

    Mosca Post-Quantum Cryptography

    6th International Workshop, PQCrypto 2014, Waterloo, ON, Canada, October 1-3, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11658-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cantoni / Dimov / Tistarelli | Biometric Authentication | Buch | Sack Fachmedien

    Cantoni / Dimov / Tistarelli Biometric Authentication

    First International Workshop, BIOMET 2014, Sofia, Bulgaria, June 23-24, 2014. Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-13385-0
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lopresti / Hu / Kashi | Document Analysis Systems V | Buch | Sack Fachmedien

    Lopresti / Hu / Kashi Document Analysis Systems V

    5th International Workshop, DAS 2002, Princeton, NJ, USA, August 19-21, 2002. Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-44068-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fuentes / Plebani / Combi | Advanced Information Systems Engineering | Buch | Sack Fachmedien

    Fuentes / Plebani / Combi Advanced Information Systems Engineering

    38th International Conference, CAiSE 2026, Verona, Italy, June 8-12, 2026, Proceedings, Part II
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-28116-6
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ng / Raghavan / Balasubramanian | Algorithms and Computation | Buch | Sack Fachmedien

    Ng / Raghavan / Balasubramanian Algorithms and Computation

    4th International Symposium, ISAAC '93, Hong Kong, December 15-17, 1993. Proceedings
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-57568-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Voronkov Rewriting Techniques and Applications

    19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-70588-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Transactions on Petri Nets and Other Models of Concurrency III | Buch | Sack Fachmedien

    Transactions on Petri Nets and Other Models of Concurrency III

    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04854-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Navathe / Wu / Shekhar | Database Systems for Advanced Applications | Buch | Sack Fachmedien

    Navathe / Wu / Shekhar Database Systems for Advanced Applications

    21st International Conference, DASFAA 2016, Dallas, TX, USA, April 16-19, 2016, Proceedings, Part I
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-32024-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Marsico / di Baja / Fred | Pattern Recognition Applications and Methods | Buch | Sack Fachmedien

    De Marsico / di Baja / Fred Pattern Recognition Applications and Methods

    6th International Conference, ICPRAM 2017, Porto, Portugal, February 24-26, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-93646-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feitelson / Rudolph | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Feitelson / Rudolph Job Scheduling Strategies for Parallel Processing

    7th International Workshop, JSSPP 2001, Cambridge, MA, USA, June 16, 2001, Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42817-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Middeldorp / Sato | Functional and Logic Programming | Buch | Sack Fachmedien

    Middeldorp / Sato Functional and Logic Programming

    4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66677-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wiedermann / Emde Boas / Nielsen | Automata, Languages and Programming | Buch | Sack Fachmedien

    Wiedermann / Emde Boas / Nielsen Automata, Languages and Programming

    26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66224-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Qing / Mitchell / Chen | Information and Communications Security | Buch | Sack Fachmedien

    Qing / Mitchell / Chen Information and Communications Security

    19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-89499-7
    Medium: Buch
    87,74 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cousot | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Cousot Verification, Model Checking, and Abstract Interpretation

    6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24297-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Van Hung / Ogawa | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Van Hung / Ogawa Automated Technology for Verification and Analysis

    11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-02443-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smolka | Programming Languages and Systems | Buch | Sack Fachmedien

    Smolka Programming Languages and Systems

    9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25- April 2, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67262-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Labarta / Joe / Sato | High-Performance Computing | Buch | Sack Fachmedien

    Labarta / Joe / Sato High-Performance Computing

    6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77703-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