- 2 402 202 книги
#16
Ludlum, Robert & Lynds, Gayle - Covert-One Book 1 - The Hades Factor (fully proofed)
Ludlum Robert
817 Kb
#17
Ludlum, Robert & Shelby, Philip - Covert-One Book 2 - The Cassandra Compact (fully proofed)
Ludlum Robert
666 Kb
#25
Efficient Checking of Polynomials and Proofs and the Hardness of Appoximation Problems
Madhu SudanКатегория: Computer science, Computability
736 Kb
#27
Lectures on Deligne's proof of the Riemann hypothesis for varieties over finite fields (handwritten notes by S.Bloch)
Katz N.
8.49 Mb
#28
Language, proof and logic
Jon Barwise, John Etchemendy, Gerard Allwein, Dave Barker-Plummer, Albert Liu
2.42 Mb
#36
Philosophy of mathematics. An introduction to the world of proofs and pictures
Brown J.R.Категория: Mathematics, Popular-level
1.60 Mb
#37
100 percent mathematical proof
Rowan Garnier, John TaylorКатегория: Mathematics, Popular-level
1.72 Mb
#38
The proof is in the pudding. A look at the changing nature of mathematical proof
Krantz S.Категория: Mathematics, Popular-level
2.59 Mb
#39
Abel's proof: sources and meaning of mathematical unsolvability
Peter PesicКатегория: Mathematics, Popular-level
1.60 Mb
#44
QED: a proof of renormalizability
Joel S. Feldman, Thomas R. Hurd, Lon Rosen, Jill D. Wright
907 Kb
#45
QED: A Proof of Renormalizability
Joel S. Feldman, Thomas R. Hurd, Lon Rosen, Jill D. WrightКатегория: Physics, Lecture notes
713 Kb
#51
Language, Proof and Logic
Jon Barwise, John Etchemendy, Gerard Allwein, Dave Barker-Plummer, Albert Liu
3.72 Mb
#63
Mathematical problems and proofs. Combinatorics, Number theory, and Geometry
Kisacanin B.
1.31 Mb
#66
Hack Proofing Your Network
Ed Mitchell, Ido Dubrawsky, Wyman Miles, F. William Lynch, Syngress
8.05 Mb
#69
Hack Proofing Windows 2000 Server
Thomas W. Shinder, Stace Cunningham, D. Lynn White, Syngress Media, Garrick Olsen
11.77 Mb
#70
Bullet-Proof Abs: 2nd Edition of Beyond Crunches
Pavel Tsatsouline, Andrea Du Cane, Robert Pearl, Derek Brigham
2.22 Mb
#74
Philosophy of Mathematics: An Introduction to a World of Proofs and Pictures
Brown J. R.
15.49 Mb
#77
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Shawn Hedman
6.84 Mb
#78
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver, Charles Carroll Morgan
2.52 Mb
#79
The Online Rules of Successful Companies: The Fool-Proof Guide to Building Profits
Robin Miller
2.08 Mb
#80
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
W. Buchholz, S. Feferman, W. Pohlers, W. Sieg
2.62 Mb
#81
Models, Algebras and Proofs: Proceedings Latin-American Symposium on Mathematical Logic,1996, Bogota, Colombia, Vol. 203
Caicedo X.
14.87 Mb
#89
Proof Theory in Computer Science: International Seminar, Ptcs 2001, Dagstuhl Castle, Germany, October 7-12, 2001 Proceedings
Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk
2.52 Mb
#91
Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 Proceedings, Vol. 128
Georg Gottlob, Alexander Leitsch, Daniele Mundici
24.09 Mb
#92
Extensional Godel Functional Interpretation: A Consistency Proof of Classical Analysis
Horst Luckhardt
1.01 Mb
#93
Solutions to the nonlinear Schrodinger equation carrying momentum along a curve. proof of the existence result
Mahmoudi F., Malchiodi A.
493 Kb
#96
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control
David J. Pym, Eike Ritter
4.91 Mb
Показаны далеко не все результаты, удовлетворяющие вашему запросу. Чтобы увидеть другие результаты, пожалуйста, уточните запрос.