Home Advanced Search

Advanced Search - Page 1

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University ... 2-3 July 1992
  • DJVU
  • English
  • Year: 1993
  • Author: Kung-Kiu Lau, Timothy P. Clement
An Introduction to Component-based Software Development
  • PDF
  • english
  • Year: 2016
  • Author: Kung-Kiu Lau, Simone Di Cola
Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development
  • PDF
  • English
  • Year: 2004
  • Author: Kung-Kiu Lau, Mario Ornaghi (auth.), Maurice Bruynooghe, Kung-Kiu Lau (eds.)
Component-Based Software Engineering: 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Kung-Kiu Lau, Faris M. Taweel (auth.), Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford (eds.)
Service-Oriented and Cloud Computing: Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Michel Catan, Roberto Di Cosmo, Antoine Eiche, Tudor A. Lascu, Michel Lienhardt (auth.), Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel (eds.)
Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
  • PDF
  • English
  • Year: 2006
  • Author: Kung-Kiu Lau, Mario Ornaghi, Zheng Wang (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)
Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
  • PDF
  • English
  • Year: 2006
  • Author: Kung-Kiu Lau, Mario Ornaghi, Zheng Wang (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)
A source book in matroid theory
  • DJVU
  • English
  • Year: 1986
  • Author: Joseph P. S. Kung
Yiquan Beginners' Guide: Basic Skills
  • PDF
  • English
  • Year: 2011
  • Author: Joseph P. Lau
Gian-Carlo Rota on combinatorics: introductory papers and commentaries
  • PDF
  • English
  • Year: 1995
  • Author: Gian-Carlo Rota, Joseph P. Kung
search