MPG.eBooks - Search Results

Cover Image

1

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992...

Published 1993

Springer London

Cover Image

2

Service-Oriented and Cloud Computing : Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014, Proceedings

Published 2014

Springer Berlin Heidelberg

Cover Image

3

Component-based software development : case studies

by Lau, Kung-Kiu
Published 2004

World Scientific

Cover Image

4

Logic Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers

by Lau, Kung-Kiu
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

5

Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development

by Bruynooghe, Maurice
Published 2004

Springer Berlin Heidelberg

Cover Image

6

Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development

Published 2004

Springer Berlin Heidelberg

Cover Image

7

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991...

Published 1992

Springer London

Cover Image

8

Service-Oriented and Cloud Computing : Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013, Proceedings

Published 2013

Springer Berlin Heidelberg

Cover Image

9

Logic Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers

Published 2001

Springer Berlin Heidelberg

Cover Image

10

Formal Methods and Software Engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg