AtheneForschung - Informationsportal der UniBw M

Benutzer: Gast

Home / Alle Inhalte

Publikationen (Universitätsbibliografie)

Projekte

Elektronische Prüfungsarbeiten

Open-Access-Publikationen

Fakultäten (univ.) (1152)

Fakultät für Bauingenieurwesen und Umweltwissenschaften (194)

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 (320)

Fakultät für Staats- und Sozialwissenschaften (80)

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 (34)

Patente

Forschungsdaten

Forschungsprofile

Videos für die UniBw M-Webseite

Digitalisierte Medien

AG E-Learning

Materialien der Universitätsbibliothek

Home / Alle InhalteOpen-Access-PublikationenFakultäten (univ.)Fakultät für InformatikTechnische Berichte

Sortieren nach:
und:

Artikel pro Seite

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:
und: