Dembiński, Piotr.
Dembiński, P.
Dembiński, Piotr (1940-2020)
Piotr Dembiński polski informatyk
Dembiński, Piotr, 1940-
VIAF ID: 47350437 ( Personal )
Permalink: http://viaf.org/viaf/47350437
Preferred Forms
-
-
-
-
- 100 1 _ ‡a Dembiński, Piotr
- 100 1 _ ‡a Dembiński, Piotr
-
- 100 1 _ ‡a Dembiński, Piotr
- 100 1 _ ‡a Dembiński, Piotr
-
-
-
-
- 100 0 _ ‡a Piotr Dembiński ‡c polski informatyk
4xx's: Alternate Name Forms (6)
Works
Title | Sources |
---|---|
ALPO a language that's proof oriented | |
Computer science : problems and prospects of fundamental research in multi-disciplinary fields | |
Data aggregations in algorithms | |
A distributed algorithm for dynamic resource allocation : development and validation in Estelle | |
Distributed and always successful enumeration algorithm | |
Formale Beschreibung von Programmiersprachen : Eine Einführung in die Semantik | |
Informatyka : problemy i perspektywy badań podstawowych w wielodyscyplinarnych dziedzinach | |
Matematyczne metody definiowania języków programowania | |
Mathematical foundations of computer science, 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980 | |
Microprogram transformations : towards an automation of the design, verification and optimization of microprograms | |
O niektórych aspektach równoważności maszyn cyfrowych, 1971. | |
On maximal parallel realization of processes | |
Pointer type and other data types in programming languages | |
PSTV'95 : fifteenth international symposium on protocol specification, testing and verification | |
Randomized enumeration | |
Semantics of time constraints in specifications of truly concurrent systems | |
Towards partial order reductions for fragments of alternating-time temporal logic | |
Towards scenarios of external attacks upon security protocols | |
Verification oriented microprogramming language |