STACS 97 : 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, Febru - detaljert visning

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


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