Institut für Informatik - Browsing nach

Anmelden

Hilfe

Publizieren

Besondere Sammlungen Suche

Browsing nach

Besondere Sammlungen Klassifikation (DDC)Dokumententyp Autoren / Beteiligte Neuzugänge

Clouds

Autoren/Beteiligte Jahre

Universität → Bibliothek → Digitale Sammlungen → Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik

212 Titles

Sort

Document-Types

159Dissertation (PhD) 33Article in a collected edition 14Journal Article 5Monograph 1Dissertation (Professor)

Years

242006 182011 142008 132007 132009

Authors / Collaborators

19Kastens, Uwe 17Monien, Burkhard 11Böttcher, Stefan 8Engels, Gregor 6Meyer auf Heide, Friedhelm

ALSI : Eine höhere Programmiersprache zur Transformation von ALGOL-68-Verbunden in SIMULA-Klassen
Kastens, Uwe
In: Fachtagung über Programmiersprachen. Year 3. Berlin [u.a.], 1974, Pg. 162-172
About the derivation languages of grammars and machines
Monien, Burkhard
In: Automata, languages and programming. Year 4.1977. Berlin [u.a.], 1977, Pg. 337-351
Abstract interfaces for compiler generating tools
Kastens, Uwe
In: Compiler compilers and high speed compilation. Year 1989. Berlin [u.a.], 1989, Pg. 103-114
Active learning with kernel machines
Brinker, Klaus
2004
Adaptable OS services for distributed reconfigurable systems on chip
Samara, Sufyan
2010
Adaptive Erkennung von Software-Entwurfsmängeln
Kreimer, Jochen
2006
Adaptive Steuerung der Lastverteilung datenparalleler Anwendungen in Grid-Umgebungen
Rips, Sabina
2006
Algorithms for dynamic geometric data streams
Frahling, Gereon
[2006]
Algorithms for lattice problems with respect to general norms
Naewe, Stefanie
2011
Algorithms for the Bregman k-Median problem
Ackermann, Marcel R.
2009
Analyse und Entwurf von Methoden zur Ressourcenverwaltung partiell rekonfigurierbarer Architekturen
Köster, Markus
2007
Analyzing models for scheduling and routing
Lücking, Thomas
2005
Anwendung diskreter raumfüllender Kurven
Graphpartitionierung und Kontaktsuche in der Finite-Elemente-Simulation.
Wierum, Jens-Michael
2003
Architectural style-based modeling and simulation of middleware for mobile systems
Guo, Ping
2006
Attribute grammars as a specification method
Kastens, Uwe
In: Attribute grammars, applications and systems. Year 1991. Berlin [u.a.], 1991, Pg. 16-47
Attribute grammars system in a compiler construction environment
Kastens, Uwe
In: Attribute grammars, applications and systems. Year 1991. Berlin [u.a.], 1991, Pg. 380-400

Attribute inheritance implemented on top of a relational database system

Böttcher, Stefan

In: Data engineering / International Conference on Data Engineering <6, 1990, Los Angeles, Calif.>. Year 1990. Los Alamitos, Calif. [u.a.], 1990, Pg. 503-509

Automatic configuration of real-time operating systems and real-time communication systems for distributed embedded applications
Böke, Carsten
2004
Automatische Kompatibilitätsprüfung Framework-basierter Anwendungen
Christ, Fabian
2012
Automatische Testfallgenerierung aus kontrolliert natürlichsprachlichen Anforderungsspezifikationen für reaktive Echtzeitsysteme
Schnelte, Matthias
2011