Universität der Bundeswehr München: AtheneForschung
Benutzer: Gast
Login
de
en
Erweiterte Suche
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Projekte
Elektronische Prüfungsarbeiten
Open-Access-Publikationen
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)
Patente
Forschungsdaten
Forschungsprofile
Videos für die UniBw M-Webseite
Digitalisierte Medien
AG E-Learning
Materialien der Universitätsbibliothek
Home / Alle Inhalte
Open-Access-Publikationen
Fakultäten (univ.)
Fakultät für Informatik
Technische Berichte
Sortieren nach:
Autor
Autor (absteigend)
Herausgeber
Herausgeber (absteigend)
Report-Nummer
Report-Nummer (absteigend)
Untertitel
Untertitel (absteigend)
Titel
Titel (absteigend)
Jahr, Monat
Jahr, Monat (absteigend)
und:
Autor
Autor (absteigend)
Herausgeber
Herausgeber (absteigend)
Report-Nummer
Report-Nummer (absteigend)
Untertitel
Untertitel (absteigend)
Titel
Titel (absteigend)
Jahr, Monat
Jahr, Monat (absteigend)
zurück
weiter
Artikel pro Seite
5
10
15
20
25
50
2000-06
Berchtold, Clemens
Parallele und verteilte Simulation
2000-04
Köster, Andreas
Modellbildung und Simulation unter Verwendung wissensbasierter Konzepte
2000-03
Brade, Dirk
Modeling and Simulation Verification, Validation and Accreditation
2000-02
Kahl, Wolfram; Schmidt, Gunther
Exploring (Finite) Relation Algebras using Tools written in Haskell
2000-01
Kahl, Wolfram; Braun, Oliver; Scheffczyk, Jan
Editor Combinators - A First Account
2001-03 Schürr, Andy OMER-2 Workshop Proceedings
2001-02 Kahl, Wolfram; Parnas, David L.; Schmidt, Gunther Relational Methods in Software, RelMiS 2001
2001-01
Kahl, Wolfram
Parallel Composition and Decomposition of Spezifications
2002-09
Schmidt, Gunther
Decomposing Relations
2002-08 Stiller, Burkhard; Braun, Oliver; Heursch, Arnd Mobile Systems I
Sortieren nach:
Autor
Autor (absteigend)
Herausgeber
Herausgeber (absteigend)
Report-Nummer
Report-Nummer (absteigend)
Untertitel
Untertitel (absteigend)
Titel
Titel (absteigend)
Jahr, Monat
Jahr, Monat (absteigend)
und:
Autor
Autor (absteigend)
Herausgeber
Herausgeber (absteigend)
Report-Nummer
Report-Nummer (absteigend)
Untertitel
Untertitel (absteigend)
Titel
Titel (absteigend)
Jahr, Monat
Jahr, Monat (absteigend)
zurück
weiter
Login
