| 134110 |
|
S. Barry Cooper |
Computability Theory (Chapman Hall Crc Mathematics Series) |
2003 • | •• |
| 137369 |
|
Cooper S. |
Computability Theory (Chapman Hall Crc Mathematics Series) |
2004 | •• |
| 140567 |
|
Davis M., Sigal R., Weyuker E. |
Computability, complexity, and languages: Fundamentals of theoretical computer science |
1994 • | •• |
| 61007 |
|
Börger E. |
Computability, Complexity, Logic |
1989 | •• |
| 139894 |
|
Borger E. |
Computability, Complexity, Logic |
1986 | •• |
| 180081 |
|
Borger E. |
Computability, Complexity, Logic |
1989 | •• |
| 142139 |
|
Cooper S., Slaman T., Wainer S. |
Computability, Enumerability, Unsolvability: Directions in Recursion Theory (London Mathematical Society Lecture Note Series) |
1996 | •• |
| 131561 |
|
Bridges D.S. |
Computability: A mathematical sketchbook |
1994 | •• |
| 151223 |
|
Bridges D. |
Computability: A Mathematical Sketchbook (Graduate Texts in Mathematics) (v. 146) |
1994 | •• |
| 156525 |
|
Epstein R., Carnielli W. |
Computability: computable functions, logic, and the foundations of mathematics |
2008 | •• |
| 133134 |
|
Epstein R.L., Carnielli W.A. |
Computability: computable functions, logic, foundations of mathematics |
2008 • | •• |
| 198042 |
|
Aberth O. |
Computable analysis |
1980 | •• |
| 164738 |
|
Weihrauch K. |
Computable Analysis: An Introduction |
2011 | •• |
| 78384 |
|
Casanovas P., Sartor G., Casellas N. |
Computable Models of the Law |
2008 | •• |
| 34023 |
|
Ash C.J., Knight J., Sevenster A. (Ed) |
Computable Structures and the Hyperarithmetical Hierarchy |
2000 • | •• |
| 193241 |
|
Giordano N. |
Computaional Physics |
1997 | •• |
| 25680 |
|
Hoffmann K.A., Chiang S.T. |
Computaitional Fluid Dynamics (Vol. I) |
2000 • | •• |
| 25681 |
|
Hoffmann K.A., Chiang S.T. |
Computaitional Fluid Dynamics (Vol. II) |
2000 • | •• |
| 9164 |
|
Salomaa A. |
Computation and automata |
1985 | •• |
| 33752 |
|
Richter M.M. (ed.), Borger E. (ed.), Oberschelp W. (ed.) |
Computation and Proof Theory, Vol. 2 |
1984 | •• |
| 162284 |
|
Luo Z. |
Computation and Reasoning: A Type Theory for Computer Science (International Series of Monographs on Computer Science) |
1994 | •• |
| 43881 |
|
Yuan M. |
Computation and Visualization for Understanding Dynamics in Geographic Domains: A Research Agenda |
2007 | •• |
| 124988 |
|
Adachi S., Peper F., Lee J. |
Computation by Asynchronously Updating Cellular Automata |
2004 | •• |
| 27964 |
|
Gopalakrishnan G. |
Computation Engineering |
2006 | •• |
| 137792 |
|
Nehaniv C. L. |
Computation for Metaphors, Analogy, and Agents |
1999 • | •• |
| 213792 |
|
Hinsen K. |
Computation in Science |
2020 • | •• |
| 153816 |
|
White R. |
Computation Mathematics |
2004 | •• |
| 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 | •• |
| 106497 |
|
Shiu P. |
Computation of Continued Fractions Without input values |
1995 | •• |
| 121592 |
|
Kutlu B., Aktekin N. |
Computation of Critical Exponents for Two-Dimensional Ising Model on a Cellular Automaton |
1994 | •• |
| 56138 |
|
Amos D.E. |
Computation of Exponential Integrals |
1980 | •• |
| 108572 |
|
Ammar G.S., Calvetti D., Reichel L. |
Computation of Gauss-Kronrod quadrature rules |
1999 | •• |
| 123303 |
|
Pinn K., Pordt A., Wieczerkowski C. |
Computation of Hierarchical Renormalization-Group Fixed Points and Their e-Expansions |
1994 | •• |
| 55389 |
|
Abaci J., Sesma J. |
Computation of Hypergeometric 1F1 |
1995 | •• |
| 108253 |
|
Jones W.B., Thron W.J. |
Computation of incomplete Gamma function in the complex domain |
1985 | •• |
| 109034 |
|
Didonato A.R., Morris A.H. |
Computation of incomplete Gamma functions ratios and their inverse |
1986 | •• |
| 196553 |
|
Wood D.C. |
Computation of polylogarithms (tech.rep. 15-92) |
1992 | •• |
| 75055 |
|
Zhang S., Jin J. |
Computation of Special Functions |
1996 | •• |
| 42466 |
|
Nastase A. |
Computation of Supersonic Flow over Flying Configurations |
2008 | •• |
| 105826 |
|
Spouge J.L. |
Computation of the Gamma, Digamma, and Trigamma Functions |
2002 | •• |
| 108396 |
|
Gil I. |
Computation of the Jordan Canonical Form of a Square Matrix (Using the Axiom Programming Language) |
1992 | •• |
| 121478 |
|
Kim M., Hsu C.S. |
Computation of the Largest Lyapunov Exponent by the Generalized Cell Mapping |
1986 | •• |
| 108401 |
|
Brent R.P. |
Computation of the regular continued fraction for Euler's constant |
1977 | •• |
| 76355 |
|
Ward S.A. |
Computation Structures |
1989 | •• |
| 66074 |
|
Stephen A. Ward, Robert H. Halstead |
Computation Structures (MIT Electrical Engineering and Computer Science) |
1989 • | •• |
| 157742 |
|
Ward S., Halstead R. |
Computation Structures (MIT Electrical Engineering and Computer Science) |
1989 • | •• |
| 148700 |
|
Sims C.C. |
Computation with finitely presented groups |
1994 | •• |
| 838 |
|
Wimp J. |
Computation with recurrence relations |
1984 | •• |
| 190685 |
|
Wimp J. |
Computation with Recurrence Relations (Applicable Mathematics Series) |
1984 | •• |
|
|
Î ïðîåêòå