Liknande böcker

Typed Lambda Calculi and Applications: 4th International Conference, TLC...
Bok av Jean-Yves Girard
Typed lambda calculi and applications
Bok av Marc Bezem
Typed Lambda Calculi and Applications : Third International Conference o...
Bok av Philippe De Groote
Typed lambda calculi and applications : Second International Conference...
Bok av Mariangiola Dezani-Ciancaglini
Typed Lambda Calculi and Applications
Bok av Samson Abramsky
Algebraic methodology and software technology : 4th international confer...
Bok av Vangalur S Alagar
Mathematics of Program Construction : Second International Conference, O...
Bok av Richard Bird
Graph-theoretic concepts in computer science
Bok av Manfred Nagl

Computational Complexity

Bok av K. Wagner