1
Datalog Reloaded [E-Book]: First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers /

Full text 
Favorites
Saved in:
2
Verified Software: Theories, Tools, Experiments [E-Book]: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings /

Full text 
Favorites
Saved in:
3
Practical Aspects of Declarative Languages [E-Book]: 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings /

Full text 
Favorites
Saved in:
4
SOFSEM 2015: Theory and Practice of Computer Science [E-Book] : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings /

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

Full text 
Favorites
Saved in:
6
Innovative Computing and Information [E-Book] : International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011. Proceedings, Part II /
Dai, Minli
2011

Full text 
Favorites
Saved in:
7
Functional and Logic Programming [E-Book] : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /

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

Full text 
Favorites
Saved in:
9
PRIMA 2013: Principles and Practice of Multi-Agent Systems [E-Book] : 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings /

Full text 
Favorites
Saved in:
10
Principles of Distributed Systems [E-Book] : 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings /

Full text 
Favorites
Saved in:
11
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /

Full text 
Favorites
Saved in:
12
Engineering Multi-Agent Systems [E-Book] : First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers /

Full text 
Favorites
Saved in:
13
Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction [E-Book] : 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings /

Full text 
Favorites
Saved in:
14
Swarm, Evolutionary, and Memetic Computing [E-Book] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I /

Full text 
Favorites
Saved in:
15
Swarm, Evolutionary, and Memetic Computing [E-Book] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II /

Full text 
Favorites
Saved in:
16
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:
17
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:
18
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:
19
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:
20
Web Engineering [E-Book] : 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results