1
Engineering Multi-Agent Systems [E-Book] : First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers /
2
Functional and Logic Programming [E-Book] : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
3
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
4
Relational and Algebraic Methods in Computer Science [E-Book] : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings /
5
Small-Scale Robotics. From Nano-to-Millimeter-Sized Robotic Systems and Applications [E-Book] : First International Workshop at ICRA 2013, Karlsruhe, Germany, May 6, 2013, Revised and Extended Papers /
6
Swarm, Evolutionary, and Memetic Computing [E-Book] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I /
7
Swarm, Evolutionary, and Memetic Computing [E-Book] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II /
8
Principles of Distributed Systems [E-Book] : 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings /
9
SOFSEM 2014: Theory and Practice of Computer Science [E-Book] : 40th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings /
10
Solving Software Challenges for Exascale [E-Book] : International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers /
11
Formal Concept Analysis [E-Book] : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings /
12
Automated Deduction – CADE-24 [E-Book] : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings /
13
Self-Organizing Systems [E-Book] : 7th IFIP TC 6 International Workshop, IWSOS 2013, Palma de Mallorca, Spain, May 9-10, 2013, Revised Selected Papers /
14
Software Reuse for Dynamic Systems in the Cloud and Beyond [E-Book] : 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings /
15
Smart Homes and Health Telematics [E-Book] : 12th International Conference, ICOST 2014, Denver, CO, USA, June 25-27, 2014, Revised Papers /
16
Engineering Multi-Agent Systems [E-Book] : Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers /
17
Computers and Games [E-Book] : 9th International Conference, CG 2016, Leiden, The Netherlands, June 29 – July 1, 2016, Revised Selected Papers /
18
Engineering Multi-Agent Systems [E-Book] : 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers /
19
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [E-Book] : First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings /
20
Human-Computer Interaction. Theory, Design, Development and Practice [E-Book] : 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part I /