Fachgebiet
Medium
  • 10690
  • 2638
Erscheinungsjahr
  • 250
  • 1017
  • 1044
  • 801
  • 627
  • 391
  • 406
  • 438
  • 419
  • 431
  • 419
  • 434
  • 422
  • 432
  • 447
  • 386
  • 367
  • 271
  • 246
  • 282
  • 293
  • 229
  • 476
  • 581
  • 264
  • 253
  • 179
  • 177
  • 134
  • 135
  • 137
  • 121
  • 112
  • 98
  • 75
  • 84
  • 57
  • 60
  • 46
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 6
  • 6
  • 5
  • 6
  • 6
  • 7
  • 10
  • 7
  • 13
  • 12
  • 9
  • 5
  • 5
  • 5
  • 9
  • 12
  • 11
  • 5
  • 20
  • 21
  • 7
  • 10
  • 6
  • 8
  • 11
  • 11
  • 5
  • 7
  • 13
  • 31
  • 52
  • 8
  • 49
  • 9
  • 7
  • 6
  • 6
  • 20
  • 19
  • 6
  • 12
  • 5
  • 5
  • 7
  • 46
  • 5
  • 6
  • 5
  • 5
  • 7
  • 5
  • 10
  • 6
  • 19
  • 7
  • 5
  • 8
  • 8
  • 5
  • 9
  • 5
  • 7
  • 6
  • 5
  • 7
  • 10
  • 12
  • 6
  • 7
  • 21
  • 5
  • 6
  • 8
  • 21
  • 5
  • 12
  • 8
  • 8
  • 5
  • 5
  • 5
  • 18
  • 12
  • 6
  • 12
  • 7
  • 57
  • 19
  • 13
  • 7
  • 12
  • 12
  • 9
  • 5
  • 7
  • 5
  • 7
  • 6
  • 8
  • 12
  • 9
  • 5
  • 12
  • 15
  • 5
  • 11
  • 5
  • 18
  • 14
  • 16
  • 7
  • 8
  • 5
  • 5
  • 46
  • 15
  • 8
  • 5
  • 9
  • 6
  • 7
  • 10
  • 19
  • 7
  • 10
  • 14
  • 13
  • 7
  • 7
  • 5
  • 16
  • 11
  • 9
  • 25
  • 6
  • 16
  • 12
  • 13
  • 6
  • 11
  • 8
  • 13
  • 7
  • 8
  • 49
  • 11
  • 61
  • 7
  • 13
  • 11
  • 20
  • 20
  • 11
  • 9
  • 30
  • 9
  • 50
  • 11
  • 15
  • 12
  • 9
  • 11
  • 8
  • 17
  • 6
  • 6
  • 9
  • 15
  • 10
  • 11
  • 46
  • 7
  • 12
  • 9
  • 17
  • 6
  • 6
  • 10
  • 7
  • 17
  • 12
  • 7
  • 7
  • 7
  • 8
  • 20
  • 12
  • 7
  • 16
  • 6
  • 8
  • 10
  • 6
  • 8
  • 17
  • 24
  • 8
  • 9
  • 6
  • 7
  • 9
  • 16
  • 25
  • 11
  • 9
  • 6
  • 11
  • 7
  • 7
  • 7
  • 9
  • 6
  • 6
  • 11
  • 6
  • 19
  • 12
  • 7
  • 10
  • 11
  • 9
  • 54
  • 47
  • 6
  • 30
  • 6
  • 9
  • 21
  • 11
  • 28
  • 17
  • 7
  • 7
  • 8
  • 13
  • 8
  • 22
  • 6
  • 8
  • 7
  • 10
  • 9
  • 7
  • 31
  • 7
  • 6
  • 18
  • 54
  • 14
  • 8
  • 7
  • 19
  • 10
  • 7
  • 9
  • 11
  • 12
  • 24
  • 9
  • 9
  • 9
  • 6
  • 11
  • 20
  • 14
  • 12
  • 6
  • 12
  • 9
  • 12
  • 16
  • 17
  • 69
  • 41
  • 10
  • 31
  • 12
  • 22
  • 33
  • 111
  • 7
  • 14
  • 10
  • 6
  • 8
  • 22
  • 10
  • 9
  • 23
  • 16
  • 9
  • 11
  • 11
  • 21
  • 9
  • 12
  • 9
  • 8
  • 9
  • 6
  • 8
  • 7
  • 15
  • 7
  • 53
  • 6
  • 13
  • 10
  • 7
  • 14
  • 24
  • 11
  • 9
  • 10
  • 25
  • 46
  • 11
  • 8
  • 12
  • 19
  • 15
  • 8
  • 7
  • 9
  • 7
  • 6
  • 9
  • 6
  • 17
  • 19
  • 9
  • 6
  • 6
  • 6
  • 11
  • 7
  • 90
  • 8
  • 14
  • 15
  • 8
  • 10
  • 8
  • 6
  • 19
  • 7
  • 11
  • 7
  • 10
  • 9
  • 24
  • 7
  • 8
  • 15
  • 10
  • 6
  • 15
  • 6
  • 22
  • 17
  • 7
  • 6
  • 6
  • 9
  • 13
  • 6
  • 6
  • 7
  • 6
  • 19
  • 9
  • 9
  • 6
  • 14
  • 6
  • 20
  • 7
  • 8
  • 7
  • 9
  • 6
  • 12
  • 12
  • 16
  • 6
  • 9
  • 10
  • 9
  • 7
  • 7
  • 6
  • 38
  • 8
  • 10
  • 13
  • 6
  • 9
  • 8
  • 31
  • 8
  • 9
  • 6
  • 18
  • 48
  • 7
  • 6
  • 7
  • 11
  • 11
  • 19
  • 6
  • 33
  • 6
  • 15
  • 9
  • 6
  • 7
  • 19
  • 6
  • 8
  • 18
  • 6
  • 27
  • 44
  • 22
  • 12
  • 8
  • 27
  • 7
  • 14
  • 10
  • 8
  • 31
  • 17
  • 35
  • 46
  • 7
  • 8
  • 10
  • 11
  • 9
  • 19
  • 11
  • 6
  • 17
  • 6
  • 10
  • 7
  • 8
  • 6
  • 9
  • 9
  • 7
  • 17
  • 8
  • 90
  • 30
  • 33
  • 7
  • 17
  • 6
  • 6
  • 22
  • 7
  • 7
  • 8
  • 19
  • 8
  • 8
  • 13
  • 18
  • 6
  • 16
  • 6
  • 9
  • 7
  • 7
  • 10
  • 12
  • 15
  • 20
  • 7
  • 21
  • 6
  • 6
  • 29
  • 6
  • 12
  • 8
  • 82
  • 10
  • 6
  • 23
  • 7
  • 9
  • 6
  • 16
  • 30
  • 9
  • 14
  • 6
  • 12
  • 9
  • 7
  • 10
  • 6
  • 21
  • 9
  • 6
  • 9
  • 27
  • 10
  • 6
  • 7
  • 6
  • 14
  • 13
  • 19
  • 6
  • 19
  • 23
  • 20
  • 10
  • 23
  • 7
  • 7
  • 12
  • 9
  • 6
  • 12
  • 9
  • 13
  • 29
  • 8
  • 12
  • 7
  • 44
  • 35
  • 8
  • 9
  • 6
  • 9
  • 10
  • 7
  • 22
  • 10
  • 6
  • 7
  • 6
  • 7
  • 6
  • 6
  • 10
  • 12
  • 8
  • 9
  • 6
  • 12
  • 9
  • 27
  • 8
  • 6
  • 6
  • 7
  • 11
  • 10
  • 12
  • 9
  • 15
  • 11
  • 7
  • 43
  • 13
  • 12
  • 8
  • 7
  • 8
  • 6
  • 20
  • 7
  • 6
  • 7
  • 15
  • 8
  • 7
  • 10
  • 7
  • 9
  • 11
  • 7
  • 102
  • 6
  • 16
  • 8
  • 8
  • 10
  • 7
  • 9
  • 20
  • 8
  • 7
  • 6
  • 7
  • 10
  • 12
  • 56
  • 20
  • 6
  • 23
  • 7
  • 8
  • 16
  • 9
  • 12
  • 7
  • 6
  • 8
  • 13
  • 6
  • 8
  • 7
  • 10
  • 9
  • 9
  • 8
  • 7
  • 8
  • 6
  • 8
  • 8
  • 13
  • 61
  • 8
  • 8
  • 8
  • 21
  • 10
  • 6
  • 23
  • 16
  • 6
  • 7
  • 6
  • 13
  • 7
  • 6
  • 16
  • 19
  • 19
  • 11
  • 18
  • 9
  • 8
  • 12
  • 28
  • 15
  • 9
  • 10
  • 16
  • 9
  • 8
  • 7
  • 26
  • 6
  • 14
  • 16
  • 17
  • 6
  • 6
  • 13
  • 11
  • 8
  • 18
  • 8
  • 18
  • 8
  • 10
  • 20
  • 9
  • 25
  • 11
  • 10
  • 14
  • 6
  • 13
  • 7
  • 6
  • 16
  • 17
  • 12
  • 6
  • 10
  • 7
  • 6
  • 7
  • 7
  • 23
  • 6
  • 9
  • 10
  • 9
  • 6
  • 8
  • 13
  • 31
  • 7
  • 17
  • 8
  • 11
  • 25
  • 7
  • 12
  • 8
  • 11
  • 6
  • 6
  • 122
  • 9
  • 10
  • 7
  • 32
  • 9
  • 12
  • 23
  • 11
  • 9
  • 12
  • 15
  • 11
  • 28
  • 8
  • 123
  • 6
  • 61
  • 13
  • 12
  • 12
  • 120
  • 31
  • 6
  • 17
  • 8
  • 13
  • 8
  • 13
  • 15
  • 20
  • 15
  • 12
  • 7
  • 6
  • 6
  • 6
  • 10
  • 11
  • 12
  • 9
  • 120
  • 9
  • 15
  • 28
  • 12
  • 16
  • 11
  • 6
  • 13
  • 26
  • 16
  • 13
  • 10
  • 8
  • 10
  • 7
  • 12
  • 6
  • 10
  • 29
  • 10
  • 7
  • 6
  • 14
  • 6
  • 6
  • 7
  • 12
  • 15
  • 6
  • 34
  • 9
  • 6
  • 7
  • 6
  • 7
  • 9
  • 15
  • 11
  • 10
  • 11
  • 11
  • 14
  • 19
  • 38
  • 19
  • 9
  • 11
  • 10
  • 25
  • 12
  • 6
  • 12
  • 8
  • 16
  • 12
  • 8
  • 9
  • 11
  • 6
  • 49
  • 9
  • 43
  • 7
  • 15
  • 9
  • 13
  • 9
  • 12
  • 13
  • 6
  • 8
  • 26
  • 7
  • 10
  • 8
  • 7
  • 11
  • 12
  • 21
  • 8
  • 23
  • 35
  • 6
  • 6
  • 7
  • 8
  • 15
  • 7
  • 29
  • 14
  • 18
  • 33
  • 71
  • 12
  • 20
  • 24
  • 10
  • 15
  • 8
  • 11
  • 21
  • 22
  • 17
  • 9
  • 12
  • 73
  • 25
  • 15
  • 10
  • 6
  • 16
  • 20
  • 12
  • 17
  • 9
  • 15
  • 14
  • 8
  • 6
  • 16
  • 18
  • 10
  • 9
  • 16
  • 6
  • 120
  • 6
  • 12
  • 6
  • 14
  • 20
  • 8
  • 8
  • 7
  • 6
  • 6
  • 6
  • 6
  • 18
  • 12
  • 6
  • 12
  • 42
  • 7
  • 12
  • 9
  • 7
  • 18
  • 9
  • 19
  • 23
  • 11
  • 15
  • 28
  • 9
  • 6
  • 21
  • 7
  • 24
  • 8
  • 15
  • 8
  • 8
  • 11
  • 9
  • 9
  • 9
  • 10
  • 9
  • 7
  • 33
  • 7
  • 17
  • 8
  • 12
  • 7
  • 7
  • 10
  • 8
  • 9
  • 7
  • 10
  • 7
  • 15
  • 11
  • 10
  • 7
  • 20
  • 15
  • 17
  • 11
  • 29
  • 12
  • 6
  • 20
  • 6
  • 6
  • 6
  • 7
  • 27
  • 8
  • 13
  • 6
  • 6
  • 14
  • 10
  • 9
  • 20
  • 7
  • 9
  • 7
  • 8
  • 62
  • 15
  • 7
  • 7
  • 7
  • 28
  • 7
  • 7
  • 60
  • 21
  • 78
  • 8
  • 22
  • 6
  • 6
  • 12
  • 9
  • 9
  • 40
  • 9
  • 8
  • 23
  • 23
  • 21
  • 11
  • 13
  • 14
  • 15
  • 7
  • 30
