Campusbibliothek

Ihre Suche erzielte 62 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
21.
Eine virtuelle Maschine für Graphprogramme Andreas Möller von Reihen: ; 200305 | Carl von Ossietzky Universität Oldenburg Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2003,5 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Oldenburg Carl-von-Ossietzky-Univ., Fak. II, Dept. für Informatik 2003
Hochschulschriftenvermerk: Zugl.: Oldenburg, Univ., Diplomarbeit, 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) Oldenburg UNI INF 5/03.
Vormerken Zum Korb hinzufügen
22.
Ein System zur Transformation von Konsistenz - in Anwendungsbedingungen Christian Zuckschwerdt von Reihen: ; 2006,11 | Carl von Ossietzky Universität Oldenburg Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2006,11 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Oldenburg Carl-von-Ossietzky-Univ., Dept. für Informatik 2006
Hochschulschriftenvermerk: Vollst. zugl.: Oldenburg, Univ., Dipl.-Arb.
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) Oldenburg UNI INF 11/06.
Vormerken Zum Korb hinzufügen
23.
Weakest preconditions for high-level programs (long version) Annegret Habel, Karl-Heinz Pennemann and Arend Rensink von Reihen: ; 2006,8 | Carl von Ossietzky Universität Oldenburg Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2006,8 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oldenburg Carl-von-Ossietzky-Univ., Dept. für Informatik 2006
Weitere Titel:
  • programmes
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) Oldenburg UNI INF 8/06.
Vormerken Zum Korb hinzufügen
24.
Integralrechnung Wolfgang P. Kowalk von Reihen: ; 200703 | Carl von Ossietzky Universität Oldenburg Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2007,3 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Oldenburg Carl-von-Ossietzky-Univ., Dept. für Informatik 2007
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) Oldenburg UNI INF 03/07.
Vormerken Zum Korb hinzufügen
25.
Type checking C template instantiation by graph programs (long version) Karl Azab and Karl-Heinz Pennemann von Reihen: ; 200704 | Carl von Ossietzky Universität Oldenburg Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2007,4 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oldenburg Carl-von-Ossietzky-Univ., Dept. für Informatik 2007
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) Oldenburg UNI INF 04/07.
Vormerken Zum Korb hinzufügen
26.
Some considerations on the foundation of NP-completeness theory Li Sek Su von Reihen: ; 2006,5 | Carl von Ossietzky Universität Oldenburg Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2006,5 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oldenburg Carl-von-Ossietzky-Univ., Dept. für Informatik 2006
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) Oldenburg UNI INF 5/06.
Vormerken Zum Korb hinzufügen
27.
Investigating equivalence relations in dtsPBC Igor V. Tarasyuk von Reihen: ; 200805 | Carl von Ossietzky Universität Oldenburg Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2008,5 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oldenburg Carl-von-Ossietzky-Univ., Dep. für Informatik 2008
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) Oldenburg UNI INF 05/08.
Vormerken Zum Korb hinzufügen
28.
Transformation of Edmonds' maximum matching algorithm into a graph program Jens Oehlerking von Reihen: ; 2004,1 | Carl von Ossietzky Universität Oldenburg Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2004,1 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oldenburg Carl-von Ossietzky-Univ., Department für Informatik 2004
Hochschulschriftenvermerk: Zugl.: Oldenburg, Univ., Diplomarbeit, 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) Oldenburg UNI INF 1/04.
Vormerken Zum Korb hinzufügen
29.
GraJ a system for executing graph programs in Java Giorgio Busatto von Reihen: ; 2004,3 | Carl von Ossietzky Universität Oldenburg Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2004,3 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oldenburg Carl-von-Ossietzky-Univ., Dep. für Informatik 2004
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) Oldenburg UNI INF 3/04.
Vormerken Zum Korb hinzufügen
30.
Dienste intelligenter Netze graphentheoretische Methoden in der Kontrollflussanalyse Sergej Alekseev von Reihen: ; 200402 | Carl von Ossietzky Universität Oldenburg Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2004,2 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Oldenburg Carl-von-Ossietzky-Univ. 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) Oldenburg UNI INF 02/04.
Vormerken Zum Korb hinzufügen
31.
Graph theoretical methods in the control flow analysis of object oriented real time software Sergej Alekseev and Johannes Wust von Reihen: ; 200501 | Carl von Ossietzky Universität Oldenburg Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2005,1 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch, Deutsch Verlag: Oldenburg Carl-von-Ossietzky-Univ. 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) Oldenburg UNI INF 01/05.
Vormerken Zum Korb hinzufügen
32.
Algorithms of computing the deadlock markings sets for Petri nets Li Sek Su von Reihen: ; 2006,7 | Carl von Ossietzky Universität Oldenburg Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2006,7 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oldenburg Carl-von-Ossietzky-Univ., Dept. für Informatik 2006
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) Oldenburg UNI INF 7/06.
Vormerken Zum Korb hinzufügen
33.
Full-output siphons and deadlock-freeness for free choice Petri nets Li Sek Su von Reihen: ; 200602 | Carl von Ossietzky Universität Oldenburg Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2006,2 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oldenburg Carl-von-Ossietzky-Univ., Dept. für Informatik 2006
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) Oldenburg UNI INF 02/06.
Vormerken Zum Korb hinzufügen
34.
Solving consensus using structural failure models Timo Warns; Felix C. Freiling; Wilhelm Hasselbring von Reihen: ; 2006,3 | Carl von Ossietzky Universität Oldenburg Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2006,3 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oldenburg Carl-von-Ossietzky-Univ., Dept. für Informatik 2006
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) Oldenburg UNI INF 3/06.
Vormerken Zum Korb hinzufügen
35.
On depth and breadth in the pi-calculus Roland Meyer von Reihen: ; 200801 | Carl von Ossietzky Universität Oldenburg Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2008,1 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oldenburg Carl-von-Ossietzky-Univ., Dep. für Informatik 2008
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) Oldenburg UNI INF 01/08.
Vormerken Zum Korb hinzufügen
36.
Structural stationarity in the pi-calculus Roland Meyer. Carl-von-Ossietzky-Universität Oldenburg von Reihen: ; 2009,2 | Carl von Ossietzky Universität Oldenburg Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2009,2 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oldenburg Carl-von-Ossietzky-Univ., Dept. für Informatik 2009
Hochschulschriftenvermerk: Zugl.: Oldenburg, Univ., Diss., 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) Oldenburg UNI INF 02/09.
Vormerken Zum Korb hinzufügen
37.
Verification architectures for complex real-time systems Johannes Faber. Carl-von-Ossietzky-Universität Oldenburg von Reihen: ; 2011,3 | Carl von Ossietzky Universität Oldenburg Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2011,3 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oldenburg Carl-von-Ossietzky-Univ., Dep. für Informatik 2011
Hochschulschriftenvermerk: Zugl.: Oldenburg, Univ., Diss., 2011
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) Oldenburg UNI INF 3/2011.
Vormerken Zum Korb hinzufügen
38.
Similarity, logic and games bridging modeling layers of hybrid systems Jan-David Quesel von Reihen: ; 2013,3 | Carl von Ossietzky Universität Oldenburg Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2013,3 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oldenburg Univ., Dep. für Informatik 2013
Hochschulschriftenvermerk: Zugl.: Oldenburg, Univ., Diss., 2013
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) Oldenburg UNI INF 03/13.
Vormerken Zum Korb hinzufügen
39.
Bestimmung symbolischer Laufzeiten in eingebetteten Echtzeitsystemen Olaf Maibaum von Reihen: ; 2003,2 | Carl von Ossietzky Universität Oldenburg Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2003,2 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Oldenburg Carl-von-Ossietzky-Univ., Fak. II, Dep. für Informatik 2003
Hochschulschriftenvermerk: Zugl.: Oldenburg, Univ., Diss., 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) Oldenburg UNI INF 02/2003.
Vormerken Zum Korb hinzufügen
40.
An algorithmic framework for checking coverability in well-structured transition systems Tim Strazny von Reihen: ; 2014,1 | Carl von Ossietzky Universität Oldenburg Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2014,1 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oldenburg Univ., Dep. für Informatik 2014
Hochschulschriftenvermerk: Zugl.: Oldenburg, Univ., Diss., 2013
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) Oldenburg UNI INF 01/14.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha