Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
318 Treffer

Suchmaske

Suchtipp für den Bereich UB Katalog: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Suchergebnisse einschränken oder erweitern

Erscheinungszeitraum

Zugang

Literaturtyp

Schlagwort

Sprache

Form

Person

318 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Echtzeitsysteme und Fuzzy Control: Konzepte, Werkzeuge, Anwendungen
    Helmut Rzehak (Hrsg.)
    Braunschweig [u.a.]: Vieweg, 1994
    Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Real time computing: [proceedings of the NATO Advanced Study Institute on Real Time Computing, held in Sint Maarten, Dutch Antilles, October 5 - 17, 1992]
    ed. by Wolfgang A. Halang ..
    Berlin [u.a.]: Springer, 1994
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Mensch-Maschine-Schnittstelle in Echtzeitsystemen
    Veith Risak
    Wien [u.a.]: Springer, 1986
    Monographie, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Software design methods for concurrent and real time systems
    Hassan Gomaa
    Reading, Mass. [u.a.]: Addison-Wesley, 1993
    Monographie, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Echtzeitsysteme: Grundlagen, Funktionsweisen, Anwendungen ; mit 32 Tabellen
    Heinz Wörn ; Uwe Brinkschulte
    Berlin [u.a.]: Springer, 2005
    Monographie, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Languages, compilers, and tools for embedded systems: proceedings
    ACM SIGPLAN Workshop LCTES '98, Montreal, Canada, June 19 - 20, 1998. Frank Mueller ... (eds.)
    Berlin [u.a.]: Springer, 1998
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Prozessinformatik, 1. Grundzüge der Informatik
    von Jürgen Heidepriem
    München: Oldenbourg-Industrieverl, 2000
    Monographie, Teil eines Werkes, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    RoboCup 2001: Robot Soccer World Cup V
    Andreas Birk ... (ed.)
    Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Specification and compositional verification of real time systems
    J. Hooman
    Berlin [u.a.]: Springer, 1991
    Monographie, Hochschulschrift, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    Optimierung zyklischer Realzeitanwendungen für Mehrrechnersysteme mit verteiltem Speicher
    Michael Bartmann
    Als Ms. gedr.. - Aachen: Shaker, 1997
    Monographie, Hochschulschrift, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Timing analysis of real time software: a practical approach to the specification and design of real time embedded software with an emphasis on timing correctness. The method uses the Q-model - a technique which adds explicit timing parameters to data flow or object modeling diagrams, supported by a flexible time selective, process interaction mechanism
    by Leo Motus and Michael G. Rodd
    1. ed.. - Oxford [u.a.]: Pergamon, 1994
    Monographie, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Exceptionbehandlung und Synchronisation: Entwurf u. Methode
    Georg E. Maier
    Berlin [u.a.]: Springer, 1985
    Monographie, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Foundations of dependable computing, 1. Models and frameworks for dependable systems
    ed. by Gary M. Koob ..
    Boston, Mass [u.a.]: Kluwer, 1994
    Aufsatzsammlung, Sammelwerk, Teil eines Werkes, keine Angabe
  14. Detailansicht für Treffer 14 öffnen
    Plan based control of robotic agents: improving the capabilities of autonomous robots
    Michael Beetz
    Berlin [u.a.]: Springer, 2002
    Monographie, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    Software diversity in computerized control systems
    U. Voges (ed.)
    Wien [u.a.]: Springer, 1988
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 16 öffnen
    Proceedings / 1997 High Assurance Engineering Workshop: Washington, DC, August 11 - 12, 1997
    sponsored by IEEE Computer Society
    Los Alamitos, Calif. [u.a.]: IEEE Computer Soc, 1997
    Monographie, Konferenzschrift, Gedruckte Ressource
  17. Detailansicht für Treffer 17 öffnen
    NAPAW 92: proceedings of the First North American Process Algebra Worhshop, Stony Brook, New York, USA, 28 August 1992
    S. Purushothaman and Amy Zwarico (ed.). Publ. in collab. with the British Computer Society
    London [u.a.]: Springer, 1993
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    Parallel computing: from theory to sound practice: proceedings of EWPC '92, the European Workshops on Parallel Computing, 23 - 24 March 1992, Barcelona, Spain
    ed. by Wouter Joosen ..
    Amsterdam [u.a.]: IOS Press, 1992
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  19. Detailansicht für Treffer 19 öffnen
    Karel the robot: a gentle introd. to the art of programming
    Richard E. Pattis
    New York: Wiley, 1981
    Monographie, Einführung, Gedruckte Ressource
  20. Detailansicht für Treffer 20 öffnen
    On-line error detection and fast recover techniques for dependable embedded processors
    Matthias Pflanz
    Berlin [u.a.]: Springer, 2002
    Monographie, Hochschulschrift, Gedruckte Ressource

Artikel & mehr

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -