Title: Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings / Edition 1, Author: Alfonso Miola
Title: Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings / Edition 1, Author: Miquel Bertran
Title: Effective Use of Teams for IT Audits / Edition 1, Author: Martin Krist
Title: Knowledge Acquisition from a Collaboratively Generated Encyclopedia - Vol. 327 Dissertations in Artificial Intelligence, Author: S.P. Ponzetto
Title: Logic And Language Models For Computer Science (Third Edition), Author: Dana Richards
Title: How to Design Programs, second edition: An Introduction to Programming and Computing / Edition 2, Author: Matthias Felleisen