Automated Reasoning with Analytic Tableaux and Related Methods
Marta Cialdea Mayer, Fiora Pirri
₹5,612
Publisher
Books from Springer
New, genuine Springer titles, delivered free across India.
Page 153 of 1,389
Automated Reasoning with Analytic Tableaux and Related Methods
Uwe Egly, Christian G. Fernmüller
₹5,672
Automated Reasoning with Analytic Tableaux and Related Methods
Didier Galmiche
₹5,569
Automated Reasoning with Analytic Tableaux and Related Methods
Neil V. Murray
₹5,543
Automated Reasoning with Analytic Tableaux and Related Methods
Kai Brünnler, George Metcalfe
₹5,534
Automated Reasoning with Analytic Tableaux and Related Methods
Sara Negri Anupam Das
₹3,645
Automated Reasoning with Analytic Tableaux and Related Methods
GALMICHE
₹3,617
Automated Software Engineering
Ajay Kumar Jena Suresh Chandra Satapathy, Saurabh Bilgaiyan Jagannath Singh
₹4,118
Automated Software Testing
Ajay Kumar Jena, Himansu Das, Durga Prasad Mohapatra
₹3,153
Automated Software and Service Composition
Felix Mohr
₹2,687
Automated Technology for Verification and Analysis
Farn Wang
₹4,536
Automated Technology for Verification and Analysis
Ahmed Bouajjani, Wei-Ngan Chin
₹5,593
Automated Technology for Verification and Analysis
Tevfik Bultan, Pao-Ann Hsiung
₹5,652
Automated Unit Testing with ABAP
James E. McDonough
₹3,077
Automated and Algorithmic Debugging
Peter A. Fritzson
₹5,565
Automaten
Philipp Kelle
₹3,249
Automatentheorie Und Logik
Martin Hofmann, Martin Lange
₹3,387
Automatic Calibration and Reconstruction for Active Vision Systems
Beiwei Zhang, Y. F. Li
₹7,761
Automatic Differentiation
L. B. Rall
₹3,918
Automatic Nonuniform Random Variate Generation
Wolfgang Hörmann, Josef Leydold, Gerhard Derflinger
₹5,360
Automatic Quantum Computer Programming
Lee Spector
₹4,663
Automatic Quantum Computer Programming (hb 2004)
Spector L.
₹6,725
Automatic Verification Methods for Finite State Systems
Joseph Sifakis
₹5,573
Automatic trend estimation
C˘alin Vamos¸, Maria Cr˘aciun
₹3,713