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

Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers

Problem-Solving Methods: Understanding, Description, Development, and Reuse

The Programming Language Ada. Reference Manual: American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983. Approved 17 February 1983

Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization

Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy: 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings

Arabic and Chinese Handwriting Recognition: Summit, SACH 2006, College Park, MD, USA, September 27-28, 2006, Selected Papers

MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics

Automata, Languages, and Programming: Sixth Colloquium, Graz, Austria, July 16-20, 1979. Proceedings

CASL User Manual: Introduction to Using the Common Algebraic Specification Language

Grammatical Inference and Applications: Second International Colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994. Proceedings

Software Process Technology: Second European Workshop, EWSPT '92, Trondheim, Norway, September 7-8, 1992. Proceedings

Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System

CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language

Compiler Construction: 5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings

Formal Syntax and Semantics of Java

Partial Evaluation: International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers

Petri Net Technology for Communication-Based Systems: Advances in Petri Nets

Software Process: Principles, Methodology, and Technology

Compiler Construction: 6th International Conference, CC '96, Linköping, Sweden, April 24 - 26, 1996. Proceedings.

Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings

RIMS Symposium on Software Science and Engineering: Kyoto, 1982. Proceedings

Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25- April 2, 2000 Proceedings