Theory of computation /

Theory of computation /

Show other versions (4)

Salvato in:

Dettagli Bibliografici
Autore principale:	Kozen, Dexter C. (Autore)
Ente Autore:	SpringerLink (Online service)
Natura:	eBook
Lingua:	English
Serie:	Texts in Computer Science
Soggetti:	Computer science Computer science > Mathematics Computer software Information theory
Accesso online:	Click here to view the full text content
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne! !

Documenti analoghi

Theory of computation /
di: Kozen, Dexter C.
Pubblicazione: (2006)

Theory of computation /
di: Kozen, Dexter C.
Pubblicazione: (2006)

Theory of computation
di: Kozen, Dexter C.
Pubblicazione: (2006)

Theory of computation
di: Kozen, Dexter C.
Pubblicazione: (2006)

Theory of quantum computation, communication, and cryptography : 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers /
Pubblicazione: (2014)

Theory of quantum computation, communication, and cryptography 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers /
Pubblicazione: (2011)

Theory of quantum computation, communication, and cryptography : 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers /
Pubblicazione: (2013)

Automata and computability /
di: Kozen, Dexter C.
Pubblicazione: (1997)

Elements of computation theory
di: Singh, Arindama
Pubblicazione: (2009)

Theory and applications of models of computation : 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings /
Pubblicazione: (2014)

Theory and applications of models of computation : 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings /
Pubblicazione: (2012)

Theory and applications of models of computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings /
Pubblicazione: (2013)

Engineering theories of software intensive systems proceedings of the NATO advanced study institute on engineering theories of software intensive systems marktoberdorf, Germany 3-15 August 2004 /
Pubblicazione: (2005)

Theory and applications of models of computation 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /
Pubblicazione: (2010)

Parameterized complexity theory /
di: Flum, Jorg

Science gateways for distributed computing infrastructures : development framework and exploitation by scientific user communities /
Pubblicazione: (2014)

Number theory for computing /
di: Song, Y. Yan
Pubblicazione: (2002)

Fundamentals of computation theory : 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings /
Pubblicazione: (2013)

Computational complexity : theory, techniques, and applications /
Pubblicazione: (2012)

Genetic programming theory and practice X /
Pubblicazione: (2013)

Genetic programming theory and practice XI /
Pubblicazione: (2014)

Theoretical computer science 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings /
Pubblicazione: (2012)

Algorithmic randomness and complexity
di: Downey, Rodney G.
Pubblicazione: (2010)

Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday /
Pubblicazione: (2013)

Handbook of nature-inspired and innovative computing : integrating classical models with emerging technologies /

Super-Recursive Algorithms
di: Burgin, Mark
Pubblicazione: (2005)

Search computing challenges and directions /
Pubblicazione: (2010)

Computation, physics and beyond : international workshop on theoretical computer science, WTCS 2012, dedicated to Cristian S. Calude on the occasion of his 60th birthday, Auckland, New Zealand, February 21-24, 2012, revised selected and invited papers /
di: Dinneen, Michael J.
Pubblicazione: (2012)

Lectures in game theory for computer scientists /
Pubblicazione: (2011)

Mathematical theory and computational practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings /
Pubblicazione: (2009)

Theory of fuzzy computation /
di: Syropoulos, Apostolos
Pubblicazione: (2014)

High performance computing for computational science - VECPAR 2004 6th international conference, Valencia, Spain, June 28-30, 2004, revised selected and invited papers
di: DaydÃ©, Michel
Pubblicazione: (2005)

High performance computing for Computational Science - VECPAR 2006 : International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /
Pubblicazione: (2007)

Formal theories of information from shannon to semantic information theory and general concepts of information /
Pubblicazione: (2009)

Computation Engineering Applied Automata Theory and Logic /
di: Gopalakrishnan, Ganesh
Pubblicazione: (2006)

New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings
di: Cooper, Barry S.
Pubblicazione: (2005)

Mathematics of discrete structures for computer science /
di: Pace, Gordon J.
Pubblicazione: (2012)

New Computational Paradigms Changing Conceptions of What is Computable /
Pubblicazione: (2008)

Modelling Autonomic Communication Environments 5th IEEE international workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. proceedings /
Pubblicazione: (2010)

Coordination of large-scale multiagent systems /
Pubblicazione: (2006)