1
Intelligence and Security Informatics [E-Book] : Pacific Asia Workshop, PAISI 2011, Beijing, China, July 9, 2011. Proceedings /
2
Intelligence and Security Informatics [E-Book] : Pacific Asia Workshop, PAISI 2010, Hyderabad, India, June 21, 2010. Proceedings /
3
Technology Enhanced Learning. Quality of Teaching and Educational Reform : First International Conference, TECH-EDUCATION 2010, Athens, Greece, May 19-21, 2010. Proceedings [E-Book]/
4
Unconventional Computation [E-Book] : 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007. Proceedings /
5
Formal Methods and Software Engineering [E-Book] : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings.
6
Innovative Concepts for Autonomic and Agent-Based Systems [E-Book] / Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers
7
Formal Approaches to Agent-Based Systems [E-Book] : Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers /
8
Formal Approaches to Agent-Based Systems [E-Book] : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers /
9
Formal Approaches to Agent-Based Systems [E-Book] : First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers /
10
ZUM '98: The Z Formal Specification Notation [E-Book] : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings /
11
ZUM'97: The Z Formal Specification Notation [E-Book] : 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings /