Home Advanced Search

Advanced Search - Page 1

Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Tobias Nipkow (auth.), Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone (eds.)
Functional Programming Languages and Computer Architecture: 5th ACM Conference Cambridge, MA, USA, August 26–30, 1991 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Tobias Nipkow (auth.), John Hughes (eds.)
Business Process Management Workshops: BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II
  • PDF
  • English
  • Year: 2012
  • Author: Marlon Dumas (auth.), Florian Daniel, Kamel Barkaoui, Schahram Dustdar (eds.)
Rewriting Techniques and Applications: 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings
  • DJVU
  • English
  • Year: 1998
  • Author: J. W. Klop (auth.), Tobias Nipkow (eds.)
Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings
  • DJVU
  • English
  • Year: 1998
  • Author: Tobias Nipkow (auth.), Jim Grundy, Malcolm Newey (eds.)
Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Jayadev Misra (auth.), Antonio Cerone, Pekka Pihlajasaari (eds.)
Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Jayadev Misra (auth.), Antonio Cerone, Pekka Pihlajasaari (eds.)
Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers
  • DJVU
  • English
  • Year: 1994
  • Author: Henk Barendregt, Tobias Nipkow (eds.)
Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures
  • PDF
  • English
  • Year: 2006
  • Author: Ana Cavalcanti, Augusto Sampaio (auth.), Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (eds.)
Concrete Semantics: With Isabelle/HOL
  • PDF
  • English
  • Year: 2014
  • Author: Tobias Nipkow, Gerwin Klein (auth.)
search