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=1000

• Programming Satan's computer
  Ross Anderson, Roger Needham
  Lecture Notes in Computer Science 1000, 1995, pp. 426-440
• Petri Net models of distributed algorithms
  Wolfgang Reisig
  Lecture Notes in Computer Science 1000, 1995, pp. 441-454
• Symmetry and induction in model checking
  E.M. Clarke, S. Jha
  Lecture Notes in Computer Science 1000, 1995, pp. 455-470
• Alternating automata and program verification
  Moshe Y. Vardi
  Lecture Notes in Computer Science 1000, 1995, pp. 471-485
• Reasoning about actions and change with ramification
  Erik Sandewall
  Lecture Notes in Computer Science 1000, 1995, pp. 486-504
• Trends in active vision
  Jan-Olof Eklundh
  Lecture Notes in Computer Science 1000, 1995, pp. 505-517
• Computational machine learning in theory and praxis
  Ming Li, Paul Vitányi
  Lecture Notes in Computer Science 1000, 1995, pp. 518-535
• Fuzzy sets as a tool for modeling
  Ronald R. Yager
  Lecture Notes in Computer Science 1000, 1995, pp. 536-548
• Information retrieval and informative reasoning
  C.J. van Rijsbergen
  Lecture Notes in Computer Science 1000, 1995, pp. 549-559
• Database transaction models
  Gottfried Vossen
  Lecture Notes in Computer Science 1000, 1995, pp. 560-574
• Multimedia authoring tools: State of the art and research challenges
  Dick C.A. Bulterman, Lynda Hardman
  Lecture Notes in Computer Science 1000, 1995, pp. 575-591
• Computational models for distributed multimedia applications
  Thomas Käppner, Ralf Steinmetz
  Lecture Notes in Computer Science 1000, 1995, pp. 592-607
• Hypermedia systems as Internet tools
  Hermann Maurer
  Lecture Notes in Computer Science 1000, 1995, pp. 608-624