Combinatorics, Computation, and Logic: Proceedings of DMTCS'99 and CATS'99 - Discrete Mathematics and Theoretical Computer Science (Paperback)M. J. Dinneen (editor)
Paperback 380 Pages / Published: 01/04/1999
- Publisher out of stock
This volume contains the proceedings of the 2nd International Conference on Discrete Mathematics and Theoretical Computer Science (DMTCS9) and the 5th Australasian Theory Symposium (CATS9). Both were held as part of the Australasian Computer Science Week (ACSW9) in Auckland, New Zealand, January 1999. The topics presented included those on: abstract data types and specifications; algorithms and data structures; automata and formal languages; computability and complexity; computational algebras, biology, geometry, logic, and number theory; concurrency, distributed systems, and parallel computing; constructive mathematics; discrete mathematics and combinatorial computing; formal semantics, specification, synthesis, and verification. These proceedings, comprised of 5 invited papers and 19 contributed refereed papers, thus provide the latest research in these fields.
Publisher: Springer Verlag, Singapore
Number of pages: 380
Weight: 540 g
Edition: 1999 ed.
You may also be interested in...
Please sign in to write a review
Simply reserve online and pay at the counter when you collect. Available in shop from just two hours, subject to availability.
Thank you for your reservation
Your order is now being processed and we have sent a confirmation email to you at
When will my order be ready to collect?
Following the initial email, you will be contacted by the shop to confirm that your item is available for collection.
Call us on or send us an email at
Unfortunately there has been a problem with your order
Please try again or alternatively you can contact your chosen shop on or send us an email at