Items where Subject is "A General Works > AC Collections. Series. Collected works"

Up a level

Export as ASCII CitationBibTeXDublin CoreEP3 XMLEndNoteGrid (abstract)HTML CitationJSONMETSMultiline CSVMultiline CSV (Staff)Object IDsOpenURL ContextObjectRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager	Atom RSS 1.0 RSS 2.0

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: B | C | G | H | J | K | M

Number of items at this level: 11.

B

Benoy, Florence and King, Andy and Mesnard, Fred (2005) Computing Convex Hulls with a Linear Solver. Theory and Practice of Logic Programming, 5 (1-2). pp. 259-271. ISSN 1471-0684. (Full text available)

Preview

Bourquin, Martial and King, Andy and Robbins, Ed (2013) BinSlayer: Accurate Comparison of Binary Executables. In: 2nd ACM SIGPLAN Program Protection and Reverse Engineering Workshop, January 26, 2013, Rome, Italy. (Full text available)

Preview

C

Calnan, Michael .W. and Silvester, S. and Manley, Graham and Taylor-Gooby, Peter F. (2000) Doing business in the NHS: exploring dentists' decisions to practise in the public and private sectors. Sociology of Health & Illness, 22 (6). pp. 742-764. ISSN 0141-9889. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

G

Genaim, Samir and King, Andy (2003) Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling. : 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings. In: Degano, Pierpaolo, ed. European Symposium on Programming. Lecture Notes in Computer Science . Springer, pp. 84-98. ISBN 9783540008866. (Full text available)

Preview

H

Howe, Jacob M. and King, Andy and Lu, Lunjin (2004) Analysing Logic Programs by Reasoning Backwards. : A Decade of Research Advances in Logic-Based Program Development. In: Bruynooghe, Maurice and Lau, Kung-Kiu, eds. Program Development in Computational Logic. Lecture Notes in Computer Science, 3049 . Springer, pp. 152-188. ISBN 9783540221524. (Full text available)

Preview

J

Jonathan, Martin and King, Andy (2006) Control Generation by Program Transformation. Fundamenta informaticae, 69 (1-2). pp. 179-218. ISSN 0169-2968. (Full text available)

Preview

Jordanous, Anna (2014) Review of Digital Da Vinci: Computers in the Arts and Sciences (2014, Springer). Review of: Digital Da Vinci: Computers in the Arts and Sciences (2014, Springer) by UNSPECIFIED. ACM Computing Reviews . p. 1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

K

King, Andy and Mycroft, Alan and Simon, Axel and Reps, Tom (2012) Analysis of Executables: Benefits and Challenges. In: Analysis of Executables: Benefits and Challenges, January 29 to February 3, 2012, Wadern, Germany. (Full text available)

Preview

King, Andy and Sondergaard, Harald (2008) Inferring Congruence Equations using SAT. : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings. In: Gupta, Aarti and Malik, Sharad, eds. Computer-Aided Verification. Lecture Notes in Computer Science, 5123 . Springer, pp. 281-293. ISBN 9783540705437. (Full text available)

Preview

King, Andy and Soper, Paul (1992) Ordering Optimizations for Concurrent Logic Programs. In: Nerode, Anil and Taitslin, Michael, eds. Logical Foundations of Computer Science. Lecture Notes in Computer Science, 620 . Springer, pp. 221-228. ISBN 9783540557074. (Full text available)

Preview

M

Martin, Jonthan C. and King, Andy (2004) On the Inference of Natural Level Mappings. : A Decade of Research Advances in Logic-Based Program Development. In: Bruynooghe, Maurice and Lau, Kung-Kiu, eds. Program Development in Computational Logic,. Lecture Notes in Computer Science, 3049 . Springer, pp. 432-452. ISBN 9783540221524. (Full text available)

Preview

This list was generated on Fri Feb 27 02:49:55 2015 GMT.