Fachgebiet
Medium
  • 1312
  • 29
Erscheinungsjahr
  • 1
  • 10
  • 4
  • 1
  • 6
  • 13
  • 6
  • 6
  • 6
  • 10
  • 16
  • 19
  • 13
  • 19
  • 15
  • 65
  • 27
  • 41
  • 86
  • 72
  • 99
  • 118
  • 81
  • 62
  • 74
  • 56
  • 58
  • 29
  • 32
  • 42
  • 37
  • 37
  • 26
  • 20
  • 39
  • 21
  • 22
  • 12
  • 9
  • 6
  • 5
  • 5
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 1
  • 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
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 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
  • 2
  • 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
  • 2
  • 9
  • 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
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 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
  • 5
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 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
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 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
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 3
  • 2
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 5
  • 2
  • 1
  • 2
  • 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
  • 2
  • 1
  • 10
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 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
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 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
  • 1
  • 2
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 3
  • 1
  • 2
  • 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
  • 3
  • 1
  • 1
  • 2
  • 3
  • 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
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 3
  • 4
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 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
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 3
  • 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
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 6
  • 3
  • 5
  • 2
  • 3
Verlag
  • 136
  • 1
  • 13
  • 1
  • 1
  • 4
  • 47
  • 4
  • 2
  • 2
  • 7
  • 8
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 7
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 900
  • 24
  • 2
  • 18
  • 34
  • 34
  • 5
  • 1
  • 6
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 4
  • 34
  • 1
  • 1
  • 1
  • 5
  • 1
  • 2
  • 1
Preis
  • 12
  • 200
  • 800
  • 329
Sprachen
  • 1181
  • 158
  • 2
Verfügbarkeit
  • 1337
  • 4
Eigenschaften
  • 1
Katalog
  • 1341
  • 51
1.341  Titel


    Wing / Woodcook / Davies FM'99 - Formal Methods

    World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66588-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sokolsky / Tasiran Runtime Verification

    7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77394-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Fitzgerald / Hayes FM 2005: Formal Methods

    International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27882-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cerioli Fundamental Approaches to Software Engineering

    8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25420-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    van Tilborg / Koob Foundations of Real-Time Computing: Formal Specifications and Methods

    1991. Auflage 1991
    Verlag: Springer Us
    ISBN: 978-0-7923-9167-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb

    Leermakers The Functional Treatment of Parsing

    1993. Auflage 1993
    Verlag: Springer Us
    ISBN: 978-0-7923-9376-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    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

    Hölldobler Logik und Logikprogrammierung

    Band 1: Grundlagen
    erweiterte Neuausgabe 2009
    Verlag: SYNCHRON - Wissenschaftsverlag der Autoren
    ISBN: 978-3-935025-84-3
    Medium: Buch
    29,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Altenburg Embedded Systems Engineering

    Grundlagen - Technik - Anwendungen
    1. Auflage 2021
    Verlag: Hanser Fachbuchverlag
    ISBN: 978-3-446-46735-4
    Medium: Buch
    39,99 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb

    Cowell Essential Java Fast

    How to write object oriented software for the Internet
    1997
    Verlag: Springer
    ISBN: 978-3-540-76052-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Biswas / Nori Foundations of Software Technology and Theoretical Computer Science

    11th Conference, New Delhi, India, December 17-19, 1991. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54967-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dittrich / Guerrini / Merlo Objects and Databases

    International Symposium, Sophia Antipolis, France, June 13, 2000. Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41664-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Scholze Einführung in die Mikrocomputertechnik

    8-Bit- und 16-Bit-Systeme
    4., überarbeitete erweitert Auflage 1993
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-30104-2
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dam Analysis and Verification of Multiple-Agent Languages

    5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62503-2
    Medium: Buch
    53,49 € (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
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb

    Mathes / Heinzl Middleware in Java

    Leitfaden zum Entwurf verteilter Anwendungen - Implementierung von verteilten Systemen über JMS - Verteilte Objekte über RMI und CORBA
    2005
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-528-05912-5
    Medium: Buch
    44,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Fahringer / Scholz Advanced Symbolic Analysis for Compilers

    New Techniques and Algorithms for Symbolic Program Analysis and Optimization
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-01185-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lamprecht Einführung in die Programmiersprache FORTRAN 77

    Skriptum für Hörer aller Fachrichtungen ab 1. Semester
    1981
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-528-03345-3
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lau / Banach Formal Methods and Software Engineering

    7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29797-0
    Medium: Buch
    53,49 € (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

    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

    Pyeatt Modern Assembly Language Programming with the ARM Processor

    Erscheinungsjahr 2016
    Verlag: Elsevier LTD, Oxford
    ISBN: 978-0-12-803698-3
    Medium: Buch
    73,00 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb

    Britton / Doake A Student Guide to Object-Oriented Development

    Erscheinungsjahr 2004
    Verlag: Elsevier Science & Technology
    ISBN: 978-0-7506-6123-2
    Medium: Buch
    Lieferzeit ca. 10 Werktage

    Carvey Perl Scripting for Windows Security: Live Response, Forensic Analysis, and Monitoring

    Erscheinungsjahr 2007
    Verlag: SYNGRESS MEDIA
    ISBN: 978-1-59749-173-0
    Medium: Buch
    53,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb

    Margush Some Assembly Required

    Assembly Language Programming with the AVR Microcontroller
    1. Auflage 2011
    Verlag: CRC Press
    ISBN: 978-1-4398-2064-3
    Medium: Buch
    158,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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