Fakultät für Informatik - Technische Universität München Lehrstuhl für Effiziente Algorithmen

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen	Hilfe

Suche: Series=LNCS AND Volume=577

• A discrete event simulator of communication algorithms in interconnection networks
  Miltos D. Grammatikakis, Jung-Sing Jwo
  Lecture Notes in Computer Science 577, 1992, pp. 609-610
• ALPHA DU CENTAUR: An environment for the design of systolic arrays
  Hervé Le Verge
  Lecture Notes in Computer Science 577, 1992, pp. 611-612
• Verification of communicating processes by means of automata reduction and abstraction
  Eric Madelaine, Didier Vergamini
  Lecture Notes in Computer Science 577, 1992, pp. 613-614
• Distributed system simulator (DSS)
  P. Spirakis, B. Tampakas, M. Papatriantafillou, K. Konstantoulis, K. Vlaxodimitropoulos, V. Antonopoulos, P. Kazazis, T. Metallidou, D. Spartiotis
  Lecture Notes in Computer Science 577, 1992, pp. 615-616
• An interactive proof tool for process algebras
  Huimin Lin
  Lecture Notes in Computer Science 577, 1992, pp. 617-618
• SPECI90. A term rewriting and narrowing system
  Peter Bachmann, Thomas Drescher, Sabine Nieke
  Lecture Notes in Computer Science 577, 1992, pp. 619-620