1
Logic-Based Program Synthesis and Transformation [E-Book] : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /

Full text 
Favorites
Saved in:
2
Information Security [E-Book] : 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings /

Full text 
Favorites
Saved in:
3
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /

Full text 
Favorites
Saved in:
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 /

Full text 
Favorites
Saved in:
5
Engineering the Web in the Big Data Era [E-Book] : 15th International Conference, ICWE 2015, Rotterdam, The Netherlands, June 23-26, 2015, Proceedings /

Full text 
Favorites
Saved in:
6
Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection [E-Book] : 13th International Conference, PAAMS 2015, Salamanca, Spain, June 3-4, 2015, Proceedings /

Full text 
Favorites
Saved in:
7
Combinatorics on Words [E-Book] : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /

Full text 
Favorites
Saved in:
8
Logic Programming and Nonmonotonic Reasoning [E-Book] : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /

Full text 
Favorites
Saved in:
9
Agent Environments for Multi-Agent Systems IV [E-Book] : 4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014, Revised Selected and Invited Papers /

Full text 
Favorites
Saved in:
10
Computational Logistics [E-Book] : 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings /

Full text 
Favorites
Saved in:
11
PRIMA 2015: Principles and Practice of Multi-Agent Systems [E-Book] : 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings /

Full text 
Favorites
Saved in:
12
Advances in Computer Games [E-Book] : 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers /

Full text 
Favorites
Saved in:
13
Engineering Multi-Agent Systems [E-Book] : Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers /

Full text 
Favorites
Saved in:
14
Hardware and Software: Verification and Testing [E-Book] : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings /

Full text 
Favorites
Saved in:
15
Ambient Assisted Living. ICT-based Solutions in Real Life Situations [E-Book] : 7th International Work-Conference, IWAAL 2015, Puerto Varas, Chile, December 1-4, 2015, Proceedings /

Full text 
Favorites
Saved in:
16
Human-Computer Interaction: Design and Evaluation [E-Book] : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part I /

Full text 
Favorites
Saved in:
17
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 /

Full text 
Favorites
Saved in:
18
Frontiers in Gaming Simulation [E-Book] : 44th International Simulation and Gaming Association Conference, ISAGA 2013 and 17th IFIP WG 5.7 Workshop on Experimental Interactive Learning in Industrial Management, Stockholm, Sweden, June 24-28, 2013. Revised Selected Papers /

Full text 
Favorites
Saved in:
19
Verification, Model Checking, and Abstract Interpretation [E-Book] : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings /

Full text 
Favorites
Saved in:
20
Verified Software: Theories, Tools, Experiments [E-Book] : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /

Full text 
Favorites
Saved in:

Narrow Search Results