Catalog

Search Results

Catalog Search

[ 2 filters applied ]

Additional search filters and navigation

Show More Details
Results 41 - 50 of 67 (page 5 of 7)
Personal Author
More
Topic Subject
More
Series Title
More

Formal Grammar 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers E-book (2011.)
Add to basket

Guide to Computational Geometry Processing Foundations, Algorithms, and Methods E-book (2012.)
Add to basket

Guide to Geometric Algebra in Practice E-book (2011.)
Add to basket

Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings E-book (2012.)
Add to basket

Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings E-book (2011.)
Add to basket

Formal Grammar 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers E-book (2012.)
Add to basket

Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers E-book (2006.)
Add to basket

Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement E-book (2011.)
Add to basket

OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundy E-book (2006.)
Add to basket

Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings E-book (2013.)
Add to basket

Search Results Facets

Search Results List

Results 41 - 50 of 67 (page 5 of 7)
Personal Author
More
Topic Subject
More
Series Title
More

Additional Resources