Springe zum Inhalt... (mit Enter-Taste)
Springe zur Navigation... (mit Enter-Taste)
solr
SolrQueryCompletionProxy
QueryCompletionProxy
2, 5, 10
Sprachauswahl:
deutsch
deutsch
english
Home
Aktuelles
Hilfe
Auskunft
Suche
.
Neue Suche
.
Merkliste
.
Meine Daten
.
Konto
.
Benutzerdaten
.
Sucheinstellungen
.
Suchdienste
.
Weitere Angebote
Anmelden
Neuerwerbungsliste:
Drucken
Versenden
Speichern
Atom-Feed
Springe zur Navigation... (mit Enter-Taste)
Springe zur Seitenleiste... (mit Enter-Taste)
Treffer eingrenzen
Fach
Fach
Informatik
(2)
Themen/Schlagwörter (grob)
Themen/Schlagwörter (grob)
2002
(2)
Echtzeitsystem
(2)
Eingebettetes System
(2)
Fehlertoleranz
(2)
Formale Methode
(2)
Konferenzschrift
(2)
Mehr anzeigen …
Themen/Schlagwörter (präzise)
Themen/Schlagwörter (präzise)
Echtzeitsystem / Mod…
(2)
Eingebettetes System…
(2)
Softwareentwicklung…
(2)
Verifikation / Model…
(2)
Sprache
Sprache
Englisch
(2)
Erscheinungsform/Code
Erscheinungsform/Code
Aufsatzsammlung
(2)
Konferenzschrift
(2)
Monografie
(2)
Begrenzte Elektronis…
(1)
Computerdatei
(1)
Druckwerk
(1)
Mehr anzeigen …
Autor/Herausgeber
Autor/Herausgeber
Damm, Werner
(2)
Treffer Katalog der UB Augsburg (2)
Titel auswählen:
alle
keine
Speichern in:
Temporäre Merkliste
Sortieren nach:
Jahr (absteigend)
Relevanz
Jahr (aufsteigend)
Titel (aufsteigend)
Autor (aufsteigend)
Jahr (absteigend)
Titel (absteigend)
Autor (absteigend)
max. Trefferanzahl
5
10
25
50
100
1
Formal techniques in real time and fault tolerant systems
Damm, Werner 2002
81/SS 4800-2469
übergeordnete Titel
2
Formal techniques in real time and fault tolerant systems
Damm, Werner 2002
übergeordnete Titel