Catalog

Search Results

Catalog Search

[ 2 filters applied ]

Additional search filters and navigation

Show More Details
Results 51 - 60 of 465 (page 6 of 47)
Personal Author
More
Topic Subject
More
Series Title
More

Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems E-book (2012.)
Add to basket

Building Innovation Pipelines through Computer-Aided Innovation 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 – July 1, 2011. Proceedings E-book (2011.)
Add to basket

Programming for Engineers A Foundational Approach to Learning C and Matlab E-book (2011.)
Add to basket

Inconsistency Tolerance E-book (2005.)
Add to basket

Descriptional Complexity of Formal Systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings E-book (2011.)
Add to basket

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday E-book (2005.)
Add to basket

Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings E-book (2012.)
Add to basket

Facing the Multicore-Challenge Aspects of New Paradigms and Technologies in Parallel Computing E-book (2011.)
Add to basket

Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures E-book (2011.)
Add to basket

Finite Element Methods: Parallel-Sparse Statics and Eigen-Solutions E-book (2006.)
Add to basket

Search Results Facets

Search Results List

Results 51 - 60 of 465 (page 6 of 47)
Personal Author
More
Topic Subject
More
Series Title
More

Additional Resources