Theory of Computation.
Overview
| Works: | 101 works in 101 publications in 101 languages | |
|---|---|---|
Titles
The realism-antirealism debate in the age of alternative logics[electronic resource] /
by:
(Language materials, printed)
The universe as automaton[electronic resource] :from simplicity and symmetry to complexity /
by:
(Language materials, printed)
Computational complexity[electronic resource] :theory, techniques, and applications /
by:
(Language materials, printed)
Approximation algorithms and semidefinite programming[electronic resource] /
by:
(Language materials, printed)
Boolean function complexity[electronic resource] :advances and frontiers /
by:
(Language materials, printed)
Computation, physics and beyond[electronic resource] :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 /
by:
(Language materials, printed)
Mathematical modeling and computational science[electronic resource] :international conference, MMCP 2011, Stara Lesna, Slovakia, July 4-8, 2011 : revised selected papers /
by:
(Language materials, printed)
Recent trends in algebraic development techniques[electronic resource] :20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers /
by:
(Language materials, printed)
Parameterized and exact computation[electronic resource] :6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 6-8, 2011 : revised selected papers /
by:
(Language materials, printed)
Transactions on petri nets and other models of concurrency V[electronic resource] /
by:
(Language materials, printed)
Frontiers in algorithmics and algorithmic aspects in information and management[electronic resource] :joint international conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012 : proceedings /
by:
(Language materials, printed)
Theory and practice of computation[electronic resource] :Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 : proceedings /
by:
(Language materials, printed)
Theory and applications of models of computation[electronic resource] :9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings /
by:
(Language materials, printed)
Provable security[electronic resource] :second international conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008 : proceedings /
by:
(Language materials, printed)
Theory of quantum computation, communication, and cryptography[electronic resource] :third workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008 : revised selected papers /
by:
(Language materials, printed)
Quantum interaction[electronic resource] :6th international symposium, QI 2012, Paris, France, June 27-29, 2012 : revised selected papers /
by:
(Language materials, printed)
Natural computing[electronic resource] :2nd international workshop on natural computing, Nagoya, Japan, December 2007 : proceedings /
by:
(Language materials, printed)
Formal methods for executable software models[electronic resource] :14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014 : advanced lectures /
by:
(Language materials, printed)
Field-coupled nanocomputing[electronic resource] :paradigms, progress, and perspectives /
by:
(Language materials, printed)
Foundations of security analysis and design VII[electronic resource] :FOSAD 2012/2013 tutorial lectures /
by:
(Language materials, printed)
Mathematical software - ICMS 2014[electronic resource] :4th International Congress, Seoul, South Korea, August 5-9, 2014 : proceedings /
by:
(Language materials, printed)
Constructivity and computability in historical and philosophical perspective[electronic resource] /
by:
(Language materials, printed)
Supercomputing[electronic resource] :29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014 : proceedings /
by:
(Language materials, printed)
Applied cryptography and network security[electronic resource] :12th International Conference, ACNS 2014, Lausanne, Switzerland, June 10-13, 2014 : proceedings /
by:
(Language materials, printed)
Transactions on computational science XXIII[electronic resource] :special issue on cyberworlds /
by:
(Language materials, printed)
Unconventional Computation and Natural Computation[electronic resource] :13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014 : proceedings /
by:
(Language materials, printed)
Declarative programming and knowledge management[electronic resource] :Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 : revised selected papers /
by:
(Language materials, printed)
Theory and applications of satisfiability testing - SAT 2014[electronic resource] :17th International Conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings /
by:
(Language materials, printed)
Biomimetic and biohybrid systems[electronic resource] :third International Conference, Living Machines 2014, Milan, Italy, July 30 - August 1, 2014 : proceedings /
by:
(Language materials, printed)
Nature of computation and communication[electronic resource] :International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014 : revised selected papers /
by:
(Language materials, printed)
Theory and principled methods for the design of metaheuristics[electronic resource] /
by:
(Language materials, printed)
Discrete and topological models in molecular biology[electronic resource] /
by:
(Language materials, printed)
Pairing-based cryptography - Pairing 2013[electronic resource] :6th International Conference, Beijing, China, November 22-24, 2013 : revised selected papers /
by:
(Language materials, printed)
Theory and applications of formal argumentation[electronic resource] :second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013 : revised selected papers /
by:
(Language materials, printed)
Programming languages and operational semantics[electronic resource] :a concise overview /
by:
(Language materials, printed)
Computer games[electronic resource] :Workshop on Computer Games, CGW 2013, Held in Conjunction with the 23rd International Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3, 2013 : revised selected papers /
by:
(Language materials, printed)
Model-driven software migration[electronic resource] :a methodology : Reengineering, recovery and modernization of legacy systems /
by:
(Language materials, printed)
Theory of quantum computation, communication, and cryptography[electronic resource] :6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011 : revised selected papers /
by:
(Language materials, printed)
High performance computing[electronic resource] :30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015 : proceedings /
by:
(Language materials, printed)
Behavior modeling[electronic resource] :foundations and applications : International Workshops, BM-FA 2009-2014 : revised selected papers /
by:
(Language materials, printed)
Biomimetic and biohybrid systems[electronic resource] :4th International Conference, Living Machines 2015, Barcelona, Spain, July 28 - 31, 2015 : proceedings /
by:
(Language materials, printed)
Bridging constraint satisfaction and Boolean satisfiability[electronic resource] /
by:
(Language materials, printed)
Energy time series forecasting[electronic resource] :efficient and accurate forecasting of evolving time series from the energy domain /
by:
(Language materials, printed)
Unconventional computation and natural computation[electronic resource] :14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 - September 3, 2015 : proceedings /
by:
(Language materials, printed)
Machines, computations, and universality[electronic resource] :7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings /
by:
(Language materials, printed)
Combinatorics on words[electronic resource] :10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015 : proceedings /
by:
(Language materials, printed)
Introduction to concurrency theory[electronic resource] :transition systems and CCS /
by:
(Language materials, printed)
Theory and applications of satisfiability testing - SAT 2015[electronic resource] :18th International Conference, Austin, TX, USA, September 24-27, 2015 : proceedings /
by:
(Language materials, printed)
Algorithmic learning theory[electronic resource] :26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015 : proceedings /
by:
(Language materials, printed)
Advances in cryptology - ASIACRYPT 2015[electronic resource] :21st International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand, November 29 - December 3, 2015 : proceedings.Part I /
by:
(Language materials, printed)
Advances in cryptology - ASIACRYPT 2015[electronic resource] :21st International Conference on the Theory and Application of Cryptology and Information Security Auckland, New Zealand, November 29 - December 3, 2015 : proceedings.Part II /
by:
(Language materials, printed)
Encyclopedia of applied and computational mathematics[electronic resource] /
by:
(Language materials, printed)
Graph and model transformation[electronic resource] :general framework and applications /
by:
(Language materials, printed)
Agents and artificial intelligence[electronic resource] :7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015 : revised selected papers /
by:
(Language materials, printed)
Applied cryptography and network security[electronic resource] :13th International Conference, ACNS 2015, New York, NY, USA, June 2-5, 2015 : revised selected papers /
by:
(Language materials, printed)
Theory and applications of formal argumentation[electronic resource] :third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015 : revised selected papers /
by:
(Language materials, printed)
Advances in artificial life, evolutionary computation and systems chemistry[electronic resource] :10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015 : revised selected papers /
by:
(Language materials, printed)
Hybrid metaheuristics[electronic resource] :powerful tools for optimization /
by:
(Language materials, printed)
Principles and methods of quantum information technologies[electronic resource] /
by:
(Language materials, printed)
The digital synaptic neural substrate[electronic resource] :a new approach to computational creativity /
by:
(Language materials, printed)
Applied cryptography and network security[electronic resource] :14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016 : proceedings /
by:
(Electronic resources)
Theory and applications of satisfiability testing - SAT 2016[electronic resource] :19th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings /
by:
(Electronic resources)
High performance computing[electronic resource] :31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016 : proceedings /
by:
(Electronic resources)
Self-aware computing systems[electronic resource] :an engineering approach /
by:
(Electronic resources)
Biomimetic and biohybrid systems[electronic resource] :5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016 : proceedings /
by:
(Electronic resources)
Evolutionary computer vision[electronic resource] :the first footprints /
by:
(Electronic resources)
An introduction to online computation[electronic resource] :determinism, randomization, advice /
by:
(Electronic resources)
Semantic web challenges[electronic resource] :third SemWebEval Challenge at ESWC 2016, Heraklion, Crete, Greece, May 29 - June 2, 2016 : revised selected papers /
by:
(Electronic resources)
Nature of computation and communication[electronic resource] :second International Conference, ICTCC 2016, Rach Gia, Vietnam, March 17-18, 2016 : revised selected papers /
by:
(Electronic resources)
History and philosophy of computing[electronic resource] :third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015 : revised selected papers /
by:
(Electronic resources)
High performance computing[electronic resource] :ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19-23, 2016 : revised selected papers /
by:
(Electronic resources)
An introduction to transfer entropy[electronic resource] :information flow in complex systems /
by:
(Language materials, printed)
Wireless power transfer algorithms, technologies and applications in ad hoc communication networks[electronic resource] /
by:
(Language materials, printed)
Decision procedures[electronic resource] :an algorithmic point of view /
by:
(Language materials, printed)
Subjects