Quick Search
Shop by Price
Featured Categories
Categories
Mathematical Foundation
|
Sudoku for Dummies : Volume 3 By: Andrew Heron, Edmund James Format: Paperback |
SAVE 17%
|
|||
|
|||||
Description:Stretch your mind with 4 levels of puzzles, from easy to diabolically difficult! Includes easy-to-follow instructions to help...ISBN: 9780470026670 |
|||||
|
Algorithmic Decision Theory: First International Conference, ADT 2009, Venice, Italy, October 2009, Proceedings Unknown: Francesca Rossi Format: Paperback |
||||
|
|||||
|
ISBN: 9783642044274
|
|||||
|
Infinity in Logic and Computation: International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers Unknown: Margaret Archibald Format: Paperback |
||||
|
|||||
|
ISBN: 9783642030918
|
|||||
|
Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th Inter Unknown: Rudolf Berghammer Format: Paperback |
||||
|
|||||
|
ISBN: 9783642046384
|
|||||
|
Teaching Formal Methods: Second International Conference, Tfm 2009, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings Unknown: Jeremy Gibbons Format: Paperback |
||||
|
|||||
|
ISBN: 9783642049118
|
|||||
|
Anaphora Processing and Applications: 7th Discourse Anaphora and Anaphor Resolution Colloquium, Daarc 2009 Goa, India, November 5-6, 2009 Proceedings Unknown: Sobha Lalitha Devi Format: Paperback |
||||
|
|||||
|
ISBN: 9783642049743
|
|||||
|
Proof Theory Editor: Peter Aczel, Harold Simmons, Stanley S. Wainer Format: Paperback |
||||
|
|||||
Description:Preface; Programme of lectures; 1. Basic proof theory S. Wainer and L. Wallen; 2. A short course in ordinal analysis W.......ISBN: 9780521054164 |
|||||
|
Multiplicities and Chern Classes in Local Algebra By: Paul C. Roberts Format: Paperback |
||||
|
|||||
Description:1. Prime ideals and the Chow group; 2. Graded rings and Samuel multiplicity; 3. Complexes and derived functors; 4.......ISBN: 9780521065832 |
|||||
|
Some Applications of Modular Forms By: Peter Sarnak Format: Paperback |
||||
|
|||||
Description:Introduction; 1. Modular forms; 2. Invariant means on Lâ(Sn); 3. Ramanujan graphs; 4. Bounds for Fourier coefficients......ISBN: 9780521067706 |
|||||
|
Computability in Context: Computation and Logic in the Real World Editor: S. Barry Cooper, Andrea Sorbi Format: Hardcover |
||||
|
|||||
|
ISBN: 9781848162457
|
|||||
|
Sets, Sequences and Mappings: The Basic Concepts of Analysis By: Kenneth Anderson, Dick Wick Hall Format: Paperback |
||||
|
|||||
Description:Students progressing to advanced calculus are frequently confounded by the dramatic shift from mechanical to theoretical......ISBN: 9780486474212 |
|||||
|
Einfa1/4hrung in Die Mengenlehre: Die Mengenlehre Georg Cantors Und Ihre Axiomatisierung Durch Ernst Zermelo By: Oliver Deiser Format: Paperback |
||||
|
|||||
|
ISBN: 9783642014444
|
|||||
|
Modal Logics and Philosophy By: Rod Girle Format: Hardcover |
||||
|
|||||
Description:"Rod Girle is the best logic teacher that I know. All those who want a non-technical introduction to modal logic and its......ISBN: 9780773536487 |
|||||
|
Modal Logics and Philosophy By: Rod Girle Format: Paperback |
||||
|
|||||
Description:"Rod Girle is the best logic teacher that I know. All those who want a non-technical introduction to modal logic and its......ISBN: 9780773536531 |
|||||
|
Handbook of Weighted Automata Editor: Manfred Droste, Werner Kuich, Heiko Vogler Format: Hardcover |
||||
|
|||||
|
ISBN: 9783642014918
|
|||||
|
Recent Trends in Algebraic Development Techniques: 19th International Workshop, Wadt 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers Unknown: Andrea Corradini Format: Paperback |
||||
|
|||||
|
ISBN: 9783642034282
|
|||||
|
Reachability Problems: Third International Workshop, Rp 2009, Palaiseau, France, September 23-25, 2009, Proceedings Unknown: Olivier Bournez Format: Paperback |
||||
|
|||||
|
ISBN: 9783642044199
|
|||||
|
Verification of Sequential and Concurrent Programs By: Krzysztof R. Apt, Frank S. De Boer, Ernst-Rudiger Olderog Format: Hardcover |
||||
|
|||||
|
ISBN: 9781848827448
|
|||||
|
Computational Logic in Multi-Agent Systems: 9th International Workshop, CLIMA IX Dresden, Germany, September 29-30, 2008 Revised Selected and Invited Editor: Michael Fisher, Fariba Sadri, Michael Thielscher Format: Paperback |
||||
|
|||||
|
ISBN: 9783642027338
|
|||||
|
Transactions on Rough Sets X Editor: James F. Peters, Andrzej Skowron, Marcin Wolski Format: Paperback |
||||
|
|||||
|
ISBN: 9783642032806
|
|||||
Latest Publisher Releases
Click on the logos to see the latest releases from these leading Australian publishers and distributors.
