Treffer 1 – 9 von 9 für Suche 'Dembiński, Piotr', Suchdauer: 0,05s
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
Randomized enumeration von Dembiński, Piotr
Veröffentlicht 1998Signatur: Wird geladen …
Standort: Wird geladen … -
2
Formale Beschreibung von Programmiersprachen eine Einführung in die Semantik ; mit 16 Tab. von Riedewald, Günter 1942-, Małuszyński, Jan, Dembiński, Piotr
Veröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen … -
3
Distributed and always successful enumeration algorithm von Dembiński, Piotr
Veröffentlicht 1996Signatur: Wird geladen …
Standort: Wird geladen … -
4
Semantics of time constraints in specifications of truly concurrent systems von Dembiński, Piotr
Veröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen … -
5
Formale Beschreibung von Programmiersprachen eine Einführung in die Semantik von Riedewald, Günter 1942-, Małuszyński, Jan, Dembiński, Piotr
Veröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen … -
6
Formale Beschreibung von Programmiersprachen e. Einf. in d. Semantik ; mit 16 Tab. von Riedewald, Günter 1942-, Małuszyński, Jan, Dembiński, Piotr
Veröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen … -
7
Microprogram transformations von Dembiński, Piotr
Veröffentlicht 1982Signatur: Wird geladen …
Standort: Wird geladen … -
8
Verification oriented microprogramming language von Dembiński, Piotr
Veröffentlicht 1977Signatur: Wird geladen …
Standort: Wird geladen … -
9
Mathematical foundations of computer science 1980 proceedings of the 9th symposium, held in Rydzyna, Poland, September 1 - 5, 1980
Veröffentlicht 1980Weitere Verfasser: “… Dembiński, Piotr …”
Signatur: Wird geladen …
Standort: Wird geladen …