Liknande böcker

Cambridge Computer Science Texts
Bok av L. Allison
Qualified Types
Bok av Mark P. Jones
The B-Book : Assigning Programs to Meanings
Bok av Jean-Raymond Abrial
Term Rewriting Systems
Bok av Terese
Design and Implementation of Symbolic Computation Systems
Bok
STACS 97 : 14th Annual Symposium on Theoretical Aspects of Computer Scie...
Bok av Rudiger Reischuk
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, Apr...
Bok av Bruno Buchberger
Developments In Language Theory: Foundations, Applications, And Perspect...
Bok av ROZENBERG G ET AL

Cambridge Tracts in Theoretical Computer Science

Bok av Wim H Hesselink