1
Logic-Based Program Synthesis and Transformation [E-Book] : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /
2
Combinatorial Image Analysis [E-Book] : 17th International Workshop, IWCIA 2015, Kolkata, India, November 24-27, 2015. Proceedings /
3
Approximation and Online Algorithms [E-Book] : 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers /
4
SOFSEM 2016: Theory and Practice of Computer Science [E-Book] : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings /
5
Multidisciplinary Aspects of Time and Time Perception [E-Book] : COST TD0904 International Workshop, Athens, Greece, October 7-8, 2010, Revised Selected Papers /
6
Intelligent Robotics and Applications [E-Book] : 4th International Conference, ICIRA 2011, Aachen, Germany, December 6-8, 2011, Proceedings, Part II /
7
Virtual Colonoscopy and Abdominal Imaging. Computational Challenges and Clinical Opportunities [E-Book] : Second International Workshop, Held in Conjunction with MICCAI 2010, Beijing, China, September 20, 2010, Revised Selected Papers /
8
Swarm, Evolutionary, and Memetic Computing [E-Book] : Second International Conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19-21, 2011, Proceedings, Part II /
9
Communication and Networking [E-Book] : International Conference, FGCN 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part II /
10
Virtual Reality & Augmented Reality in Industry [E-Book] : The 2nd Sino-German Workshop /
11
Security Technology [E-Book] : International Conference, SecTech 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings /
12
Information Computing and Applications [E-Book] : Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part I /
13
Algebraic Informatics [E-Book] : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings /
14
Information Processing in Cells and Tissues [E-Book] : 10th International Conference, IPCAT 2015, San Diego, CA, USA, September 14-16, 2015, Proceedings /
15
Logic Programming and Nonmonotonic Reasoning [E-Book] : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /
16
Geometric Science of Information [E-Book] : Second International Conference, GSI 2015, Palaiseau, France, October 28–30, 2015, Proceedings /
17
Structural Information and Communication Complexity [E-Book] : 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings /
18
Cryptography and Coding [E-Book] : 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings /
19
Advances in Computer Games [E-Book] : 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers /
20
Recent Trends in Algebraic Development Techniques [E-Book] : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /