Ergebnisse filtern
Fachgebiet
Medium
  • 1870
  • 6
  • 3
Erscheinungsjahr
  • 7
  • 9
  • 19
  • 13
  • 18
  • 18
  • 25
  • 35
  • 18
  • 38
  • 25
  • 44
  • 31
  • 40
  • 31
  • 104
  • 44
  • 77
  • 159
  • 129
  • 146
  • 119
  • 113
  • 85
  • 77
  • 65
  • 49
  • 46
  • 38
  • 38
  • 36
  • 29
  • 31
  • 18
  • 33
  • 14
  • 19
  • 9
  • 9
  • 7
  • 4
  • 1
  • 4
  • 2
Autoren
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 8
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 4
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 11
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 8
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 5
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 8
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 13
  • 7
  • 2
  • 16
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 15
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 6
  • 2
  • 2
  • 5
  • 2
  • 8
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 16
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 13
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 6
  • 2
  • 3
  • 6
  • 16
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 4
  • 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
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
Verlag
  • 1
  • 2
  • 2
  • 3
  • 3
  • 9
  • 1
  • 22
  • 1
  • 2
  • 6
  • 1
  • 3
  • 3
  • 2
  • 2
  • 1
  • 5
  • 1
  • 1
  • 1
  • 3
  • 2
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1620
  • 10
  • 6
  • 1
  • 54
  • 18
  • 29
  • 17
  • 7
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 14
  • 1
Preis
  • 2
  • 47
  • 1136
  • 694
Sprachen
  • 1868
  • 10
  • 2
Verfügbarkeit
  • 1876
  • 3
Katalog
  • 1879
  • 116
1.879  Treffer  für „Design“
    Bowen / Fett / Hinchey | ZUM '98: The Z Formal Specification Notation | Buch | Sack Fachmedien

    Bowen / Fett / Hinchey ZUM '98: The Z Formal Specification Notation

    11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-65070-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Johnsen / Petre | Integrated Formal Methods | Buch | Sack Fachmedien

    Johnsen / Petre Integrated Formal Methods

    10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38612-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lomet | Foundations of Data Organization and Algorithms | Buch | Sack Fachmedien

    Lomet Foundations of Data Organization and Algorithms

    4th International Conference, FODO '93, Chicago, Illinois, USA, October 13-15, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57301-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hartmann / Kern-Isberner | Foundations of Information and Knowledge Systems | Buch | Sack Fachmedien

    Hartmann / Kern-Isberner Foundations of Information and Knowledge Systems

    5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77683-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hariharan / Mukund / Vinay | FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Hariharan / Mukund / Vinay FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science

    21st Conference, Bangalore, India, December 13-15, 2001, Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-43002-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hong / Nishizeki / Quan | Graph Drawing | Buch | Sack Fachmedien

    Hong / Nishizeki / Quan Graph Drawing

    15th International Symposium, GD 2007, Sydney, Australia, September 24-26, 2007, Revised Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77536-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kozen | Theory of Computation | Buch | Sack Fachmedien

    Kozen Theory of Computation

    1. Auflage. 2006
    Verlag: Springer
    ISBN: 978-1-84628-297-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berard / Bidoit / Finkel | Systems and Software Verification | Buch | Sack Fachmedien

    Berard / Bidoit / Finkel Systems and Software Verification

    Model-Checking Techniques and Tools
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-41523-7
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hong / Wang | Automated Deduction in Geometry | Buch | Sack Fachmedien

    Hong / Wang Automated Deduction in Geometry

    5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31332-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bert / Bowen / Henson | ZB 2002: Formal Specification and Development in Z and B | Buch | Sack Fachmedien

    Bert / Bowen / Henson ZB 2002: Formal Specification and Development in Z and B

    2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43166-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vitter / Zaroliagis | Algorithm Engineering | Buch | Sack Fachmedien

    Vitter / Zaroliagis Algorithm Engineering

    3rd International Workshop, WAE'99 London, UK, July 19-21, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66427-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calude / Dinneen / Paun | Unconventional Computation | Buch | Sack Fachmedien

    Calude / Dinneen / Paun Unconventional Computation

    4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29100-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    D'Amore / Franciosa / Marchetti-Spaccamela | Graph-Theoretic Concepts in Computer Science | Buch | Sack Fachmedien

    D'Amore / Franciosa / Marchetti-Spaccamela Graph-Theoretic Concepts in Computer Science

    22nd International Workshop, WG '96, Cadenabbia, Italy, June 12-14, 1996, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-62559-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Langendoen / Voigt | Wireless Sensor Networks | Buch | Sack Fachmedien

    Langendoen / Voigt Wireless Sensor Networks

    4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-69829-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brinksma | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Brinksma Tools and Algorithms for the Construction and Analysis of Systems

    Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-62790-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fribourg / Turini | Logic Program Synthesis and Transformation - Meta-Programming in Logic | Buch | Sack Fachmedien

    Fribourg / Turini Logic Program Synthesis and Transformation - Meta-Programming in Logic

    4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58792-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cassez / Raskin | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Cassez / Raskin Automated Technology for Verification and Analysis

    12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11935-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schaeffer / Müller / Björnsson | Computers and Games | Buch | Sack Fachmedien

    Schaeffer / Müller / Björnsson Computers and Games

    Third International Conference, CG 2002, Edmonton, Canada, July 25-27, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20545-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kozen | Theory of Computation | Buch | Sack Fachmedien

    Kozen Theory of Computation

    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-1-84996-571-2
    Medium: Buch
    85,55 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Szabó / Markót / Csendes | New Approaches to Circle Packing in a Square | Buch | Sack Fachmedien

    Szabó / Markót / Csendes New Approaches to Circle Packing in a Square

    With Program Codes
    1. Auflage 2007
    Verlag: Springer Us
    ISBN: 978-0-387-45673-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Yorav | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Yorav Hardware and Software: Verification and Testing

    Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77964-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sloot / Hoekstra / Priol | Advances in Grid Computing - EGC 2005 | Buch | Sack Fachmedien

    Sloot / Hoekstra / Priol Advances in Grid Computing - EGC 2005

    European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-26918-2
    Medium: Buch
    124,12 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Cagnoni / Poli / Smith | Real-World Applications of Evolutionary Computing | Buch | Sack Fachmedien

    Cagnoni / Poli / Smith Real-World Applications of Evolutionary Computing

    EvoWorkshops 2000: EvoIASP, EvoSCONDI, EvoTel, EvoSTIM, EvoRob, and EvoFlight, Edinburgh, Scotland, UK, April 17, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67353-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hinchey / Bowen | Industrial-Strength Formal Methods in Practice | Buch | Sack Fachmedien

    Hinchey / Bowen Industrial-Strength Formal Methods in Practice

    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-1-85233-640-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eliassen / Montresor | Distributed Applications and Interoperable Systems | Buch | Sack Fachmedien

    Eliassen / Montresor Distributed Applications and Interoperable Systems

    6th IFIP WG 6.1 International Conference, DAIS 2006, Athens, Greece, June 14-16, 2006
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35126-9
    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