1
Computing and Combinatorics [E-Book] : 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings /
Table of Contents: “...Algorithms and data structures -- Algorithmic game theory; approximation algorithms and online algorithms -- Automata, languages, logic and computability -- Complexity theory -- Computational learning theory -- Cryptography, reliability and security...”

Full text 
Favorites
Saved in:
2
Computing and Combinatorics [E-Book] : 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings /
Table of Contents: “... Theory and Algorithms -- Theory and Cryptography -- Scheduling Algorithms and Circuit Complexity -- CSoNet....”

Full text 
Favorites
Saved in:
3
Language and Automata Theory and Applications [E-Book] : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings /

Full text 
Favorites
Saved in:
4
Certified Programs and Proofs [E-Book] : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings /
Table of Contents: “...Scalable Formal Machine Models -- Mechanized Semantics for Compiler Verification -- Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model Checking -- A Formally-Verified Alias Analysis...”

Full text 
Favorites
Saved in:

Narrow Search Results