Computers

Return to all Computers

Previous
Matches 1 - 10.
no cover image available
Code
Petzold, Charles
Paperback: 8% ÇÒÀÎ! $17.99 $16.55 [19,860₩]
¹è¼Û within 10 business days

What do flashlights, the British invasion, black cats, and seesaws have to do with computers? In "Code", they show us the ingenious ways we manipulate language and invent new ways to communicate with each other. And through "Code", we see how this ingenuity... [More...]


no cover image available
Theorem Proving in Higher Order Logics: 14th International Conference, Tphols 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings
Boulton, R. J.
Paperback: $89.94 [107,930₩]
¹è¼Û within 10 business days



no cover image available
Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
Kahle, R.
Paperback: $65.94 [79,130₩]
¹è¼Û within 10 business days



no cover image available
Integrated Formal Methods: Third International Conference, Ifm 2002, Turku, Finland, May 15-18, 2002. Proceedings.
Zhan, Xingzhi M. E.
Paperback: $93.54 [112,250₩]
¹è¼Û within 10 business days

This book constitutes the refereed proceedings of the Third International Conference on Integrated Formal Methods, IFM 2002, held in Turku, Finland, in May 2002.
The 18 revised full papers presented together with three invited papers were carefully... [More...]


no cover image available
Theorem Proving in Higher Order Logics: 15th International Conference, Tphols 2002, Hampton, Va, USA, August 20-23, 2002. Proceedings
Montanari, Alessandro B.
Paperback: $87.54 [105,050₩]
¹è¼Û within 10 business days

This book constitutes the refereed proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2002, held in Hampton, VA, USA in August 2002.
The 20 revised full papers presented together with 2 invited... [More...]


no cover image available
Mathematical Foundations of Computer Science 2002: 27th International Symposium, Mfcs 2002, Warsaw, Poland, August 26-30, 2002. Proceedings
Diks, K.
Paperback: $130.80 [156,960₩]
¹è¼Û within 10 business days

This book constitutes the refereed proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science, MFCS 2002, held in Warsaw, Poland in August 2002.
The 48 revised full papers presented together with 5 invited papers were... [More...]


no cover image available
Mathematical Foundations of Computer Science 1988: 13th Symposium Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Proceedings
Chytil, Michal P.
Paperback: $111.60 [133,920₩]
¹è¼Û within 10 business days



no cover image available
Logic at Botik '89: Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings
Meyer, Albert R.
Paperback: $69.54 [83,450₩]
¹è¼Û within 10 business days



no cover image available
Mathematical Foundations of Computer Science 1989: Porabka-Kozubnik, Poland, August 28 - September 1, 1989. Proceedings
Kreczmar, Antoni
Paperback: $83.94 [100,730₩]
¹è¼Û within 10 business days



no cover image available
Eurocal '87: European Conference on Computer Algebra, Leipzig, Gdr, June 2-5, 1987. Proceedings
Davenport, James H.
Paperback: $102.00 [122,400₩]
¹è¼Û within 10 business days



Previous