Ergebnisse filtern
Fachgebiet
Medium
  • 1302
  • 28
Erscheinungsjahr
  • 7
  • 4
  • 1
  • 8
  • 13
  • 5
  • 6
  • 6
  • 9
  • 16
  • 19
  • 14
  • 17
  • 16
  • 65
  • 27
  • 41
  • 84
  • 70
  • 102
  • 112
  • 81
  • 63
  • 73
  • 56
  • 58
  • 29
  • 32
  • 42
  • 38
  • 37
  • 26
  • 19
  • 39
  • 21
  • 22
  • 12
  • 9
  • 6
  • 5
  • 5
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 7
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 10
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 3
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 6
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 3
  • 2
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 5
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 5
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 10
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 6
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 3
  • 1
  • 3
  • 2
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 6
  • 4
  • 4
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 10
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 6
  • 2
  • 3
  • 5
  • 2
  • 3
Verlag
  • 133
  • 2
  • 3
  • 1
  • 3
  • 47
  • 2
  • 3
  • 2
  • 6
  • 6
  • 1
  • 3
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 219
  • 643
  • 7
  • 2
  • 35
  • 26
  • 82
  • 7
  • 1
  • 7
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 6
  • 34
  • 1
  • 1
  • 1
  • 11
  • 1
  • 2
  • 1
Preis
  • 11
  • 207
  • 784
  • 328
Sprachen
  • 1172
  • 156
  • 2
Verfügbarkeit
  • 1324
  • 6
Eigenschaften
  • 1
Katalog
  • 1330
  • 50
1.330  Titel
    Vardanega / Kordon | Reliable Software Technologies - Ada-Europe 2008 | Buch | Sack Fachmedien

    Vardanega / Kordon Reliable Software Technologies - Ada-Europe 2008

    13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-68621-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barnes | Ada 2005 Rationale | Buch | Sack Fachmedien

    Barnes Ada 2005 Rationale

    The Language, The Standard Libraries
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-79700-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Große-Rhode | Semantic Integration of Heterogeneous Software Specifications | Buch | Sack Fachmedien

    Große-Rhode Semantic Integration of Heterogeneous Software Specifications

    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-07306-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baader | Term Rewriting and Applications | Buch | Sack Fachmedien

    Baader Term Rewriting and Applications

    18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73447-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hentenryck | Principles and Practice of Constraint Programming - CP 2002 | Buch | Sack Fachmedien

    Hentenryck Principles and Practice of Constraint Programming - CP 2002

    8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-44120-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ciancarini / Yonezawa / Nierstrasz | Object-Based Models and Languages for Concurrent Systems | Buch | Sack Fachmedien

    Ciancarini / Yonezawa / Nierstrasz Object-Based Models and Languages for Concurrent Systems

    ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994. Selected Papers
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-59450-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner | Software Engineering 1 | Buch | Sack Fachmedien

    Bjørner Software Engineering 1

    Abstraction and Modelling
    2006
    Verlag: Springer
    ISBN: 978-3-540-21149-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feijs / Bergstra | Algebraic Methods II: Theory, Tools and Applications | Buch | Sack Fachmedien

    Feijs / Bergstra Algebraic Methods II: Theory, Tools and Applications

    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-53912-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wilton | Peter Nortons Neues Programmierhandbuch für IBM® PC & PS/2® | Buch | Sack Fachmedien

    Wilton Peter Nortons Neues Programmierhandbuch für IBM® PC & PS/2®

    Softcover Nachdruck of the original 1. Auflage 1989
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-322-93852-7
    Medium: Buch
    49,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Privara / Ruzicka / Rovan | Mathematical Foundations of Computer Science 1994 | Buch | Sack Fachmedien

    Privara / Ruzicka / Rovan Mathematical Foundations of Computer Science 1994

    19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58338-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baldoni / Winikoff / Son | Declarative Agent Languages and Technologies V | Buch | Sack Fachmedien

    Baldoni / Winikoff / Son Declarative Agent Languages and Technologies V

    5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77563-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bestavros / Mueller | Languages, Compilers, and Tools for Embedded Systems | Buch | Sack Fachmedien

    Bestavros / Mueller Languages, Compilers, and Tools for Embedded Systems

    ACM SIGPLAN Workshop LCTES '98, Montreal, Canada, June 19-20, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65075-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Banerjee / Padua / Gelernter | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Banerjee / Padua / Gelernter Languages and Compilers for Parallel Computing

    5th International Workshop, New Haven, Connecticut, USA, August 3-5, 1992. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57502-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Odersky | ECOOP 2004 - Object-Oriented Programming | Buch | Sack Fachmedien

    Odersky ECOOP 2004 - Object-Oriented Programming

    18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22159-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hansmann / Nicklous / Seliger | Smart Card Application Development Using Java | Buch | Sack Fachmedien

    Hansmann / Nicklous / Seliger Smart Card Application Development Using Java

    Softcover Nachdruck of the original 2. Auflage 2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43202-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kordon / Sokolsky | Composition of Embedded Systems. Scientific and Industrial Issues | Buch | Sack Fachmedien

    Kordon / Sokolsky Composition of Embedded Systems. Scientific and Industrial Issues

    13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
    2008
    Verlag: Springer
    ISBN: 978-3-540-77418-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reggio / Astesiano | Recent Trends in Data Type Specification | Buch | Sack Fachmedien

    Reggio / Astesiano Recent Trends in Data Type Specification

    10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994. Selected Papers
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-59132-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Simone / Sangiorgi | CONCUR '98 Concurrency Theory | Buch | Sack Fachmedien

    Simone / Sangiorgi CONCUR '98 Concurrency Theory

    9th International Conference, Nice, France, September 8-11, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64896-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vanderperren / Lumpe | Software Composition | Buch | Sack Fachmedien

    Vanderperren / Lumpe Software Composition

    6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77350-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bordini / Dastani / Seghrouchni | Programming Multi-Agent Systems | Buch | Sack Fachmedien

    Bordini / Dastani / Seghrouchni Programming Multi-Agent Systems

    Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers
    2006
    Verlag: Springer
    ISBN: 978-3-540-32616-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cousot | Static Analysis | Buch | Sack Fachmedien

    Cousot Static Analysis

    8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42314-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maibaum | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    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
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67261-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grieskamp / Stoddart / Santen | Integrated Formal Methods | Buch | Sack Fachmedien

    Grieskamp / Stoddart / Santen Integrated Formal Methods

    Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41196-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Faltings / Rossi / Petcu | Recent Advances in Constraints | Buch | Sack Fachmedien

    Faltings / Rossi / Petcu Recent Advances in Constraints

    Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-25176-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leue / Bosnacki | Model Checking Software | Buch | Sack Fachmedien

    Leue / Bosnacki Model Checking Software

    9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43477-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