Methods of Programming

Selected Papers on the CIP-Project

Produktform: Buch / Einband - flex.(Paperback)

Programming Language Implementation and Logic Programming

4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Fundamental Approaches to Software Engineering

12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Rigorous Software Engineering for Service-Oriented Systems

Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Produktform: Buch / Einband - flex.(Paperback)

---

Algebraic Methods: Theory, Tools and Applications

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Elementare Aussagenlogik

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Theoretical Aspects of Computing - ICTAC 2005

Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Algebraic Methods: Theory, Tools and Applications

Produktform: Buch / Einband - flex.(Paperback)

Elementare Aussagenlogik

Produktform: Buch / Einband - flex.(Paperback)

Theoretical Aspects of Computing - ICTAC 2005

Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

Produktform: Buch / Einband - flex.(Paperback)