STACS 97 : 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27-March 1, 1997 : proceedings

Rüdiger Reischuk, Michel Morvan (eds.)
Bok · Engelsk · 1997 Symposium on Theoretical Aspects of Computer Science

Utgitt	Berlin : Springer , c1997
Omfang	XIII, 614 s. : fig.
Emner	Algoritmer Automatateori Automatisk læring Computer Science Vis mer... Datastrukturer Engineering & Applied Sciences Formell spesifikasjon Formelle språk Geometriske algoritmer Kompleksitetsanalyse Kryptografi Logikk Parallelle systemer Programverifikasjon Semantikk Stacs Teoretisk databehandling teoretisk informatikk
Dewey	004
ISBN	3540626166