Liknande böcker

STACS 90 : 7th Annual Symposium on Theoretical Aspects of Computer Scien...
Bok av Christian Choffrut
Theory of Computing and Systems : ISTCS '92, Israel Symposium, Haifa, Is...
Bok av Danny Dolev
Higher Order Logic Theorem Proving and Its Applications : 8th Internatio...
Bok av E Thomas Schubert
Fundamentals of Computation Theory : International Conference FCT '87 Ka...
Bok av Lothar Budach
Mathematical Models for the Semantics of Parallelism : Advanced School....
Bok
STACS 92 : 9th Annual Symposium on Theoretical Aspects of Computer Scien...
Bok av Alain Finkel
STACS 89
Bok av Burkhard Monien
Computer Aided Verification : 10th International Conference, CAV'98, Van...
Bok av Alan J Hu

STACS 91

Bok av Christian Choffrut