Universität der Bundeswehr München: AtheneForschung
User: Guest
 
Login
de
en
Advanced search
Home / All Content
Publications (University Bibliography)
Projects
Electronic Accepted Theses
Open Access Publications
Fakultäten (univ.)
(1155)
Fakultät für Bauingenieurwesen und Umweltwissenschaften
(195)
Fakultät für Elektrotechnik und Informationstechnik
(66)
Fakultät für Humanwissenschaften
(158)
Fakultät für Informatik
(278)
INF 1 - Institut für Theoretische Informatik, Mathematik und Operations Research
(24)
INF 2 - Institut für Softwaretechnologie
(70)
INF 3 - Institut für Technische Informatik
(10)
INF 4 - Institut für Angewandte Informatik
(13)
INF 5 - Institut für Anwendungssicherheit
(13)
INF 6 - Institut für Systemsicherheit
(33)
INF 7 - Institut für Datensicherheit
(50)
INF 8 - Institut für Schutz und Zuverlässigkeit
(8)
Technische Berichte
(61)
Fakultät für Luft- und Raumfahrttechnik
(321)
Fakultät für Staats- und Sozialwissenschaften
(81)
Fakultät für Wirtschafts- und Organisationswissenschaften
(64)
Fakultäten (HAW)
(112)
An-Institute
Forschungszentren
(271)
Weitere Einrichtungen
(94)
Kongresse
(315)
Preprints
(33)
inside.unibw
(35)
Patents
Research Data
Research Profiles
Videos for the UniBw M Website
Digitized Media
Working Group E-Learning
University Library Documents
Home / Alle Inhalte
Open-Access-Publikationen
Fakultäten (univ.)
Fakultät für Informatik
Technische Berichte
Back
Back to start of result list
Permanent link for displayed object
Herausgeber:
Kahl, Wolfram; Parnas, David L.; Schmidt, Gunther
Titel:
Relational Methods in Software, RelMiS 2001
Untertitel:
A satellite event of ETAPS 2001, Genova, Italy, 7-8 April 2001
Verlegende Stelle:
Universität der Bundeswehr München, Fakultät für Informatik
Report-Nummer:
2001-02
Jahr, Monat:
2001-04
Hinweis:
Gedruckte Ausgabe im Bestand der UB UniBw M: Mag/YG3299
BibTeX
Occurrences:
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
Fakultät für Informatik
Home / Alle Inhalte
Open-Access-Publikationen
Fakultäten (univ.)
Fakultät für Informatik
Technische Berichte