Ergebnisse filtern
Fachgebiet
Medium
  • 3282
  • 244
  • 7
  • 2
Erscheinungsjahr
  • 44
  • 229
  • 230
  • 111
  • 117
  • 130
  • 150
  • 150
  • 156
  • 91
  • 152
  • 85
  • 123
  • 187
  • 286
  • 113
  • 400
  • 213
  • 160
  • 27
  • 30
  • 33
  • 25
  • 21
  • 42
  • 40
  • 33
  • 26
  • 14
  • 10
  • 5
  • 4
  • 8
  • 10
  • 4
  • 9
  • 2
  • 5
  • 5
  • 3
  • 2
  • 5
  • 5
  • 6
  • 9
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
Autoren
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 5
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 10
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 7
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 7
  • 2
  • 3
  • 8
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 4
  • 3
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 8
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 5
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 13
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 16
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 7
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 16
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 15
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 8
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 6
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 10
  • 14
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 6
  • 4
  • 4
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 5
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 6
  • 7
  • 5
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 9
  • 3
  • 6
  • 7
  • 3
  • 5
  • 4
  • 6
  • 5
  • 3
  • 3
  • 4
  • 3
  • 8
  • 4
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 7
  • 7
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 4
  • 8
  • 3
  • 4
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 22
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 5
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 6
  • 5
  • 3
  • 3
  • 5
  • 4
  • 5
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 7
  • 3
  • 6
  • 4
  • 4
  • 4
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 14
  • 4
  • 4
  • 5
  • 7
  • 6
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 8
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 5
  • 3
  • 3
  • 5
  • 4
  • 3
  • 5
  • 5
  • 5
  • 5
  • 9
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 6
  • 8
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 9
  • 6
  • 3
  • 4
  • 6
  • 6
  • 6
  • 4
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 7
  • 3
  • 4
  • 5
  • 6
  • 13
  • 6
  • 3
  • 3
  • 6
  • 3
  • 3
  • 6
  • 3
  • 6
  • 4
  • 3
  • 4
  • 5
  • 3
  • 4
Verlag
  • 1
  • 1
  • 4
  • 34
  • 3
  • 1
  • 3
  • 18
  • 1
  • 1
  • 1
  • 7
  • 4
  • 98
  • 1
  • 2
  • 6
  • 1
  • 110
  • 93
  • 207
  • 2
  • 2
  • 5
  • 3
  • 16
  • 15
  • 1
  • 7
  • 1
  • 8
  • 3
  • 2
  • 2
  • 2
  • 1
  • 1
  • 4
  • 7
  • 1
  • 10
  • 4
  • 1
  • 1
  • 2
  • 6
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 4
  • 14
  • 2
  • 2
  • 1
  • 1
  • 2146
  • 19
  • 1
  • 152
  • 2
  • 41
  • 13
  • 1
  • 30
  • 26
  • 103
  • 4
  • 9
  • 2
  • 1
  • 1
  • 82
  • 10
  • 36
  • 3
  • 1
  • 1
  • 1
  • 43
  • 1
  • 1
  • 43
  • 2
  • 2
  • 5
  • 12
Preis
  • 73
  • 335
  • 1610
  • 1517
Sprachen
  • 3338
  • 193
  • 3
  • 3
  • 1
Verfügbarkeit
  • 3482
  • 53
Katalog
  • 3535
  • 305
