direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

2004

S. Frank and P. Hofstedt and D. Reckmann (2004). Strategies for the Efficient Solution of Hybrid Constraint Logic Programs. WLPE2004: 14th Workshop on Logic Programming Environments and MultiCPL2004: Third Workshop on Multiparadigm Constraint Programming Languages. Workshop Proceedings


Peter Pepper (2004). Programmieren lernen. Springer-Lehrbuch.


Dusko Pavlovic and Peter Pepper and Doug Smith (2004). Colimits for Concurrent Collectors. Verification: Theory and Practice. Springer, 323 – 338.


Peter Pepper (2004). Distributed Teaching of Formal Methods. Proc. Symp. on Teaching Formal Methods, CoLogNet, Formal Methods Europe 2004. Springer.


Michael Cebulla (2004). Handling Human Factors in Integrated Systems Engineering. Coping with Adaptive Behavior. Human Error, Safety, and Systems Development. Kluwer Academic Publ..


Michael Cebulla (2004). Modeling Concepts for Safety-Relalted Requirements in Sociotechnical Systems. Computer Safety, Reliability, and Security - Proc. of SAFECOMP. Springer, LNCS.


2003

Martin Grabmüller (2003). Multiparadigmen-Programmiersprachen.


Martin Grabmüller (2003). Implementing Constraint Imperative Languages with Higher-order Functions. MultiCPL'03: Second International Workshop on Multiparadigm Constraint Programming Languages and RCoRP'03: Fifth International Workshop on Rule-Based Constraint Reasoning and Programming, 43–54.


Frank, Stephan and Hofstedt, Petra and Mai, Pierre R. (2003). A Case Study on Termination. Proceedings of the 6th International Workshop on Termination, WST'03. Universidad Politécnica de Valencia.


Frank, Stephan and Grabmüller, Martin and Hofstedt, Petra and Metzner, André (2003). Constraints, Predicates, Functions, and a Turtle. 20. Workshop der GI-Fachgruppe ``Programmiersprachen und Rechenkonzepte''


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Leiter

Prof. Dr. Peter Pepper
Sprechstd.: keine mehr

Sekretariat

Christine Beyer
Raum EN 538
Tel: +49 30 314-22280

Öffnungszeiten

mail/tel. vereinbaren

Postadresse

Technische Universität Berlin
Fakultät IV - Elektrotechnik und Informatik - ÜBB
Sekr. EN 13
Raum EN 538
Einsteinufer 17
D-10587 Berlin