Ergebnisse filtern
Fachgebiet
Medium
  • 3588
Erscheinungsjahr
  • 65
  • 476
  • 464
  • 81
  • 41
  • 25
  • 41
  • 47
  • 53
  • 61
  • 62
  • 44
  • 39
  • 46
  • 47
  • 50
  • 133
  • 101
  • 128
  • 156
  • 154
  • 114
  • 195
  • 176
  • 151
  • 134
  • 92
  • 72
  • 56
  • 44
  • 54
  • 36
  • 35
  • 20
  • 13
  • 21
  • 15
  • 19
  • 4
  • 8
  • 4
  • 7
  • 1
  • 2
  • 1
Autoren
  • 2
  • 2
  • 3
  • 5
  • 9
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 5
  • 6
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 7
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 5
  • 2
  • 3
  • 2
  • 8
  • 4
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 6
  • 6
  • 2
  • 4
  • 2
  • 2
  • 11
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 8
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 7
  • 4
  • 4
  • 6
  • 14
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 8
  • 16
  • 3
  • 3
  • 5
  • 2
  • 3
  • 3
  • 5
  • 7
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 7
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 11
  • 3
  • 15
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 3
  • 3
  • 7
  • 2
  • 3
  • 2
  • 16
  • 8
  • 18
  • 2
  • 2
  • 3
  • 15
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 3
  • 3
  • 3
  • 6
  • 6
  • 3
  • 13
  • 2
  • 2
  • 9
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 4
  • 3
  • 9
  • 3
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 6
  • 3
  • 3
  • 2
  • 2
  • 3
  • 14
  • 10
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 8
  • 5
  • 2
  • 2
  • 4
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 5
  • 3
  • 4
  • 8
  • 3
  • 3
  • 8
  • 8
  • 3
  • 3
  • 3
  • 21
  • 20
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 27
  • 3
  • 3
  • 3
  • 4
  • 3
  • 11
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 6
  • 3
  • 5
  • 8
  • 6
  • 7
  • 3
  • 8
  • 4
  • 4
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 30
  • 3
  • 4
  • 30
  • 4
  • 7
  • 4
  • 3
  • 3
  • 37
  • 3
  • 4
  • 3
  • 4
  • 3
  • 12
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 8
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 5
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 9
  • 5
  • 4
  • 4
  • 12
  • 4
  • 4
  • 15
  • 3
  • 4
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 37
  • 3
  • 4
  • 4
  • 5
  • 3
  • 5
  • 4
  • 4
  • 5
  • 8
  • 3
  • 7
  • 5
  • 4
  • 9
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 4
  • 5
  • 5
  • 3
  • 5
  • 5
  • 3
  • 3
  • 11
  • 3
  • 4
  • 9
  • 8
  • 7
  • 17
  • 4
  • 5
  • 3
  • 3
  • 25
  • 7
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 4
  • 3
  • 7
  • 3
  • 3
  • 20
  • 5
  • 3
  • 4
  • 3
  • 4
  • 4
  • 8
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 7
  • 11
  • 5
  • 12
  • 4
  • 3
  • 3
  • 3
  • 17
  • 7
  • 3
  • 10
  • 4
  • 3
  • 5
  • 3
  • 10
  • 3
  • 3
  • 4
  • 7
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 85
  • 4
  • 16
  • 15
  • 4
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 8
  • 8
  • 4
  • 3
  • 4
  • 18
  • 3
  • 18
  • 3
  • 3
  • 3
  • 15
  • 5
  • 6
  • 6
  • 4
  • 3
  • 4
  • 6
  • 9
  • 5
  • 6
  • 5
  • 4
  • 3
  • 18
  • 7
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 10
  • 3
  • 10
  • 3
  • 6
  • 8
  • 5
  • 10
  • 4
  • 3
  • 3
  • 3
  • 8
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 7
  • 3
  • 17
  • 4
  • 3
  • 7
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 5
  • 3
  • 3
  • 33
  • 3
  • 12
  • 5
  • 6
  • 8
  • 4
  • 4
  • 3
  • 7
  • 9
  • 4
  • 4
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 5
  • 4
  • 7
  • 3
  • 8
  • 4
  • 7
  • 5
  • 4
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 16
  • 5
  • 3
  • 5
  • 13
  • 4
  • 3
  • 6
  • 3
  • 5
  • 4
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 7
  • 7
  • 3
  • 13
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 7
  • 12
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 6
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 8
  • 4
  • 4
  • 3
  • 4
  • 12
  • 4
  • 86
  • 3
  • 10
  • 3
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 7
  • 5
  • 86
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 24
  • 3
  • 11
  • 86
  • 3
  • 3
  • 5
  • 7
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 8
  • 5
  • 3
  • 9
  • 86
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 5
  • 3
  • 3
  • 6
  • 4
  • 14
  • 6
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 15
  • 3
  • 17
  • 3
  • 4
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 5
  • 10
  • 3
  • 3
  • 5
  • 11
  • 10
  • 8
  • 3
  • 7
  • 8
  • 4
  • 3
  • 5
  • 5
  • 15
  • 7
  • 5
  • 3
  • 22
  • 9
  • 8
  • 3
  • 6
  • 3
  • 15
  • 8
  • 6
  • 6
  • 6
  • 10
  • 3
  • 7
  • 14
  • 4
  • 3
  • 7
  • 9
  • 86
  • 5
  • 4
  • 4
  • 7
  • 9
  • 3
  • 3
  • 4
  • 3
  • 9
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 6
  • 6
  • 18
  • 4
  • 4
  • 6
  • 21
  • 5
  • 10
  • 4
  • 4
  • 3
  • 4
  • 18
  • 4
  • 42
  • 4
  • 4
  • 4
  • 27
  • 4
  • 14
  • 33
  • 15
  • 4
  • 6
  • 3
  • 18
  • 7
  • 20
  • 14
  • 4
  • 4
  • 10
  • 4
  • 4
