| Automated Reasoning (Lecture Notes in Computer Science, 7364) |
Springer |
978-3-642-31364-6 |
Springer: Springer eBook Collection |
| Automated Reasoning with Analytic Tableaux and Related Methods (Lecture Notes in Computer Science, 3702) |
Springer |
978-3-540-28931-9 |
Springer: Springer eBook Collection |
| Automated Reasoning with Analytic Tableaux and Related Methods (Lecture Notes in Computer Science, 6793) |
Springer |
978-3-642-22118-7 |
Springer: Springer eBook Collection |
| Automated Technology for Verification and Analysis (Lecture Notes in Computer Science) |
Springer |
978-3-642-33385-9 |
Springer: Springer eBook Collection |
| Automated Technology for Verification and Analysis (Lecture Notes in Computer Science, 3707) |
Springer |
978-3-540-29209-8 |
Springer: Springer eBook Collection |
| Automated Technology for Verification and Analysis (Lecture Notes in Computer Science, 6996) |
Springer |
978-3-642-24371-4 |
Springer: Springer eBook Collection |
| Automatic Algorithm Selection for Complex Simulation Problems |
Springer |
978-3-8348-1542-2 |
Springer: Springer eBook Collection |
| Automatic Digital Document Processing and Management (Advances in Computer Vision and Pattern Recognition) |
Springer |
978-0-85729-197-4 |
Springer: Springer eBook Collection |
| Automating Business Modelling (Advanced Information and Knowledge Processing) |
Springer |
978-1-85233-835-0 |
Springer: Springer eBook Collection |
| Autonomic and Trusted Computing (Lecture Notes in Computer Science, 6906) |
Springer |
978-3-642-23495-8 |
Springer: Springer eBook Collection |
| Autonomic Communication (Lecture Notes in Computer Science, 3457) |
Springer |
978-3-540-27417-9 |
Springer: Springer eBook Collection |
| Autonomic Cooperative Networking (SpringerBriefs in Computer Science) |
Springer |
978-1-4614-3099-5 |
Springer: Springer eBook Collection |
| Autonomous and Intelligent Systems (Lecture Notes in Computer Science) |
Springer |
978-3-642-31367-7 |
Springer: Springer eBook Collection |
| Autonomous and Intelligent Systems (Lecture Notes in Computer Science, 6752) |
Springer |
978-3-642-21537-7 |
Springer: Springer eBook Collection |
| Autonomous Intelligent Systems: Agents and Data Mining (Lecture Notes in Computer Science, 3505) |
Springer |
978-3-540-26164-3 |
Springer: Springer eBook Collection |
| Autonomous Intelligent Vehicles (Advances in Computer Vision and Pattern Recognition) |
Springer |
978-1-4471-2279-1 |
Springer: Springer eBook Collection |
| Autonomous Search |
Springer |
978-3-642-21433-2 |
Springer: Springer eBook Collection |
| Autonomy Oriented Computing (Multiagent Systems, Artificial Societies, and Simulated Organizations, 12) |
Springer |
978-1-4020-8121-7 |
Springer: Springer eBook Collection |
| Availability, Reliability and Security for Business, Enterprise and Health Information Systems (Lecture Notes in Computer Science, 6908) |
Springer |
978-3-642-23299-2 |
Springer: Springer eBook Collection |
| Behavior Computing |
Springer |
978-1-4471-2968-4 |
Springer: Springer eBook Collection |