Ihre Suche nach Theoretische Informatik

In Honor of Juris Hartmanis on the Occasion of his Sixtieth Birthday, Juli 5, 1988

Vol. 1: Sets, Relations, and Induction

An Introduction

Annual Print and CD-ROM Archive Edition

Computational Approaches

Annual Print and CD-ROM Archive Edition

5th International Conference. Tulane University, New Orleans, Louisiana, USA. March 29-April 1, 1989. Proceedings

Proceedings of the BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 23 - 24 September 1996.

Proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 3-4 July 1997

Proceedings of the Methods Integration Workshop, Leeds, 25-26 March, 1996

Proceedings of the BCS-FACS 7th Refinement Workshop Bath, 3-5 July 1996

Annual Print and CD-ROM Archive Edition

Proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 14-15 July 1997

Proceedings of the 1995 Glasgow Workshop on Functional Programming, Ullapool, Scotland, 10-12 July 1995

Annual Print and CD-ROM Archive Edition

Proceedings of the BCS-FACS Workshop on Formal Aspects of the Human Computer Interface, Sheffield Hallam University, 10-12 September 1996

Annual Print and CD-ROM Archive Edition