Seidl, Helmut.
Seidl, Helmut (Computer scientist)
Seidl, Helmut, informaticien
Seidl, Helmut, 19..-...., informaticien
Seidl, H.
VIAF ID: 55326785 ( Personal )
Permalink: http://viaf.org/viaf/55326785
Preferred Forms
- 100 1 _ ‡a Seidl, H.
- 100 1 _ ‡a Seidl, Helmut
-
- 100 1 _ ‡a Seidl, Helmut
- 100 1 _ ‡a Seidl, Helmut ‡c (Computer scientist)
-
-
-
- 100 1 _ ‡a Seidl, Helmut, ‡d 19..-...., ‡c informaticien
-
4xx's: Alternate Name Forms (2)
5xx's: Related Names (3)
- 510 2 _ ‡a Institut für Informatik
- 510 2 _ ‡a Universität Trier
- 510 2 _ ‡a ebrary, Inc
Works
Title | Sources |
---|---|
Une combinaison d'interprétation abstraite et de programmation par contraintes. | |
Compiler design : analysis and transformation | |
Compiler design : virtual machines | |
Définissabilité et synthèse de transductions | |
ESOP 2012 | |
ETAPS 2012 | |
Familienrecht einschließlich Verfahrensrecht in Familiensachen : Examenskurs für Rechtsreferendare und Nachschlageband für die Praxis | |
FOSSACS 2007 | |
Frequenztafeln Cent-Hertz | |
On distributive fixpoint expressions | |
Programming languages and systems, c2012: | |
Recherche d'invariants inductifs par satisfiabilité modulo théorie et optimisation convexe. | |
Software systems safety | |
Static Analysis : 21th International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014 : Proceedings | |
Streikkämpfe der mittel- und ostdeutschen Braunkohlenbergarbeiter von 1890 bis 1914 | |
Theory and practice of software | |
Übersetzerbau |