Bounded Queries in Recursion Theory /

Introduction to Languages, Machines and Logic : Computable Languages, Abstract Machines and Formal Logic /
by: Parkes, Alan P.
Published: (2002)

Neural and Automata Networks : Dynamical Behavior and Applications /
by: Golès, E.
Published: (1990)

Selected Areas in Cryptography /
by: Kranakis, Evangelos
Published: (1997)

Handbook of Combinatorial Optimization : Supplement Volume A /
by: Du, Dingzhu
Published: (1999)

A Recursive Introduction to the Theory of Computation /
by: Smith, Carl H. (Carl Henry), 1895-
Published: (1994)

Completeness and Reduction in Algebraic Complexity Theory /
by: Bürgisser, Peter
Published: (2000)

Advanced Problems in Constructive Approximation : 3rd International Dortmund Meeting on Approximation Theory (IDoMAT) 2001 /
by: Buhmann, Martin D.
Published: (2003)

Mathematical Theory of Optimization /
by: Du, Dingzhu
Published: (2001)

Complexity of Lattice Problems : a Cryptographic Perspective /
by: Micciancio, Daniele
Published: (2002)

Problems and Exercises in Discrete Mathematics /
by: Gavrilov, G. P.
Published: (1996)

Algebraic Combinatorics and Computer Science : a Tribute to Gian-Carlo Rota /
by: Crapo, H.
Published: (2001)

Mathematical Computation with Maple V: Ideas and Applications : Proceedings of the Maple Summer Workshop and Symposium, University of Michigan, Ann Arbor, June 28-30, 1993 /
by: Lee, Thomas
Published: (1993)

Knowledge Discovery and Measures of Interest /
by: Hilderman, Robert J.
Published: (2001)

Unconventional Models of Computation, UMC'2K : Proceedings of the Second International Conference on Unconventional Models of Computation, (UMC'2K) /
by: Antoniou, I.
Published: (2001)

Difference Schemes with Operator Factors /
by: Samarskii, A. A.
Published: (2002)

Algebraic Structures and Operator Calculus : Volume III: Representations of Lie Groups /
by: Feinsilver, Philip
Published: (1996)

Gibbs Random Fields : Cluster Expansions /
by: Malyshev, V. A.
Published: (1991)

Optimization and Related Topics /
by: Rubinov, Alexander
Published: (2001)

Nonlinear Assignment Problems : Algorithms and Applications /
by: Pardalos, Panos M.
Published: (2000)

The Quadratic Assignment Problem : Theory and Algorithms /
by: C̦ela, Eranda
Published: (1998)

Dependence Analysis for Supercomputing /
by: Banerjee, Utpal
Published: (1988)

The Strange Logic of Random Graphs /
by: Spencer, Joel
Published: (2001)

Topological Structure and Analysis of Interconnection Networks /
by: Xu, Junming
Published: (2001)

Parallel Numerical Computation with Applications /
by: Yang, Tianruo
Published: (1999)

Automata Theory and its Applications /
by: Khoussainov, Bakhadyr
Published: (2001)

Refinement Calculus : a Systematic Introduction /
by: Back, Ralph-Johan
Published: (1998)

Fault-Tolerant Parallel Computation /
by: Kanellakis, Paris Christos
Published: (1997)

Deduction Systems /
by: Socher-Ambrosius, Rolf
Published: (1997)

Modelling in Molecular Biology /
by: Ciobanu, Gabriel
Published: (2004)

Introduction to Vertex Operator Superalgebras and Their Modules /
by: Xu, Xiaoping
Published: (1998)

Scheduling in Parallel Computing Systems : Fuzzy and Annealing Techniques /
by: Salleh, Shaharuddin
Published: (1999)

Network Synthesis Problems /
by: Wynants, Christelle
Published: (2001)

Neural Networks and Analog Computation : Beyond the Turing Limit /
by: Siegelmann, Hava T.
Published: (1999)

Universal Compression and Retrieval /
by: Krichevsky, Rafail
Published: (1994)

Partial Differential Equations through Examples and Exercises /
by: Pap, Endre
Published: (1997)

Euro-Par'98 Parallel Processing : 4th International Euro-Par Conference, Southampton, UK, September 1-4, 1998, Proceedings /
by: Pritchard, David
Published: (1998)