Mathematical theory of computation (New books)

Mathematical theory of computation (New books) 100 newest books. Updated weekly. en-us http://www.eruditor.com Joseph Cavanagh: Computer Arithmetic And Verilog Hdl Fundamentals Taylor & Francis Ltd, 2009, 968 pages, ISBN: 9781439811245, Our price: 80.10 GBP (You save: 10%) http://www.eruditor.com/books/item/9781439811245.html.en http://www.eruditor.com/books/item/9781439811245.html.en Oded Goldreich: Foundations Of Cryptography: Volume 2, Basic Applications Cambridge University Press, 2009, 452 pages, ISBN: 9780521119917, Our price: 29.99 GBP http://www.eruditor.com/books/item/9780521119917.html.en http://www.eruditor.com/books/item/9780521119917.html.en Semantics And Logics Of Computation Andrew M. Pitts (editor), Cambridge University Press, 2009, 376 pages, ISBN: 9780521118460, Our price: 25.64 GBP (You save: 5%) http://www.eruditor.com/books/item/9780521118460.html.en http://www.eruditor.com/books/item/9780521118460.html.en T.H. Tse: A Unifying Framework For Structured Analysis And Design Models Cambridge University Press, 2009, 192 pages, ISBN: 9780521117876, Our price: 14.24 GBP (You save: 5%) http://www.eruditor.com/books/item/9780521117876.html.en http://www.eruditor.com/books/item/9780521117876.html.en D.A. Wolfram: The Clausal Theory Of Types Cambridge University Press, 2009, 136 pages, ISBN: 9780521117906, Our price: 14.24 GBP (You save: 5%) http://www.eruditor.com/books/item/9780521117906.html.en http://www.eruditor.com/books/item/9780521117906.html.en Gyorgy E. Revesz: Lambda-Calculus, Combinators And Functional Programming Cambridge University Press, 2009, 192 pages, ISBN: 9780521114295, Our price: 21.84 GBP (You save: 5%) http://www.eruditor.com/books/item/9780521114295.html.en http://www.eruditor.com/books/item/9780521114295.html.en John C. Reynolds: Theories Of Programming Languages Cambridge University Press, 2009, 516 pages, ISBN: 9780521106979, Our price: 30.39 GBP (You save: 5%) http://www.eruditor.com/books/item/9780521106979.html.en http://www.eruditor.com/books/item/9780521106979.html.en Willem-Paul De Roever, Kai Engelhardt: Data Refinement Cambridge University Press, 2009, 436 pages, ISBN: 9780521103503, Our price: 38.00 GBP (You save: 5%) http://www.eruditor.com/books/item/9780521103503.html.en http://www.eruditor.com/books/item/9780521103503.html.en Prakash Panangaden: Labelled Markov Processes Imperial College Press , 2009, 250 pages, ISBN: 9781848162877, Our price: 44.10 GBP (You save: 10%) http://www.eruditor.com/books/item/9781848162877.html.en http://www.eruditor.com/books/item/9781848162877.html.en Algebraic Specification Of Communication Protocols Sjouke Mauw (editor), Cambridge University Press, 2008, 212 pages, ISBN: 9780521088121, Our price: 21.84 GBP (You save: 5%) http://www.eruditor.com/books/item/9780521088121.html.en http://www.eruditor.com/books/item/9780521088121.html.en Recent Advances In Reinforcement Learning Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2008, 295 pages, ISBN: 9783540897217, Our price: 35.69 GBP (You save: 15%) http://www.eruditor.com/books/item/9783540897217.html.en http://www.eruditor.com/books/item/9783540897217.html.en Victor Lavrenko: A Generative Theory Of Relevance Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2008, 217 pages, ISBN: 9783540893639, Our price: 50.14 GBP (You save: 15%) http://www.eruditor.com/books/item/9783540893639.html.en http://www.eruditor.com/books/item/9783540893639.html.en Multiobjective Optimization Jurgen Branke (editor), Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2008, 490 pages, ISBN: 9783540889076, Our price: 42.49 GBP (You save: 15%) http://www.eruditor.com/books/item/9783540889076.html.en http://www.eruditor.com/books/item/9783540889076.html.en David Makinson: Sets, Logic And Maths For Computing Springer London Ltd, 2008, 320 pages, ISBN: 9781846288449, Our price: 15.29 GBP (You save: 15%) http://www.eruditor.com/books/item/9781846288449.html.en http://www.eruditor.com/books/item/9781846288449.html.en Steve S. Skiena: The Algorithm Design Manual Springer London Ltd, 2008, 752 pages, ISBN: 9781848000698, Our price: 29.75 GBP (You save: 15%) http://www.eruditor.com/books/item/9781848000698.html.en http://www.eruditor.com/books/item/9781848000698.html.en Jeffrey Shallit: A Second Course In Formal Languages And Automata Theory Cambridge University Press, 2008, 252 pages, ISBN: 9780521865722, Our price: 27.00 GBP (You save: 10%) http://www.eruditor.com/books/item/9780521865722.html.en http://www.eruditor.com/books/item/9780521865722.html.en Ant Colony Optimization And Swarm Intelligence Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2008, 431 pages, ISBN: 9783540875260, Our price: 44.19 GBP (You save: 15%) http://www.eruditor.com/books/item/9783540875260.html.en http://www.eruditor.com/books/item/9783540875260.html.en James Smith: Foundations Of Web Programming South London Publishing , 2008, 224 pages, ISBN: 9780954706616, Our price: 33.20 GBP (You save: 5%) http://www.eruditor.com/books/item/9780954706616.html.en http://www.eruditor.com/books/item/9780954706616.html.en Jeff Edmonds: How To Think About Lgorithms Cambridge University Press, 2008, 472 pages, ISBN: 9780521614108, Our price: 17.99 GBP (You save: 10%) http://www.eruditor.com/books/item/9780521614108.html.en http://www.eruditor.com/books/item/9780521614108.html.en Jeff Edmonds: How To Think About Algorithms Cambridge University Press, 2008, 472 pages, ISBN: 9780521849319, Our price: 49.50 GBP (You save: 10%) http://www.eruditor.com/books/item/9780521849319.html.en http://www.eruditor.com/books/item/9780521849319.html.en Mikio Nakahara, M. Salomaa: Quantum Computing Taylor & Francis Ltd, 2008, 440 pages, ISBN: 9780750309837, Our price: 44.99 GBP (You save: 10%) http://www.eruditor.com/books/item/9780750309837.html.en http://www.eruditor.com/books/item/9780750309837.html.en J.M. Spivey: Understanding Z Cambridge University Press, 2008, 140 pages, ISBN: 9780521054140, Our price: 14.24 GBP (You save: 5%) http://www.eruditor.com/books/item/9780521054140.html.en http://www.eruditor.com/books/item/9780521054140.html.en Leszek Demkowicz, Jason Kurtz, Waldemar Rachowicz, Maciek Paszenski, David Pardo: Computing With Hp-Adaptive Finite Elements / Frontiers: Three Dimensional Elliptic And Maxwell Problems With Applications Taylor & Francis Ltd, 2007, 440 pages, ISBN: 9781584886723, Our price: 55.79 GBP (You save: 10%) http://www.eruditor.com/books/item/9781584886723.html.en http://www.eruditor.com/books/item/9781584886723.html.en Erkki Somersalo, D. Calvetti: An Introduction To Bayesian Scientific Computing Springer-Verlag New York Inc., 2007, 216 pages, ISBN: 9780387733937, Our price: 25.49 GBP (You save: 15%) http://www.eruditor.com/books/item/9780387733937.html.en http://www.eruditor.com/books/item/9780387733937.html.en Terry Patten: Systemic Text Generation As Problem Solving Cambridge University Press, 2007, 228 pages, ISBN: 9780521039260, Our price: 21.84 GBP (You save: 5%) http://www.eruditor.com/books/item/9780521039260.html.en http://www.eruditor.com/books/item/9780521039260.html.en Recent Trends In Coding Theory And Its Applications Wen-Ching Winnie Li (editor), American Mathematical Society, 2007, 200 pages, ISBN: 9780821842980, Our price: 49.50 GBP http://www.eruditor.com/books/item/9780821842980.html.en http://www.eruditor.com/books/item/9780821842980.html.en Computational Science - Iccs 2007 7Th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part Ii, Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2007, 1286 pages, ISBN: 9783540725855, Our price: 74.38 GBP (You save: 15%) http://www.eruditor.com/books/item/9783540725855.html.en http://www.eruditor.com/books/item/9783540725855.html.en Computational Science - Iccs 2007 Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2007, 1248 pages, ISBN: 9783540725893, Our price: 71.83 GBP (You save: 15%) http://www.eruditor.com/books/item/9783540725893.html.en http://www.eruditor.com/books/item/9783540725893.html.en Theory And Applications Of Models Of Computation Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2007, 785 pages, ISBN: 9783540725039, Our price: 54.83 GBP (You save: 15%) http://www.eruditor.com/books/item/9783540725039.html.en http://www.eruditor.com/books/item/9783540725039.html.en Max Bramer: Principles Of Data Mining Springer London Ltd, 2007, 354 pages, ISBN: 9781846287657, Our price: 16.96 GBP (You save: 15%) http://www.eruditor.com/books/item/9781846287657.html.en http://www.eruditor.com/books/item/9781846287657.html.en Felipe Cucker, Ding-Xuan Zhou: Learning Theory Cambridge University Press, 2007, 236 pages, ISBN: 9780521865593, Our price: 32.40 GBP (You save: 10%) http://www.eruditor.com/books/item/9780521865593.html.en http://www.eruditor.com/books/item/9780521865593.html.en Matthew Hennessy: A Distributed Pi-Calculus Cambridge University Press, 2007, 278 pages, ISBN: 9780521873307, Our price: 31.50 GBP (You save: 10%) http://www.eruditor.com/books/item/9780521873307.html.en http://www.eruditor.com/books/item/9780521873307.html.en Mathematical Foundations Of Scientific Visualization, Computer Graphics, And Massive Data Exploration Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2007, 370 pages, ISBN: 9783540250760, Our price: 69.28 GBP (You save: 15%) http://www.eruditor.com/books/item/9783540250760.html.en http://www.eruditor.com/books/item/9783540250760.html.en Venkatesan Guruswami: Algorithmic Results In List Decoding Now Publishers Inc, 2007, 112 pages, ISBN: 9781601980045, Our price: 50.00 GBP http://www.eruditor.com/books/item/9781601980045.html.en http://www.eruditor.com/books/item/9781601980045.html.en Giri Narasimhan, Michiel Smid: Geometric Spanner Networks Cambridge University Press, 2007, 516 pages, ISBN: 9780521815130, Our price: 40.50 GBP (You save: 10%) http://www.eruditor.com/books/item/9780521815130.html.en http://www.eruditor.com/books/item/9780521815130.html.en P. Padawitz: Deductive And Declarative Programming Cambridge University Press, 2006, 288 pages, ISBN: 9780521032513, Our price: 26.59 GBP (You save: 5%) http://www.eruditor.com/books/item/9780521032513.html.en http://www.eruditor.com/books/item/9780521032513.html.en J.B. Paris: The Uncertain Reasoner's Companion Cambridge University Press, 2006, 224 pages, ISBN: 9780521032728, Our price: 21.84 GBP (You save: 5%) http://www.eruditor.com/books/item/9780521032728.html.en http://www.eruditor.com/books/item/9780521032728.html.en Michael Luby, Avi Wigderson: Pairwise Independence And Derandomization Now Publishers Inc, 2006, 80 pages, ISBN: 9781933019222, Our price: 45.00 GBP http://www.eruditor.com/books/item/9781933019222.html.en http://www.eruditor.com/books/item/9781933019222.html.en Dmitry Kiryanov, Elena Kiryanova: Computational Science Infinity Science Press , 2006, 400 pages, ISBN: 9780977858224, Our price: 22.05 GBP (You save: 10%) http://www.eruditor.com/books/item/9780977858224.html.en http://www.eruditor.com/books/item/9780977858224.html.en Formal Techniques For Networked And Distributed Systems - Forte 2006 26Th Ifip Wg 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings, Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2006, 498 pages, ISBN: 9783540462194, Our price: 65.99 GBP http://www.eruditor.com/books/item/9783540462194.html.en http://www.eruditor.com/books/item/9783540462194.html.en S.G. Hoggar: Mathematics Of Digital Images Cambridge University Press, 2006, 854 pages, ISBN: 9780521780292, Our price: 42.30 GBP (You save: 10%) http://www.eruditor.com/books/item/9780521780292.html.en http://www.eruditor.com/books/item/9780521780292.html.en Susan Loepp, William Wootters: Protecting Information Lv Xin (translator), Cambridge University Press, 2006, 304 pages, ISBN: 9780521534765, Our price: 17.99 GBP (You save: 10%) http://www.eruditor.com/books/item/9780521534765.html.en http://www.eruditor.com/books/item/9780521534765.html.en Susan Loepp, William Wootters: Protecting Information Lv Xin (translator), Cambridge University Press, 2006, 304 pages, ISBN: 9780521827409, Our price: 40.50 GBP (You save: 10%) http://www.eruditor.com/books/item/9780521827409.html.en http://www.eruditor.com/books/item/9780521827409.html.en Automata, Languages And Programming 33Rd International Colloquium, Icalp 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part Ii, Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2006, 627 pages, ISBN: 9783540359074, Our price: 64.19 GBP http://www.eruditor.com/books/item/9783540359074.html.en http://www.eruditor.com/books/item/9783540359074.html.en Deontic Logic And Artificial Normative Systems 8Th International Workshop On Deontic Logic In Computer Science, Deon 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings, Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2006, 290 pages, ISBN: 9783540358428, Our price: 48.14 GBP http://www.eruditor.com/books/item/9783540358428.html.en http://www.eruditor.com/books/item/9783540358428.html.en Logical Approaches To Computational Barriers Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2006, 623 pages, ISBN: 9783540354666, Our price: 56.99 GBP http://www.eruditor.com/books/item/9783540354666.html.en http://www.eruditor.com/books/item/9783540354666.html.en Steven M. Lavalle: Planning Algorithms Cambridge University Press, 2006, 842 pages, ISBN: 9780521862059, Our price: 34.20 GBP (You save: 10%) http://www.eruditor.com/books/item/9780521862059.html.en http://www.eruditor.com/books/item/9780521862059.html.en Theory And Applications Of Models Of Computation Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2006, 820 pages, ISBN: 9783540340218, Our price: 66.99 GBP http://www.eruditor.com/books/item/9783540340218.html.en http://www.eruditor.com/books/item/9783540340218.html.en Relational Methods In Computer Science 8Th International Seminar On Relational Methods In Computer Science, 3Rd International Workshop On Applications Of Kleene Algebra, And Workshop Of Cost Action 274: Tarski, St. Catharines, On, Canada,, Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2006, 271 pages, ISBN: 9783540333395, Our price: 38.51 GBP http://www.eruditor.com/books/item/9783540333395.html.en http://www.eruditor.com/books/item/9783540333395.html.en Graph-Theoretic Concepts In Computer Science 31St International Workshop, Wg 2005, Metz, France, June 23-25, 2005, Revised Selected Papers, Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2005, 492 pages, ISBN: 9783540310006, Our price: 47.99 GBP http://www.eruditor.com/books/item/9783540310006.html.en http://www.eruditor.com/books/item/9783540310006.html.en Cryptography And Coding 10Th Ima International Conference, Cirencester, Uk, December 19-21, 2005, Proceedings, Nigel P. Smart (editor), Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2005, 472 pages, ISBN: 9783540302766, Our price: 47.99 GBP http://www.eruditor.com/books/item/9783540302766.html.en http://www.eruditor.com/books/item/9783540302766.html.en Integrated Formal Methods 5Th International Conference, Ifm 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings, Judi M.T. Romijn (editor), Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2005, 418 pages, ISBN: 9783540304920, Our price: 44.99 GBP http://www.eruditor.com/books/item/9783540304920.html.en http://www.eruditor.com/books/item/9783540304920.html.en Peter Comninos: Mathematical And Computer Programming Techniques For Computer Graphics Springer London Ltd, 2005, 572 pages, ISBN: 9781852339029, Our price: 72.68 GBP (You save: 15%) http://www.eruditor.com/books/item/9781852339029.html.en http://www.eruditor.com/books/item/9781852339029.html.en L.M.G. Feijs, H.B.M. Jonkers: Formal Specification And Design C.J. Van Rijsbergen (series editor), Cambridge University Press, 2005, 352 pages, ISBN: 9780521435925, Our price: 27.55 GBP (You save: 5%) http://www.eruditor.com/books/item/9780521435925.html.en http://www.eruditor.com/books/item/9780521435925.html.en Robert L. Carpenter: The Logic Of Typed Feature Structures C.J. Van Rijsbergen (series editor), Cambridge University Press, 2005, 280 pages, ISBN: 9780521022545, Our price: 22.79 GBP (You save: 5%) http://www.eruditor.com/books/item/9780521022545.html.en http://www.eruditor.com/books/item/9780521022545.html.en Clive Maxfield, Alvin Brown: The Definitive Guide To How Computers Do Math John Wiley And Sons Ltd, 2005, 464 pages, ISBN: 9780471732785, Our price: 21.15 GBP (You save: 10%) http://www.eruditor.com/books/item/9780471732785.html.en http://www.eruditor.com/books/item/9780471732785.html.en S. Stenholm, Kalle-Antti Suominen: Quantum Approach To Informatics John Wiley And Sons Ltd, 2005, 238 pages, ISBN: 9780471736103, Our price: 61.65 GBP (You save: 10%) http://www.eruditor.com/books/item/9780471736103.html.en http://www.eruditor.com/books/item/9780471736103.html.en Wim H. Hesselink: Programs, Recursion And Unbounded Choice C.J. Van Rijsbergen (series editor), Cambridge University Press, 2005, 240 pages, ISBN: 9780521018296, Our price: 18.99 GBP (You save: 5%) http://www.eruditor.com/books/item/9780521018296.html.en http://www.eruditor.com/books/item/9780521018296.html.en Ernst-Rudiger Olderog: Nets, Terms And Formulas C.J. Van Rijsbergen (series editor), Cambridge University Press, 2005, 280 pages, ISBN: 9780521018456, Our price: 22.79 GBP (You save: 5%) http://www.eruditor.com/books/item/9780521018456.html.en http://www.eruditor.com/books/item/9780521018456.html.en Flemming Nielson, Hanne Riis Nielson: Two-Level Functional Languages C.J. Van Rijsbergen (series editor), Cambridge University Press, 2005, 312 pages, ISBN: 9780521018470, Our price: 23.74 GBP (You save: 5%) http://www.eruditor.com/books/item/9780521018470.html.en http://www.eruditor.com/books/item/9780521018470.html.en Algebra And Coalgebra In Computer Science Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2005, 468 pages, ISBN: 9783540286202, Our price: 47.99 GBP http://www.eruditor.com/books/item/9783540286202.html.en http://www.eruditor.com/books/item/9783540286202.html.en Computer Science Logic 19Th International Workshop, Csl 2005, 14Th Annual Conference Of The Eacsl, Oxford, Uk, August 22-25, 2005, Proceedings, Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2005, 578 pages, ISBN: 9783540282310, Our price: 53.99 GBP http://www.eruditor.com/books/item/9783540282310.html.en http://www.eruditor.com/books/item/9783540282310.html.en Concur 2005, Concurrency Theory 16Th International Conference, Concur 2005, San Francisco, Ca, Usa, August 23-26, 2005, Proceedings, Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2005, 592 pages, ISBN: 9783540283096, Our price: 53.99 GBP http://www.eruditor.com/books/item/9783540283096.html.en http://www.eruditor.com/books/item/9783540283096.html.en Theorem Proving In Higher Order Logics 18Th International Conference, Tphols 2005, Oxford, Uk, August 22-25, 2005, Proceedings, Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2005, 424 pages, ISBN: 9783540283720, Our price: 44.99 GBP http://www.eruditor.com/books/item/9783540283720.html.en http://www.eruditor.com/books/item/9783540283720.html.en Donald E. Knuth: The Art Of Computer Programming / Fascicle 3 Pearson Education (Us), 2005, 160 pages, ISBN: 9780201853940, Our price: 11.89 GBP (You save: 15%) http://www.eruditor.com/books/item/9780201853940.html.en http://www.eruditor.com/books/item/9780201853940.html.en Abstraction, Reformulation And Approximation 6Th International Symposium, Sara 2005, Airth Castle, Scotland, Uk, July 26-29, 2005, Proceedings, Jean-Daniel Zucker (editor), Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2005, 388 pages, ISBN: 9783540278726, Our price: 41.99 GBP http://www.eruditor.com/books/item/9783540278726.html.en http://www.eruditor.com/books/item/9783540278726.html.en Solomon W. Golomb, Guang Gong: Signal Design For Good Correlation Cambridge University Press, 2005, 456 pages, ISBN: 9780521821049, Our price: 43.20 GBP (You save: 10%) http://www.eruditor.com/books/item/9780521821049.html.en http://www.eruditor.com/books/item/9780521821049.html.en J. Hillston: A Compositional Approach To Performance Modelling Cambridge University Press, 2005, 172 pages, ISBN: 9780521673532, Our price: 20.89 GBP (You save: 5%) http://www.eruditor.com/books/item/9780521673532.html.en http://www.eruditor.com/books/item/9780521673532.html.en Donald E. Knuth: The Art Of Computer Programming / Fascicle 1 Pearson Education (Us), 2005, 144 pages, ISBN: 9780201853926, Our price: 9.34 GBP (You save: 15%) http://www.eruditor.com/books/item/9780201853926.html.en http://www.eruditor.com/books/item/9780201853926.html.en Donald E. Knuth: The Art Of Computer Programming / Combinatorial Algorithms Pearson Education (Us), 2005, 144 pages, ISBN: 9780201853933, Our price: 9.34 GBP (You save: 15%) http://www.eruditor.com/books/item/9780201853933.html.en http://www.eruditor.com/books/item/9780201853933.html.en Proceedings Of The Conference On Applied Mathematics And Scientific Computing Zlatko Drmac (editor), Springer-Verlag New York Inc., 2005, 357 pages, ISBN: 9781402031960, Our price: 78.65 GBP http://www.eruditor.com/books/item/9781402031960.html.en http://www.eruditor.com/books/item/9781402031960.html.en Peter D. Mosses: Action Semantics C.J. Van Rijsbergen (series editor), Cambridge University Press, 2005, 396 pages, ISBN: 9780521619332, Our price: 28.50 GBP (You save: 5%) http://www.eruditor.com/books/item/9780521619332.html.en http://www.eruditor.com/books/item/9780521619332.html.en Graph-Theoretic Concepts In Computer Science / Revised Papers 30Th International Workshop, Wg 2004, Bad Honnef, Germany, June 21-23, 2004, Revised Papers, Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2004, 424 pages, ISBN: 9783540241324, Our price: 51.99 GBP http://www.eruditor.com/books/item/9783540241324.html.en http://www.eruditor.com/books/item/9783540241324.html.en Ernest G. Manes: Predicatetransformer Semantics C.J. Van Rijsbergen (series editor), Cambridge University Press, 2004, 236 pages, ISBN: 9780521616102, Our price: 31.35 GBP (You save: 5%) http://www.eruditor.com/books/item/9780521616102.html.en http://www.eruditor.com/books/item/9780521616102.html.en Algorithms And Models For The Web-Graph Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2004, 197 pages, ISBN: 9783540234272, Our price: 33.99 GBP http://www.eruditor.com/books/item/9783540234272.html.en http://www.eruditor.com/books/item/9783540234272.html.en Computer Science Logic 18Th International Workshop, Csl 2004, 13Th Annual Conference Of The Eacsl, Karpacz, Poland, September 20-24, 2004, Proceedings, Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2004, 531 pages, ISBN: 9783540230243, Our price: 50.99 GBP http://www.eruditor.com/books/item/9783540230243.html.en http://www.eruditor.com/books/item/9783540230243.html.en Theorem Proving In Higher Order Logics 17Th International Conference, Tphols 2004, Park City, Utah, Usa, September 14-17, 2004, Proceedings, Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2004, 345 pages, ISBN: 9783540230175, Our price: 37.99 GBP http://www.eruditor.com/books/item/9783540230175.html.en http://www.eruditor.com/books/item/9783540230175.html.en Michael Huth, Mark Ryan: Logic In Computer Science Cambridge University Press, 2004, 440 pages, ISBN: 9780521543101, Our price: 33.30 GBP (You save: 10%) http://www.eruditor.com/books/item/9780521543101.html.en http://www.eruditor.com/books/item/9780521543101.html.en J. Andrews: Logic Programming Cambridge University Press, 2004, 120 pages, ISBN: 9780521607544, Our price: 17.09 GBP (You save: 5%) http://www.eruditor.com/books/item/9780521607544.html.en http://www.eruditor.com/books/item/9780521607544.html.en C.J. Van Rijsbergen: The Geometry Of Information Retrieval Cambridge University Press, 2004, 162 pages, ISBN: 9780521838054, Our price: 33.30 GBP (You save: 10%) http://www.eruditor.com/books/item/9780521838054.html.en http://www.eruditor.com/books/item/9780521838054.html.en Deontic Logic In Computer Science 7Th International Workshop On Deontic Logic In Computer Science, Deon 2004, Madeira, Portugal, May 26-28, 2004. Proceedings, Alessio Lomuscio (editor), Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2004, 292 pages, ISBN: 9783540221111, Our price: 45.89 GBP (You save: 15%) http://www.eruditor.com/books/item/9783540221111.html.en http://www.eruditor.com/books/item/9783540221111.html.en Integrated Formal Methods 4Th International Conference, Ifm 2004, Canterbury, Uk, April 4-7, 2004, Proceedings, Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2004, 552 pages, ISBN: 9783540213772, Our price: 53.99 GBP http://www.eruditor.com/books/item/9783540213772.html.en http://www.eruditor.com/books/item/9783540213772.html.en S. Barry Cooper: Computability Theory Taylor & Francis Ltd, 2003, 424 pages, ISBN: 9781584882374, Our price: 31.49 GBP (You save: 10%) http://www.eruditor.com/books/item/9781584882374.html.en http://www.eruditor.com/books/item/9781584882374.html.en Graph-Theoretic Concepts In Computer Science 29Th International Workshop, Wg 2003, Elspeet, The Netherlands, June 19-21, 2003, Revised Papers, Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2003, 397 pages, ISBN: 9783540204527, Our price: 39.99 GBP http://www.eruditor.com/books/item/9783540204527.html.en http://www.eruditor.com/books/item/9783540204527.html.en Mark P. Jones: Qualified Types Cambridge University Press, 2003, 172 pages, ISBN: 9780521543262, Our price: 20.89 GBP (You save: 5%) http://www.eruditor.com/books/item/9780521543262.html.en http://www.eruditor.com/books/item/9780521543262.html.en Davide Sangiorgi, David Walker: The Pi-Calculus Cambridge University Press, 2003, 596 pages, ISBN: 9780521543279, Our price: 45.60 GBP (You save: 5%) http://www.eruditor.com/books/item/9780521543279.html.en http://www.eruditor.com/books/item/9780521543279.html.en Sun-Chong Wang: Interdisciplinary Computing In Java Programming Language Kluwer Academic Publishers , 2003, 282 pages, ISBN: 9781402075131, Our price: 99.00 GBP http://www.eruditor.com/books/item/9781402075131.html.en http://www.eruditor.com/books/item/9781402075131.html.en J.W. Klop, R.C. De Vrijer: Term Rewriting Systems Cambridge University Press, 2003, 906 pages, ISBN: 9780521391153, Our price: 97.20 GBP (You save: 10%) http://www.eruditor.com/books/item/9780521391153.html.en http://www.eruditor.com/books/item/9780521391153.html.en Axel Borsch-Supan: Life Cycle Savings And Public Policy Elsevier Science & Technology, 2003, 402 pages, ISBN: 9780121098919, Our price: 48.00 GBP http://www.eruditor.com/books/item/9780121098919.html.en http://www.eruditor.com/books/item/9780121098919.html.en Chitta Baral: Knowledge Representation, Reasoning And Declarative Problem Solving Cambridge University Press, 2003, 544 pages, ISBN: 9780521818025, Our price: 72.00 GBP (You save: 10%) http://www.eruditor.com/books/item/9780521818025.html.en http://www.eruditor.com/books/item/9780521818025.html.en Limitations And Future Trends In Neural Computation S. Ablameyko (editor), Ios Press, 2003, 254 pages, ISBN: 9781586033248, Our price: 66.60 GBP (You save: 10%) http://www.eruditor.com/books/item/9781586033248.html.en http://www.eruditor.com/books/item/9781586033248.html.en Telman Aliev: Robust Technology With Analysis Of Interference In Signal Processing Kluwer Academic Publishers Group, 2003, 213 pages, ISBN: 9780306474798, Our price: 108.50 GBP http://www.eruditor.com/books/item/9780306474798.html.en http://www.eruditor.com/books/item/9780306474798.html.en Data Structures, Near Neighbor Searches And Methodology Michael Goldwasser (editor), American Mathematical Society, 2002, 256 pages, ISBN: 9780821828922, Our price: 63.95 GBP http://www.eruditor.com/books/item/9780821828922.html.en http://www.eruditor.com/books/item/9780821828922.html.en The Essence Of Computation Torben Mogensen (editor), Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2002, 487 pages, ISBN: 9783540003267, Our price: 45.99 GBP http://www.eruditor.com/books/item/9783540003267.html.en http://www.eruditor.com/books/item/9783540003267.html.en Graph-Theoretic Concepts In Computer Science 28Th International Workshop, Wg 2002, Cesky Krumlov, Czech Republic, June 13-15, 2002, Revised Papers, Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2002, 440 pages, ISBN: 9783540003311, Our price: 45.99 GBP http://www.eruditor.com/books/item/9783540003311.html.en http://www.eruditor.com/books/item/9783540003311.html.en Relational Methods In Computer Science 6Th International Conference, Relmics 2001, And 1St Workshop Of Cost Action 274 Tarski Oisterwijk, The Netherlands, October 16-21, 2001, Revised Papers, Harrie C.M. De Swart (editor), Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2002, 325 pages, ISBN: 9783540003151, Our price: 39.99 GBP http://www.eruditor.com/books/item/9783540003151.html.en http://www.eruditor.com/books/item/9783540003151.html.en Advances In Evolutionary Computing Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2002, 1015 pages, ISBN: 9783540433309, Our price: 65.45 GBP (You save: 15%) http://www.eruditor.com/books/item/9783540433309.html.en http://www.eruditor.com/books/item/9783540433309.html.en Algorithmic Learning Theory 13Th International Conference, Alt 2002, Lubeck, Germany, November 24-26, 2002 Proceedings, Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2002, 426 pages, ISBN: 9783540001706, Our price: 45.99 GBP http://www.eruditor.com/books/item/9783540001706.html.en http://www.eruditor.com/books/item/9783540001706.html.en Logic For Programming, Artificial Intelligence And Reasoning 9Th International Conference, Lpar 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings, Matthias Baaz (editor), Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2002, 478 pages, ISBN: 9783540000105, Our price: 49.99 GBP http://www.eruditor.com/books/item/9783540000105.html.en http://www.eruditor.com/books/item/9783540000105.html.en Computer Science Logic 16Th International Workshop, Csl 2002, 11Th Annual Conference Of The Eacsl, Edinburgh, Scotland, Uk, September, Julian Bradfield (editor), Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2002, 625 pages, ISBN: 9783540442400, Our price: 58.99 GBP http://www.eruditor.com/books/item/9783540442400.html.en http://www.eruditor.com/books/item/9783540442400.html.en