Buchportal für Bücher die eine ISBN tragen.

Reihe Workshops in Computing

Buchcover Declarative Programming, Sasbachwalden 1991

Declarative Programming, Sasbachwalden 1991

PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18–22 November 1991

Springer London

Buchcover Designing Correct Circuits

Designing Correct Circuits

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

Springer London

Buchcover Z User Workshop, Oxford 1990

Z User Workshop, Oxford 1990

Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990

Springer London

Buchcover Formal Methods for Trustworthy Computer Systems (FM89)

Formal Methods for Trustworthy Computer Systems (FM89)

Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23–27 July 1989, Halif

Springer London

Buchcover Specification and Verification of Concurrent Systems

Specification and Verification of Concurrent Systems

Springer London

Buchcover First International Workshop on Larch

First International Workshop on Larch

Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992

Springer London

Buchcover Interfaces to Database Systems (IDS94)

Interfaces to Database Systems (IDS94)

Proceedings of the Second International Workshop on Interfaces to Database Systems, Lancaster University, 13–15 July 199

Springer London

Buchcover 7th UK Computer and Telecommunications Performance Engineering Workshop

7th UK Computer and Telecommunications Performance Engineering Workshop

Edinburgh, 22–23 July 1991

Springer London

Buchcover ALPUK91

Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10–12 April 1991

Springer London

Buchcover Object Orientation in Z

Object Orientation in Z

Springer London

136 Treffer 1 2 3 4 ...