| 91401. |
Gold B. Simons R. |
Proof and Other Dilemmas: Mathematics and Philosophy | 2008 |
 |
| 91402. |
Gold B. Simons R. |
Proof and Other Dilemmas: Mathematics and Philosophy | 2008 |
|
| 91403. |
Daoud A. Franklin J. |
Proof in Mathematics: An Introduction (2nd edition) | 1999 |
|
| 91404. |
Birkhoff G.D. |
Proof of a Recurrence Theorem for Strongly Transitive Systems | 1931 |
|
| 91405. |
Garrett P. |
Proof of a simple case of the Siegel-Weil formula | 2005 |
|
| 91406. |
Lorentz H.A. |
Proof of a Theorem Due to Heaviside | 1922 |
|
| 91407. |
Bobylev A.V. Cercignani C. Toscani G. |
Proof of an Asymptotic Property of Self-Similar Solutions of the Boltzmann Equation for Granular Materials | 2003 |
|
| 91408. |
Markus Kreer Oliver Penrose |
Proof of Dynamical Scaling in Smoluchowski's Coagulation Equation with Constant Kernel | 1993 |
|
| 91409. |
McGinnis M. |
Proof of Fermat's theorem | 1913 |
|
| 91410. |
Hopf E. |
Proof of Gibbs Hypothesis on the Tendency toward Statistical Equilibrium | 1932 |
|
| 91411. |
Nagle J.F. |
Proof of Gridloek in a Polymer Model | 1985 |
|
| 91412. |
van Enter A. |
Proof of Straley's Argument for Bootstrap Percolation | 1987 |
|
| 91413. |
Birkhoff G.D. |
Proof of the Ergodic Theorem | 1931 |
|
| 91414. |
Dickman R. Schieve W.C. |
Proof of the Existence of the Cluster Free Energy | 1984 |
|
| 91415. |
Neumann J.V. |
Proof of the Quasi-Ergodic Hypothesis | 1931 |
|
| 91416. |
Spies K. Schwichtenberg H. |
Proof Technology and Computation, Volume 200 NATO Science Series: Computer and Systems Sciences (Nato Science) | 2006 |
|
| 91417. |
Schwichtenberg H. |
Proof Theory | 1994 |
|
| 91418. |
Takeuti G. |
Proof Theory (2nd edition) | 1987 |
|
| 91419. |
Schuette K. Crossley J.N. |
Proof Theory | 1977 |
|
| 91420. |
Pohlers W. |
Proof Theory | 1996 |
|
| 91421. |
Schutte K. Crossley J.N. |
Proof theory | 1977 |
|
| 91422. |
Takeuti G. |
Proof theory (2nd edition) | 1987 |
|
| 91423. |
Scarpellini B. |
Proof Theory and Intuitionistic Systems | 1971 |
|
| 91424. |
Kahle R. Schroeder-Heister P. Stark R. |
Proof Theory in Computer Science, PTCS 2001 | 2001 |
|
| 91425. |
Kahle R. Schroeder-Heister P. |
Proof Theory in Computer Science: International Seminar, Ptcs 2001, Dagstuhl Castle, Germany, October 7-12, 2001 Proceedings | 2001 |
|
| 91426. |
Pohlers W. |
Proof Theory. An Introduction | 1989 |
|
| 91427. |
Pohlers W. |
Proof Theory: The First Step into Impredicativity | 2009 |
|
| 91428. |
Detlefsen M. (Ed) |
Proof, Logic and Formalization | 1992 |
|
| 91429. |
Dosen K. Petric Z. |
Proof-Net Categories | 2005 |
|
| 91430. |
Dosen K. Petric Z. |
Proof-Theoretical Coherence | 2007 |
|
| 91431. |
|
Proofiness. The dark arts of mathematical deception | 2010 |
|
| 91432. |
Dowek G. |
Proofs and algorithms: An introduction to logic and computability | 2011 |
|
| 91433. |
Dowek G. |
Proofs and algorithms: An introduction to logic and computability | 2011 |
|
| 91434. |
Bloch E.D. |
Proofs and fundamentals: A first course in abstract mathematics | 2000 |
|
| 91435. |
Bloch E. |
Proofs and Fundamentals: A First Course in Abstract Mathematics (2nd edition) | 2011 |
|
| 91436. |
Bloch E. |
Proofs and Fundamentals: A First Course in Abstract Mathematics | 2000 |
|
| 91437. |
Bloch E. |
Proofs and Fundamentals: A First Course in Abstract Mathematics | 2000 |
|
| 91438. |
Bloch E. |
Proofs and Fundamentals: A First Course in Abstract Mathematics, Second Edition (2nd edition) | 2011 |
|
| 91439. |
Lakatos I. Worrall J. (ed.) Zahar E. (ed.) |
Proofs and refutations: the logic of mathematical discovery | 1976 |
|
| 91440. |
Lakatos I. Worrall J. Zahar E. |
Proofs and refutations: the logic of mathematical discovery | 1977 |
|
| 91441. |
Girard J.-Y. Taylor P. Lafont Y. |
Proofs and Types | 1989 |
|
| 91442. |
Aigner M. Ziegler G.M. |
Proofs from the Book (3-rd edition) | 2003 |
|
| 91443. |
Benjamin A. Quinn J. |
Proofs that really count | 2003 |
|
| 91444. |
Benjamin A.T. Quinn J. |
Proofs That Really Count The Art of Combinatorial Proof | 2003 |
|
| 91445. |
Benjamin A. Quinn J. |
Proofs that really count: the art of combinatorial proof | 2003 |
|
| 91446. |
Mendoza L. |
Propagación clonal: Embriogénesis somática y enraizamiento de estaquillas, dos aliados para la producción de cacao en San Martín | 2022 |
|
| 91447. |
Macdonald S. |
Propaganda and Information Warfare in the Twenty-First Century: Altered Images and Deception Operations (Contemporary Security Studies) | 2007 |
|
| 91448. |
Liu H. |
Propaganda Ideas, Discourses and Its Legitimization | 2020 |
|
| 91449. |
Bastien Fernandez |
Propagating Fronts in a Bistable Coupled Map Lattice | 1995 |
|
| 91450. |
Grosfils P. Boon J.P. Cohen E.G.D. |
Propagation and Organization in Lattice Random Media | 1999 |
|
| 91451. |
Buttiker M. Thomas H. |
Propagation and Stability of Kinks in Driven and Damped Nonlinear Klein-Gordon Chains | 1989 |
|
| 91452. |
Webman I. |
Propagation and Trapping of Excitations on Percolation Clusters | 1984 |
|
| 91453. |
Lascar R. |
Propagation des Singularites des Solutions d'Equations Pseudo-Differentielles a Caracteristiques de Multiplicites Variables | 1981 |
|
| 91454. |
Crane R.K. |
Propagation Handbook for Wireless Communication System Design | 2003 |
|
| 91455. |
Robert K. Crane |
Propagation handbook for wireless communication system design (1 edition) | 2003 |
|
| 91456. |
Dee G. |
Propagation into an Unstable State | 1985 |
|
| 91457. |
Bruno Nachtergaele Yoshiko Ogata Robert Sims |
Propagation of Correlations in Quantum Lattice Systems | 2006 |
|
| 91458. |
Dereudre D. Roelly S. |
Propagation of Gibbsianness for Infinite-dimensional Gradient Brownian Diffusions | 2005 |
|
| 91459. |
Roux S. Hansen A. |
Propagation of Order in the Dilute Antiferromagnetic Three-State Potts Model | 1989 |
|
| 91460. |
Bove A. Lewis J.E. |
Propagation of Singularities for Fuchsian Operators | 1983 |
|
| 91461. |
Bove A. Lewis J. Parenti C. |
Propagation of Singularities for Fuchsian Operators | 1983 |
|
| 91462. |
Knickerbocker C. J. Alan C. Newell |
Propagation of Solitary Waves in Channels of Decreasing Depth | 1985 |
|
| 91463. |
Schwabl F. |
Propagation of Sound at Continuous Structural Phase Transitions | 1985 |
|
| 91464. |
Jean Pierre Boon Patrick Grosfils James F. Lutsko |
Propagation-Dispersion Equation | 2003 |
|
| 91465. |
Linderberg J. Öhrn Y. |
Propagators in Quantum Chemistry (2nd edition) | 2004 |
|
| 91466. |
Linderberg J. Ohrn Y. |
Propagators in Quantum Chemistry (2nd edition) | 2004 |
|
| 91467. |
Linderberg J. Ohrn Y. |
Propagators in Quantum Chemistry (2nd edition) | 2004 |
|
| 91468. |
Linderberg J. Ohrn Y. |
Propagators in quantum chemistry (2nd edition) | 2004 |
|
| 91469. |
Linderberg J. Ohrn Y. |
Propagators in Quantum Chemistry, Second Edition | 2004 |
|
| 91470. |
Kubota N. |
Propellants and Explosives: Thermochemical Aspects of Combustion | 2002 |
|
| 91471. |
Kubota N. |
Propellants and Explosives: Thermochemical Aspects of Combustion (Second, Revised and Extended Edition) | 2007 |
|
| 91472. |
Elsner P. Eisenreich N. Simpson R. |
Propellants, Explosives, Pyrotechnics | n/a |
|
| 91473. |
Петелин Р.Ю. Петелин Ю.В. |
Propellerhead Reason - музыкальная студия | 2006 |
|
| 91474. |
Hullsiek K.H. Louis T.A. |
Propensity score modeling strategies for the causal analysis of observational data | 2002 |
|
| 91475. |
Shelah S. |
Proper Forcing | 1982 |
|
| 91476. |
Shelah S. |
Proper Forcing | 1982 |
|
| 91477. |
Mislin G. Valette A. |
Proper group actions and the Baum-Connes conjecture | 2003 |
|
| 91478. |
Gelfand A.E. |
Proper multivariate conditional autoregressive models for spatial data analysis | 2003 |
|
| 91479. |
Hood L.M. Evans D.J. Hanley H.J.M. |
Properties of a Soft-Sphere Liquid from Non-Newtonian Molecular Dynamics | 1989 |
|
| 91480. |
Kumar S. Kurtz S. |
Properties of a Three-Dimensional Poisson-Voronoi Tesselation: A Monte Carlo Study | 1992 |
|
| 91481. |
Searle T. |
Properties of Amorphous Silicon and its Alloys | 1998 |
|
| 91482. |
Forrester P.J. |
Properties of an Exact Crystalline Many-Body Ground State | 1994 |
|
| 91483. |
Rivoire O. |
Properties of Atypical Graphs from Negative Complexities | 2004 |
|
| 91484. |
Gyorgyi G. Szepfalusy P. |
Properties of Fully Developed Chaos in One-Dimensional Maps | 1984 |
|
| 91485. |
Lower S.K. |
Properties of Gases | n/a |
|
| 91486. |
Pye L.D. (ed.) Montenero A. (ed.) Joseph I. (ed.) |
Properties of Glass Formation Melts (1st edition) | 2005 |
|
| 91487. |
Smith P.A. |
Properties of Group Manifolds | 1931 |
|
| 91488. |
Chernoff P.R. Marsden J.E. |
Properties of Infinite Dimensional Hamiltonian Systems | 1974 |
|
| 91489. |
Newnham R.E. |
Properties of Materials: Anisotropy, Symmetry, Structure (first edition) | 2005 |
|
| 91490. |
Ray T. S. Tamayo P. |
Properties of Metastable Ising Models Evolving under the Swendsen-Wang Dynamics | 1990 |
|
| 91491. |
George H. Weiss Shlomo Havlin Ofer Matan |
Properties of Noninteger Moments in a First Passage Time Problem | 1988 |
|
| 91492. |
Canham L. (ed.) |
Properties of Porous Silicon | 1997 |
|
| 91493. |
Adachi S. |
Properties of semiconductor alloys. Group-IV, III-V and II-VI semiconductors | 2009 |
|
| 91494. |
Peter Grutter Werner Hofer Federico Rosei |
Properties of Single Organic Molecules on Crystal Surfaces | 2006 |
|
| 91495. |
Koerber G.G. |
Properties of Solids | 1962 |
|
| 91496. |
Loskutov A. Ryabov A.B. |
Properties of Some Chaotic Billiards with Time-Dependent Boundaries | 2000 |
|
| 91497. |
Bonetto F. Daems D. |
Properties of Stationary Nonequilibrium States in the Thermostatted Periodic Lorentz Gas I: The One Particle System | 2000 |
|
| 91498. |
Di Caprio D. Badiali J.P. Russier V. |
Properties of the n-Body Correlation Functions near the Liquid-Gas Critical Point. Correlation Inequalities | 1994 |
|
| 91499. |
Shlomo Havlin James E. Kiefer George H. Weiss |
Properties of the Skeleton of Aggregates Grown on a Cayley Tree | 1985 |
|
| 91500. |
Turns S. Kraige D. |
Properties tables booklet for thermal fluids engineering | 2007 |
|
|
|
О проекте