Logics of Programs: Brooklyn, June 17-19, 1985 (Lecture Notes in Computer Science (193)) 436 pages...

Recent Trends in Data Type Specification: Fifth Workshop on Specification of Abstract Data Types. Gullane,...

Trustworthy Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected...

Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised...

Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008....

Computer Supported Cooperative Work in Design IV: 11th International Conference, CSCWD 2007, Melbourne, Australia, April...

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings...

Computational Science – ICCS 2009: 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009...

Self-Organizing Systems: Third International Workshop, IWSOS 2008, Vienna, Austria, December 10-12, 2008 (Lecture Notes in...

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November...

Rewriting Techniques and Applications: Bordeaux, France, May 25-27, 1987. Proceedings (Lecture Notes in Computer Science...

Mes premieres constructions de programmes (Lecture Notes in Computer Science (55)) (French Edition) 266 pages...

Visualization in Programming: 5th Interdisciplinary Workshop in Informatics and Psychology Schärding, Austria, May 20-23, 1986...

Knowledge Engineering: Practice and Patterns: 16th International Conference, EKAW 2008, Acitrezza, Sicily, Italy September 29...

Mathematical Foundations of Computer Science 1974: 3rd Symposium at Jadwisin near Warsaw, June 17 -...

Graph Theory and Algorithms: 17th Symposium of Research Institute of Electrical Communication, Tohoku University, Sendai,...

Advanced Topics in Artificial Intelligence: 2nd Advanced Course, ACAI '87, Oslo, Norway, July 28 -...

Future Generation Information Technology: Second International Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010....

Privacy in Statistical Databases: UNESCO Chair in Data Privacy International Conference, PSD 2008, Istanbul, Turkey,...

Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings (Lecture Notes...