Hilbert's Tenth Problem

Hilbert's Tenth Problem

Bibliographic Details
Main Author:	Matiyasevich, Yuri V. (Author)
Format:	Book
Language:	English
Published:	Cambridge Massachusetts Massachusetts Institute of Technology Cambridge Mass. c1993
Series:	Foundations of Computing Series
Subjects:	COMPUTABLE FUNCTIONS HILBERT'S TENTH PROBLEM ΕΣΑ

Similar Items

Hilbert's tenth problem /
by: Mati�i�asevich, �I�U. V. (�I�Uri�i V.)
Published: (1993)

Modern Heuristic Techniques for Combinatorial Problems
Published: (1995)

Problems on Algorithms
by: Parberry, Ian
Published: (1995)

Publisher 2000 Get professional results
by: Parker, Roger C.
Published: (2000)

Principles and Practice of Constraint Programming The Newport Papers
Published: (1995)

Subrecursive Programming Systems Complexity and Succinctness
by: Case, John, et al.
Published: (1994)

Structured development of parallel programs
by: Pelagatti, Susanna
Published: (1998)

Concurrent programming
by: Snow, C.R
Published: (1992)

Practical parallel programming
by: Wilson, Gregory V.
Published: (1995)

The Visual Mind Art and Mathematics
Published: (1993)

String Searching Algorithms
by: Stephen, Graham A.
Published: (1994)

Foundations of Disjunctive Logic Programming
by: Lobo, Jorge, et al.
Published: (1992)

Compositionality, concurrency and partial correctness Proof theories for networks of processes, and ther relationship
by: Zwiers, J.
Published: (1989)

Solving higher-order equations From logic to programming
by: Prehofer, Christian
Published: (1998)

Mathematics for the analysis of algorithms
by: Greene, Daniel H., et al.
Published: (1990)

The design and analysis of algorithms
by: Kozen, Dexter C.
Published: (1992)

Poisson Approximation
by: Barbour, A. D., et al.
Published: (1992)

Non-standard computation Molecular computation-cellular automata-evolutionaty algorithms-quantum computers
by: Gramss, Tino
Published: (1998)

Verifying temporal properties of systems
by: Bradfield, Julian Charles
Published: (1992)

A Textbook of Graph Theory
by: Balakrishnan, R. (Rangaswami), et al.
Published: (2000)

Μάθετε το SuSE Linux σε 24 ώρες
by: Ball, Bill
Published: (2000)

Algorithms A functional programming approach
by: Rabhi, Fethi, et al.
Published: (1999)

FrontPage 98 bible
by: Elderbrock, David, et al.
Published: (1998)

Concurrent Constraint Programming
by: Saraswat, Vijay A.
Published: (1993)

Concurrent Aggregates Supporting Modularity in Massively Parallel Programs
by: Chien, Andrew A.
Published: (1993)

How to Write Parallel Programs A First Course
by: Carriero, Nicholas, et al.
Published: (1990)

Communication Complexity and Parallel Computing
by: Hromkovic, Juraj
Published: (1997)

The Riemann-Hilbert problem
by: Anosov, Dimitrij Viktorovich 1936-2014
Published: (1994)

Introduction to Mathematical Physics
by: Harper, Charlie
Published: (1995)

Physics
by: Resnick, Robert, 1923-, et al.
Published: (1966)

Physics
by: Resnick, Robert, 1923-, et al.
Published: (1962)

Exploring discrete mathematics with maple
by: Devitt, John S., et al.
Published: (1997)

Treewidth Computations and Approximations
by: Kloks, Ton
Published: (1994)

Quantum computing and communications
Published: (1999)

Principles of transaction processing
by: Bernstein, Philip A., et al.
Published: (1997)

Game Theory A nontechnical introduction
by: Davis, Morton D.
Published: (1983)

Designing and building parallel programs Concepts and tools for parallel software engineering
Published: (1995)

A course in game theory
by: Osborne, Martin J., et al.
Published: (1994)

Logic and computation Interactive Proof with Cambridge LCF
by: Paulson, Lawrence C.
Published: (1987)

The logic programming paradigm A 25-year perspective
Published: (1999)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών