Automated Reasoning with Analytic Tableaux and Related Methods
Marta Cialdea Mayer, Fiora Pirri
₹5,612
Publisher
Books from Springer
New copies of Springer titles, ordered from our distributor for each order.
Showing 1,729–1,752 of 17,313 books
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 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 and Algorithmic Debugging
Peter A. Fritzson
₹5,565
Automaten
Philipp Kelle
₹3,249
Automatentheorie Und Logik
Martin Hofmann, Martin Lange
₹3,387
Automatic Ambiguity Resolution in Natural Language Processing
Alexander Franz
₹5,464
Automatic Differentiation
L. B. Rall
₹3,918
Automatic Gain Control
Juan Pablo Alegre Pérez, Santiago Celma Pueyo, Belén Calvo López
₹5,124
Automatic Nonuniform Random Variate Generation
Wolfgang Hörmann, Josef Leydold, Gerhard Derflinger
₹5,360
Automatic Quantum Computer Programming
Lee Spector
₹4,663
Automatic Verification Methods for Finite State Systems
Joseph Sifakis
₹5,573
Automatik - Zubehör - Inbetriebnahme Geräuschbekämpfung Kälteanlagen - Wärmepumpen
Rudolf Plank
₹3,508
Automating the Design of Data Mining Algorithms
Gisele L. Pappa, Alex Freitas
₹4,282
Automatische Montage Von O-Ringen
Johannes F. Wößner
₹5,122
Automatische Synthese Rekursiver Programme ALS Beweisverfahren
Susanne Biundo
₹3,508
Automatisierte Identifikation Der Streckenparameter Servohydraulischer Vorschubantriebe
Gerhard Keuper
₹3,623
Automatisierte Überwachungsverfahren Für Fertigungseinrichtungen Mit Speicherprogrammierten Steuerungen
W. Eissler
₹3,623
Automatisiertes Lackieren Mit Steuerbaren Spritzpistolen
Konrad A. Ortlieb
₹3,873