Ergebnisse filtern
Fachgebiet
Medium
  • 11209
Erscheinungsjahr
  • 116
  • 779
  • 791
  • 836
  • 614
  • 474
  • 281
  • 301
  • 318
  • 300
  • 298
  • 319
  • 310
  • 297
  • 316
  • 276
  • 299
  • 260
  • 256
  • 235
  • 254
  • 254
  • 226
  • 357
  • 299
  • 248
  • 253
  • 174
  • 178
  • 126
  • 143
  • 137
  • 113
  • 109
  • 90
  • 71
  • 85
  • 56
  • 55
  • 45
  • 46
  • 31
  • 26
  • 17
  • 12
  • 15
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 4
  • 4
  • 5
  • 6
  • 4
  • 5
  • 4
  • 9
  • 4
  • 12
  • 4
  • 25
  • 8
  • 7
  • 4
  • 5
  • 5
  • 4
  • 7
  • 7
  • 8
  • 6
  • 7
  • 16
  • 8
  • 4
  • 20
  • 5
  • 9
  • 5
  • 4
  • 6
  • 5
  • 5
  • 5
  • 8
  • 9
  • 4
  • 4
  • 8
  • 4
  • 5
  • 6
  • 13
  • 4
  • 31
  • 36
  • 5
  • 39
  • 7
  • 6
  • 4
  • 5
  • 5
  • 5
  • 6
  • 5
  • 7
  • 5
  • 16
  • 7
  • 21
  • 4
  • 13
  • 5
  • 7
  • 4
  • 6
  • 5
  • 8
  • 7
  • 39
  • 12
  • 5
  • 4
  • 5
  • 6
  • 6
  • 4
  • 7
  • 6
  • 4
  • 6
  • 4
  • 9
  • 4
  • 9
  • 4
  • 46
  • 5
  • 6
  • 4
  • 4
  • 5
  • 5
  • 4
  • 6
  • 5
  • 7
  • 23
  • 4
  • 5
  • 7
  • 4
  • 10
  • 10
  • 8
  • 9
  • 7
  • 12
  • 5
  • 7
  • 19
  • 6
  • 7
  • 5
  • 17
  • 5
  • 7
  • 5
  • 7
  • 10
  • 8
  • 8
  • 21
  • 5
  • 12
  • 7
  • 5
  • 6
  • 40
  • 7
  • 19
  • 18
  • 5
  • 7
  • 6
  • 8
  • 8
  • 5
  • 9
  • 6
  • 7
  • 8
  • 6
  • 9
  • 12
  • 11
  • 8
  • 14
  • 9
  • 6
  • 15
  • 8
  • 5
  • 5
  • 7
  • 39
  • 17
  • 6
  • 6
  • 5
  • 7
  • 5
  • 15
  • 10
  • 11
  • 11
  • 7
  • 8
  • 12
  • 5
  • 5
  • 8
  • 23
  • 13
  • 7
  • 6
  • 14
  • 5
  • 8
  • 5
  • 5
  • 9
  • 5
  • 34
  • 15
  • 41
  • 11
  • 8
  • 15
  • 18
  • 8
  • 44
  • 12
  • 39
  • 9
  • 14
  • 6
  • 12
  • 6
  • 15
  • 10
  • 5
  • 39
  • 5
  • 5
  • 11
  • 12
  • 6
  • 7
  • 6
  • 5
  • 5
  • 6
  • 9
  • 13
  • 5
  • 5
  • 7
  • 16
  • 5
  • 6
  • 12
  • 6
  • 5
  • 7
  • 10
  • 6
  • 5
  • 8
  • 26
  • 23
  • 15
  • 25
  • 8
  • 13
  • 5
  • 7
  • 5
  • 9
  • 5
  • 6
  • 14
  • 9
  • 23
  • 6
  • 5
  • 8
  • 6
  • 8
  • 11
  • 5
  • 8
  • 6
  • 22
  • 10
  • 6
  • 12
  • 10
  • 6
  • 5
  • 45
  • 43
  • 9
  • 41
  • 12
  • 9
  • 12
  • 5
  • 6
  • 29
  • 13
  • 5
  • 5
  • 18
  • 9
  • 6
  • 10
  • 26
  • 15
  • 43
  • 77
  • 10
  • 7
  • 14
  • 10
  • 6
  • 6
  • 7
  • 11
  • 17
  • 6
  • 9
  • 7
  • 6
  • 6
  • 8
  • 7
  • 7
  • 5
  • 5
  • 7
  • 19
  • 17
  • 8
  • 6
  • 7
  • 10
  • 9
  • 5
  • 13
  • 19
  • 67
  • 32
  • 9
  • 6
  • 19
  • 9
  • 16
  • 24
  • 5
  • 104
  • 5
  • 11
  • 6
  • 5
  • 14
  • 5
  • 6
  • 8
  • 6
  • 18
  • 16
  • 6
  • 6
  • 9
  • 6
  • 6
  • 17
  • 6
  • 6
  • 6
  • 6
  • 10
  • 5
  • 39
  • 10
  • 9
  • 7
  • 9
  • 15
  • 7
  • 7
  • 7
  • 23
  • 39
  • 8
  • 18
  • 9
  • 10
  • 5
  • 5
  • 5
  • 7
  • 15
  • 10
  • 9
  • 15
  • 5
  • 5
  • 5
  • 10
  • 8
  • 95
  • 8
  • 9
  • 5
  • 5
  • 5
  • 10
  • 5
  • 6
  • 6
  • 15
  • 8
  • 15
  • 5
  • 11
  • 5
  • 18
  • 9
  • 13
  • 7
  • 5
  • 5
  • 6
  • 7
  • 19
  • 13
  • 8
  • 5
  • 12
  • 7
  • 13
  • 6
  • 8
  • 5
  • 16
  • 6
  • 7
  • 7
  • 6
  • 5
  • 14
  • 5
  • 10
  • 5
  • 15
  • 6
  • 8
  • 7
  • 9
  • 41
  • 10
  • 6
  • 8
  • 26
  • 6
  • 18
  • 39
  • 5
  • 10
  • 15
  • 12
  • 32
  • 6
  • 10
  • 7
  • 12
  • 17
  • 6
  • 14
  • 5
  • 18
  • 35
  • 7
  • 17
  • 8
  • 11
  • 5
  • 14
  • 6
  • 26
  • 77
  • 14
  • 26
  • 45
  • 8
  • 5
  • 7
  • 9
  • 6
  • 8
  • 5
  • 12
  • 6
  • 6
  • 7
  • 7
  • 8
  • 14
  • 7
  • 6
  • 5
  • 17
  • 91
  • 13
  • 6
  • 44
  • 6
  • 6
  • 13
  • 7
  • 8
  • 5
  • 12
  • 14
  • 10
  • 12
  • 7
  • 34
  • 7
  • 6
  • 7
  • 5
  • 7
  • 17
  • 18
  • 5
  • 20
  • 6
  • 6
  • 28
  • 6
  • 5
  • 6
  • 77
  • 11
  • 5
  • 15
  • 6
  • 5
  • 12
  • 22
  • 5
  • 9
  • 6
  • 8
  • 6
  • 7
  • 30
  • 6
  • 5
  • 6
  • 24
  • 6
  • 5
  • 13
  • 16
  • 13
  • 7
  • 14
  • 16
  • 15
  • 11
  • 23
  • 8
  • 77
  • 11
  • 5
  • 10
  • 11
  • 5
  • 29
  • 5
  • 27
  • 31
  • 5
  • 7
  • 7
  • 5
  • 7
  • 6
  • 13
  • 5
  • 20
  • 9
  • 6
  • 7
  • 7
  • 9
  • 13
  • 6
  • 21
  • 6
  • 9
  • 11
  • 8
  • 9
  • 8
  • 15
  • 6
  • 5
  • 34
  • 14
  • 8
  • 9
  • 5
  • 6
  • 7
  • 7
  • 5
  • 7
  • 22
  • 7
  • 9
  • 8
  • 7
  • 9
  • 6
  • 95
  • 8
  • 6
  • 5
  • 5
  • 12
  • 9
  • 8
  • 6
  • 5
  • 8
  • 5
  • 12
  • 36
  • 5
  • 16
  • 8
  • 5
  • 5
  • 9
  • 5
  • 5
  • 12
  • 21
  • 25
  • 7
  • 5
  • 5
  • 6
  • 9
  • 13
  • 6
  • 6
  • 5
  • 10
  • 6
  • 8
  • 10
  • 6
  • 9
  • 49
  • 17
  • 6
  • 38
  • 10
  • 9
  • 11
  • 5
  • 14
  • 20
  • 13
  • 14
  • 15
  • 14
  • 6
  • 7
  • 8
  • 27
  • 10
  • 5
  • 11
  • 7
  • 6
  • 5
  • 19
  • 6
  • 9
  • 5
  • 12
  • 14
  • 9
  • 5
  • 8
  • 6
  • 16
  • 7
  • 13
  • 8
  • 5
  • 9
  • 7
  • 8
  • 23
  • 6
  • 7
  • 5
  • 11
  • 10
  • 8
  • 8
  • 37
  • 12
  • 9
  • 8
  • 6
  • 7
  • 5
  • 14
  • 8
  • 5
  • 6
  • 10
  • 10
  • 29
  • 6
  • 16
  • 7
  • 36
  • 8
  • 10
  • 8
  • 10
  • 5
  • 90
  • 5
  • 7
  • 6
  • 5
  • 7
  • 6
  • 31
  • 15
  • 5
  • 5
  • 8
  • 77
  • 5
  • 17
  • 8
  • 8
  • 6
  • 13
  • 11
  • 19
  • 18
  • 6
  • 9
  • 92
  • 6
  • 46
  • 5
  • 11
  • 9
  • 9
  • 89
  • 22
  • 7
  • 20
  • 7
  • 10
  • 6
  • 9
  • 12
  • 18
  • 10
  • 6
  • 6
  • 6
  • 5
  • 8
  • 7
  • 90
  • 7
  • 6
  • 5
  • 5
  • 6
  • 21
  • 8
  • 13
  • 6
  • 81
  • 11
  • 5
  • 18
  • 13
  • 15
  • 11
  • 5
  • 10
  • 13
  • 5
  • 5
  • 22
  • 14
  • 6
  • 8
  • 6
  • 7
  • 7
  • 14
  • 6
  • 22
  • 8
  • 6
  • 5
  • 6
  • 7
  • 6
  • 5
  • 7
  • 14
  • 9
  • 7
  • 8
  • 6
  • 14
  • 9
  • 14
  • 23
  • 29
  • 7
  • 6
  • 5
  • 5
  • 16
  • 6
  • 5
  • 8
  • 13
  • 8
  • 6
  • 33
  • 15
  • 5
  • 6
  • 5
  • 10
  • 10
  • 5
  • 8
  • 6
  • 43
  • 6
  • 49
  • 8
  • 6
  • 9
  • 6
  • 11
  • 12
  • 6
  • 14
  • 24
  • 5
  • 5
  • 16
  • 8
  • 16
  • 5
  • 17
  • 23
  • 5
  • 5
  • 9
  • 7
  • 8
  • 25
  • 15
  • 22
  • 61
  • 10
  • 14
  • 21
  • 8
  • 9
  • 5
  • 5
  • 22
  • 18
  • 17
  • 5
  • 8
  • 6
  • 5
  • 21
  • 9
  • 57
  • 80
  • 23
  • 12
  • 8
  • 10
  • 15
  • 5
  • 6
  • 5
  • 12
  • 17
  • 5
  • 12
  • 5
  • 6
  • 14
  • 9
  • 7
  • 13
  • 8
  • 6
  • 8
  • 5
  • 89
  • 11
  • 17
  • 15
  • 10
  • 6
  • 8
  • 5
  • 6
  • 13
  • 5
  • 5
  • 11
  • 7
  • 33
  • 5
  • 11
  • 9
  • 11
  • 5
  • 6
  • 13
  • 18
  • 37
  • 6
  • 5
  • 8
  • 14
  • 8
  • 19
  • 14
  • 5
  • 7
  • 5
  • 10
  • 6
  • 9
  • 6
  • 23
  • 6
  • 13
  • 10
  • 6
  • 9
  • 5
  • 6
  • 6
  • 7
  • 6
  • 14
  • 11
  • 9
  • 5
  • 18
  • 5
  • 15
  • 17
  • 5
  • 8
  • 19
  • 26
  • 12
  • 14
  • 23
  • 6
  • 20
  • 5
  • 11
  • 5
  • 11
  • 8
  • 18
  • 6
  • 6
  • 6
  • 52
  • 6
  • 12
  • 5
  • 35
  • 7
  • 5
  • 21
  • 6
  • 46
  • 37
  • 58
  • 40
  • 7
  • 12
  • 5
  • 11
  • 21
  • 5
  • 32
  • 7
  • 27
  • 15
  • 20
  • 6
  • 5
  • 10
  • 5
  • 8
  • 9
  • 6
  • 6
  • 21
