Fachgebiet
Medium
  • 1859
  • 6
  • 3
Erscheinungsjahr
  • 7
  • 9
  • 19
  • 13
  • 18
  • 18
  • 25
  • 36
  • 18
  • 38
  • 25
  • 44
  • 31
  • 40
  • 31
  • 104
  • 44
  • 79
  • 159
  • 129
  • 146
  • 116
  • 114
  • 80
  • 76
  • 62
  • 47
  • 45
  • 38
  • 38
  • 36
  • 29
  • 31
  • 18
  • 33
  • 14
  • 19
  • 9
  • 9
  • 7
  • 4
  • 1
  • 4
  • 2
Autoren
  • 1
  • 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
  • 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
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 4
  • 1
  • 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
  • 1
  • 1
  • 2
  • 11
  • 1
  • 1
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 8
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 5
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 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
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 12
  • 7
  • 2
  • 16
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 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
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 3
  • 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
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 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
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 8
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 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
  • 7
  • 4
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 16
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 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
  • 2
  • 5
  • 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
  • 2
  • 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
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
Verlag
  • 1
  • 2
  • 2
  • 3
  • 3
  • 9
  • 1
  • 22
  • 1
  • 2
  • 6
  • 1
  • 3
  • 3
  • 2
  • 2
  • 1
  • 4
  • 2
  • 1
  • 1
  • 3
  • 2
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1611
  • 10
  • 6
  • 1
  • 51
  • 17
  • 31
  • 17
  • 7
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 14
  • 1
Preis
  • 2
  • 47
  • 1124
  • 695
Sprachen
  • 1857
  • 10
  • 2
Verfügbarkeit
  • 1865
  • 3
Katalog
  • 1868
  • 113
1.868  Treffer  für „Design“


    Meyer / Woodcock Verified Software: Theories, Tools, Experiments

    First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69147-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Furia / Mandrioli / Morzenti Modeling Time in Computing

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32331-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Furia / Mandrioli / Morzenti Modeling Time in Computing

    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-43136-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lirkov / Margenov / Wasniewski Large-Scale Scientific Computing

    6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007, Revised Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78825-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gramlich Frontiers of Combining Systems

    5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29051-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Badouel / Bernardinello / Darondeau Petri Net Synthesis

    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-47966-7
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Chouinard / Fortier / Gulliver Information Theory and Applications II

    4th Canadian Workshop, Lac Delage, Quebec, Canada, May 28 - 30, 1995, Selected Papers
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61748-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Butler / Hinchey / Larrondo-Petrie Formal Methods and Software Engineering

    9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-76648-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Menezes Topics in Cryptology -- CT-RSA 2005

    The Cryptographers' Track at the RSA Conference 2005, San Francisco, CA, USA, February 14-18, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24399-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Luck / Gomez-Sanz Agent-Oriented Software Engineering IX

    9th International Workshop, AOSE 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01337-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Banâtre / Fradet / Giavitto Unconventional Programming Paradigms

    International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27884-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bjørner Software Engineering 1

    Abstraction and Modelling
    1. Auflage Softcover of orig. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-642-05939-1
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Badouel / Bernardinello / Darondeau Petri Net Synthesis

    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-51621-8
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lodaya / Mahajan FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science

    24th International Conference, Chennai, India, December 16-18, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-24058-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Malyshkin Parallel Computing Technologies

    7th International Conference, PaCT 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40673-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Copeland The Essential Turing

    Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life Plus the Secrets of Eni
    Erscheinungsjahr 2013
    Verlag: Oxford University Press(UK)
    ISBN: 978-0-19-825080-7
    Medium: Buch
    47,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Choi / Paek / Cho Advances in Computer Systems Architecture

    12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74308-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Chae / Yung Information Security Applications

    4th International Workshop, WISA 2003, Jeju Island, Korea, August 25-27, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20827-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sipper / Mange / Perez-Uribe Evolvable Systems: From Biology to Hardware

    Second International Conference, ICES 98 Lausanne, Switzerland, September 23-25, 1998 Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64954-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Prehn / Toetenel VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings

    Volume 1: Conference Contributions
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54834-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

    6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-45233-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Roosta Parallel Processing and Parallel Algorithms

    Theory and Computation
    2000
    Verlag: Springer
    ISBN: 978-0-387-98716-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gaudel / Jouannaud TAPSOFT '93: Theory and Practice of Software Development

    4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56610-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Yuasa / Okuno Advanced LISP Technology

    1. Auflage 2002
    Verlag: CRC Press
    ISBN: 978-0-415-29819-3
    Medium: Buch
    168,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb



Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular