| 75055 |
|
Zhang S., Jin J. |
Computation of Special Functions |
1996 | •• |
| 196553 |
|
Wood D.C. |
Computation of polylogarithms (tech.rep. 15-92) |
1992 | •• |
| 109034 |
|
Didonato A.R., Morris A.H. |
Computation of incomplete Gamma functions ratios and their inverse |
1986 | •• |
| 108253 |
|
Jones W.B., Thron W.J. |
Computation of incomplete Gamma function in the complex domain |
1985 | •• |
| 55389 |
|
Abaci J., Sesma J. |
Computation of Hypergeometric 1F1 |
1995 | •• |
| 123303 |
|
Pinn K., Pordt A., Wieczerkowski C. |
Computation of Hierarchical Renormalization-Group Fixed Points and Their e-Expansions |
1994 | •• |
| 108572 |
|
Ammar G.S., Calvetti D., Reichel L. |
Computation of Gauss-Kronrod quadrature rules |
1999 | •• |
| 56138 |
|
Amos D.E. |
Computation of Exponential Integrals |
1980 | •• |
| 121592 |
|
Kutlu B., Aktekin N. |
Computation of Critical Exponents for Two-Dimensional Ising Model on a Cellular Automaton |
1994 | •• |
| 106497 |
|
Shiu P. |
Computation of Continued Fractions Without input values |
1995 | •• |
| 143537 |
|
Amusia M., Chernysheva L. |
Computation of atomic processes: a handbook for the ATOM programs |
1997 | •• |
| 182112 |
|
Amusia M., Chernysheva L. |
Computation of Atomic Processes: A Handbook for the ATOM Programs |
1997 | •• |
| 153816 |
|
White R. |
Computation Mathematics |
2004 | •• |
| 137792 |
|
Nehaniv C. L. |
Computation for Metaphors, Analogy, and Agents |
1999 • | •• |
| 27964 |
|
Gopalakrishnan G. |
Computation Engineering |
2006 | •• |
| 124988 |
|
Adachi S., Peper F., Lee J. |
Computation by Asynchronously Updating Cellular Automata |
2004 | •• |
| 43881 |
|
Yuan M. |
Computation and Visualization for Understanding Dynamics in Geographic Domains: A Research Agenda |
2007 | •• |
| 162284 |
|
Luo Z. |
Computation and Reasoning: A Type Theory for Computer Science (International Series of Monographs on Computer Science) |
1994 | •• |
| 33752 |
|
Richter M.M. (ed.), Borger E. (ed.), Oberschelp W. (ed.) |
Computation and Proof Theory, Vol. 2 |
1984 | •• |
| 9164 |
|
Salomaa A. |
Computation and automata |
1985 | •• |
| 25681 |
|
Hoffmann K.A., Chiang S.T. |
Computaitional Fluid Dynamics (Vol. II) |
2000 • | •• |
| 25680 |
|
Hoffmann K.A., Chiang S.T. |
Computaitional Fluid Dynamics (Vol. I) |
2000 • | •• |
| 193241 |
|
Giordano N. |
Computaional Physics |
1997 | •• |
| 34023 |
|
Ash C.J., Knight J., Sevenster A. (Ed) |
Computable Structures and the Hyperarithmetical Hierarchy |
2000 • | •• |
| 78384 |
|
Casanovas P., Sartor G., Casellas N. |
Computable Models of the Law |
2008 | •• |
| 164738 |
|
Weihrauch K. |
Computable Analysis: An Introduction |
2011 | •• |
| 198042 |
|
Aberth O. |
Computable analysis |
1980 | •• |
| 133134 |
|
Epstein R.L., Carnielli W.A. |
Computability: computable functions, logic, foundations of mathematics |
2008 • | •• |
| 156525 |
|
Epstein R., Carnielli W. |
Computability: computable functions, logic, and the foundations of mathematics |
2008 | •• |
| 151223 |
|
Bridges D. |
Computability: A Mathematical Sketchbook (Graduate Texts in Mathematics) (v. 146) |
1994 | •• |
| 131561 |
|
Bridges D.S. |
Computability: A mathematical sketchbook |
1994 | •• |
| 142139 |
|
Cooper S., Slaman T., Wainer S. |
Computability, Enumerability, Unsolvability: Directions in Recursion Theory (London Mathematical Society Lecture Note Series) |
1996 | •• |
| 61007 |
|
Börger E. |
Computability, Complexity, Logic |
1989 | •• |
| 139894 |
|
Borger E. |
Computability, Complexity, Logic |
1986 | •• |
| 180081 |
|
Borger E. |
Computability, Complexity, Logic |
1989 | •• |
| 140567 |
|
Davis M., Sigal R., Weyuker E. |
Computability, complexity, and languages: Fundamentals of theoretical computer science |
1994 • | •• |
| 134110 |
|
S. Barry Cooper |
Computability Theory (Chapman Hall Crc Mathematics Series) |
2003 • | •• |
| 137369 |
|
Cooper S. |
Computability Theory (Chapman Hall Crc Mathematics Series) |
2004 | •• |
| 194219 |
|
Cooper S. |
Computability theory |
2004 | •• |
| 155368 |
|
Braverman M., Yampolsky M. |
Computability of Julia Sets (Algorithms and Computation in Mathematics) |
2009 | •• |
| 152212 |
|
Mark Braverman, Michael Yampolsky |
Computability of Julia Sets |
2008 • | •• |
| 163739 |
|
Braverman M., Yampolsky M. |
Computability of Julia sets |
2009 | •• |
| 170880 |
|
Pour-El M.B., Richards J.I. |
Computability in Analysis and Physics (Perspectives in Mathematical Logic) |
1989 | •• |
| 148936 |
|
Pour-El M., Richards J. |
Computability in analysis and physics |
1989 | •• |
| 189994 |
|
Davis M. |
Computability and Unsolvability (Mcgraw-Hill Series in Information Processing and Computers.) |
1958 | •• |
| 128160 |
|
Davis M. |
Computability and unsolvability |
1958 • | •• |
| 139999 |
|
Davis M. |
Computability and Unsolvability |
1958 | •• |
| 34640 |
|
Jeffrey R.C., Burgess J. |
Computability and Logic |
2002 • | •• |
| 61350 |
|
Boolos G.S., Burgess J.P., Jeffrey R.C. |
Computability and Logic |
2007 • | •• |
| 33537 |
|
Avigad J. |
Computability and Incompleteness |
2007 | •• |
|
|
Î ïðîåêòå