3.535  Titel
    Brodal / Frigioni / Marchetti-Spaccamela | Algorithm Engineering | Buch | Sack Fachmedien

    Brodal / Frigioni / Marchetti-Spaccamela Algorithm Engineering

    5th International Workshop, WAE 2001 Aarhus, Denmark, August 28-31, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42500-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Connor / Mendelzon | Research Issues in Structured and Semistructured Database Programming | Buch | Sack Fachmedien

    Connor / Mendelzon Research Issues in Structured and Semistructured Database Programming

    7th International Workshop on Database Programming Languages, DBPL'99 Kinloch Rannoch, UK, September 1-3, 1999 Revised Papers
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41481-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meseguer / Rosu | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Meseguer / Rosu Algebraic Methodology and Software Technology

    12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79979-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dastani / El Fallah Seghrouchni / Leite | Languages, Methodologies and Development Tools for Multi-Agent Systems | Buch | Sack Fachmedien

    Dastani / El Fallah Seghrouchni / Leite Languages, Methodologies and Development Tools for Multi-Agent Systems

    First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85057-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rausch / Reussner / Mirandola | The Common Component Modeling Example | Buch | Sack Fachmedien

    Rausch / Reussner / Mirandola The Common Component Modeling Example

    Comparing Software Component Models
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85288-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baroglio / Bonatti / Maluszynski | Reasoning Web | Buch | Sack Fachmedien

    Baroglio / Bonatti / Maluszynski Reasoning Web

    4th International Summer School 2008, Venice Italy, September 7-11, 2008, Tutorial Lectures
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85656-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kawano / Mosca | Theory of Quantum Computation, Communication, and Cryptography | Buch | Sack Fachmedien

    Kawano / Mosca Theory of Quantum Computation, Communication, and Cryptography

    Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008, Revised Selected Papers
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-89303-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wirsing / Banatre / Hölzl | Software-Intensive Systems and New Computing Paradigms | Buch | Sack Fachmedien

    Wirsing / Banatre / Hölzl Software-Intensive Systems and New Computing Paradigms

    Challenges and Visions
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-89436-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seznec / Emer / O'Boyle | High Performance Embedded Architectures and Compilers | Buch | Sack Fachmedien

    Seznec / Emer / O'Boyle High Performance Embedded Architectures and Compilers

    Fourth International Conference, HiPEAC 2009
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-540-92989-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shi / Kim / Katzenbeisser | Digital Watermarking | Buch | Sack Fachmedien

    Shi / Kim / Katzenbeisser Digital Watermarking

    6th International Workshop, IWDW 2007 Guangzhou, China, December 3-5, 2007, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-92237-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sheth / Staab / Paolucci | The Semantic Web - ISWC 2008 | Buch | Sack Fachmedien

    Sheth / Staab / Paolucci The Semantic Web - ISWC 2008

    7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88563-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehrig / Heckel / Rozenberg | Graph Transformations | Buch | Sack Fachmedien

    Ehrig / Heckel / Rozenberg Graph Transformations

    4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-87404-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jarecki / Tsudik | Public Key Cryptography - PKC 2009 | Buch | Sack Fachmedien

    Jarecki / Tsudik Public Key Cryptography - PKC 2009

    12th International Conference on Practice and Theory in Public Key Cryptography Irvine, CA, USA, March 18-20, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00467-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lastovetsky / Kechadi / Dongarra | Recent Advances in Parallel Virtual Machine and Message Passing Interface | Buch | Sack Fachmedien

    Lastovetsky / Kechadi / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface

    15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-87474-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fotakis / Pagourtzis / Paschos | Algorithms and Complexity | Buch | Sack Fachmedien

    Fotakis / Pagourtzis / Paschos Algorithms and Complexity

    10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-57585-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen / Levi | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Steffen / Levi Verification, Model Checking, and Abstract Interpretation

    5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20803-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmidt | Automated Deduction - CADE-22 | Buch | Sack Fachmedien

    Schmidt Automated Deduction - CADE-22

    22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02958-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eugster | Object-Oriented Technology. ECOOP 2008 Workshop Reader | Buch | Sack Fachmedien

    Eugster Object-Oriented Technology. ECOOP 2008 Workshop Reader

    ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02046-9
    Medium: Buch
    53,49 € (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
    Dubois | Tests and Proofs | Buch | Sack Fachmedien

    Dubois Tests and Proofs

    Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02948-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leucker | Runtime Verification | Buch | Sack Fachmedien

    Leucker Runtime Verification

    8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-89246-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chirikjian / Choset / Morales | Algorithmic Foundations of Robotics VIII | Buch | Sack Fachmedien

    Chirikjian / Choset / Morales Algorithmic Foundations of Robotics VIII

    Selected Contributions of the Eighth International Workshop on the Algorithmic Foundations of Robotics
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-00311-0
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baldoni / Son / van Riemsdijk | Declarative Agent Languages and Technologies VI | Buch | Sack Fachmedien

    Baldoni / Son / van Riemsdijk Declarative Agent Languages and Technologies VI

    6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-540-93919-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Armando / Baumgartner / Dowek | Automated Reasoning | Buch | Sack Fachmedien

    Armando / Baumgartner / Dowek Automated Reasoning

    4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-71069-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Emerson / Namjoshi | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Emerson / Namjoshi Verification, Model Checking, and Abstract Interpretation

    7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-31139-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