Hilbert's Tenth Problem

Hilbert's Tenth Problem

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Matiyasevich, Yuri V. (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Cambridge Massachusetts Massachusetts Institute of Technology Cambridge Mass. c1993
Σειρά:	Foundations of Computing Series
Θέματα:	COMPUTABLE FUNCTIONS HILBERT'S TENTH PROBLEM ΕΣΑ

Παρόμοια τεκμήρια

Hilbert's tenth problem /
ανά: Mati�i�asevich, �I�U. V. (�I�Uri�i V.)
Έκδοση: (1993)

Modern Heuristic Techniques for Combinatorial Problems
Έκδοση: (1995)

Problems on Algorithms
ανά: Parberry, Ian
Έκδοση: (1995)

Principles and Practice of Constraint Programming The Newport Papers
Έκδοση: (1995)

Subrecursive Programming Systems Complexity and Succinctness
ανά: Case, John, κ.ά.
Έκδοση: (1994)

Structured development of parallel programs
ανά: Pelagatti, Susanna
Έκδοση: (1998)

Concurrent programming
ανά: Snow, C.R
Έκδοση: (1992)

Publisher 2000 Get professional results
ανά: Parker, Roger C.
Έκδοση: (2000)

The Riemann-Hilbert problem
ανά: Anosov, Dimitrij Viktorovich 1936-2014
Έκδοση: (1994)

Practical parallel programming
ανά: Wilson, Gregory V.
Έκδοση: (1995)

The Visual Mind Art and Mathematics
Έκδοση: (1993)

String Searching Algorithms
ανά: Stephen, Graham A.
Έκδοση: (1994)

Foundations of Disjunctive Logic Programming
ανά: Lobo, Jorge, κ.ά.
Έκδοση: (1992)

Compositionality, concurrency and partial correctness Proof theories for networks of processes, and ther relationship
ανά: Zwiers, J.
Έκδοση: (1989)

Solving higher-order equations From logic to programming
ανά: Prehofer, Christian
Έκδοση: (1998)

Mathematics for the analysis of algorithms
ανά: Greene, Daniel H., κ.ά.
Έκδοση: (1990)

The design and analysis of algorithms
ανά: Kozen, Dexter C.
Έκδοση: (1992)

Poisson Approximation
ανά: Barbour, A. D., κ.ά.
Έκδοση: (1992)

Non-standard computation Molecular computation-cellular automata-evolutionaty algorithms-quantum computers
ανά: Gramss, Tino
Έκδοση: (1998)

Verifying temporal properties of systems
ανά: Bradfield, Julian Charles
Έκδοση: (1992)

A Textbook of Graph Theory
ανά: Balakrishnan, R. (Rangaswami), κ.ά.
Έκδοση: (2000)

Μάθετε το SuSE Linux σε 24 ώρες
ανά: Ball, Bill
Έκδοση: (2000)

Algorithms A functional programming approach
ανά: Rabhi, Fethi, κ.ά.
Έκδοση: (1999)

FrontPage 98 bible
ανά: Elderbrock, David, κ.ά.
Έκδοση: (1998)

Concurrent Constraint Programming
ανά: Saraswat, Vijay A.
Έκδοση: (1993)

Concurrent Aggregates Supporting Modularity in Massively Parallel Programs
ανά: Chien, Andrew A.
Έκδοση: (1993)

How to Write Parallel Programs A First Course
ανά: Carriero, Nicholas, κ.ά.
Έκδοση: (1990)

Communication Complexity and Parallel Computing
ανά: Hromkovic, Juraj
Έκδοση: (1997)

Introduction to Mathematical Physics
ανά: Harper, Charlie
Έκδοση: (1995)

Physics
ανά: Resnick, Robert, 1923-, κ.ά.
Έκδοση: (1966)

Physics
ανά: Resnick, Robert, 1923-, κ.ά.
Έκδοση: (1962)

Exploring discrete mathematics with maple
ανά: Devitt, John S., κ.ά.
Έκδοση: (1997)

Treewidth Computations and Approximations
ανά: Kloks, Ton
Έκδοση: (1994)

Quantum computing and communications
Έκδοση: (1999)

Principles of transaction processing
ανά: Bernstein, Philip A., κ.ά.
Έκδοση: (1997)

Game Theory A nontechnical introduction
ανά: Davis, Morton D.
Έκδοση: (1983)

Designing and building parallel programs Concepts and tools for parallel software engineering
Έκδοση: (1995)

A course in game theory
ανά: Osborne, Martin J., κ.ά.
Έκδοση: (1994)

Logic and computation Interactive Proof with Cambridge LCF
ανά: Paulson, Lawrence C.
Έκδοση: (1987)

The logic programming paradigm A 25-year perspective
Έκδοση: (1999)

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