1
Programs as Diagrams [E-Book] : From Categorical Computability to Computable Categories /
2
Simple Type Theory [E-Book] : A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
3
Computability [E-Book] /
Subject (ZB): ...Computational complexity....

Full text 
4
Cellular Automata [E-Book] : A Volume in the Encyclopedia of Complexity and Systems Science, Second Edition /
5
High Performance Computing in Science and Engineering [E-Book] : Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers /
6
Language and Automata Theory and Applications [E-Book] : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings /
7
WALCOM: Algorithms and Computation [E-Book] : 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015. Proceedings /
8
Arithmetic of Finite Fields [E-Book] : 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers /
9
Genetic Programming [E-Book] : 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /
10
Theory of Cryptography [E-Book] : 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I /
11
Theory of Cryptography [E-Book] : 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II /
12
Algorithms and Complexity [E-Book] : 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings /
13
Graph-Based Representations in Pattern Recognition [E-Book] : 10th IAPR-TC-15 International Workshop, GbRPR 2015, Beijing, China, May 13-15, 2015. Proceedings /
14
Analytical and Stochastic Modelling Techniques and Applications [E-Book] : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings /
15
Codes, Cryptology, and Information Security [E-Book] : First International Conference, C2SI 2015, Rabat, Morocco, May 26-28, 2015, Proceedings - In Honor of Thierry Berger /
16
Mathematical Morphology and Its Applications to Signal and Image Processing [E-Book] : 12th International Symposium, ISMM 2015, Reykjavik, Iceland, May 27-29, 2015. Proceedings /
17
Thinking Ahead - Essays on Big Data, Digital Revolution, and Participatory Market Society [E-Book] /
18
Logic-Based Program Synthesis and Transformation [E-Book] : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
19
Integration of AI and OR Techniques in Constraint Programming [E-Book] : 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings /
20
Approximation and Online Algorithms [E-Book] : 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised Selected Papers /