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 61 ö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
  2. Detailansicht für Treffer 62 öffnen
    Plan based control of robotic agents: improving the capabilities of autonomous robots
    Michael Beetz
    Berlin [u.a.]: Springer, 2002
    Monographie, Gedruckte Ressource
  3. Detailansicht für Treffer 63 öffnen
    Mensch-Maschine-Schnittstelle in Echtzeitsystemen
    Veith Risak
    Wien [u.a.]: Springer, 1986
    Monographie, Gedruckte Ressource
  4. Detailansicht für Treffer 64 öffnen
    Software diversity in computerized control systems
    U. Voges (ed.)
    Wien [u.a.]: Springer, 1988
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 65 ö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
  6. Detailansicht für Treffer 66 ö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
  7. Detailansicht für Treffer 67 ö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
  8. Detailansicht für Treffer 68 öffnen
    Karel the robot: a gentle introd. to the art of programming
    Richard E. Pattis
    New York: Wiley, 1981
    Monographie, Einführung, Gedruckte Ressource
  9. Detailansicht für Treffer 69 öffnen
    On-line error detection and fast recover techniques for dependable embedded processors
    Matthias Pflanz
    Berlin [u.a.]: Springer, 2002
    Monographie, Hochschulschrift, Gedruckte Ressource
  10. Detailansicht für Treffer 70 öffnen
    Transputers in real time control
    edited by G. W. Irwin and P. J. Fleming
    Taunton, Somerset, England: Research Studies [u.a.], 1992
    Sammelwerk, Gedruckte Ressource
  11. Detailansicht für Treffer 71 öffnen
    Advances in plan based control of robotic agents: international seminar, Dagstuhl Castle, Germany, October 21 - 26, 2001 ; revised papers
    Michael Beetz ... (ed.)
    Berlin [u.a.]: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  12. Detailansicht für Treffer 72 öffnen
    Einführung in die Programmierung paralleler Prozesse
    von Friedrich Pieper
    München [u.a.]: Oldenbourg, 1977
    Monographie, Gedruckte Ressource
  13. Detailansicht für Treffer 73 öffnen
    Real time database systems: issues and applications
    edited by Azer Bestavros ..
    Boston [u.a.]: Kluwer, 1997
    Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 74 öffnen
    Funktionale Sicherheit
    Echtzeit 2013, Fachtagung des gemeinsamen Fachausschusses Echtzeitsysteme von Gesellschaft für Informatik e.V. (GI), VDI/VDE-Gesellschaft für Mess- und Automatisierungstechnik (GMA) und Informationstechnischer Gesellschaft im VDE (ITG) Boppard, 21. und 22 November 2013. Wolfgang A. Halang (Hrsg.)
    Berlin [u.a.]: Springer Vieweg, 2013
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  15. Detailansicht für Treffer 75 öffnen
    Ein Roboteraktionsplanungssystem
    Bernhard J. Frommherz
    Berlin [u.a.]: Springer, 1990
    Monographie, Hochschulschrift, Gedruckte Ressource
  16. Detailansicht für Treffer 76 ö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
  17. Detailansicht für Treffer 77 öffnen
    Computer aided systems theory: revised selected papers
    EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24 - 28, 2003. Roberto Moreno-Díaz ... (eds.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  18. Detailansicht für Treffer 78 öffnen
    Realzeitsysteme zur Prozeßautomatisierung: mit 29 Tabellen
    Ulrich Rembold und Paul Levi
    München [u.a.]: Hanser, 1994
    Monographie, Gedruckte Ressource
  19. Detailansicht für Treffer 79 öffnen
    Prozeßrechnerstrukturen: Aufbau, Betriebssysteme, Kommunikation
    Walter Motsch
    Braunschweig [u.a.]: Vieweg, 1995
    Monographie, Lehrbuch, Gedruckte Ressource
  20. Detailansicht für Treffer 80 öffnen
    Constructing predictable real time systems
    by Wolfgang A. Halang ; Alexander D. Stoyenko
    Boston, [Mass.] [u.a.]: Kluwer Acad. Publ, 1991
    Monographie, Gedruckte Ressource

Artikel & mehr

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