Campusbibliothek

Ihre Suche erzielte 30 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Real-time control of walking Marc D. Donner von Reihen: ; 700 | Progress in computer science ; 700
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Boston Basel Stuttgart Birkhäuser 1987
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) DON m 1987:1 1.Ex.
Vormerken Zum Korb hinzufügen
2.
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 H. Langmaack ... (eds.) von Reihen: ; 86300 | Lecture notes in computer science ; 863
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1994
Weitere Titel:
  • real-time fault-tolerant
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 863.
Vormerken Zum Korb hinzufügen
3.
Modular compiler verification a refinement algebraic approach advocating stepwise abstraction Markus Müller-Olm von Reihen: ; 128300 | Lecture notes in computer science ; 1283
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg Springer 1997
Hochschulschriftenvermerk: Zugl.: Kiel, Univ., Diss, 1996
Weitere Titel:
  • refinement-algebraic
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 1283.
Vormerken Zum Korb hinzufügen
4.
Data and control flow diagrams, statecharts and Z their formalization, integration and real time extension Carsta Petersohn von Reihen: ; 9801 | Christian-Albrechts-Universität zu Kiel Bericht / Institut für Informatik und Praktische Mathematik ; 9801 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kiel Inst. für Informatik und Praktische Mathematik 1997
Hochschulschriftenvermerk: Zugl.: Kiel, Univ., Diss., 1997
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Kiel UNI INF MATH Nr. 9801.
Vormerken Zum Korb hinzufügen
5.
Echtzeit-Programmiertechnik James Martin von
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Stuttgart Verl. Berliner Union; Stuttgart, Berlin, Köln, Mainz: Kohlhammer [ca. 1970]
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) MAR j 1970:2 1.Ex.
Vormerken Zum Korb hinzufügen
6.
PEARL Process and Experiment Automation Realtime Language ; Beschreibung mit Anwendungsbeispielen Wulf Werum; Hans Windauer von Reihen: Programm Angewandte Informatik
Auflage: 1. Aufl.
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Braunschweig Vieweg 1978
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) P PEA 1978:1 2.Ex, ...
Vormerken Zum Korb hinzufügen
7.
Programmierung von Echtzeitsystemen mit 2 Tab. von Dieter Zöbel von
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: München [u.a.] Oldenbourg 1987
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) ZÖB d 1987:1 1.Ex.
Vormerken Zum Korb hinzufügen
8.
Multimedia und Automatisierung PEARL 99, Workshop über Realzeitsysteme, Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL, Boppard, 25./26. November 1999 Peter Holleczek (Hrsg.) von Reihen: Informatik aktuell
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Berlin Heidelberg [u.a.] Springer 2000
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) HOL p 2000:2 1.Ex.
Vormerken Zum Korb hinzufügen
9.
Echtzeitbetriebssysteme und LINUX Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL, Boppard, 23./24. November 2000 PEARL 2000, Workshop über Realzeitsysteme. Peter Holleczek (Hrsg.) von Reihen: Informatik aktuell
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Berlin Heidelberg [u.a.] Springer 2000
Weitere Titel:
  • pearl 2000
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) HOL p 2000:1 1.Ex.
Vormerken Zum Korb hinzufügen
10.
Echtzeitkommunikation und Ethernet/Internet PEARL 2001, Workshop über Realzeitsysteme, Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL, Boppard, 22./23. November 2001 Peter Holleczek ... (Hrsg.) von Reihen: Informatik aktuell
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch, Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2001
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) HOL p 2001:1 1.Ex.
Vormerken Zum Korb hinzufügen
11.
Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL, Boppard, 28./29. November 2002 Peter Holleczek ... (Hrsg.) von Reihen: Informatik aktuell
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch, Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) HOL p 2002:1 1.Ex.
Vormerken Zum Korb hinzufügen
12.
Verteilte Echtzeitsysteme Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung und PEARL (EP), Boppard, 27./28. November 2003 Peter Holleczek ... (Hrsg.) von Reihen: Informatik aktuell
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Berlin Heidelberg [u.a.] Springer 2003
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) HOL p 2003:1 1.Ex.
Vormerken Zum Korb hinzufügen
13.
Eingebettete Systeme Fachtagung der GI-Fachgruppe REAL-TIME Echtzeitsysteme und PEARL, Boppard, 25./26. November 2004 [Pearl 2004]. Peter Holleczek; Birgit Vogel-Heuser (Hrsg.) von Reihen: Informatik aktuell
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch
Verlagsnummer:
  • 11333661
Verlag: Berlin Heidelberg [u.a.] Springer 2004
Weitere Titel:
  • PEARL 2004
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) HOL p 2004:1 1.Ex.
Vormerken Zum Korb hinzufügen
14.
Real-time systems and their programming languages Alan Burns; Andy Wellings von Reihen: International computer science series
Auflage: Reprinted
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Wokingham [u.a.] Addison-Wesley 1994
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) BUR a 1990:1 1.Ex.
Vormerken Zum Korb hinzufügen
15.
Echtzeitaspekte bei der Koordinierung Autonomer Systeme Fachtagung der GI-Fachgruppe Echtzeitsysteme und PEARL (EP), Boppard, 1./2. Dezember 2005 ; [PEARL 2005] Peter Holleczek ... (Hrsg.) von Reihen: Informatik aktuell
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch
Verlagsnummer:
  • 11571681
Verlag: Berlin Heidelberg [u.a.] Springer 2005
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) HOL p 2005:1 1.Ex.
Vormerken Zum Korb hinzufügen
16.
Echtzeitsysteme im Alltag Fachtagung der GI-Fachgruppe Echtzeitsysteme (RT), Boppard, 30. November - 1. Dezember 2006 Peter Holleczek; Birgit Vogel-Heuser (Hrsg.) von Reihen: Informatik aktuell
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch, Englisch
Verlagsnummer:
  • 11891819
Verlag: Berlin Heidelberg [u.a.] Springer 2006
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) HOL p 2006:1 1.Ex.
Vormerken Zum Korb hinzufügen
17.
Aktuelle Anwendungen in Technik und Wirtschaft Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time), Boppard, 27. und 28. November 2008 ; [Echtzeit 2008] Wolfgang A. Halang; Peter Holleczek (Hrsg.) von Reihen: Informatik aktuell
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch, Englisch
Verlagsnummer:
  • 12466221
Verlag: Berlin Heidelberg [u.a.] Springer 2009
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) HAL w 2009:1 1.Ex.
Vormerken Zum Korb hinzufügen
18.
Software-intensive verteilte Echtzeitsysteme Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) ; Boppard, 19. und 20. November 2009 ; [Echtzeit 2009] Wolfgang A. Halang; Peter Holleczek (Hrsg.) von Reihen: Informatik aktuell
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch, Englisch
Verlagsnummer:
  • 12770779
Verlag: Berlin Heidelberg [u.a.] Springer c 2009
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) HAL w 2009:2 1.Ex.
Vormerken Zum Korb hinzufügen
19.
20.
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha