Explore Books on
mathematical theory of computation

1-24 of 111 Books

Cover of Information Processing and Management of Uncertainty in Knowledge-Based Systems by joao paulo carvalho,marie-jeanne lesot,uzay kaymak,susana vieira,bernadette bouchon-meunier,ronald r. yager

Information Processing and Management of Uncertainty in Knowledge-Based Systems

By Joao Paulo Carvalho,Marie-Jeanne Lesot,Uzay Kaymak,Susana Vieira,Bernadette Bouchon-Meunier,Ronald R. Yager

Cover of Introduction to automata theory, languages, and computation by john e. hopcroft,jeffrey d. ullman,rajeev motwani

Introduction to automata theory, languages, and computation

By John E. Hopcroft,Jeffrey D. Ullman,Rajeev Motwani

Cover of Optimization in solving elliptic problems by e. g. dʹi͡akonov,eugene g. d'yakonov,steve mccormick

Optimization in solving elliptic problems

By E. G. Dʹi͡akonov,Eugene G. D'yakonov,Steve McCormick

Cover of Programming the finite element method by i. m. smith,d. v. griffiths

Programming the finite element method

By I. M. Smith,D. V. Griffiths

Cover of Tools and Algorithms for the Construction and Analysis of Systems by armin biere

Tools and Algorithms for the Construction and Analysis of Systems

By Armin Biere

Cover of Learning and geometry by smith, carl h.,david kueker,carl smith

Learning and geometry

By Smith, Carl H.,David Kueker,Carl Smith

Cover of Quantum computing by mikio nakahara,tetsuo ohmi

Quantum computing

By Mikio Nakahara,Tetsuo Ohmi

Cover of Representation and control of infinite dimensional systems by alain bensoussan,giuseppe da prato,michel c. delfour,sanjoy k. mitter

Representation and control of infinite dimensional systems

By Alain Bensoussan,Giuseppe Da Prato,Michel C. Delfour,Sanjoy K. Mitter

Cover of Computation and control III by bozeman conference on computation and control (3rd 1992 montana state university),kenneth l. bowers,john lund

Computation and control III

By Bozeman Conference on Computation and Control (3rd 1992 Montana State University),Kenneth L. Bowers,John Lund

Cover of Scheduling and automatic parallelization by alain darte,yves. robert,frederic vivien

Scheduling and automatic parallelization

By Alain Darte,Yves. Robert,Frederic Vivien

Cover of Topics in control theory by h. w. knobloch,hans w. knobloch,a. isidori,d. flockerzi

Topics in control theory

By H. W. Knobloch,Hans W. Knobloch,A. Isidori,D. Flockerzi

Cover of Complexity and Approximation by g. ausiello,p. crescenzi,v. kann,marchetti-sp,giorgio gambosi,alberto m. spaccamela

Complexity and Approximation

By G. Ausiello,P. Crescenzi,V. Kann,Marchetti-sp,Giorgio Gambosi,Alberto M. Spaccamela

Cover of Computer algorithms/C++ by ellis horowitz,sanguthevar rajasekaran,sartaj sahni

Computer algorithms/C++

By Ellis Horowitz,Sanguthevar Rajasekaran,Sartaj Sahni

Cover of Towards efficient fuzzy information processing by chongfu huang,chongfu huang,yong shi

Towards efficient fuzzy information processing

By Chongfu Huang,Chongfu Huang,Yong Shi

Cover of Programming languages by plilp '96 (1996 aachen, germany),germany) plilp 9 (1996 aachen,herbert r. kuchen,s. doaitse swierstra

Programming languages

By PLILP '96 (1996 Aachen, Germany),Germany) Plilp 9 (1996 Aachen,Herbert R. Kuchen,S. Doaitse Swierstra

Cover of Chinese remainder theorem by c. ding,d. pei,a. salomaa

Chinese remainder theorem

By C. Ding,D. Pei,A. Salomaa

Cover of Numerical solution of SDE through computer experiments by peter e. kloeden,peter eris kloeden,eckhard platen,henri schurz

Numerical solution of SDE through computer experiments

By Peter E. Kloeden,Peter Eris Kloeden,Eckhard Platen,Henri Schurz

Cover of The CNC workshop by frank nanfara,tony uccello,derek murphy

The CNC workshop

By Frank Nanfara,Tony Uccello,Derek Murphy

Cover of Computational mathematics driven by industrial problems by rainer e. burkard,v. capasso,jacques periaux,r. burkard,p. deuflhard,a. jameson,jacques louis lions,g. strang

Computational mathematics driven by industrial problems

By Rainer E. Burkard,V. Capasso,Jacques Periaux,R. Burkard,P. Deuflhard,A. Jameson,Jacques Louis Lions,G. Strang

Cover of DNA computing by gheorghe păun,gheorghe paun,grzegorz rozenberg,arto salomaa,anne condon

DNA computing

By Gheorghe Păun,Gheorghe Paun,Grzegorz Rozenberg,Arto Salomaa,Anne Condon

Cover of Monte Carlo methods for applied scientists by ivan t. dimov,sean mckee

Monte Carlo methods for applied scientists

By Ivan T. Dimov,Sean McKee

Cover of Data refinement by w.-p. de roever,willem-paul de roever,kai engelhardt

Data refinement

By W.-P. de Roever,Willem-Paul de Roever,Kai Engelhardt

Cover of Systems Construction and Analysis by norman e. fenton,gillian ann foard hill

Systems Construction and Analysis

By Norman E. Fenton,Gillian Ann Foard Hill

Cover of Verification of computer codes in computational science and engineering by patrick m. knupp,patrick knupp,kambiz salari

Verification of computer codes in computational science and engineering

By Patrick M. Knupp,Patrick Knupp,Kambiz Salari