Skip to content

Sign in / Sign up

Home
Bookshelf
Contact & Support
Refund & Returns

Search for:

Home
Bookshelf
Contact & Support
How to open your digital file (ePub or PDF)
My account

Artificial Intelligence (incl. Robotics)

Showing 321–330 of 330 results

Mathematics , Logic
Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings
Free Download
Computers
Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX ’96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings
Free Download
Technique
Towards Evolvable Hardware: The Evolutionary Engineering Approach
Free Download
Mathematics
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
Free Download
Mathematics , Computational Mathematics
Transactions on Computational Science V: Special Issue on Cognitive Knowledge Representation
Free Download
Education , International Conferences and Symposiums
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
Free Download
Mathematics , Geometry and Topology
Uncertain Projective Geometry: Statistical Reasoning for Polyhedral Object Reconstruction
Free Download
Computers , Programming
Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Free Download
Mathematics , Differential Equations
Viability theory
Free Download
Technique , Electronics: Robotics
Visual Perception and Robotic Manipulation: 3D Object Recognition, Tracking and Hand-Eye Coordination
Free Download

←
1
2
3
…
14
15
16
17

Shopping Cart

Copyright © 2024 - LibVital.com

Open EBook
Privacy Policy
Contact & Support

Search for:

Categories

Click to Copy

Scroll to Top