Home Advanced Search

Advanced Search - Page 1

Advances in Computing and Information — ICCI '91: International Conference on Computing and Information Ottawa, Canada, May 27–29, 1991 Proceedings

PDF
English
Year: 1991
Author: Eric C. R. Hehner (auth.), Frank Dehne, Frantisek Fiala, Waldemar W. Koczkodaj (eds.)

A Practical Theory of Programming

PDF
English
Year: 1993
Author: Hehner, Eric C. R

Advances in Computing and Information — ICCI '90: International Conference on Computing and Information Niagara Falls, Canada, May 23–26, 1990 Proceedings

PDF
English
Year: 1990
Author: S. G. Akl, F. Fiala, W. W. Koczkodaj (eds.)

Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN'96 Singapore, December 2–5, 1996 Proceedings

DJVU
English
Year: 1996
Author: Frank Dehne, Siang W. Song (auth.), Joxan Jaffar, Roland H. C. Yap (eds.)

ZB 2002:Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings

PDF
English
Year: 2002
Author: Eric Hehner, Ioannis T. Kassios (auth.), Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson (eds.)

Parameterized and Exact Computation: First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004. Proceedings

PDF
English
Year: 2004
Author: Peter Damaschke (auth.), Rod Downey, Michael Fellows, Frank Dehne (eds.)

Parameterized and Exact Computation: First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004. Proceedings

PDF
English
Year: 2004
Author: Peter Damaschke (auth.), Rod Downey, Michael Fellows, Frank Dehne (eds.)

Canadian Conference on Computational Geometry

PDF
English
Year: 1996
Author: Frank Fiala

Pathologie des Endokard, der Kranzarterien und des Myokard

PDF
German
Year: 2000
Author: W. Doerr, W. Hort, R. Bauernschmitt, S. Hagl (auth.), Professor Dr. Waldemar Hort (eds.)

A practical theory of programming

PDF
English
Year: 1993
Author: Eric C.R. Hehner