Catalog

Search Results

Catalog Search

[ 2 filters applied ]

Additional search filters and navigation

Show More Details
Results 751 - 760 of 765 (page 76 of 77)
Personal Author
More
Topic Subject
More
Series Title
More

Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings E-book (2012.)
Add to basket

Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings E-book (2010.)
Add to basket

Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings E-book (2011.)
Add to basket

Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings E-book (2012.)
Add to basket

Modeling and Using Context 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings E-book (2011.)
Add to basket

Bases, outils et principes pour l'analyse variationnelle E-book (2013.)
Add to basket

MATLAB R2009, SIMULINK et STATEFLOW pour Ingénieurs, Chercheurs et Etudiants E-book (2010.)
Add to basket

Meccanica Razionale E-book (2013.)
Add to basket

Éléments de théorie des graphes E-book (2012.)
Add to basket

Teoria degli Automi Finiti E-book (2013.)
Add to basket

Search Results Facets

Search Results List

Results 751 - 760 of 765 (page 76 of 77)
Personal Author
More
Topic Subject
More
Series Title
More

Additional Resources