Liknande böcker

The Incomputable : Journeys Beyond the Turing Barrier
Bok av S Barry Cooper
Handbook of Model Checking
Bok av Edmund M Clarke Jr
Introduction to Concurrency Theory : Transition systems and ccs
Bok av Roberto Gorrieri
Finitely Supported Mathematics : An Introduction
Bok av Andrei Alexandru
Turing Computability : Theory and Applications
Bok av Robert I. Soare
Petri Net Synthesis
Bok av Eric. Badouel
Recent Trends in Algebraic Development Techniques : 22nd International W...
Bok av Mihai Codescu
Language and Automata Theory and Applications : 6th International Confer...
Bok av Adrian-Horia. Dediu

Incomputable

Bok