Liknande böcker

Goldblatt, R.: Axiomatising the Logic of Computer Programming
Bok av Goldblatt
TEMPO
Bok av Neil D. Jones
A Relational Theory of Computing
Bok av John G. Sanderson
Algorithm Theory - SWAT '94 : 4th Scandianvian Workshop on Algorithm The...
Bok av Scandinavian Workshop on Algorithm Theory
Ronse, Christian: Feedback Shift Registers
Bok av Christian Ronse
Community Computing and Support Systems : Social interaction in networke...
Bok
Middleware 2000
Bok
Thayse, A.: P-Functions and Boolean Matrix Factorization
Bok av André Thayse

Sandford, David M.: Using Sophisticated Models in Resolution Theorem Proving

Bok av David M. Sandford