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.)
Advances in Computing and Information — ICCI '91: International Conference on Computing and Information Ottawa, Canada, May 27–29, 1991 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Eric C. R. Hehner (auth.), Frank Dehne, Frantisek Fiala, Waldemar W. Koczkodaj (eds.)
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.)
Advances in Computing and Information — ICCI '90: International Conference on Computing and Information Niagara Falls, Canada, May 23–26, 1990 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: S. G. Akl, F. Fiala, W. W. Koczkodaj (eds.)
A Practical Theory of Programming
  • PDF
  • English
  • Year: 1993
  • Author: Hehner, Eric C. R
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.)
Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Eric Hehner (auth.), Steve Dunne, Bill Stoddart (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.)
search