Search Results

A Calculus of Communicating Systems (Lecture Notes in Computer Science, 92) (Volume 0)

R. Milner

Analogical and Inductive Inference: International Workshop AII '92, Dagstuhl Castle, Germany, October 5-9, 1992. Proceedings (Lecture Notes in Computer Science, 642)

Klaus P. Jantke

Global Security, Safety, and Sustainability: 6th International Conference, ICGS3 2010, Braga, Portugal, September 1-3, 2010. Proceedings (Communications in Computer and Information Science, 92)

Sergio Tenreiro De Magalhaes

Graph-Theoretic Concepts in Computer Science: 18th International Workshop, WG '92, Wiesbaden-Naurod, Germany, June 18-20, 1992. Proceedings (Lecture Notes in Computer Science, 657)

Ernst W. Mayr

Advances in Cryptology ― CRYPTO ’92: 12th Annual International Cryptology Conference, Santa Barbara, California, USA, August 16–20, 1992. Proceedings (Lecture Notes in Computer Science, 740)

Ernest F. Brickell

Categories in Computer Science and Logic: Proceedings of the Ams-Ims-Siam Joint Summer Research Conference Held June 14-20, 1987 With Support from T (Contemporary Mathematics, 92)

Ams-IMS-Siam Joint Summer Research Conference

Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings (Lecture Notes in Computer Science) (2008-06-13)

Unknown Author

Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. Proceedings (Lecture Notes in Computer Science) (2008-06-13)

Unknown Author

CONCUR '92: Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992. Proceedings (Lecture Notes in Computer Science, 630)

Walter R. Cleaveland

Ecoop '92, European Conference on Object-Oriented Programming: Utrecht, the Netherlands, June/July 1992 : Proceedings (Lecture Notes in Computer Science, 615)

European Conference on Object-Oriented Programming

CAAP '92: 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26-28, 1992. Proceedings (Lecture Notes in Computer Science, 581)

Jean-Claude Raoult

Logics in AI: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings (Lecture Notes in Computer Science, 633)

David Pearce

Information Processing 92, Volume Three-Volume Set (IFIP Transactions A: Computer Science and Technology)

Jan Van Leeuwen

Computer Assisted Learning: 4th International Conference, Iccal '92 Proceedings (Lecture Notes in Computer Science)

I. Tomek

Ipmu '92-Advanced Methods in Artificial Intelligence: 4th International Conference on Information Processing and Management of Uncertainty in Knowled (Lecture Notes in Computer Science, 682)

Spain) International Conference on Information Processing and Management of Uncertainty in Knowledge

Advances in Cryptology - Crypto '92: 12th Annual International Cryptology Conference Santa Barbara, California, USA August 16-20, 1992 : Proceedings (Lecture Notes in Computer Science, 740)

Santa Barbara) Crypto 9 (1992 University of California

Artificial Social Systems: 4th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Maamaw '92, S. Martino Al Cimino, Italy, July (Lecture Notes in Computer Science)

European Workshop on Modelling Autonomous Agents in a Multi-Agent worl

Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings (Lecture Notes in Computer Science, 624)

Andrei Voronkov

Advances in Cryptology-Auscrypt '92: Workshop on the Theory and Application of Cryptographic Techniques Gold Coast, Queensland, Australia December 13 (Lecture Notes in Computer Science, 718)

Workshop on the Theory and Application of Cryptographic Techniques

Knowledge Acquisition: Selected Research and Commentary: A Special Issue of Machine Learning on Knowledge Acquisition (The Springer International Series in Engineering and Computer Science, 92)

Sandra Marcus