Ergebnisse
|
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
|
|
|
4.
|
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
|
|
|
8.
|
Combination of processes, data, and time vorgelegt von Jochen Hoenicke. Carl-von-Ossietzky-Universität Oldenburg von Reihen: ; 2006,9 | Carl von Ossietzky Universität Oldenburg Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2006,9 |
Materialtyp:  Text; Format:
Druck Sprache: Englisch Verlag: Oldenburg Univ., Fak. II, Dep. für Informatik 2006
Hochschulschriftenvermerk: Zugl.: Oldenburg, Univ., Diss., 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 09/06.
|
|
|
9.
|
|
|
|
10.
|
|
|
|
11.
|
Time, abstraction and heuristics automatic verification and planning of timed systems using abstractions and heuristics Henning Dierks. Carl-von-Ossietzky-Universität Oldenburg von Reihen: ; 2006,1 | Carl von Ossietzky Universität Oldenburg Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2006,1 |
Materialtyp: Text; Format:
Druck Sprache: Englisch Verlag: Oldenburg Univ., Fak. II, Dep. für Informatik 2006
Hochschulschriftenvermerk: Zugl.: Oldenburg, Univ., Diss., 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 1/06.
|
|
|
12.
|
|
|
|
13.
|
Trustworthy software systems a discussion of basic concepts and terminology Steffen Becker; ...; Simon Giesecke; Jens Happe; Wilhelm Hasselbring; Heiko Koziolek; Henrik Lipskoch; ...; Jan Ploski; Matthias Rohr; ...; Timo Warns; Daniel Winteler von
- Becker, Steffen [oth]
- Giesecke, Simon [oth]
- Happe, Jens [oth]
- Hasselbring, Wilhelm [oth]
- Koziolek, Heiko [oth]
- Lipskoch, Henrik [oth]
- Ploski, Jan [oth]
- Rohr, Matthias [oth]
- Warns, Timo [oth]
- Winteler, Daniel [oth]
Reihen: ; 2006,10 | Carl von Ossietzky Universität Oldenburg Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2006,10 |
Materialtyp: 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 10/06.
|
|
|
14.
|
|
|
|
15.
|
|
|
|
16.
|
|
|
|
17.
|
|
|
|
18.
|
|
|
|
19.
|
|
|
|
20.
|
|
