×

Found 36 Documents (Results 1–36)

Petri nets, linear algebra and linear programming. Analysis, verification and correctness proofs of system models. (Petrinetze, lineare Algebra und lineare Programmierung. Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen.) (German) Zbl 0909.68100

Teubner-Texte zur Informatik. 26. Leipzig: Teubner. 133 S. (1998).
PDFBibTeX XMLCite

The language of machines. (Die Sprache der Maschinen. Übers. aus d. Amerikan. von Philip Zeitz & Carsten Grefe.) (German) Zbl 0879.68062

Bonn: itp, International Thomson Publishing. xxvii, 652 p. (1996).
MSC:  68Q45 68-01 68Q05 03D10
PDFBibTeX XMLCite

Parallel machines: parallel machine languages. The emergence of hybrid dataflow computer architectures. (English) Zbl 0705.68005

The Kluwer International Series in Engineering and Computer Science, 96. Boston etc.: Kluwer Academic Publishers. XXVIII, 197 p. $ 59.95 (1990).
Reviewer: M.Jantzen
MSC:  68-02 68M01 68M99
PDFBibTeX XMLCite

Petri-Netz-Methoden und -Werkzeuge. Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen. (German) Zbl 0681.68003

Informatik-Fachberichte, 197. Berlin etc.: Springer-Verlag. XII, 254 p. (1988).
Reviewer: M.Jantzen
MSC:  68-02 68N99 68Q85
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software