Institut für Computersprachen

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)

E185 - Institut für Computersprachen

Code Kennzahl

E185

Type of Organization Organisationstyp

Institute

Parent OrgUnit Übergeordnete Organisation

E180 - Fakultät für Informatik

OrgUnit's Publications

All

Theses

Results 61-80 of 349 (Search time: 0.02 seconds).

1
2
3
4
5
6
7
8
9
10
11
12
13

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	61		Wolfsteiner, Simon Peter	Structural analysis of cut-elimination	Thesis Hochschulschrift	2015
	62		Siehs, Christian	Simulation in metabolic networks	Thesis Hochschulschrift	2015
	63		Kühmayer, Christian	Instruction selection for the CACAO VM	Thesis Hochschulschrift	2015
	64		Dragan, Ioan-Dumitru	First-order theorem proving for program analysis and theory reasoning	Thesis Hochschulschrift	2015
	65		Hamböck, Thomas	Towards a toolchain for asynchronous embedded programming based on the peer-model	Thesis Hochschulschrift	2015
	66		Kollarits, Natalie	SmartMaut	Thesis Hochschulschrift	2015
	67		Watzke, Harald	Lifecycle and memory management for extensible virtual shared memory (XVSM)	Thesis Hochschulschrift	2015
	68		Bräutigam, Klaus	Expedient logging for C++ using reflection	Thesis Hochschulschrift	2015
	69		Atesman, Necdet Can	PURGE design and implementation of a high-level graphics engine	Thesis Hochschulschrift	2015
	70		Baldi, Paolo	Standard completeness : proof-theoretic and algebraic methods	Thesis Hochschulschrift	2015
	71		Hernàdi, Gàbor Miklos	Interactive class-diagram generation and abstraction	Thesis Hochschulschrift	2015
	72		Mildner, Rudolf	An actor constraint prototype : verifying event order	Thesis Hochschulschrift	2015
	73		Riegler, Gregor	Evaluation and implementation of an optional, pluggable type system for Forth	Thesis Hochschulschrift	2015
	74		Plangger, Richard	PyPy's number crunching optimization : just-in-time superword parallelism	Thesis Hochschulschrift	2015
	75		Wilhelm, Jakob	Migrating IBM HLASM to C	Thesis Hochschulschrift	2015
	76		Borg, Annemarie	Realizing negative introspection into justification logic : proof-theoretic approach	Thesis Hochschulschrift	2015
	77		Spendier, Lara Katharina	Tools for the investigation of sustructural, intermediate and paraconsistent logics	Thesis Hochschulschrift	2015
	78		Bitter, Lukas	Design and implementation of a security model for the PeerSpace.NET	Thesis Hochschulschrift	2015
	79		Bárány, Gergö	Integrated code motion and register allocation	Thesis Hochschulschrift	2015
	80		Cerna, David Michael	Advances in schematic cut elimination	Thesis Hochschulschrift	2015

1
2
3
4
5
6
7
8
9
10
11
12
13