Verlag
  • 1
  • 3561
  • 1
  • 1
  • 1
  • 23
Preis
  • 1
  • 73
  • 2810
  • 704
Sprachen
  • 3588
  • 1
Verfügbarkeit
  • 3584
  • 4
Katalog
  • 3588
  • 338
3.588  Treffer  für „Lecture Notes in Computer Science“
    Cai / Zhu / Wang | Wireless Artificial Intelligent Computing Systems and Applications | Buch | Sack Fachmedien

    Cai / Zhu / Wang Wireless Artificial Intelligent Computing Systems and Applications

    19th International Conference, WASA 2025, Tokyo, Japan, June 24-26, 2025, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-968730-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Královic / Sykora | Structural Information and Communication Complexity | Buch | Sack Fachmedien

    Královic / Sykora Structural Information and Communication Complexity

    11th International Colloquium , SIROCCO 2004, Smolenice Castle, Slowakia, June 21-23, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22230-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bal / Belkhouche / Cardelli | Internet Programming Languages | Buch | Sack Fachmedien

    Bal / Belkhouche / Cardelli Internet Programming Languages

    ICCL'98 Workshop,Chicago, IL, USA, May 13, 1998, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66673-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bichindaritz / Montani | Case-Based Reasoning | Buch | Sack Fachmedien

    Bichindaritz / Montani Case-Based Reasoning

    18th International Conference, ICCBR 2010, Alessandria, Italy, July 19-22, 2010 Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14273-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bunt / Beun | Cooperative Multimodal Communication | Buch | Sack Fachmedien

    Bunt / Beun Cooperative Multimodal Communication

    Second International Conference, CMC'98, Tilburg, The Netherlands, January 28-30, 1998. Selected Papers
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42806-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Akshay / Niemetz / Sankaranarayanan | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Akshay / Niemetz / Sankaranarayanan Automated Technology for Verification and Analysis

    22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-78708-9
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Palamidessi | CONCUR 2000 - Concurrency Theory | Buch | Sack Fachmedien

    Palamidessi CONCUR 2000 - Concurrency Theory

    11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67897-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    López / Okamoto | Information and Communications Security | Buch | Sack Fachmedien

    López / Okamoto Information and Communications Security

    6th International Conference, ICICS 2004, Malaga, Spain, October 27-29, 2004. Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23563-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kordon / Sztipanovits | Reliable Systems on Unreliable Networked Platforms | Buch | Sack Fachmedien

    Kordon / Sztipanovits Reliable Systems on Unreliable Networked Platforms

    12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71155-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jiang / Lee | Computing and Combinatorics | Buch | Sack Fachmedien

    Jiang / Lee Computing and Combinatorics

    Third Annual International Conference, COCOON '97, Shanghai, China, August 20-22, 1997. Proceedings.
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63357-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dawson / Golic | Cryptography: Policy and Algorithms | Buch | Sack Fachmedien

    Dawson / Golic Cryptography: Policy and Algorithms

    International Conference Brisbane, Queensland, Australia, July 3-5, 1995. Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-60759-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Di Crescenzo / Rubin | Financial Cryptography and Data Security | Buch | Sack Fachmedien

    Di Crescenzo / Rubin Financial Cryptography and Data Security

    10th International Conference, FC 2006 Anguilla, British West Indies, February 27 - March 2, 2006, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-46255-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Westfechtel / van der Hoek | Software Configuration Management | Buch | Sack Fachmedien

    Westfechtel / van der Hoek Software Configuration Management

    ICSE Workshops SCM 2001 and SCM 2003, Toronto, Canada, May 14-15, 2001, and Portland, OR, USA, May 9-10, 2003. Selected Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-14036-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Nielsen | CONCUR 2001 - Concurrency Theory | Buch | Sack Fachmedien

    Larsen / Nielsen CONCUR 2001 - Concurrency Theory

    12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42497-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voevodin / Antonov / Nikitenko | Supercomputing | Buch | Sack Fachmedien

    Voevodin / Antonov / Nikitenko Supercomputing

    10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-78461-3
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schulzrinne / State / Niccolini | Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks | Buch | Sack Fachmedien

    Schulzrinne / State / Niccolini Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks

    Second International Conference, IPTComm 2008, Heidelberg, Germany, July 1-2, 2008. Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-89053-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmidt / Crnkovic / Heineman | Component-Based Software Engineering | Buch | Sack Fachmedien

    Schmidt / Crnkovic / Heineman Component-Based Software Engineering

    10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73550-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baier / Haverkort / Hermanns | Validation of Stochastic Systems | Buch | Sack Fachmedien

    Baier / Haverkort / Hermanns Validation of Stochastic Systems

    A Guide to Current Research
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22265-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vaidya / Gabbouj / Li | Artificial Intelligence Security and Privacy | Buch | Sack Fachmedien

    Vaidya / Gabbouj / Li Artificial Intelligence Security and Privacy

    First International Conference on Artificial Intelligence Security and Privacy, AIS&P 2023, Guangzhou, China, December 3-5, 2023, Proceedings, Part II
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-981-99-9787-9
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rocha / Steels / van den Herik | Agents and Artificial Intelligence | Buch | Sack Fachmedien

    Rocha / Steels / van den Herik Agents and Artificial Intelligence

    16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-87329-4
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tokuyama | Algorithms and Computation | Buch | Sack Fachmedien

    Tokuyama Algorithms and Computation

    18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77118-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Andreoni | Applied Cryptography and Network Security Workshops | Buch | Sack Fachmedien

    Andreoni Applied Cryptography and Network Security Workshops

    ACNS 2024 Satellite Workshops, AIBlock, AIHWS, AIoTS, SCI, AAC, SiMLA, LLE, and CIMSS, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part I
    2024
    Verlag: Springer
    ISBN: 978-3-031-61485-9
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sifakis | Automatic Verification Methods for Finite State Systems | Buch | Sack Fachmedien

    Sifakis Automatic Verification Methods for Finite State Systems

    International Workshop, Grenoble, France. June 12-14, 1989. Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52148-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aggarwal / Pandu Rangan | Algorithms and Computations | Buch | Sack Fachmedien

    Aggarwal / Pandu Rangan Algorithms and Computations

    10th International Symposium, ISAAC'99, Chennai, India, December 16-18, 1999 Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66916-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Veanes / Tretmans / Grieskamp | Testing of Software and Communicating Systems | Buch | Sack Fachmedien

    Veanes / Tretmans / Grieskamp Testing of Software and Communicating Systems

    19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73065-1
    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