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 [3]	Hilfe

Suche: Series=LNCS AND Volume=815

• Cooperative nets
  C. Sibertin-Blanc
  Lecture Notes in Computer Science 815, 1994, pp. 471-490
• Well-formedness of equal conflict systems
  Enrique Teruel, Manuel Silva
  Lecture Notes in Computer Science 815, 1994, pp. 491-510
• Symbolic, symmetry, and stubborn set searches
  Mikko Tiusanen
  Lecture Notes in Computer Science 815, 1994, pp. 511-530
• Compositional analysis with place-bordered subnets
  Antti Valmari
  Lecture Notes in Computer Science 815, 1994, pp. 531-547
• On combining the stubborn set method with the sleep set method
  Kimmo Varpaaniemi
  Lecture Notes in Computer Science 815, 1994, pp. 548-567
• OR causality: Modelling and hardware implementation
  Alex Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno
  Lecture Notes in Computer Science 815, 1994, pp. 568-587