Automata, Languages and Programming
Luca Aceto, Monika Henzinger, Jiri Sgall
₹5,210
Publisher
Books from Springer
New copies of Springer titles, ordered from our distributor for each order.
Showing 1,705–1,728 of 17,313 books
Automata, Languages, and Programming
H. A. Maurer
₹5,092
Automata, Languages, and Programming
Serge Abiteboul, Eli Shamir
₹4,896
Automata, Languages, and Programming
Artur Czumaj, Kurt Mehlhorn, Andrew Pitts
₹5,727
Automata, Languages, and Programming
Artur Czumaj, Kurt Mehlhorn, Andrew Pitts
₹5,822
Automata, Logics, and Infinite Games
Erich Grädel, Wolfgang Thomas, Thomas Wilke
₹4,912
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 Modeling of Physical Systems
P. Pandurang Nayak
₹5,502
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