Elements of Computation Theory

Elements of Computation Theory

As Computer Science progressively matures as an established discipline, it becomes increasingly important to revisit its theoretical foundations, learn the appropriate techniques for answering theory-based questions, and build one’s confidence in implementing this knowledge when building computer ap...

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

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

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

Concise Guide to Computation Theory
ανά: Maruoka, Akira
Έκδοση: (2011)

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

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

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)

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

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

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

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

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

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

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

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

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

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)

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

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)

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

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)

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

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)

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings /
Έκδοση: (2014)

Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings /
Έκδοση: (2012)

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings /
Έκδοση: (2013)

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

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

Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings /
Έκδοση: (2009)

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

A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components /
ανά: Caromel, Denis, κ.ά.
Έκδοση: (2005)

Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings /
Έκδοση: (2009)

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

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

Cannot write session to /tmp/vufind_sessions/sess_p8npcfhbauk19je9bdulg87aqc