| AsiaSim 2012 (Communications in Computer and Information Science) |
Springer |
978-3-642-34383-4 |
Springer: Springer eBook Collection |
| AsiaSim 2012 (Communications in Computer and Information Science) |
Springer |
978-3-642-34389-6 |
Springer: Springer eBook Collection |
| AsiaSim 2012 (Communications in Computer and Information Science) |
Springer |
978-3-642-34386-5 |
Springer: Springer eBook Collection |
| Attention and Performance in Computational Vision (Lecture Notes in Computer Science, 3368) |
Springer |
978-3-540-24421-9 |
Springer: Springer eBook Collection |
| Auctions, Market Mechanisms, and Their Applications (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 80) |
Springer |
978-3-642-30912-0 |
Springer: Springer eBook Collection |
| Audio- and Video-Based Biometric Person Authentication (Lecture Notes in Computer Science, 3546) |
Springer |
978-3-540-27887-0 |
Springer: Springer eBook Collection |
| Augmented Environments for Computer-Assisted Interventions (Lecture Notes in Computer Science, 7264) |
Springer |
978-3-642-32629-5 |
Springer: Springer eBook Collection |
| Automata and Computability |
Springer |
9781461273097 |
ProQuest |
| Automata, Languages and Programming (Lecture Notes in Computer Science, 3580) |
Springer |
978-3-540-27580-0 |
Springer: Springer eBook Collection |
| Automata, Languages and Programming (Lecture Notes in Computer Science, 6755) |
Springer |
978-3-642-22005-0 |
Springer: Springer eBook Collection |
| Automata, Languages and Programming (Lecture Notes in Computer Science, 6756) |
Springer |
978-3-642-22011-1 |
Springer: Springer eBook Collection |
| Automata, Languages, and Programming (Lecture Notes in Computer Science, 7391) |
Springer |
978-3-642-31593-0 |
Springer: Springer eBook Collection |
| Automata, Languages, and Programming (Lecture Notes in Computer Science, 7392) |
Springer |
978-3-642-31584-8 |
Springer: Springer eBook Collection |
| Automated Configuration Problem Solving (SpringerBriefs in Computer Science) |
Springer |
978-1-4614-4531-9 |
Springer: Springer eBook Collection |
| Automated Deduction - CADE-20 (Lecture Notes in Computer Science, 3632) |
Springer |
978-3-540-28005-7 |
Springer: Springer eBook Collection |
| Automated Deduction - CADE-23 (Lecture Notes in Computer Science, 6803) |
Springer |
978-3-642-22437-9 |
Springer: Springer eBook Collection |
| Automated Deduction in Geometry (Lecture Notes in Computer Science, 6301) |
Springer |
978-3-642-21045-7 |
Springer: Springer eBook Collection |
| Automated Deduction in Geometry (Lecture Notes in Computer Science, 6877) |
Springer |
978-3-642-25069-9 |
Springer: Springer eBook Collection |
| 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 |