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)
2003
(2)
Formale Methode
(2)
Konferenzschrift
(2)
Model Checking
(2)
Pisa
(2)
Programmanalyse
(2)
Mehr anzeigen …
Themen/Schlagwörter (präzise)
Themen/Schlagwörter (präzise)
Softwareentwicklung…
(2)
Softwareentwicklung…
(2)
Systementwicklung /…
(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
Araki, Keijirō
(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
FME 2003 - formal methods
FME (12, 2003, Pisa) 2003
übergeordnete Titel
2
FME 2003 - formal methods
FME (12, 2003, Pisa) 2003
81/SS 4800-2805
übergeordnete Titel