#
Theory of Computation
Resource Information
The concept ** Theory of Computation** represents the subject, aboutness, idea or notion of resources found in **University of Oklahoma Libraries**.

The Resource
Theory of Computation
Resource Information

The concept

**Theory of Computation**represents the subject, aboutness, idea or notion of resources found in**University of Oklahoma Libraries**.- Label
- Theory of Computation

## Context

Context of Theory of Computation#### Subject of

- 802.11 Wireless Networks : Security and Analysis
- A 25-Year Perspective on Logic Programming : Achievements of the Italian Association for Logic Programming, GULP
- A Brief History of Computing
- A Classical Introduction to Cryptography Exercise Book
- A Computer Scientist's Guide to Cell Biology : A travelogue from a stranger in a strange land
- A Concise Introduction to Languages and Machines
- A Modular Calculus for the Average Cost of Data Structuring
- A Parallel Algorithm Synthesis Procedure for High-Performance Computer Architectures
- A Platform-Centric Approach to System-on-Chip (SOC) Design
- A Short Course in Quantum Information Theory : An Approach From Theoretical Physics
- A Short Course in Quantum Information Theory : An Approach From Theoretical Physics
- AI 2009: Advances in Artificial Intelligence : 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009, Proceedings
- Abstract State Machines 2003: Advances in Theory and Practice : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings
- Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
- Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
- Abstraction, Reformulation and Approximation : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings
- Abstraction, Reformulation, and Approximation : 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings
- Abstraction, Reformulation, and Approximation : 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings
- Achievements in European Research on Grid Systems : CoreGRID Integration Workshop 2006 (Selected Papers)
- Ad Hoc Networks : First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers
- Adaptive Computing in Design and Manufacture V
- Adaptive Hypermedia and Adaptive Web-Based Systems : International Conference, AH 2000, Trento, Italy, August 28-30, 2000 Proceedings
- Adaptive Modelling, Estimation and Fusion from Data : A Neurofuzzy Approach
- Adaptive Scalarization Methods in Multiobjective Optimization
- Advanced Distributed Systems : 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers
- Advanced Environments, Tools, and Applications for Cluster Computing : NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1-6, 2001. Revised Papers
- Advanced Functional Programming : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures
- Advanced Information Systems Engineering : 10th International Conference, CAiSE'98, Pisa, Italy, June 8-12, 1998, Proceedings
- Advanced Information Systems Engineering : 13th International Conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001. Proceedings
- Advanced Information Systems Engineering : 9th International Conference, CAiSE'97, Barcelona, Catalonia, Spain, June 16-20, 1997, Proceedings
- Advanced Intelligent Computing Theories and Applications : With Aspects of Contemporary Intelligent Computing Techniques
- Advanced Manufacturing and Sustainable Logistics : 8th International Heinz Nixdorf Symposium, IHNS 2010, Paderborn, Germany, April 21-22, 2010. Proceedings
- Advanced Parallel Processing Technologies : 8th International Symposium, APPT 2009, Rapperswil, Switzerland, August 24-25, 2009 Proceedings
- Advanced Topics on Astrophysical and Space Plasmas : Proceedings of the Advanced School on Astrophysical and Space Plasmas held in Guarujá, Brazil, June 26–30, 1995
- Advances in Applied Self-Organizing Systems
- Advances in Applied Self-organizing Systems
- Advances in Artificial Life, Evolutionary Computation and Systems Chemistry : 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papers
- Advances in Automatic Differentiation