Der Perlentaucher unter den Buchläden

Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.

Cookie akzeptieren
Genauer suchen (27 Treffer)
Filter schließen (27 Treffer)

Suchergebnis

Gefundene Autoren: Robert Hilbrich oder Fred Kröger

  1. Platzierung von Softwarekomponenten auf Mehrkernprozessoren
    Robert Hilbrich
    Platzierung von Softwarekomponenten auf Mehrkernprozessoren
    Automatisierte Konstruktion und Analyse für funktionssichere Systeme
    • Springer Fachmedien Wiesbaden
    • 2015
    • Taschenbuch
    • 264 Seiten
    59,99€

    in Kürze

    In dieser Arbeit wird ein modellbasiertes Verfahren zur automatisierten Platzierung von Softwarekomponenten unter Berücksichtigung der Echtzeit- und …
  2. Algebraic Foundations of Systems Specification
    eng
    Algebraic Foundations of Systems Specification
    • Springer Berlin Heidelberg
    • 2011
    • Taschenbuch
    • 632 Seiten
    53,49€

    in Kürze

    This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundations of system specification. The contributions c…
  3. Formal Methods in Computer-Aided Design
    eng
    Formal Methods in Computer-Aided Design
    First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings
    • Springer Berlin Heidelberg
    • 1996
    • Taschenbuch
    • 488 Seiten
    53,49€

    in Kürze

    This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD '96, held in P…
  4. Formal Techniques in Real-Time and Fault-Tolerant Systems
    eng
    Formal Techniques in Real-Time and Fault-Tolerant Systems
    4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings
    • Springer Berlin Heidelberg
    • 1996
    • Taschenbuch
    • 500 Seiten
    53,49€

    in Kürze

    This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, …
  5. Algebraic Methodology and Software Technology
    eng
    Algebraic Methodology and Software Technology
    5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings
    • Springer Berlin Heidelberg
    • 1996
    • Taschenbuch
    • 660 Seiten
    106,99€

    in Kürze

    This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held …
  6. Hybrid Systems III
    eng
    Hybrid Systems III
    Verification and Control
    • Springer Berlin Heidelberg
    • 1996
    • Taschenbuch
    • 636 Seiten
    106,99€

    in Kürze

    This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers Univ…
  7. FME '96: Industrial Benefit and Advances in Formal Methods
    eng
    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.
    • Springer Berlin Heidelberg
    • 1996
    • Taschenbuch
    • 724 Seiten
    106,99€

    in Kürze

    This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996…
  8. Correct Hardware Design and Verification Methods
    eng
    Correct Hardware Design and Verification Methods
    IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings
    • Springer Berlin Heidelberg
    • 1995
    • Taschenbuch
    • 356 Seiten
    53,49€

    in Kürze

    This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies, CHAR…
  9. ZUM '95: The Z Formal Specification Notation
    eng
    ZUM '95: The Z Formal Specification Notation
    9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings
    • Springer Berlin Heidelberg
    • 1995
    • Taschenbuch
    • 596 Seiten
    106,99€

    in Kürze

    This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book con…
  10. Mathematics of Program Construction
    eng
    Mathematics of Program Construction
    Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings
    • Springer Berlin Heidelberg
    • 1995
    • Taschenbuch
    • 488 Seiten
    53,49€

    in Kürze

    This volume constitutes the proceedings of the Third International Conference on the Mathematics of Program Construction, held at Kloster Irsee, Germ…
  11. Algebraic Methodology and Software Technology
    eng
    Algebraic Methodology and Software Technology
    4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings
    • Springer Berlin Heidelberg
    • 1995
    • Taschenbuch
    • 612 Seiten
    106,99€

    in Kürze

    This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canad…
  12. TAPSOFT '95: Theory and Practice of Software Development
    eng
    TAPSOFT '95: Theory and Practice of Software Development
    6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings
    • Springer Berlin Heidelberg
    • 1995
    • Taschenbuch
    • 836 Seiten
    106,99€

    in Kürze

    This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, hel…
  13. Formal Development of Reactive Systems
    eng
    Formal Development of Reactive Systems
    Case Study Production Cell
    • Springer Berlin Heidelberg
    • 1995
    • Taschenbuch
    • 412 Seiten
    53,49€

    in Kürze

    This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Techno…
  14. FME '94: Industrial Benefit of Formal Methods
    eng
    FME '94: Industrial Benefit of Formal Methods
    Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
    • Springer Berlin Heidelberg
    • 1994
    • Taschenbuch
    • 744 Seiten
    106,99€

    in Kürze

    This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994. Beside…
  15. Formal Techniques in Real-Time and Fault-Tolerant Systems
    eng
    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
    • Springer Berlin Heidelberg
    • 1994
    • Taschenbuch
    • 808 Seiten
    106,99€

    in Kürze

    This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly w…
  16. Higher Order Logic Theorem Proving and Its Applications
    eng
    Higher Order Logic Theorem Proving and Its Applications
    7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
    • Springer Berlin Heidelberg
    • 1994
    • Taschenbuch
    • 488 Seiten
    53,49€

    in Kürze

    This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Ma…
  17. Computer Aided Verification
    eng
    Computer Aided Verification
    6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings
    • Springer Berlin Heidelberg
    • 1994
    • Taschenbuch
    • 496 Seiten
    53,49€

    in Kürze

    This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 …
  18. Formal Program Development
    eng
    Formal Program Development
    IFIP TC2/WG 2.1 State-of-the-Art Report
    • Springer Berlin Heidelberg
    • 1993
    • Taschenbuch
    • 388 Seiten
    53,49€

    in Kürze

    This volume contains the background texts for an IFIP State-of-the-Art Seminar on Formal Program Development, held in early 1992 near Rio de Janeiro,…
  19. Formal Methods in Programming and Their Applications
    eng
    Formal Methods in Programming and Their Applications
    International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
    • Springer Berlin Heidelberg
    • 1993
    • Taschenbuch
    • 452 Seiten
    53,49€

    in Kürze

    This volume comprises the papers selected for presentation at the international conference on Formal Methods in Programming and Their Applications, h…
  20. Correct Hardware Design and Verification Methods
    eng
    Correct Hardware Design and Verification Methods
    IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings
    • Springer Berlin Heidelberg
    • 1993
    • Taschenbuch
    • 284 Seiten
    53,49€

    in Kürze

    These proceedings contain the papers presented at the Advanced Research Working Conference on Correct Hardware Design Methodologies, held in Arles, F…
  21. Mathematics of Program Construction
    eng
    Mathematics of Program Construction
    Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings
    • Springer Berlin Heidelberg
    • 1993
    • Taschenbuch
    • 392 Seiten
    53,49€

    in Kürze

    Not very long ago, the uninhibited use of mathematics in the development of software was regarded as something for academics alone. Today, there is m…
  22. FME '93: Industrial-Strength Formal Methods
    eng
    FME '93: Industrial-Strength Formal Methods
    First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings
    • Springer Berlin Heidelberg
    • 1993
    • Taschenbuch
    • 708 Seiten
    106,99€

    in Kürze

    The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-t…
  23. Object-Based Concurrent Computing
    eng
    Object-Based Concurrent Computing
    ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings
    • Springer Berlin Heidelberg
    • 1992
    • Taschenbuch
    • 280 Seiten
    53,49€

    in Kürze

    The ECOOP '91 Workshop on Object-Based Concurrent Computing was organized toprovide a forum on concurrent, distributed and open-ended computing. The …
  24. VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
    eng
    VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
    Volume 1: Conference Contributions
    • Springer Berlin Heidelberg
    • 1991
    • Taschenbuch
    • 720 Seiten
    106,99€

    in Kürze

    The proceedings of the fourth Vienna Development Method Symposium, VDM'91, are published here in two volumes. Previous VDM symposia were held in 1987…
  25. VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
    eng
    VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
    Volume 2: Tutorials
    • Springer Berlin Heidelberg
    • 1991
    • Taschenbuch
    • 448 Seiten
    53,49€

    in Kürze

    The proceedings of the fourth Vienna Development Method Symposium, VDM '91, are published here in two volumes. Previous VDM symposia were held in 198…
  26. ESEC '91
    eng
    ESEC '91
    3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991. Proceedings
    • Springer Berlin Heidelberg
    • 1991
    • Taschenbuch
    • 532 Seiten
    53,49€

    in Kürze

    The third European Software Engineering Conference follows ESEC'87 and ESEC'89. This series of conferences was set up by the European societies with …
  27. Einführung in die Informatik
    Fred Kröger
    Einführung in die Informatik
    Algorithmenentwicklung
    • Springer Berlin Heidelberg
    • 1991
    • Taschenbuch
    • 332 Seiten
    49,95€

    in Kürze

    Das Buch ist eine moderne algorithmenorientierte Einf}hrung in die Informatik: Im Vordergrund stehen Konzepte, Methoden und Techniken der Algorithmen…