Advances in Databases and Information Systems

Proceedings of the Second International Workshop on Advances in Databases and Information Systems (ADBIS’95), Moscow, 27–30 June 1995

Produktform: Buch / Einband - flex.(Paperback)

Specification and Verification of Concurrent Systems

Produktform: Buch / Einband - flex.(Paperback)

Algebra of Communicating Processes

Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16–17 May 1994

Produktform: Buch / Einband - flex.(Paperback)

Security for Object-Oriented Systems

Proceedings of the OOPSLA-93 Conference Workshop on Security for Object-Oriented Systems, Washington DC, USA, 26 September 1993

Produktform: Buch / Einband - flex.(Paperback)

Designing Correct Circuits

Workshop jointly organised by the Universities of Oxford and Glasgow, 26–28 September 1990, Oxford

Produktform: Buch / Einband - flex.(Paperback)

4th Refinement Workshop

Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9–11 January 1991, Cambridge

Produktform: Buch / Einband - flex.(Paperback)

Persistent Object Systems

Proceedings of the Third International Workshop 10–13 January 1989, Newcastle, Australia

Produktform: Buch / Einband - flex.(Paperback)

Logic Program Synthesis and Transformation

Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991

Produktform: Buch / Einband - flex.(Paperback)

Logic Program Synthesis and Transformation

Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992

Produktform: Buch / Einband - flex.(Paperback)

---

Code Generation — Concepts, Tools, Techniques

Proceedings of the International Workshop on Code Generation, Dagstuhl, Germany, 20–24 May 1991

Produktform: Buch / Einband - flex.(Paperback)