Mathematical theory of computation
Cryptography And Coding
10Th Ima International Conference, Cirencester, Uk, December 19-21, 2005, Proceedings
Editor: Nigel P. Smart
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2005
Paperback, 472 pages
Integrated Formal Methods
5Th International Conference, Ifm 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings
Editor: Judi M.T. Romijn
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2005
Paperback, 418 pages
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 (Germany), 2005
Paperback, 492 pages
Andrews J.:
Logic Programming
Operational Semantics And Proof Theory
Cambridge University Press (United Kingdom), 2004
Paperback, 120 pages
Manes Ernest G.:
Predicatetransformer Semantics
Series editor: C.J. Van Rijsbergen
Cambridge University Press (United Kingdom), 2004
Paperback, 236 pages
Cooper S. Barry:
Computability Theory
Taylor & Francis Ltd (United States), 2003
Hardback, 424 pages
Sedgewick Robert:
Algorithms In Java (Pts.1-4)
Pearson Education (Us) (United States), 2002
Paperback, 768 pages
Cavanagh Joseph:
Computer Arithmetic And Verilog Hdl Fundamentals
Taylor & Francis Ltd (United States), 2009
Hardback, 968 pages







