Ergebnisse filtern
Fachgebiet
Medium
  • 1419
  • 2
Erscheinungsjahr
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 5
  • 16
  • 4
  • 7
  • 6
  • 122
  • 37
  • 68
  • 127
  • 94
  • 126
  • 109
  • 111
  • 85
  • 86
  • 62
  • 53
  • 41
  • 27
  • 50
  • 36
  • 24
  • 32
  • 13
  • 23
  • 14
  • 8
  • 7
  • 5
  • 3
  • 2
  • 3
  • 2
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 6
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 5
  • 2
  • 1
  • 1
  • 3
  • 1
  • 9
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 7
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 11
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 3
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 10
  • 5
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 6
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 8
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 5
  • 5
  • 2
  • 3
  • 2
  • 4
  • 3
  • 12
  • 2
  • 5
  • 2
  • 8
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 6
  • 3
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 4
  • 13
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
Verlag
  • 57
  • 3
  • 2
  • 3
  • 1
  • 1
  • 1
  • 3
  • 3
  • 2
  • 1
  • 2
  • 4
  • 1
  • 2
  • 1
  • 1093
  • 69
  • 28
  • 44
  • 60
  • 2
  • 3
  • 1
  • 1
  • 5
  • 22
  • 1
  • 2
  • 1
  • 1
  • 1
Preis
  • 1
  • 55
  • 869
  • 496
Sprachen
  • 1382
  • 39
Verfügbarkeit
  • 1417
  • 4
Katalog
  • 1421
  • 170
1.421  Treffer  für „Design“
    Roca / Rousseau | Interactive Multimedia and Next Generation Networks | Buch | Sack Fachmedien

    Roca / Rousseau Interactive Multimedia and Next Generation Networks

    Second International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2004, Grenoble, France, November 16-19, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23928-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Corradini / Ehrig / Montanari | Graph Transformations | Buch | Sack Fachmedien

    Corradini / Ehrig / Montanari Graph Transformations

    Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-38870-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wagner / Rana | Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems | Buch | Sack Fachmedien

    Wagner / Rana Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems

    International Workshop on Infrastructure for Scalable Multi-Agent Systems, Barcelona, Spain, June 3-7, 2000 Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42315-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rattray / Maharaj | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Rattray / Maharaj Algebraic Methodology and Software Technology

    10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22381-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehrig / Engels / Parisi-Presicce | Graph Transformations | Buch | Sack Fachmedien

    Ehrig / Engels / Parisi-Presicce Graph Transformations

    Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23207-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Castro / van Renesse | Peer-to-Peer Systems IV | Buch | Sack Fachmedien

    Castro / van Renesse Peer-to-Peer Systems IV

    4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29068-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Snelting / Mehlhorn | Informatik 2000 | Buch | Sack Fachmedien

    Snelting / Mehlhorn Informatik 2000

    Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft für Informatik Berlin, 19.-22. September 2000
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67880-9
    Medium: Buch
    84,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Corradini / Ehrig / Kreowski | Graph Transformation | Buch | Sack Fachmedien

    Corradini / Ehrig / Kreowski Graph Transformation

    First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-44310-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    The Munich Project CIP | Buch | Sack Fachmedien

    The Munich Project CIP

    Volume II: The Programme Transformation System CIP-S
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-18779-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Antsaklis / Kohn / Lemmon | Hybrid Systems V | Buch | Sack Fachmedien

    Antsaklis / Kohn / Lemmon Hybrid Systems V

    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65643-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sure / Domingue | The Semantic Web: Research and Applications | Buch | Sack Fachmedien

    Sure / Domingue The Semantic Web: Research and Applications

    3rd European Semantic Web Conference, ESWC 2006, Budva, Montenegro, June 11-14, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34544-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lemos / Silva Weber / Camargo Jr. | Dependable Computing | Buch | Sack Fachmedien

    Lemos / Silva Weber / Camargo Jr. Dependable Computing

    First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20224-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Polani / Browning / Bonarini | RoboCup 2003: Robot Soccer World Cup VII | Buch | Sack Fachmedien

    Polani / Browning / Bonarini RoboCup 2003: Robot Soccer World Cup VII

    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22443-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nagl / Schürr / Münch | Applications of Graph Transformations with Industrial Relevance | Buch | Sack Fachmedien

    Nagl / Schürr / Münch Applications of Graph Transformations with Industrial Relevance

    International Workshop, AGTIVE'99 Kerkrade, The Netherlands, September 1-3, 1999 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67658-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alexandrov / Dongarra / Juliano | Computational Science - ICCS 2001 | Buch | Sack Fachmedien

    Alexandrov / Dongarra / Juliano Computational Science - ICCS 2001

    International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part II
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42233-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baldoni / Son / van Riemsdijk | Declarative Agent Languages and Technologies V | Buch | Sack Fachmedien

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

    5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77563-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Langendoerfer / Liu / Matta | Wired/Wireless Internet Communications | Buch | Sack Fachmedien

    Langendoerfer / Liu / Matta Wired/Wireless Internet Communications

    Second International Conference, WWIC 2004, Frankfurt/Oder, Germany, February 4-6, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20954-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zuse | The Computer - My Life | Buch | Sack Fachmedien

    Zuse The Computer - My Life

    1993. 1993
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-56453-9
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Grigoras / Nicolau / Toursel | Advanced Environments, Tools, and Applications for Cluster Computing | Buch | Sack Fachmedien

    Grigoras / Nicolau / Toursel Advanced Environments, Tools, and Applications for Cluster Computing

    NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1-6, 2001. Revised Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43672-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Davis | Great Software Debates | Buch | Sack Fachmedien

    Davis Great Software Debates

    1. Auflage 2004
    Verlag: Wiley
    ISBN: 978-0-471-67523-5
    Medium: Buch
    93,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Runarsson / Beyer / Burke | Parallel Problem Solving from Nature - PPSN IX | Buch | Sack Fachmedien

    Runarsson / Beyer / Burke Parallel Problem Solving from Nature - PPSN IX

    9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-38990-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Palma / Dongarra / Hernandez | Vector and Parallel Processing - VECPAR 2000 | Buch | Sack Fachmedien

    Palma / Dongarra / Hernandez Vector and Parallel Processing - VECPAR 2000

    4th International Conference, Porto, Portugal, June 21-23, 2000, Selected Papers and Invited Talks
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-41999-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pham | System Software Reliability | Buch | Sack Fachmedien

    Pham System Software Reliability

    1. Auflage. 2006
    Verlag: Springer
    ISBN: 978-1-85233-950-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clarke / Kurshan | Computer-Aided Verification | Buch | Sack Fachmedien

    Clarke / Kurshan Computer-Aided Verification

    2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54477-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tomlin / Greenstreet | Hybrid Systems: Computation and Control | Buch | Sack Fachmedien

    Tomlin / Greenstreet Hybrid Systems: Computation and Control

    5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43321-7
    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