MPG.eBooks - Search Results - "Foundations"

Cover Image

1

Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conferen...

Published 2014

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

2

Horizons of the Mind. A Tribute to Prakash Panangaden : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

Published 2014

Springer International Publishing

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

3

Principles of Declarative Programming : 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceed...

Published 1998

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

4

CONCUR 2000 - Concurrency Theory : 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

5

Logic Programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

6

Automata, Languages and Programming : 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”