Solving Higher-Order Equations
Christian Prehofer
₹3,423
Subject
Mathematical theory of computation books
193 new mathematical theory of computation titles, with the largest lists from Springer, Cambridge University Press and Springer-Verlag Berlin and Heidelberg GmbH & Co. K. Prices from ₹900 to ₹23,509, with free delivery across India and cash on delivery.
Showing 169–192 of 193 books
Stacs 96
Claude Puech, Rüdiger Reischuk
₹5,461
Stacs 99
Christoph Meinel, Sophie Tison
₹4,408
Statistical Mechanics of Learning
A. Engel, C. Van den Broeck
₹4,831
Statistical Mechanics of Learning
A. Engel, C. Van den Broeck
₹5,055
Swat '90
John R. Gilbert, Rolf Karlsson
₹5,590
Symbolic Computation and Automated Reasoning
Manfred Kerber, Michael Kohlhase
₹4,226
Tapsoft '91
S. Abramsky, T. S. E. Maibaum
₹5,624
Term Rewriting Systems
Jan Willem Klop, Roel de Vrijer, Terese
₹4,205
The Essence of Computation
Torben Æ. Mogensen, David Schmidt, I. Hal Sudborough
₹5,634
The Logic of Typed Feature Structures
Bob Carpenter, C. J. Van Rijsbergen, Samson Abramsky
₹5,593
The Logic of Typed Feature Structures
Robert L. Carpenter
₹3,935
The Mathematical Theory of Nonblocking Switching Networks
Frank Kwang-ming Hawang, Frank Hwang
₹3,610
The Practical Handbook of Genetic Algorithms
Lance D. Chambers
₹5,290
The Uncertain Reasoner's Companion
J. B. Paris, C. J. Van Rijsbergen, Samson Abramsky
₹5,959
Theorem Proving in Higher Order Logics
Richard J. Boulton, Paul B. Jackson
₹5,718
Theorem Proving in Higher Order Logics
Juris Hartmanis Gerhard Goos, Joakim Wright Jan Leeuwen, John Harrison Jim Grundy
₹3,391
Theorem Proving with Analytic Tableaux and Related Methods
Pierangelo Miglioli, Ugo Moscato, Daniele Mundici
₹5,608
Theoretical Aspects of Computer Science
Gholamreza B. Khosrovshahi, Ali Shokoufandeh, Amin Shokrollahi
₹2,664
Theoretical Computer Science
Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi
₹5,759
Topology for Computing by Afra J. Zomorodian – Computational Topology
Afra J. Zomorodian, Philippe G. Ciarlet, A. Iserles
₹4,750
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV
Abdelkader Hameurlain, Josef Küng, Roland Wagner, Hendrik Decker
₹4,229
Trees in Algebra and Programming - Caap '94
Sophie Tison
₹5,623
Typed Lambda Calculi and Applications
Mariangiola Dezani-Ciancaglini, Gordon Plotkin
₹5,666