Theory of Computation

Systems Approaches and Their Application :Examples from Sweden / by: (Electronic resources)

Dissemination of Information in Communication Networks :Broadcasting, Gossiping, Leader Election, and Fault-Tolerance / by: (Electronic resources)

Universal Artificial Intellegence :Sequential Decisions Based on Algorithmic Probability / by: (Electronic resources)

Theoretical and Experimental DNA Computation / by: (Electronic resources)

Complexity Theory and Cryptology :An Introduction to Cryptocomplexity / by: (Electronic resources)

Contemporary Cryptology / by: (Electronic resources)

Self-Organizing Natural Intelligence :Issues of Knowing, Meaning, and Complexity / by: (Electronic resources)

Handbook of Nature-Inspired and Innovative Computing :Integrating Classical Models with Emerging Technologies / by: (Electronic resources)

Coordination of Large-Scale Multiagent Systems / by: (Electronic resources)

Genetic Programming Theory and Practice III / by: (Electronic resources)

Evolvable Hardware / by: (Electronic resources)

Adaptive Learning of Polynomial Networks :Genetic Programming, Backpropagation and Bayesian Methods / by: (Electronic resources)

Computation Engineering :Applied Automata Theory and Logic / by: (Electronic resources)

Theory of Computation / by: (Electronic resources)

Parameterized Complexity Theory / by: (Electronic resources)

Nanotechnology: Science and Computation / by: (Electronic resources)

Biologically Inspired Algorithms for Financial Modelling / by: (Electronic resources)

Formal Models of Communicating Systems :Languages, Automata, and Monadic Second-Order Logic / by: (Electronic resources)

Interactive Computation :The New Paradigm / by: (Electronic resources)

Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006 :IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23-24, 2006, Santiago, Chile / by: (Electronic resources)

Multivariate Public Key Cryptosystems / by: (Electronic resources)

SAT 2005 :Satisfiability Research in the Year 2005 / by: (Electronic resources)

Computational Science and Its Applications - ICCSA 2006 (vol. # 3982)International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III / by: (Electronic resources)

Computational Science and Its Applications - ICCSA 2006 (vol. # 3983)International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV / by: (Electronic resources)

Computational Science and Its Applications - ICCSA 2006 (vol. # 3984)International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V / by: (Electronic resources)

Central European Functional Programming Schoolsecond summer school, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007 ; revised selected / by: (Language materials, printed)

High performance computing for computational science - VECPAR 20088th international conference, Toulouse, France, June 24-27, 2008 : revised selected papers / by: (Language materials, printed)

Engineering Theories of Software Intensive SystemsProceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 / by: (Electronic resources)