Suggested Topics within your search.
Suggested Topics within your search.
Programming languages (Electronic computers)
Semantics
1
Asynchrone communicatie
1
Categories (Mathematics)
1
Concurrente programmering
1
Constraint programming (Computer science)
1
Expert systems (Computer science)
1
Formal languages
1
Graph theory
1
Hybrid computer simulation
1
Hybrid computers
1
Logic, Symbolic and mathematical
1
Type theory
-
1by Kuzne︠t︡sov, I. P. (Igorʹ Petrovich)### CRL customization ### ?> ### Add publisher and desc details ### ?>
Published 1986Moskva : "Nauka", 1986.293, [3] p. : ill. ; 23 cm. -
2by Göttler, Herbert### CRL customization ### ?> ### Add publisher and desc details ### ?>
Published 1977Erlangen : Inst. für Math. Maschinen u. Datenverarbeitung, 1977.148 p. : ill. ; 21 cm. -
3by Zierer, Hans### CRL customization ### ?> ### Add publisher and desc details ### ?>
Published 1988Munich : Mathematisches Institut und Institut für Informatik der Technischen Universität München, 1988.vi, 159 p. : ill. ; 21 cm. -
4by Poll, Erik### CRL customization ### ?> ### Add publisher and desc details ### ?>
Published 1994[Eindhoven : Technische Universiteit Eindhoven, 1994]vi, 175 p. ; 24 cm. -
5by Nyström, Sven-Olof### CRL customization ### ?> ### Add publisher and desc details ### ?>
Published 1996Uppsala, Sweden : Computing Science Dept., Uppsala University, c1996.182 p. : ill. ; 25 cm. -
6by Fábián, Georgina, 1971-### CRL customization ### ?> ### Add publisher and desc details ### ?>
Published 1999Netherlands : Technische Universiteit Eindhoven, 1999.x, 190 p. : ill. ; 25 cm. -
7by Winskel, Glynn### CRL customization ### ?> ### Add publisher and desc details ### ?>
Published 19801980.4 microfiches. -
8by Dybjer, Peter### CRL customization ### ?> ### Add publisher and desc details ### ?>
Published 1986Göteborg, Sweden : Programming Methodology Group, 1986.18 p. ; 24 cm.