156938 |
|
Kauers M., Kerber M., Miner R. |
Towards Mechanized Mathematical Assistants, 14 conf., Calculemus 2007 |
2007 | •• |
128271 |
|
Kauers M., Kerber M., Miner R. |
Towards mechanized mathematical assistants |
2007 | •• |
189384 |
|
Katzy B. |
R&D Management in Technology and Innovation Management |
1996 | •• |
30206 |
|
Katzung B.G. |
Basic & Clinical Pharmacology |
2006 • | •• |
69083 |
|
Katzung B.G., Masters S.B., Trevor A.J. |
Basic & Clinical Pharmacology, Eleventh Edition |
2009 • | •• |
129226 |
|
Katznelson Y. |
An Introduction To Harmonic Analysis |
1976 • | •• |
173118 |
|
Katznelson Y. |
An Introduction to Harmonic Analysis, Third edition (Cambridge Mathematical Library) |
2004 • | •• |
155575 |
|
Katznelson Y. |
An Introduction to Harmonic Analysis (Cambridge Mathematical Library) |
2004 • | •• |
3995 |
|
Katznelson Y. |
Introduction to Harmonic Analysis |
1976 • | •• |
4015 |
|
Katznelson Y. |
Introduction to Harmonic Analysis |
2002 • | •• |
87124 |
|
Katznelson I., KatznelsonY.R. |
A (Terse) Introduction to Linear Algebra (Student Mathematical Library) |
2007 | •• |
132550 |
|
Katzenberg M.A., Saunders S.R. |
Biological Anthropology of the Human Skeleton |
2008 • | •• |
192162 |
|
Katzenberg M., Saunders S. |
Biological Anthropology of the Human Skeleton, 2nd edition |
2008 • | •• |
165256 |
|
Katzenbeisser S., Sadeghi A. |
Information Hiding: 11th International Workshop, IH 2009, Darmstadt, Germany, June 8-10, 2009, Revised Selected Papers (Lecture Notes in Computer Science Security and Cryptology) |
2009 | •• |
138747 |
|
Katzenbeisser S. |
Information Hiding Techniques for Steganography and Digital Watermarking |
2000 | •• |
131978 |
|
Katzenbeisser S. |
Information Hiding Techniques for Steganography and Digital Watermarking |
1999 | •• |
192148 |
|
Katzen S. |
The Essential PIC18® Microcontroller (Computer Communications and Networks) |
2010 | •• |
129996 |
|
Katz V.J. |
A History of Mathematics: An Introduction |
1998 • | •• |
144724 |
|
Katz V., Wilson R., Anderson M. |
Sherlock Holmes in Babylon and Other Tales of Mathematical History (Spectrum) |
2004 | •• |
121739 |
|
Katz T.M. |
Spherical Models with a Gates-Penrose-Type Phase Transition |
1985 | •• |
123820 |
|
Katz S., Lebowitz J.L. |
Nonequilibrium Steady States of Stochastic Lattice Gas Models of Fast Ionic Conductors |
1984 | •• |
85732 |
|
Katz S., Volstad R. |
Israeli Defence Forces since 1973 |
1986 | •• |
180472 |
|
Katz S., Mezini M., Kienzle J. |
Transactions on Aspect-Oriented Software Development VII: A Common Case Study for Aspect-Oriented Modeling (Lecture Notes in Computer Science Transactions on Aspect-Oriented Software Development) |
2010 | •• |
14623 |
|
Katz R.H. |
Contemporary Logic Design |
1993 • | •• |
198401 |
|
Katz R. |
Introduction to the Special Theory of Relativity |
1964 | •• |
131306 |
|
Katz P.S. |
Beyond Neurotransmission: Neuromodulation and Its Importance for Information Processing |
1999 | •• |
1943 |
|
Katz N.M. |
Algebraic Solutions of Differential Equations (p-Curvature and the Hodge Filtration) |
1972 | •• |
1219 |
|
Katz N.M. |
Rigid local systems |
1996 | •• |
1221 |
|
Katz N.M. |
A conjecture in arithmetic theory of differential equations |
1982 | •• |
197641 |
|
Katz N.M. |
A conjecture in arithmetic theory of differential equations |
1982 | •• |
146359 |
|
Katz N.M., Mazur B. |
Arithmetic Moduli of Elliptic Curves |
1985 | •• |
141057 |
|
Katz N.M., Sarnak P. |
Random Matrices, Frobenius Eigenvalues, and Monodromy |
1999 | •• |
166668 |
|
Katz N., Mazur B. |
Arithmetic Moduli of Elliptic Curves (Annals of Mathematics Studies) |
1985 | •• |
161265 |
|
Katz N., Mazur B. |
Arithmetic Moduli of Elliptic Curves (Annals of Mathematics Studies) |
1985 | •• |
251 |
|
Katz N. |
Exponential Sums and Differential Equations |
1990 | •• |
1090 |
|
Katz N. |
Lectures on Delignes proof of the Rieman hypothesis for varieties over finite fields |
1974 | •• |
54219 |
|
Katz M.J. |
From Research to Manuscript: A Guide to Scientific Writing |
2006 | •• |
80858 |
|
Katz M.J. |
From Research to Manuscript |
2009 • | •• |
77851 |
|
Katz M.J. |
From Research to Manuscript: A Guide to Scientific Writing |
2009 • | •• |
83512 |
|
Katz M.D., Kraemer R. |
Short-range wireless communications. Emerging technologies and applications |
2009 | •• |
179685 |
|
Katz M. |
The Violin: A Research and Information Guide (Music Research and Information Guides) |
2006 | •• |
193991 |
|
Katz M., Levering R. |
Computer Entrepreneur |
1984 | •• |
19773 |
|
Katz L., Rubin M. |
Keep Your Brain Alive: 83 Neurobic Exercises to Help Prevent Memory Loss and Increase Mental Fitness |
1999 | •• |
11533 |
|
Katz J.O., McCormick D.L. |
The encyclopedia of trading strategies |
2000 | •• |
21028 |
|
Katz J.J. |
Mentalism in Linguistics |
2004 | •• |
39624 |
|
Katz J.I. |
Biggest Bangs: The Mystery of Gamma-Ray Bursts, the Most Violent Explosions in the Universe |
2002 | •• |
193009 |
|
Katz J. |
Machines That Become Us: The Social Context of Personal Communication Technology |
2003 | •• |
175955 |
|
Katz J. |
The Metaphysics of Meaning |
1992 | •• |
155503 |
|
Katz J. |
High energy astrophysics |
1986 | •• |
159719 |
|
Katz J. |
Digital Signatures (Advances in Information Security) |
2010 | •• |