Verlag
  • 3
  • 11545
  • 40
  • 1542
  • 1
  • 14
  • 4
  • 3
  • 129
  • 1
  • 1
  • 1
  • 44
Preis
  • 47
  • 495
  • 10519
  • 2267
Sprachen
  • 13320
  • 19
  • 15
Verfügbarkeit
  • 13311
  • 17
Eigenschaften
  • 27
Katalog
  • 13328
  • 550
13.328  Treffer  für „Lecture Notes in Computer Science“


    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
    Erscheinungsjahr 2004
    Verlag: Springer
    ISBN: 978-3-540-24721-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Jeckle / Kowalczyk / Braun Grid Services Engineering and Management

    First International Conference, GSEM 2004, Erfurt, Germany, September 27-30, 2004, Proceedings
    Erscheinungsjahr 2004
    Verlag: Springer
    ISBN: 978-3-540-30190-5
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Aichernig / Maibaum Formal Methods at the Crossroads. From Panacea to Foundational Support

    10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-540-40007-3
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Nikolaidis / Barbeau / Kranakis Ad-Hoc, Mobile, and Wireless Networks

    Third International Conference, ADHOC-NOW 2004, Vancouver, Canada, July 22-24, 2004, Proceedings
    Erscheinungsjahr 2004
    Verlag: Springer
    ISBN: 978-3-540-28634-9
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Perner / Brause / Holzhütter Medical Data Analysis

    4th International Symposium, ISMDA 2003, Berlin, Germany, October 9-10, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-39619-2
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Huang / Herman Self-Stabilizing Systems

    6th International Symposium, SSS 2003, San Francisco, CA, USA, June 24-25, 2003, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-45032-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Pieprzyk / Okamoto / Seberry Information Security

    Third International Workshop, ISW 2000, Wollongong, Australia, December 20-21, 2000. Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-44456-5
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Sembok / Zaman / Chen Digital Libraries: Technology and Management of Indigenous Knowledge for Global Access

    6th International Conference on Asian Digital Libraries, ICADL 2003, Kuala Lumpur, Malaysia, December 8-12, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-24594-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    López-Ortiz LATIN 2010: Theoretical Informatics

    9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-12200-2
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Clark / Coste / Miclet Grammatical Inference: Algorithms and Applications

    9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88009-7
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    74,89 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Elmoataz / Lezoray / Nouboud Image and Signal Processing

    4th International Conference, ICISP 2010, Québec, Canada, June 30 - July 2, 2010. Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-13681-8
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Battiti / Conti / Lo Cigno Wireless On-Demand Network Systems

    First IFIP TC6 Working Conference, WONS 2004, Madonna di Campiglio, Italy, January 21-23, 2004, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-24614-5
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Steffen / Levi Verification, Model Checking, and Abstract Interpretation

    5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-24622-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Zannier / Erdogmus / Lindstrom Extreme Programming and Agile Methods - XP/Agile Universe 2004

    4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004, Proceedings
    Erscheinungsjahr 2004
    Verlag: Springer
    ISBN: 978-3-540-27777-4
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Guerraoui Middleware 2001

    IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12-16, 2001, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-45518-9
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Maibaum Fundamental Approaches to Software Engineering

    Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-46428-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Lacoste / Pfitzmann / Steiner SEMPER - Secure Electronic Marketplace for Europe

    Erscheinungsjahr 2004
    Verlag: Springer
    ISBN: 978-3-540-44927-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Rossi Principles and Practice of Constraint Programming - CP 2003

    9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-45193-8
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Blieberger / Strohmeier Reliable Software Technologies - Ada-Europe 2002

    7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-48046-4
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Finance Fundamental Approaches to Software Engineering

    Second International Conference, FASE'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
    Erscheinungsjahr 2004
    Verlag: Springer
    ISBN: 978-3-540-49020-3
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Guelfi / Astesiano / Reggio Scientific Engineering of Distributed Java Applications.

    Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers
    Erscheinungsjahr 2004
    Verlag: Springer
    ISBN: 978-3-540-24639-8
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Boztas / Shparlinski Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

    14th International Symposium, AAECC-14, Melbourne, Australia, November 26-30, 2001. Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-45624-7
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Bramer / Stahl Artificial Intelligence XLII

    45th SGAI International Conference on Artificial Intelligence, AI 2025, Cambridge, UK, December 16-18, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer International Publishing
    ISBN: 978-3-032-11402-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    69,54 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Diaz Automata, Languages and Programming

    10th Colloquium Barcelona, Spain, July 18-22, 1983
    Erscheinungsjahr 1983
    Verlag: Springer
    ISBN: 978-3-540-12317-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Barrett / Davies / Kahsai NASA Formal Methods

    9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-57288-8
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb



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