| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Computational Logic _ CL 2000: First International Conference London, UK, July 24-28, 2000 Proceedings | 978-3-540-67797-0 | 2000 | John Lloyd · Veronica Dahl · Ulrich Furbach · Manfred Kerber · Catuscia Palamidessi · Luis M. Pereira · Yehoshua Sagiv |
| Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, ... Notes in Computer Science , Band 3785) | 978-3-540-29797-0 | 2008 | Richard Banach |
| Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers | 978-3-540-42127-6 | 2001 |
| Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University ... 4-5 July 1991 | 978-3-540-19742-3 | 1992 | Timothy P. Clement |
| Logic Program Synthesis and Transformation: Proceedings Of Lopstr 92, International Workshop On Logic Program Synthesis And Transformation, University ... University of Manchester, 2-3 July 1992 | 978-3-540-19806-2 | 1993 | " |
| Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development | 978-3-540-22152-4 | 2008 | Maurice Bruynooghe |
| Service-Oriented and Cloud Computing: Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013, Proceedings | 978-3-642-40650-8 | 2013 | Winfried Lamersdorf · Ernesto Pimentel |
| Service-Oriented and Cloud Computing: Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014, Proceedings | 978-3-662-44878-6 | 2014 | Massimo Villari · Wolf Zimmermann |