Suchergebnisse - Dembiński, Piotr
- Treffer 1 – 9 von 9
-
1Randomized enumerationVeröffentlicht 1998Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
2Distributed and always successful enumeration algorithmVeröffentlicht 1996Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3Semantics of time constraints in specifications of truly concurrent systemsVeröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
4Formale Beschreibung von Programmiersprachen: eine Einführung in die SemantikVeröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5Microprogram transformationsVeröffentlicht 1982Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
6Verification oriented microprogramming languageVeröffentlicht 1977Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
7Formale Beschreibung von Programmiersprachen: eine Einführung in die Semantik ; mit 16 Tab.Veröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
8Formale Beschreibung von Programmiersprachen: e. Einf. in d. Semantik ; mit 16 Tab.Veröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
9Mathematical foundations of computer science 1980: proceedings of the 9th symposium, held in Rydzyna, Poland, September 1 - 5, 1980Veröffentlicht 1980Weitere beteiligte Personen: “… Dembiński, Piotr …”
Signatur: Wird geladen …
Standort: Wird geladen …Tagungsbericht Buch Wird geladen …