Concise Guide to Computation Theory

Concise Guide to Computation Theory

Computation lies at the heart of modern digital technology and our increasingly advanced information society. The theory of computation describes what tasks can and cannot be computed, and how efficiently the computable tasks can be computed. This focused and accessible guide/textbook presents a tho...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Maruoka, Akira (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	London : Springer London : Imprint: Springer, 2011.
Θέματα:	Computer science. Computers. Computer mathematics. Computer Science. Theory of Computation. Computational Science and Engineering.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Elements of Computation Theory
ανά: Singh, Arindama
Έκδοση: (2009)

Concise Computer Mathematics Tutorials on Theory and Problems /
ανά: Bagdasar, Ovidiu
Έκδοση: (2013)

Theory of Computation
ανά: Kozen, Dexter C.
Έκδοση: (2006)

Concise Guide to Computing Foundations Core Concepts and Select Scientific Applications /
ανά: Brewer, Kevin, κ.ά.
Έκδοση: (2016)

The Foundations of Computability Theory
ανά: Robič, Borut
Έκδοση: (2015)

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications /
ανά: O'Regan, Gerard
Έκδοση: (2017)

Complex-Valued Neural Networks
ανά: Hirose, Akira
Έκδοση: (2006)

Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings /
Έκδοση: (2013)

Theory of Reversible Computing
ανά: Morita, Kenichi
Έκδοση: (2017)

The Puzzle of Granular Computing
ανά: Apolloni, Bruno, κ.ά.
Έκδοση: (2008)

Introduction to Concurrency Theory Transition Systems and CCS /
ανά: Gorrieri, Roberto, κ.ά.
Έκδοση: (2015)

Turing Computability Theory and Applications /
ανά: Soare, Robert I.
Έκδοση: (2016)

Introduction to Bayesian Scientific Computing Ten Lectures on Subjective Computing /
ανά: Calvetti, Daniela, κ.ά.
Έκδοση: (2007)

Computational and Information Science First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings /
Έκδοση: (2005)

Aggregation Functions: A Guide for Practitioners
ανά: Beliakov, Gleb, κ.ά.
Έκδοση: (2007)

Modern Language Models and Computation Theory with Applications /
ανά: Meduna, Alexander, κ.ά.
Έκδοση: (2017)

Higher-Order Computability
ανά: Longley, John, κ.ά.
Έκδοση: (2015)

Computer and Information Science
Έκδοση: (2008)

The Pillars of Computation Theory State, Encoding, Nondeterminism /
ανά: Rosenberg, Arnold L.
Έκδοση: (2010)

Computation Engineering Applied Automata Theory and Logic /
ανά: Gopalakrishnan, Ganesh
Έκδοση: (2006)

Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings /
Έκδοση: (2009)

Theory and Applications of Satisfiability Testing – SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings /
Έκδοση: (2016)

Concise Guide to Software Engineering From Fundamentals to Application Methods /
ανά: O'Regan, Gerard
Έκδοση: (2017)

Computational Science - ICCS 2004 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part I /
Έκδοση: (2004)

Computational Science - ICCS 2004 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part II /
Έκδοση: (2004)

Computational Science - ICCS 2004 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part III /
Έκδοση: (2004)

Computational Science - ICCS 2004 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part IV /
Έκδοση: (2004)

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings /
Έκδοση: (2005)

Towards a Unified Modeling and Knowledge-Representation based on Lattice Theory Computational Intelligence and Soft Computing Applications /
ανά: Kaburlasos, Vassilis G.
Έκδοση: (2006)

Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings /
Έκδοση: (2013)

Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005. Proceedings /
Έκδοση: (2005)

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings /
Έκδοση: (2007)

Mathematical Theory and Computational Practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings /
Έκδοση: (2009)

Computer Science – Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings /
Έκδοση: (2007)

Computer Science – Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings /
Έκδοση: (2008)

Computer Science – Theory and Applications First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings /
Έκδοση: (2006)

Modeling Time in Computing
ανά: Furia, Carlo A., κ.ά.
Έκδοση: (2012)

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedings /
Έκδοση: (2006)

Scientific Computing with MATLAB and Octave Second Edition /
ανά: Quarteroni, Alfio, κ.ά.
Έκδοση: (2006)

Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings /
Έκδοση: (2007)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών