| 24301. |
Epstein R. Carnielli W. |
Computability: computable functions, logic, and the foundations of mathematics | 2008 |
 |
| 24302. |
Epstein R.L. Carnielli W.A. |
Computability: computable functions, logic, foundations of mathematics (3-rd edition) | 2008 |
|
| 24303. |
Aberth O. |
Computable analysis | 1980 |
|
| 24304. |
Weihrauch K. |
Computable Analysis: An Introduction | 2011 |
|
| 24305. |
Casanovas P. Sartor G. Casellas N. |
Computable Models of the Law | 2008 |
|
| 24306. |
Ash C.J. Knight J. Sevenster A. (Ed) |
Computable Structures and the Hyperarithmetical Hierarchy (1st edition) | 2000 |
|
| 24307. |
Giordano N. |
Computaional Physics | 1997 |
|
| 24308. |
Hoffmann K.A. Chiang S.T. |
Computaitional Fluid Dynamics (Vol. I) (Fourth Edition) | 2000 |
|
| 24309. |
Hoffmann K.A. Chiang S.T. |
Computaitional Fluid Dynamics (Vol. II) (Fourth Edition) | 2000 |
|
| 24310. |
Salomaa A. |
Computation and automata | 1985 |
|
| 24311. |
Richter M.M. (ed.) Borger E. (ed.) Oberschelp W. (ed.) |
Computation and Proof Theory, Vol. 2 | 1984 |
|
| 24312. |
Luo Z. |
Computation and Reasoning: A Type Theory for Computer Science (International Series of Monographs on Computer Science) | 1994 |
|
| 24313. |
Yuan M. |
Computation and Visualization for Understanding Dynamics in Geographic Domains: A Research Agenda | 2007 |
|
| 24314. |
Adachi S. Peper F. Lee J. |
Computation by Asynchronously Updating Cellular Automata | 2004 |
|
| 24315. |
Gopalakrishnan G. |
Computation Engineering | 2006 |
|
| 24316. |
Nehaniv C. L. |
Computation for Metaphors, Analogy, and Agents (1 edition) | 1999 |
|
| 24317. |
Hinsen K. |
Computation in Science (2 edition) | 2020 |
|
| 24318. |
White R. |
Computation Mathematics | 2004 |
|
| 24319. |
Amusia M. Chernysheva L. |
Computation of atomic processes: a handbook for the ATOM programs | 1997 |
|
| 24320. |
Amusia M. Chernysheva L. |
Computation of Atomic Processes: A Handbook for the ATOM Programs | 1997 |
|
| 24321. |
Shiu P. |
Computation of Continued Fractions Without input values | 1995 |
|
| 24322. |
Kutlu B. Aktekin N. |
Computation of Critical Exponents for Two-Dimensional Ising Model on a Cellular Automaton | 1994 |
|
| 24323. |
Amos D.E. |
Computation of Exponential Integrals | 1980 |
|
| 24324. |
Ammar G.S. Calvetti D. Reichel L. |
Computation of Gauss-Kronrod quadrature rules | 1999 |
|
| 24325. |
Pinn K. Pordt A. Wieczerkowski C. |
Computation of Hierarchical Renormalization-Group Fixed Points and Their e-Expansions | 1994 |
|
| 24326. |
Abaci J. Sesma J. |
Computation of Hypergeometric 1F1 | 1995 |
|
| 24327. |
Jones W.B. Thron W.J. |
Computation of incomplete Gamma function in the complex domain | 1985 |
|
| 24328. |
Didonato A.R. Morris A.H. |
Computation of incomplete Gamma functions ratios and their inverse | 1986 |
|
| 24329. |
Wood D.C. |
Computation of polylogarithms (tech.rep. 15-92) | 1992 |
|
| 24330. |
Zhang S. Jin J. |
Computation of Special Functions | 1996 |
|
| 24331. |
Nastase A. |
Computation of Supersonic Flow over Flying Configurations | 2008 |
|
| 24332. |
Spouge J.L. |
Computation of the Gamma, Digamma, and Trigamma Functions | 2002 |
|
| 24333. |
Gil I. |
Computation of the Jordan Canonical Form of a Square Matrix (Using the Axiom Programming Language) | 1992 |
|
| 24334. |
Kim M. Hsu C.S. |
Computation of the Largest Lyapunov Exponent by the Generalized Cell Mapping | 1986 |
|
| 24335. |
Brent R.P. |
Computation of the regular continued fraction for Euler's constant | 1977 |
|
| 24336. |
Ward S.A. |
Computation Structures | 1989 |
|
| 24337. |
Stephen A. Ward Robert H. Halstead |
Computation Structures (MIT Electrical Engineering and Computer Science) (Fifth Printing, 1999 edition) | 1989 |
|
| 24338. |
Ward S. Halstead R. |
Computation Structures (MIT Electrical Engineering and Computer Science) (5th edition) | 1989 |
|
| 24339. |
Sims C.C. |
Computation with finitely presented groups | 1994 |
|
| 24340. |
Wimp J. |
Computation with recurrence relations | 1984 |
|
| 24341. |
Wimp J. |
Computation with Recurrence Relations (Applicable Mathematics Series) | 1984 |
|
| 24342. |
Minsky M.L. |
Computation, Finite And Infinite Machines | 1967 |
|
| 24343. |
Steven E. Koonin |
COMPUTATIONAL PHYSICS | 1986 |
|
| 24344. |
M. Berz K. Makino |
Computational Accelerator Physics | 2005 |
|
| 24345. |
Clarke S. |
Computational Advancements in End-user Technologies: Emerging Models and Frameworks (Advances in End User Computing (Aeuc)) | 2010 |
|
| 24346. |
Hoeijmakers H.W.M. |
Computational Aerodynamics of Ordered Vortex Flows | 1989 |
|
| 24347. |
Fischer K.G. Loustaunau P. Shapiro J. |
Computational algebra | 1993 |
|
| 24348. |
Schenck H. |
Computational algebraic geometry | 2003 |
|
| 24349. |
Eyssette F. Galligo A. |
Computational algebraic geometry | 1993 |
|
| 24350. |
Schenck H. |
Computational Algebraic Geometry | 2003 |
|
| 24351. |
Pohst M.E. |
Computational Algebraic Number Theory | 1993 |
|
| 24352. |
Eberhard O. Voit |
Computational Analysis of Biochemical Systems: A Practical Guide for Biochemists and Molecular Biologists | 2000 |
|
| 24353. |
Voit E. |
Computational Analysis of Biochemical Systems: A Practical Guide for Biochemists and Molecular Biologists | 2000 |
|
| 24354. |
Gams M. |
Computational Analysis of Human Thinking Processes (Invited Paper) | 2004 |
|
| 24355. |
Voorhees B. H. |
Computational analysis of one-dimensional cellular automata | 1995 |
|
| 24356. |
Grenander U. Miller M.I. |
Computational anatomy: an emerging discipline | 1998 |
|
| 24357. |
Murty K.G. |
Computational and Algorithmic Linear Algebra and n-Dimensional Geometry (free web version edition) | 2001 |
|
| 24358. |
Murty K.G. |
Computational and algorithmic linear algebra and n-Dimensional Geometry | 2001 |
|
| 24359. |
Sandoval F. Prieto A. Cabestany J. |
Computational and Ambient Intelligence: 9th International Work-Conference on Artificial Neural Networks, IWANN 2007, San Sebasti??n, Spain, June 20-22, | 2007 |
|
| 24360. |
Bailey D. Borwein J. Borwein P. |
Computational and Analytical Mathematics: In Honor of Jonathan Borwein's 60th Birthday | 2013 |
|
| 24361. |
Fragoso M.D. Costa O.L.V. |
Computational and Applied Mathematics. Volume 16. Issue 1 | 1997 |
|
| 24362. |
Atkinson M. Gilbert N. Howie J. |
Computational and geometric aspects of modern algebra | 2000 |
|
| 24363. |
Escher J.(editor) |
Computational and Group -Theoretical Methods in Nuclear Physics. Proc.Symp.honor J.P.Draayer's 60th, Playa del Carmen,Mexico,2003 | 2004 |
|
| 24364. |
Castanos O. Hirsch J.G. Stoitcheva G. |
Computational and Group-Theoretical Methods in Nuclear Physics | 2004 |
|
| 24365. |
Escher J. Castanos O. Hirsch J. |
Computational and Group-Theoretical Methods in Nuclear Physics | 2004 |
|
| 24366. |
Zhang J. He J.-H. Fu Y. |
Computational and Information Science: First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004, Proceedings | 2004 |
|
| 24367. |
Bender C.J. Berliner L. |
Computational and Instrumental Methods in EPR | 2006 |
|
| 24368. |
Bender C. Berliner L. |
Computational and Instrumental Methods in EPR (Biological Magnetic Resonance) | 2006 |
|
| 24369. |
de Marchi S. |
Computational and Mathematical Modeling in the Social Sciences | 2005 |
|
| 24370. |
Marchi S. |
Computational and Mathematical Modeling in the Social Sciences | 2005 |
|
| 24371. |
Marchi S. |
Computational and Mathematical Modeling in the Social Sciences | 2005 |
|
| 24372. |
Zlatev Z. Dimov I. |
Computational and Numerical Challenges in Environmental Modelling | 2006 |
|
| 24373. |
Zlatev Z. Dimov I. |
Computational and Numerical Challenges in Environmental Modelling | 2006 |
|
| 24374. |
Zhang W. Shmulevich I. |
Computational and Statistical Approaches to Genomics (2nd edition) | 2006 |
|
| 24375. |
Bobenko A. Klein C. |
Computational Approach to Riemann Surfaces | 2011 |
|
| 24376. |
Keane A. Nair P. |
Computational Approaches for Aerospace Design: The Pursuit of Excellence | 2005 |
|
| 24377. |
Naray-Szabo G. (ed.) Warshel A. (ed.) |
Computational Approaches to Biochemical Reactivity | 1997 |
|
| 24378. |
Feenstra P. |
Computational aspects of biaxial stress in plain and reinforced concrete | 1993 |
|
| 24379. |
Robbiano L. |
Computational aspects of commutative algebra | 1989 |
|
| 24380. |
Brown D. Kubler F. |
Computational Aspects of General Equilibrium Theory: Refutable Theories of Value | 2008 |
|
| 24381. |
Jordan M.I. |
Computational aspects of motor control and motor learning | n/a |
|
| 24382. |
Sandberg G. (ed.) Ohayon R. (ed.) |
Computational aspects of structural acoustics and vibration | 2008 |
|
| 24383. |
Zimmer H.G. |
Computational aspects of the theory of elliptic curves | 1989 |
|
| 24384. |
Ullman J. |
Computational Aspects of VLSI | 1984 |
|
| 24385. |
Bartschat K. |
Computational Atomic Physics | 1996 |
|
| 24386. |
Fischer C. F. Brage T. |
Computational Atomic Structure: An MCHF Approach | 1997 |
|
| 24387. |
Becker O.M. (ed.) Mackerell J. (ed.) Roux B. |
Computational Biochemistry and Biophysics | 2001 |
|
| 24388. |
Becker O.M. MacKerell Jr.A.D. Roux B. |
Computational Biochemistry and Biophysics | 2001 |
|
| 24389. |
Becker O. MacKerell A. Roux B. |
Computational Biochemistry and Biophysics | 2001 |
|
| 24390. |
Becker O. MacKerell A. Roux B. |
Computational biochemistry and biophysics | 2001 |
|
| 24391. |
Becker O. MacKerell A. Roux B. |
Computational Biochemistry and Biophysics | 2001 |
|
| 24392. |
Becker O. MacKerell A. Roux B. |
Computational Biochemistry and Biophysics | 2001 |
|
| 24393. |
Blossey R. |
Computational Biology | 2006 |
|
| 24394. |
Gascuel O. Sagot M. |
Computational Biology | 2000 |
|
| 24395. |
Tseng C.-W.(ed.) |
Computational biology and bioinformatics | 2006 |
|
| 24396. |
Wu C. Wang P. Wang J. |
Computational Biology and Genome Informatics | 2003 |
|
| 24397. |
Ladunga I. |
Computational Biology of Transcription Factor Binding (Methods in Molecular Biology, Vol. 674) | 2010 |
|
| 24398. |
Blossey R. |
Computational biology: A statistical mechanics perspective | 2006 |
|
| 24399. |
Gascuel O. Sagot M.-F. |
Computational Biology: First International Conference on Biology, Informatics, and Mathematics, JOBIM 2000 Montpellier, France, May 3-5, 2000 Selected Papers | 2001 |
|
| 24400. |
Pham T. |
Computational Biology: Issues and Applications in Oncology (1 edition) | 2009 |
|
|
|
О проекте