Book serie: / Книги серии: Workshops in Computing » Page 6 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Workshops in Computing » Page 6

book Persistent Object Systems: Proceedings of the Fifth International Workshop on Persistent Object Systems, San Miniato (Pisa), Italy, 1–4 September 1992

Persistent Object Systems: Proceedings of the Fifth International Workshop on Persistent Object Systems, San Miniato (Pisa), Italy, 1–4 September 1992

pdf

Author: Ashok Malhotra Kenneth J. Perry (auth.) Antonio Albano Ron Morrison BSc MSc PhD CEng (eds.)
Language: English
Year: 1993

00

27.01.2024

0

0

book Modelling Database Dynamics: Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse, Germany 19–22 October 1992

Modelling Database Dynamics: Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse, Germany 19–22 October 1992

pdf

Author: Jan Van den Bussche Dirk Van Gucht (auth.) Udo W. Lipeck Bernhard Thalheim (eds.)
Language: English
Year: 1993

00

27.01.2024

0

0

book Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29–31 March 1993

Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29–31 March 1993

pdf

Author: Geoffrey Burn (auth.) Geoffrey Burn BSc (Hons) PhD DIC Simon Gay BA (Hons) DipCompSci Mark Ryan MA PhD (eds.)
Language: English
Year: 1993

00

27.01.2024

1

0

book AI and Cognitive Science ’91: University College, Cork, 19–20 September 1991

AI and Cognitive Science ’91: University College, Cork, 19–20 September 1991

pdf

Author: Sean O. Nuallain (auth.) Humphrey Sorensen BE MSc MS (eds.)
Language: English
Year: 1993

00

27.01.2024

0

0

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

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

pdf

Author: Jonathan M. Lever (auth.) Timothy Paul Clement MA DPhil Kung-Kiu Lau BSc PhD (eds.)
Language: English
Year: 1992

00

27.01.2024

0

0

book Z User Workshop, York 1991: Proceedings of the Sixth Annual Z User Meeting, York 16–17 December 1991

Z User Workshop, York 1991: Proceedings of the Sixth Annual Z User Meeting, York 16–17 December 1991

pdf

Author: Alf Smith (auth.) J. E. Nicholls MA (eds.)
Language: English
Year: 1992

00

27.01.2024

0

0

book Formal Aspects of Measurement: Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991

Formal Aspects of Measurement: Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991

pdf

Author: Norman Fenton (auth.) Tim Denvir MA CEng MIEE MBCS Rosalind Herman MA MSc Robin W. Whitty BSc PhD C.Math FIMA (eds.)
Language: English
Year: 1992

00

27.01.2024

0

0

book 5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992

5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992

pdf

Author: Mr Patrick O’Ferrall (auth.) Cliff B. Jones DPhil Roger C. Shaw GIMA MBCS Tim Denvir MA CEng MIEE MBCS (eds.)
Language: English
Year: 1992

00

27.01.2024

0

0

book Object Orientation in Z

Object Orientation in Z

pdf

Author: Susan Stepney Rosalind Barden David Cooper (auth.) Susan Stepney Rosalind Barden David Cooper (eds.)
Language: English
Year: 1992

00

27.01.2024

0

0

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

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

pdf

Author: Peter Kacsuk (auth.) Geraint A. Wiggins MA PhD Chris Mellish MA PhD Tim Duncan BA MSc (eds.)
Language: English
Year: 1992

00

27.01.2024

0

0