Search the Library Catalogue
Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|
Anna Centenary Library | QA76.95 .C645 1990 510/.285 (Browse shelf(Opens below)) | Available | 173677 |
No cover image available | No cover image available | |||||||
QA76.9.S88 D474 1996 004/.01/9 Design rationale : concepts, techniques, and use | QA76.9.U83 J63 2008 005.4/37 GUI bloopers 2.0 : common user interface design don'ts and dos | QA76.9.V5 K37 2009 005.4/3 Microsoft virtualization with Hyper-V | QA76.95 .C645 1990 510/.285 Computers in mathematics | QA8.4 .S415 2007 510.1 Nominalism and constructivism in seventeenth-century mathematical philosophy | QA9 .G5313 1986 511.3 Collected works | QA9 .G5313 1986 511.3 Collected works |
Talks from the International Conference on Computers and Mathematics which took place July 29-Aug. 1, 1986 on the campus of Stanford University, sponsored by the American Association for Artificial Intelligence and the ACM Special Interest Group on Symbolic and Algebraic Manipulation. Includes bibliographical references and index
There are no comments on this title.