Fachgebiet
Medium
  • 639
  • 3
Erscheinungsjahr
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 5
  • 7
  • 4
  • 6
  • 4
  • 35
  • 11
  • 20
  • 48
  • 37
  • 53
  • 64
  • 47
  • 34
  • 39
  • 28
  • 27
  • 7
  • 9
  • 22
  • 22
  • 20
  • 17
  • 10
  • 21
  • 8
  • 9
  • 6
  • 3
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
Autoren
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 7
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 5
  • 6
  • 3
  • 2
Verlag
  • 62
  • 2
  • 3
  • 1
  • 1
  • 3
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 463
  • 13
  • 4
  • 1
  • 15
  • 18
  • 30
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
Preis
  • 1
  • 50
  • 407
  • 184
Sprachen
  • 634
  • 8
Verfügbarkeit
  • 641
  • 1
Katalog
  • 642
  • 28

Prozedurale Programmierung

642  Treffer  für „Design“


    Lamb Studies of Software Design

    ICSE'93 Workshop, Baltimore, Maryland, USA, May (17-18), 1993. Selected Papers
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61285-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Olderog / Steffen Correct System Design

    Recent Insights and Advances
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66624-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bouyssounouse / Sifakis Embedded Systems Design

    The ARTIST Roadmap for Research and Development
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25107-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Detienne Software Design - Cognitive Aspect

    Softcover Nachdruck of the original 1. Auflage 2002
    Verlag: Springer
    ISBN: 978-1-85233-253-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Reed SDL 2003: System Design

    11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40539-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bagchi / Chaudhri Interactive Relational Database Design

    A Logic Programming Implementation
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51881-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jansen The Electronic Design Automation Handbook

    1. Auflage. Softcover version of original hardcover Auflage 2003
    Verlag: Springer US
    ISBN: 978-1-4419-5369-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Patzer Foundations of JSP Design Patterns

    1. Auflage 2004
    Verlag: Apress
    ISBN: 978-1-59059-411-7
    Medium: Buch
    36,37 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jansen The Electronic Design Automation Handbook

    2003
    Verlag: Springer US
    ISBN: 978-1-4020-7502-5
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dell Digital Interface Design and Application

    1. Auflage 2015
    Verlag: Wiley
    ISBN: 978-1-118-97432-2
    Medium: Buch
    89,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wieringa Design Methods for Reactive Systems

    Yourdon, Statemate, and the UML
    Erscheinungsjahr 2003
    Verlag: Elsevier Science & Technology
    ISBN: 978-1-55860-755-2
    Medium: Buch
    78,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kurian John / Maynard Workload Characterization for Computer System Design

    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-0-7923-7777-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Aldini / Gorrieri Foundations of Security Analysis and Design

    FOSAD 2006/2007 Turtorial Lectures
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-74809-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Olsen / Speer / Allison Visual Basic .NET Class Design Handbook

    Coding Effective Classes
    1. Auflage 2003
    Verlag: Apress
    ISBN: 978-1-59059-275-5
    Medium: Buch
    36,37 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Staunstrup A Formal Approach to Hardware Design

    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-0-7923-9427-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wu / Slater / Fischer Professional Design Patterns in VB .NET

    Building Adaptable Applications
    1. Auflage 2003
    Verlag: Apress
    ISBN: 978-1-59059-274-8
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Focardi / Gorrieri Foundations of Security Analysis and Design

    Tutorial Lectures
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42896-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Fitch Design and Implementation of Symbolic Computation Systems

    International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57272-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Miola Design and Implementation of Symbolic Computation Systems

    International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57235-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kirby / Dearle / Sjoberg Persistent Object Systems: Design, Implementation, and Use

    9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000, Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42735-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ghosh Algorithm Design for Networked Information Technology Systems

    2004. Auflage 2003
    Verlag: Springer
    ISBN: 978-0-387-95544-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bosch / Gentleman / Hofmeister Software Architecture: System Design, Development and Maintenance

    17th World Computer Congress - TC2 Stream / 3rd IEEE/IFIP Conference on Software Architecture (WICSA3), August 25-30, 2002, Montréal, Québec, Canada
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-1-4020-7176-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Aldini / Gorrieri / Martinelli Foundations of Security Analysis and Design III

    FOSAD 2004/2005 Tutorial Lectures
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28955-5
    Medium: Buch
    48,10 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Miola Design and Implementation of Symbolic Computation Systems

    International Symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52531-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Windisch / Davidson / Kline Pro SQL Server 2005 Database Design and Optimization

    1. Auflage 2006
    Verlag: Apress
    ISBN: 978-1-59059-529-9
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Real-Time Object Uniform Design Methodology with UML

    2007. Auflage 2007
    Verlag: Springer
    ISBN: 978-1-4020-5976-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Masselos / Voros System Level Design of Reconfigurable Systems-on-Chip

    Softcover Nachdruck of hardcover 1. Auflage 2005
    Verlag: Springer US
    ISBN: 978-1-4419-3864-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Miola / Temperini Advances in the Design of Symbolic Computation Systems

    1997
    Verlag: Springer
    ISBN: 978-3-211-82844-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Masselos / Voros System Level Design of Reconfigurable Systems-on-Chip

    2005
    Verlag: Springer
    ISBN: 978-0-387-26103-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Real-Time Object Uniform Design Methodology with UML

    1. Auflage. Softcover version of original hardcover Auflage 2007
    Verlag: Springer Netherlands
    ISBN: 978-90-481-7494-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bernardo / Corradini Formal Methods for the Design of Real-Time Systems

    International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures
    2004
    Verlag: Springer
    ISBN: 978-3-540-23068-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Huss Advances in Design and Specification Languages for Embedded Systems

    Selected Contributions from FDL'06
    1. Auflage. Softcover version of original hardcover Auflage 2007
    Verlag: Springer Netherlands
    ISBN: 978-90-481-7549-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Huss Advances in Design and Specification Languages for Embedded Systems

    Selected Contributions from Fdl'06
    2007. Auflage 2007
    Verlag: Springer
    ISBN: 978-1-4020-6147-9
    Medium: Buch
    162,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Beer Concepts, Design, and Performance Analysis of a Parallel Prolog Machine

    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-52053-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rosenblum The Design and Implementation of a Log-structured file system

    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-0-7923-9541-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hunt Guide to the Unified Process featuring UML, Java and Design Patterns

    2. Auflage 2003
    Verlag: Springer
    ISBN: 978-1-85233-721-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Thomas / Buzzard / Cinis PHP MySQL Website Programming

    Problem - Design - Solution
    1. Auflage 2003
    Verlag: Apress
    ISBN: 978-1-59059-150-5
    Medium: Buch
    46,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Furht / Grostick / Gluch Real-Time Unix(r) Systems

    Design and Application Guide
    1991. Auflage 1990
    Verlag: Springer Us
    ISBN: 978-0-7923-9099-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bjørner Software Engineering 3

    Domains, Requirements, and Software Design
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21151-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Verber / Colnaric Distributed Embedded Control Systems

    Improving Dependability with Coherent Design
    1. Auflage. Softcover version of original hardcover Auflage 2008
    Verlag: Springer
    ISBN: 978-1-84996-715-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Verber / Colnaric Distributed Embedded Control Systems

    Improving Dependability with Coherent Design
    1. Auflage. 2007
    Verlag: Springer
    ISBN: 978-1-84800-051-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bjørner Software Engineering 3

    Domains, Requirements, and Software Design
    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-3-642-05941-4
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bernardo / Degano / Zavattaro Formal Methods for Computational Systems Biology

    8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68892-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bernardo / Cimatti Formal Methods for Hardware Verification

    6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34304-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bernardo / Padovani / Zavattaro Formal Methods for Web Services

    9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01917-3
    Medium: Buch
    49,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bernardo / Hillston Formal Methods for Performance Evaluation

    7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72482-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bernardo / Bogliolo Formal Methods for Mobile Computing

    5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25697-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bernardo / Inverardi Formal Methods for Software Architectures

    Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20083-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lindskov Knudsen ECOOP 2001 - Object-Oriented Programming

    15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42206-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Watson / Darie Beginning ASP.NET 1.1 E-Commerce

    From Novice to Professional
    Softcover Nachdruck of the Original 1. Auflage 2004
    Verlag: Apress
    ISBN: 978-1-59059-254-0
    Medium: Buch
    36,37 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Futatsugi / Matsuoka Object-Technologies for Advanced Software

    Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-60954-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Tokoro / Pareschi ECOOP '94 - Object-Oriented Programming

    8th European Conference, Bologna, Italy, July 4-8, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58202-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lehrmann Madsen ECOOP '92. European Conference on Object-Oriented Programming

    Utrecht, The Netherlands, June 29 - July 3, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55668-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Donohoe Software Architecture

    TC2 First Working IFIP Conference on Software Architecture (WICSA1) 22-24 February 1999, San Antonio, Texas, USA
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-0-7923-8453-3
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hannebauer Autonomous Dynamic Reconfiguration in Multi-Agent Systems

    Improving the Quality and Efficiency of Collaborative Problem Solving
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-44312-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Evans / Kent / Selic UML 2000 - The Unified Modeling Language: Advancing the Standard

    Third International Conference York, UK, October 2-6, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41133-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kilov / Rumpe / Simmonds Behavioral Specifications of Businesses and Systems

    1999. Auflage 1999
    Verlag: Springer Us
    ISBN: 978-0-7923-8629-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gaudel / Woodcock FME '96: Industrial Benefit and Advances in Formal Methods

    Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings.
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-60973-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rashid / Aksit Transactions on Aspect-Oriented Software Development I

    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32972-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Zilic / Boulé Generating Hardware Assertion Checkers

    For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
    1. Auflage. Softcover version of original hardcover Auflage 2008
    Verlag: Springer Netherlands
    ISBN: 978-90-481-7922-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Boulé / Zilic Generating Hardware Assertion Checkers

    For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
    2008. Auflage 2008
    Verlag: Springer
    ISBN: 978-1-4020-8585-7
    Medium: Buch
    105,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Atkinson / Donev / Tobias Optimum Experimental Designs, with SAS

    Erscheinungsjahr 2007
    Verlag: OUP UK
    ISBN: 978-0-19-929660-6
    Medium: Buch
    97,10 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Mistrík / Grundy / van der Hoek Collaborative Software Engineering

    2010
    Verlag: Springer
    ISBN: 978-3-642-10293-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Pitt Fundamental Networking in Java

    Softcover Nachdruck of hardcover 1. Auflage 2006
    Verlag: Springer
    ISBN: 978-1-84996-545-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Pitt Fundamental Networking in Java

    2006. Auflage 2005
    Verlag: Springer
    ISBN: 978-1-84628-030-6
    Medium: Buch
    53,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Fisher / Faraboschi / Young Embedded Computing

    A VLIW Approach to Architecture, Compilers and Tools
    Erscheinungsjahr 2004
    Verlag: Elsevier Science
    ISBN: 978-1-55860-766-8
    Medium: Buch
    93,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Zimmermann / Peuser / Tomlinson Perspectives on Web Services

    Applying SOAP, WSDL and UDDI to Real-World Projects
    1. Auflage 2003. Corr. 2. printing 2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00914-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Butler / Jones / Romanovsky Methods, Models and Tools for Fault Tolerance

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

    Endler / Schmidt Middleware 2003

    ACM/IFIP/USENIX International Middleware Conference, Rio de Janeiro, Brazil, June 16-20, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40317-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Breu Algebraic Specification Techniques in Object Oriented Programming Environments

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

    Naftalin / Denvir / Bertran FME '94: Industrial Benefit of Formal Methods

    Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58555-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bessiere Principles and Practice of Constraint Programming - CP 2007

    13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74969-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Nierstrasz ECOOP '93 - Object-Oriented Programming

    7th European Conference, Kaiserslautern, Germany, July 26-30, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57120-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ashbourn BANTAM User Guide

    Biometric and Token Technology Application Modeling Language
    1. Auflage. 2001
    Verlag: Springer
    ISBN: 978-1-85233-513-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Smith Programming the PIC Microcontroller with MBASIC

    Erscheinungsjahr 2005
    Verlag: Elsevier Science & Technology
    ISBN: 978-0-7506-7946-6
    Medium: Buch
    Lieferzeit ca. 10 Werktage

    Davies / Gibbons Integrated Formal Methods

    6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73209-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gorlatch / Rabhi Patterns and Skeletons for Parallel and Distributed Computing

    Softcover Nachdruck of the original 1. Auflage 2003
    Verlag: Springer
    ISBN: 978-1-85233-506-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Chen Developing Application Frameworks in .Net

    Softcover Nachdruck of the Original 1. Auflage 2004
    Verlag: Apress
    ISBN: 978-1-59059-288-5
    Medium: Buch
    46,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Steffen / Zavattaro Formal Methods for Open Object-Based Distributed Systems

    7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26181-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Vachoux / Rouillard / Bergé Analog and Mixed-Signal Hardware Description Language

    1997
    Verlag: Springer US
    ISBN: 978-0-7923-9875-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Fritzson Compiler Construction

    5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57877-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Papazoglou OOER '95 Object-Oriented and Entity-Relationship Modeling

    14th International Conference, Gold Coast, Australia, December 13 - 15, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60672-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Weaver / Mukhar / Crume Beginning J2ee 1.4

    From Novice to Professional
    Softcover Nachdruck of the Original 1. Auflage 2004
    Verlag: Apress
    ISBN: 978-1-59059-341-7
    Medium: Buch
    46,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kluge Abstract Computing Machines

    A Lambda-Calculus Perspective
    2005
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-21146-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb

    Kluge Abstract Computing Machines

    A Lambda Calculus Perspective
    1. Auflage. Softcover version of original hardcover Auflage 2005
    Verlag: Springer
    ISBN: 978-3-642-05938-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sharp Higher-Level Hardware Synthesis

    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21306-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Mistrík / Whitehead / Grundy Collaborative Software Engineering

    2010
    Verlag: Springer
    ISBN: 978-3-642-42431-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sannella Programming Languages and Systems - ESOP '94

    5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57880-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Edwards Languages for Digital Embedded Systems

    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-0-7923-7925-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bhangal / Rhodes / Peters Flash MX 2004 Games Most Wanted

    1. Auflage 2003
    Verlag: Apress
    ISBN: 978-1-59059-236-6
    Medium: Buch
    37,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Beck / Kallman / Katz Mastering Oracle PL/SQL

    Practical Solutions
    Softcover Nachdruck of the Original 1. Auflage 2004
    Verlag: Apress
    ISBN: 978-1-59059-217-5
    Medium: Buch
    46,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hunt / Loftus Guide to J2ee: Enterprise Java

    2003. Auflage 2003
    Verlag: Springer
    ISBN: 978-1-85233-704-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Nash Accelerated C# 2005

    1. Auflage 2006
    Verlag: Apress
    ISBN: 978-1-59059-717-0
    Medium: Buch
    36,37 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Schliebusch / Meyr / Leupers Optimized ASIP Synthesis from Architecture Description Language Models

    Softcover Nachdruck of hardcover 1. Auflage 2007
    Verlag: Springer
    ISBN: 978-90-481-7428-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Schliebusch / Meyr / Leupers Optimized ASIP Synthesis from Architecture Description Language Models

    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-1-4020-5685-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Langmaack / Roever / Vytopil Formal Techniques in Real-Time and Fault-Tolerant Systems

    Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58468-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rischpater Wireless Web Development

    2. Auflage 2002
    Verlag: Apress
    ISBN: 978-1-59059-028-7
    Medium: Buch
    32,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cavanagh X86 Assembly Language and C Fundamentals

    1. Auflage 2013
    Verlag: CRC Press
    ISBN: 978-1-4665-6824-2
    Medium: Buch
    213,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cavanagh X86 Assembly Language and C Fundamentals

    1. Auflage 2013
    Verlag: Taylor & Francis
    ISBN: 978-1-4665-6825-9
    Medium: eBook
    Format: PDF
    Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    209,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Hansmann / Nicklous / Seliger Smart Card Application Development Using Java

    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



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