mediaTUM
Universitätsbibliothek
Technische Universität München
User: Guest
 
Login
de
en
mediaTUM Content
University Bibliography
Electronic Examination Papers
Open Access Publikationen
Research Data
TUM.University Press
Collections
Projects
Institutions
Research Centers
TUM Board of Management
Partnerschaftliche Einrichtungen
Schools and Faculties
Department of Chemistry
Department of Electrical and Computer Engineering
Faculty of Informatics
Examination Papers
(1357)
Institute of Informatics
(10764)
Technical Reports
2022
(1)
2021
(4)
2020
(7)
2019
(3)
2018
(2)
2017
(5)
2016
(17)
2015
(13)
2014
(14)
2013
(22)
2012
(22)
2011
(23)
2010
(25)
2009
(24)
2008
(34)
2007
(25)
2006
(17)
2005
(18)
2004
(22)
2003
(23)
2002
(15)
2001
(11)
2000
(16)
1999
(23)
1998
(32)
1997
(49)
1996
(41)
1995
(26)
1994
(1)
Department of Mathematics
TUM School of Medicine
Physics Department
Faculty of Sport and Health Science
TUM Campus Straubing für Biotechnologie und Nachhaltigkeit
TUM School of Computation, Information and Technology in formation
(1)
TUM School of Engineering and Design
Center of Life and Food Sciences Weihenstephan
TUM School of Management
TUM School of Social Sciences and Technology
(6455)
Service Facilities
TUM Institute for LifeLong Learning
Central Administration
mediaTUM Gesamtbestand
Einrichtungen
Schools und Fakultäten
Fakultät für Informatik
Technische Berichte
2006
Sort by:
Autor(en)
Autor(en) (descending)
FP7 Projekt ID
FP7 Projekt ID (descending)
Horizont 2020
Horizont 2020 (descending)
Titel des Berichts
Titel des Berichts (descending)
Dokumenttyp
Dokumenttyp (descending)
Jahr
Jahr (descending)
Jahr / Monat
Jahr / Monat (descending)
and:
Autor(en)
Autor(en) (descending)
FP7 Projekt ID
FP7 Projekt ID (descending)
Horizont 2020
Horizont 2020 (descending)
Titel des Berichts
Titel des Berichts (descending)
Dokumenttyp
Dokumenttyp (descending)
Jahr
Jahr (descending)
Jahr / Monat
Jahr / Monat (descending)
next
Items per page
10
20
50
100
Sven Kosub;Moritz G. Maaß;Hanjo Täubig
Acyclic Type-of-Relationship Problems on the Internet
2006
23
Andreas Bauer, Martin Leucker, Jonathan Streit
SALT-Structured Assertion Language for Temporal Logic
2006
16
Clemens Ballarin
Interpretation of Locales in Isabelle:\\Managing Dependencies between Locales
2006
17
Matthias Baumgart;Stefan Eckhardt;Jan Griebsch;Sven Kosub;Johannes Nowak
All-Pairs Common-Ancestor Problems in Weighted Dags
2006
17
Christian Kuehnel;Maria Spichkova
FlexRay und FTCom: Formale Spezifikation in Focus
2006
33
Olga Grinchtein, Martin Leucker, Nir Piterman
Inferring Network Invariants Automatically
2006
17
Maria Spichkova
FlexRay: Verifikation of the FOCUS Specification in Isabelle/HOL. A Case Study
2006
26
Steven Obua
Conservative Overloading in Higher-Order Logic
2006
36
Steven Obua
Partizan Games in Isabelle/HOLZF
2006
15
Manfred Broy;Andreas Rausch;Thomas Ternite;David Bettencourt da Cruz;Marco Kuhrmann
IT-Projekte erfolgreich mit dem V-Modell XT
2006
132
Sort by:
Autor(en)
Autor(en) (descending)
FP7 Projekt ID
FP7 Projekt ID (descending)
Horizont 2020
Horizont 2020 (descending)
Titel des Berichts
Titel des Berichts (descending)
Dokumenttyp
Dokumenttyp (descending)
Jahr
Jahr (descending)
Jahr / Monat
Jahr / Monat (descending)
and:
Autor(en)
Autor(en) (descending)
FP7 Projekt ID
FP7 Projekt ID (descending)
Horizont 2020
Horizont 2020 (descending)
Titel des Berichts
Titel des Berichts (descending)
Dokumenttyp
Dokumenttyp (descending)
Jahr
Jahr (descending)
Jahr / Monat
Jahr / Monat (descending)
next