Found 7 Documents (Results 1–7)
Fundamentals and standards in hardware description languages. Proceedings of the NATO Advanced Study Institute, Il Ciocco, Barga, Italy, April 16- 26, 1993. (English) Zbl 0817.68064
NATO ASI Series. Series E. Applied Sciences. 249. Dordrecht: Kluwer Academic Publishers. xii, 466 p. Dfl. 285.00; US $ 160.00; £109.00 /hc (1993).
Reviewer: G.Entreß (Jena)
Automatic vision programming. (English) Zbl 0780.68133
P-functions and Boolean matrix factorization. A unified approach for wired, programmed and microprogrammed implementations of discrete algorithms. (English) Zbl 0568.68028
Lecture Notes in Computer Science 175. Berlin etc.: Springer-Verlag. VII, 248 p. DM 36.50; $ 13.30 (1984).
Reviewer: A.Michalski
Specification and verification of networks in a Petri net based language. (English) Zbl 0522.68019
Applications and theory of Petri nets, sel. Pap. 3rd Eur. Workshop, Varenna/Italy 1982, Inf.-Fachber. 66, 181-198 (1983).
Application and theory of Petri nets. Selected papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Strasbourg, 23. - 26. September 1980; Bad Honnef, 28. - 30. September 1981. (English) Zbl 0474.68075
Informatik-Fachberichte, 52. Berlin-Heidelberg-New York: Springer- Verlag. IX, 337 p. DM 37.50; $ 17.50 (1982).
Expandable grammars and their use in describing programming languages. (English. Russian original) Zbl 0414.68053
Program. Comput. Software 3, 257-265 (1977); translation from Programmirovanie 1977, No. 4, 24-34 (1977).
MSC:
68Q45
Filter Results by …
Document Type
- Journal Articles (3)
- Collection Articles (1)
- Books (3)
all
top 5
Author
- Blutner, Reinhard (1)
- Chen, Chien-Huei (1)
- Girault, Claude (1)
- Kryuchkova, E. N. (1)
- Kyng, Morten (1)
- Mermet, Jean P. (1)
- Mulgaonkar, Prasanna G. (1)
- Reisig, Wolfgang (1)
- Thayse, André (1)