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

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

book Designing Correct Circuits: Workshop jointly organised by the Universities of Oxford and Glasgow, 26–28 September 1990, Oxford

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

pdf

Author: Michael Mendler (auth.) Geraint Jones Mary Sheeran (eds.)
Language: English
Year: 1991

00

27.01.2024

0

0

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

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

pdf

Author: John Darlington Yike Guo Helen Pull (auth.) John Darlington BSc (Hons) PhD Roland Dietrich (eds.)
Language: English
Year: 1992

00

27.01.2024

2

0

book Interfaces to Database Systems (IDS94): Proceedings of the Second International Workshop on Interfaces to Database Systems, Lancaster University, 13–15 July 1994

Interfaces to Database Systems (IDS94): Proceedings of the Second International Workshop on Interfaces to Database Systems, Lancaster University, 13–15 July 1994

pdf

Author: Richard Cooper (auth.) Pete Sawyer BSc PhD (eds.)
Language: English
Year: 1995

00

27.01.2024

0

0

book 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, Halifax, Canada

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, Halifax, Canada

pdf

Author: Dan Craigen MSc Karen Summerskill BA (auth.) Dan Craigen MSc Karen Summerskill BA (eds.)
Language: English
Year: 1990

00

27.01.2024

0

0

book Specification and Verification of Concurrent Systems

Specification and Verification of Concurrent Systems

pdf

Author: Pierre America (auth.) C. Rattray MSc (eds.)
Language: English
Year: 1990

00

27.01.2024

0

0

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

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

pdf

Author: John W. Baugh Jr. (auth.) Ursula Martin MA PhD MBCS CEng Jeannette M. Wing SB SM PhD (eds.)
Language: English
Year: 1993

00

27.01.2024

0

0

book Structures in Concurrency Theory: Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11–13 May 1995

Structures in Concurrency Theory: Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11–13 May 1995

pdf

Author: J. W. de Bakker (auth.) Jörg Desel Dr. rer. nat. (eds.)
Language: English
Year: 1995

00

27.01.2024

0

0

book Active and Real-Time Database Systems (ARTDB-95): Proceedings of the First International Workshop on Active and Real-Time Database Systems, Skövde, Sweden, 9–11 June 1995

Active and Real-Time Database Systems (ARTDB-95): Proceedings of the First International Workshop on Active and Real-Time Database Systems, Skövde, Sweden, 9–11 June 1995

pdf

Author: Umeshwar Dayal (auth.) Mikael Berndtsson MSc Jörgen Hansson MSc (eds.)
Language: English
Year: 1996

00

27.01.2024

0

0

book 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

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

pdf

Author: Jānis Bārzdiņš Ilona Etmane Audris Kalniņš Kārlis Podnieks (auth.) Dr. Prof. Johann Eder Dr. of Sci. Prof. Leonid A. Kalinichenko (eds.)
Language: English
Year: 1996

00

27.01.2024

0

0

book Hypermedia Design: Proceedings of the International Workshop on Hypermedia Design (IWHD’95), Montpellier, France, 1–2 June 1995

Hypermedia Design: Proceedings of the International Workshop on Hypermedia Design (IWHD’95), Montpellier, France, 1–2 June 1995

pdf

Author: Alicia Díaz Tomás Isakowitz (auth.) S. Fraïssé F. Garzotto T. Isakowitz J. Nanard M. Nanard (eds.)
Language: English
Year: 1996

00

27.01.2024

0

0