Treffer 1 - 12 von 12 für Suche 'Thiemann, Peter', Suchdauer: 0,59s
Treffer weiter einschränken
-
1
Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation von Thiemann, Peter
Veröffentlicht 2002Signatur: Wird geladen …DE-19
Standort: Wird geladen …
URL des Erstveröffentlichers
Elektronisch E-Book -
2
Gestaltung von Steuerungssystemen für die Automatisierung von Brückenkranen von Thiemann, Peter
Veröffentlicht 1996Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
3
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming von Thiemann, Peter
Veröffentlicht 2012Signatur: Wird geladen …DE-19
Standort: Wird geladen …
URL des Erstveröffentlichers
Elektronisch E-Book -
4
Imperative functional specialization von Dussart, Dirk, Thiemann, Peter
Veröffentlicht 1996Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5
Continuation-based program generation von Thiemann, Peter, Dussart, Dirk
Veröffentlicht 1996Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
6
Grundlagen der funktionalen Programmierung von Thiemann, Peter
Veröffentlicht 1994Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
7
Grundlagen der funktionalen Programmierung von Thiemann, Peter 1964-
Veröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen …
VolltextElektronisch E-Book -
8
Efficient implementation of structural recursive programs von Thiemann, Peter
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
9
Konzepte zur effizienten Implementierung strukturell rekursiver Programme von Thiemann, Peter
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen …Abschlussarbeit Buch Wird geladen … -
10
Untersuchungen zur ökonomisch richtigen Aufgabenteilung zwischen Eisenbahn und Kraftverkehr im grenzüberschreitenden Güterverkehr der DDR von Thiemann, Peter
Veröffentlicht 1975Signatur: Wird geladen …
Standort: Wird geladen …Abschlussarbeit Buch Wird geladen … -
11
Programming languages and systems 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016,...
Veröffentlicht 2016Weitere Verfasser: “… Thiemann, Peter 1964- …”
Signatur: Wird geladen …
Standort: Wird geladen …Tagungsbericht Buch Wird geladen … -
12
Programming languages and systems 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016,...
Veröffentlicht 2016Weitere Verfasser: “… Thiemann, Peter 1964- …”
Signatur: Wird geladen …
Standort: Wird geladen …
VolltextElektronisch Tagungsbericht E-Book
Suchwerkzeuge:
Ähnliche Schlagworte
Hochschulschrift
Formale Methode
Funktionale Programmierung
Konferenzschrift
Nebenläufigkeit
Programmanalyse
Programmiersprache
Programmverifikation
Typsystem
Brückenkran
Computation by Abstract Devices
Computer Science
Computer logic
Computer programming
Computer science
Computers
Engineering
Engineering, general
Handhabungsgerät
Implementierung Informatik
Informatik
Ingenieurwissenschaften
Konferenzschrift 02.04.2016-08.04.2016 Eindhoven
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
Programming languages (Electronic computers)
Rekursives Programmschema
Sensorsystem
Software Engineering