Verlag
  • 7
  • 11083
  • 3
  • 9
  • 2
  • 18
  • 36
  • 5
  • 1
  • 14
  • 31
Preis
  • 42
  • 411
  • 8515
  • 2241
Sprachen
  • 11204
  • 17
  • 13
  • 1
Verfügbarkeit
  • 10961
  • 248
Eigenschaften
  • 5
Katalog
  • 11209
  • 596
11.209  Treffer  für „Lecture Notes in Computer Science“
    Blackburn / Ghidini / Turner | Modeling and Using Context | Buch | Sack Fachmedien

    Blackburn / Ghidini / Turner Modeling and Using Context

    4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40380-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Medhi / Nogueira / Pfeifer | IP Operations and Management | Buch | Sack Fachmedien

    Medhi / Nogueira / Pfeifer IP Operations and Management

    7th IEEE International Workshop, IPOM 2007 San José, USA, October 31 - November 2, 2007 Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75852-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giesl / Hähnle | Automated Reasoning | Buch | Sack Fachmedien

    Giesl / Hähnle Automated Reasoning

    5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14202-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Safavi-Naini / Yung | Digital Rights Management | Buch | Sack Fachmedien

    Safavi-Naini / Yung Digital Rights Management

    Technologies, Issues, Challenges and Systems
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35998-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Denzler / Notni / Süße | Pattern Recognition | Buch | Sack Fachmedien

    Denzler / Notni / Süße Pattern Recognition

    31st DAGM Symposium, Jena, Germany, September 9-11, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03797-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Decker / Schaumüller-Bichl | Communications and Multimedia Security | Buch | Sack Fachmedien

    De Decker / Schaumüller-Bichl Communications and Multimedia Security

    11th IFIP TC 6/TC 11 International Conference, CMS 2010, Linz, Austria, May 31 - June 2, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13240-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee / Bien / Mokhtari | Aging Friendly Technology for Health and Independence | Buch | Sack Fachmedien

    Lee / Bien / Mokhtari Aging Friendly Technology for Health and Independence

    8th International Conference on Smart Homes and Health Telematics, ICOST 2010, Seoul, Korea, June 22-24, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13777-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Keijzer / O'Reilly / Lucas | Genetic Programming | Buch | Sack Fachmedien

    Keijzer / O'Reilly / Lucas Genetic Programming

    7th European Conference, EuroGP 2004, Coimbra, Portugal, April 5-7, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21346-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ibarra / Zhang | Computing and Combinatorics | Buch | Sack Fachmedien

    Ibarra / Zhang Computing and Combinatorics

    8th Annual International Conference, COCOON 2002, Singapore, August 15-17, 2002 Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43996-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kanade / Jain / Ratha | Audio- and Video-Based Biometric Person Authentication | Buch | Sack Fachmedien

    Kanade / Jain / Ratha Audio- and Video-Based Biometric Person Authentication

    5th International Conference, AVBPA 2005, Hilton Rye Town, NY, USA, July 20-22, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27887-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gonzalo / Thanos / Verdejo | Research and Advanced Technology for Digital Libraries | Buch | Sack Fachmedien

    Gonzalo / Thanos / Verdejo Research and Advanced Technology for Digital Libraries

    10th European Conference, EDCL 2006, Alicante Spain, September 17-22, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-44636-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Bra / Kobsa / Chin | User Modeling, Adaptation, and Personalization | Buch | Sack Fachmedien

    De Bra / Kobsa / Chin User Modeling, Adaptation, and Personalization

    18th International Conference, UMAP 2010, Big Island, HI, USA, June 20-24, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13469-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haugen / Reed / Gotzhein | System Analysis and Modeling: Theory and Practice | Buch | Sack Fachmedien

    Haugen / Reed / Gotzhein System Analysis and Modeling: Theory and Practice

    7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36756-4
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Manes | Category Theory Applied to Computation and Control | Buch | Sack Fachmedien

    Manes Category Theory Applied to Computation and Control

    Proceedings of the First International Symposium, San Francisco, February 25-26, 1974
    1. Auflage 1975
    Verlag: Springer
    ISBN: 978-3-540-07142-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Qing / Mitchell / Wang | Information and Communications Security | Buch | Sack Fachmedien

    Qing / Mitchell / Wang Information and Communications Security

    11th International Conference, ICICS 2009
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-11144-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paillier / Verbauwhede | Cryptographic Hardware and Embedded Systems - CHES 2007 | Buch | Sack Fachmedien

    Paillier / Verbauwhede Cryptographic Hardware and Embedded Systems - CHES 2007

    9th International Workshop, Vienna, Austria, September 10-13, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74734-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rhee / Nyang | Information Security and Cryptology - ICISC 2010 | Buch | Sack Fachmedien

    Rhee / Nyang Information Security and Cryptology - ICISC 2010

    13th International Conference, Seoul, Korea, December 1-3, 2010, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24208-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Herkersdorf / Römer / Brinkschulte | Architecture of Computing Systems - ARCS 2012 | Buch | Sack Fachmedien

    Herkersdorf / Römer / Brinkschulte Architecture of Computing Systems - ARCS 2012

    25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28292-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lupanov / Kasim-Zade / Chaskin | Stochastic Algorithms: Foundations and Applications | Buch | Sack Fachmedien

    Lupanov / Kasim-Zade / Chaskin Stochastic Algorithms: Foundations and Applications

    Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29498-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sion | Financial Cryptography and Data Security | Buch | Sack Fachmedien

    Sion Financial Cryptography and Data Security

    14th International Conference, FC 2010, Tenerife, Canary Islands, January 25-28, 2010, Revised Selected Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14576-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wyrzykowski / Dongarra / Paprzycki | Parallel Processing and Applied Mathematics | Buch | Sack Fachmedien

    Wyrzykowski / Dongarra / Paprzycki Parallel Processing and Applied Mathematics

    5th International Conference, PPAM 2003, Czestochowa, Poland, September 7-10, 2003. Revised Papers
    1. Auflage 2004
    Verlag: Springer Netherlands
    ISBN: 978-3-540-21946-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ngo | Computing and Combinatorics | Buch | Sack Fachmedien

    Ngo Computing and Combinatorics

    15th Annual International Conference, COCOON 2009 Niagara Falls, NY, USA, July 13-15, 2009 Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-02881-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Narendran / Rusinowitch | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Narendran / Rusinowitch Rewriting Techniques and Applications

    10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66201-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bosnacki / Edelkamp | Model Checking Software | Buch | Sack Fachmedien

    Bosnacki / Edelkamp Model Checking Software

    14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-73369-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butler / Hinchey / Larrondo-Petrie | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Butler / Hinchey / Larrondo-Petrie Formal Methods and Software Engineering

    9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-76648-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