Items where Subject is "A General Works > AC Collections. Series. Collected works"
- Library of Congress Subject Areas (61593)
- A General Works (335)
- AC Collections. Series. Collected works (12)
- A General Works (335)
Number of items at this level: 11.
2022
Fitton, Triona (2022) Interpretive ethnography: a UK charity shop case study. In: Dean, Jon and Hogg, Eddy, eds. Researching Voluntary Action: Innovations and Challenges. Third Sector Research Series . Policy Press, Bristol, UK. ISBN 978-1-4473-5668-4. E-ISBN 978-1-4473-5671-4. (KAR id:89619) |
2020
Todorovic, Dragan (2020) Seed of Self - Six new stories. Koraci, 54 (7-9). pp. 14-28. ISSN 0454-3556. (KAR id:83780) |
2014
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) (KAR id:43990) |
2012
King, Andy, Mycroft, Alan, Simon, Axel, Reps, Tom (2012) Analysis of Executables: Benefits and Challenges. Dagstuhl Reports, 2 (1). pp. 100-116. ISSN 2192-5283. (doi:10.4230/DagRep.2.1.100) (KAR id:37628) |
2008
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 978-3-540-70543-7. (doi:10.1007/978-3-540-70545-1_26) (KAR id:37593) |
2006
Jonathan, Martin, King, Andy (2006) Control Generation by Program Transformation. Fundamenta informaticae, 69 (1-2). pp. 179-218. ISSN 0169-2968. E-ISSN 1875-8681. (KAR id:37531) |
2005
Benoy, Florence, King, Andy, 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. (doi:10.1017/S1471068404002261) (KAR id:37639) |
2004
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 978-3-540-22152-4. (doi:10.1007/978-3-540-25951-0_6) (KAR id:37608) |
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 978-3-540-22152-4. (doi:10.1007/978-3-540-25951-0_13) (KAR id:37609) |
2003
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. 2618. Lecture Notes in Computer Science . Springer, pp. 84-98. ISBN 978-3-540-00886-6. (doi:10.1007/3-540-36575-3_7) (KAR id:37612) |
1992
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 978-3-540-55707-4. E-ISBN 978-3-540-47276-6. (doi:10.1007/BFb0023876) (KAR id:37629) |