Automata, Languages, and Programming
Artur Czumaj, Kurt Mehlhorn, Andrew Pitts
₹5,822
Publisher
Books from Springer
New, genuine Springer titles, delivered free across India.
Page 152 of 1,389
Automata, Logics, and Infinite Games
Erich Grädel, Wolfgang Thomas, Thomas Wilke
₹4,912
Automated Data Retrieval in Astronomy
Carlos Jaschek
₹12,047
Automated Deduction - Cade-11
Deepak Kapur
₹4,105
Automated Deduction - Cade-15
Claude Kirchner, Helene Kirchner
₹5,605
Automated Deduction - Cade-16
Harald Ganzinger
₹5,598
Automated Deduction - Cade-18
Andrei Voronkov
₹5,649
Automated Deduction - Cade-19
Franz Baader
₹5,636
Automated Deduction -- Cade-23
Nikolaj Björner, Viorica Sofronie-Stokkermans
₹5,669
Automated Deduction in Equational Logic and Cubic Curves
William McCune, R. Padmanabhan
₹5,560
Automated Deduction in Geometry
Franz Winkler
₹5,560
Automated Deduction in Geometry
Jürgen Richter-Gebert, Dongming Wang
₹5,785
Automated Deduction in Geometry
Dongming Wang
₹5,496
Automated Deduction in Geometry
Thomas Sturm, Christoph Zengler
₹5,499
Automated Deduction in Geometry
Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert
₹5,715
Automated Guided Vehicle Systems
Günter Ullrich, Paul A. Kachur
₹4,074
Automated Invention for Smart Industries
Denis Cavallucci, Roland De Guio, Sebastian Koziołek
₹3,362
Automated Mathematical Induction
Hantao Zhang
₹10,100
Automated Modeling of Physical Systems
P. Pandurang Nayak
₹5,502
Automated Multi-Camera Surveillance
Omar Javed, Mubarak Shah
₹4,875
Automated Reasoning
David Basin, Michael Rusinowitch
₹5,113
Automated Reasoning
Jürgen Giesl, Reiner Hähnle
₹4,981
Automated Reasoning
Bernhard Gramlich, Dale Miller, Ulrike Sattler
₹5,686
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
Alessandro Armando, Gavin Lowe
₹4,326