Treffer 1 – 13 von 13 für Suche 'Poigné, Axel', Suchdauer: 0,07s
Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Synchronous automata for reactive, real-time or embedded systems von Maffeis, Oliver, Poigné, Axel
Veröffentlicht 1996Signatur: Wird geladen …
Standort: Wird geladen … -
2
Boolean automata for implementing pure esterel von Poigné, Axel, Holenderski, Leszek
Veröffentlicht 1995Signatur: Wird geladen …
Standort: Wird geladen … -
3
Zur Konstruktion freier gleichungsdefinierter Algebren in S-monoidalen Kategorien von Poigné, Axel
Veröffentlicht 1979Signatur: Wird geladen …
Standort: Wird geladen … -
4
Programs over abstract data types on the implementation of abstract data types von Poigné, Axel, Voss, Josef
Veröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen … -
5
On semantic algebras, higher order structures von Poigné, Axel
Veröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen … -
6
Higher order abstract data types cartesian closure versus calculus von Poigné, Axel
Veröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen … -
7
Zur Konstruktion freier gleichungsdefinierter Algebren in S-monoidalen Kategorien/von Axel Poigné von Poigné, Axel
Veröffentlicht 1979Signatur: Wird geladen …
Standort: Wird geladen … -
8
A note on incondistences caused by fixpoints in a cartesian closed category von Huwig, Hagen, Poigné, Axel
Veröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen … -
9
A note on inconsistences caused by fixpoints in a Cartesian closed category von Huwig, Hagen, Poigné, Axel
Veröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen … -
10
Notes on operational semantics of abstract data types and programming languages von Poigné, Axel
Veröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen … -
11
Higher order abstract data types, Cartesian closure versus lambda-calculus von Poigné, Axel
Veröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen … -
12
Programs over abstract data types von Poigné, Axel
Veröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen … -
13
Zur Konstruktion freier gleichungsdefinierter Algebren in S-monoidalen Kategorien von Poigné, Axel
Veröffentlicht 1979Signatur: Wird geladen …
Standort: Wird geladen …