Home Advanced Search

Advanced Search - Page 1

Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

PDF
English
Year: 1998
Author: Gert Smolka (auth.), Chris Hankin (eds.)

Principles and Practice of Constraint Programming-CP97: Third International Conference, CP97 Linz, Austria, October 29 – November 1, 1997 Proceedings

DJVU
English
Year: 1997
Author: Pascal Van Hentenryck (auth.), Gert Smolka (eds.)

Confluence and Normalization in Reduction Systems [lecture notes]

PDF
English
Year: 2015
Author: Gert Smolka

Programmierung - eine Einführung in die Informatik mit Standard ML

PDF
German
Year: 2011
Author: Gert Smolka

Programmierung - eine Einführung in die Informatik mit Standard ML

PDF
German
Year: 2009
Author: Gert Smolka

Coordination Languages and Models: First International Conference, COORDINATION '96 Cesena, Italy, April 15–17, 1996 Proceedings

DJVU
English
Year: 1996
Author: Jean-Pierre Banâtre (auth.), Paolo Ciancarini, Chris Hankin (eds.)

Lambda Calculi: A Guide for Computer Scientists

DJVU
English
Year: 1994
Author: Chris Hankin

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

PDF
English
Year: 2010
Author: Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)

Principles of Program Analysis

PDF
English
Year: 1999
Author: Flemming Nielson, Hanne Riis Nielson, Chris Hankin (auth.)

Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

PDF
English
Year: 2016
Author: Christian W. Probst, Chris Hankin, René Rydhof Hansen (eds.)