Liknande böcker

Implementation and Application of Automata : 7th International Conferenc...
Bok
Implementation and Application of Automata: 8Th International Conference...
Bok av Oscar H. Ibarra
Computer science logic : 10th international workshop, CSL '96 : Annual C...
Bok av Dirk van Dalen
Proofs and Algorithms : An Introduction to Logic and Computability
Bok av Gilles. Dowek
Computing with New Resources : Essays Dedicated to Jozef Gruska on the O...
Bok av Cristian S. Calude
Theory and Applications of Models of Computation : 7th Annual Conference...
Bok av Jan. Kratochvíl
Frontiers of Combining Systems
Bok av Boris. Konev
Decision Procedures : An Algorithmic Point of View
Bok av Daniel. Kroening

Theories of computability

Bok av Nicholas Pippenger