Mathematical theory of computation
Cavanagh Joseph:
Computer Arithmetic And Verilog Hdl Fundamentals
Taylor & Francis Ltd (United States), 2009
Hardback, 968 pages
Integrated Formal Methods
4Th International Conference, Ifm 2004, Canterbury, Uk, April 4-7, 2004, Proceedings
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2004
Paperback, 552 pages
Deontic Logic In Computer Science
7Th International Workshop On Deontic Logic In Computer Science, Deon 2004, Madeira, Portugal, May 26-28, 2004. Proceedings
Editor: Alessio Lomuscio
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2004
Paperback, 292 pages
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 (Germany), 2004
Paperback, 345 pages
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 (Germany), 2004
Paperback, 531 pages
Algorithms And Models For The Web-Graph
Third International Workshop, Waw 2004, Rome, Italy, October 16, 2004, Proceedings
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2004
Paperback, 197 pages
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 (Germany), 2004
Paperback, 424 pages
Borsch-Supan Axel:
Life Cycle Savings And Public Policy
A Cross-National Study Of Six Countries
Elsevier Science & Technology (United Kingdom), 2003
Hardback, 402 pages







