| 105938 |
|
Ouchi K. |
Real/Expr: Implementation of an Exact Computation Package |
1997 | •• |
| 24252 |
|
Choate M. |
REALbasic Cross-Platform Application Development |
2006 | •• |
| 197176 |
|
P. Maddy |
Realism in Mathematics (Clarendon Paperbacks) |
1992 | •• |
| 77623 |
|
Griffiths M. |
Realism, idealism and international politics |
1992 | •• |
| 137989 |
|
Field H. |
Realism, Mathematics, and Modality |
1991 | •• |
| 26435 |
|
Cusson R., Cardoso J. |
Realistic Architectural Visualization with 3ds Max and Mental Ray |
2007 | •• |
| 28348 |
|
Jensen H.W. |
Realistic Image Synthesis Using Photon Mapping |
2001 | •• |
| 34253 |
|
Shirley P., Morley R.K. |
Realistic Ray Tracing |
2003 | •• |
| 177665 |
|
D'Espagnat B., Whitehouse J. |
Reality and the physicist: Knowledge, duration and the quantum world |
1989 | •• |
| 57912 |
|
Nacht R., Chaney P. |
Reality blogging |
2007 • | •• |
| 24253 |
|
Forta B., Baldwin D., Drisqill R.H. |
Reality Macromedia ColdFusion MX: Macromedia Flash MX Integration |
2002 | •• |
| 197161 |
|
A.H.Zemanian |
Realizability Theory for Continuous Linear Systems |
1972 | •• |
| 196745 |
|
J. Oosten |
Realizability, Volume 152: An Introduction to its Categorical Side (Studies in Logic and the Foundations of Mathematics) |
2008 | •• |
| 35044 |
|
Richter-Gebert J. |
Realization Spaces of Polytopes, Vol. 164 |
1996 | •• |
| 132511 |
|
Hasegawa Y., Suzuki T. |
Realization Theory and Design of Digital Images |
2006 | •• |
| 54231 |
|
Wildeshaus J. |
Realizations Of Polylogarithms |
1997 | •• |
| 40168 |
|
Zwieflhofer W., Kreitz N. |
Realizing Teracomputing: Proceedings of the Tenth Ecmwf Workshop on the Use of High Performance Computers in Meteorology |
2003 | •• |
| 156241 |
|
NRENAISSANCE Committee, National Research Council |
Realizing the Information Future: The Internet and Beyond |
1994 | •• |
| 198006 |
|
Asimov I. |
Realm of numbers |
1982 | •• |
| 143977 |
|
Virtue D. |
Realms of the Earth Angels: More Information for Incarnated Angels, Elementals, Wizards, and Other Lightworkers |
2007 | •• |
| 18534 |
|
Sauermann J., Thelen M. |
Realtime Operating Systems. Concepts and Implementation of Microkernels |
n/a | •• |
| 169209 |
|
Reekie H. |
Realtime signal processing - dataflow, visual, and functional programming |
1995 | •• |
| 36297 |
|
Kawohl B. |
Rearrangements and Convexity of Level Sets in PDE |
1985 | •• |
| 27158 |
|
Hawkins Ch. |
Reason 2.5 Ignite! |
2003 | •• |
| 24254 |
|
Lyford J. |
Reason 3 For Windows and Mac |
2005 | •• |
| 26599 |
|
Hawkins Ch., Grebler E.D. |
Reason 3 Ignite! |
2005 • | •• |
| 26709 |
|
Martin Ch.L. |
Reason 3 Overdrive! |
2005 • | •• |
| 207081 |
|
M. J. Murray |
REASON FOR THE HOPE WITHIN |
1999 | •• |
| 32115 |
|
Woods A., Grant T. |
Reason in Revolt: Dialectical Philosophy and Modern Science, Vol. 1 |
2002 | •• |
| 36717 |
|
Woods A., Grant T. |
Reason in Revolt: Dialectical Philosophy and Modern Science, Vol. 2 |
2003 | •• |
| 57159 |
|
Buchanan J.M. |
Reason of Rules: Constitutional Political Economy, Vol. 10 |
2000 | •• |
| 149257 |
|
Pettman R. |
Reason, Culture, Religion: The Metaphysics of World Politics |
2004 | •• |
| 162330 |
|
Cottingham J. |
Reason, Will, and Sensation: Studies in Descartes's Metaphysics |
1994 | •• |
| 110388 |
|
Schremmer A. |
Reasonable basic algebra |
2008 | •• |
| 11571 |
|
Fagen R., Halpern J.Y., Moses Y. |
Reasoning About Knowledge |
2003 | •• |
| 30276 |
|
Collard J.F. |
Reasoning about Program Transformations |
2002 | •• |
| 161083 |
|
Collard J. |
Reasoning About Program Transformations |
2003 | •• |
| 12272 |
|
Halpern J.Y. |
Reasoning About Uncertainty |
2003 | •• |
| 195934 |
|
B. Nebel |
Reasoning and Revision in Hybrid Representation Systems (Lecture Notes in Computer Science) |
1990 | •• |
| 155639 |
|
Darden L. |
Reasoning in Biological Discoveries: Essays on Mechanisms, Interfield Relations, and Anomaly Resolution (Cambridge Studies in Philosophy and Biology) |
2006 | •• |
| 163847 |
|
Viennot L. |
Reasoning in Physics. The Part of Common Sense |
2004 | •• |
| 143821 |
|
Thielscher M. |
Reasoning robots the art and science of programming robotic agents |
2005 | •• |
| 26929 |
|
Thielscher M. |
Reasoning Robots: The Art and Science of Programming Robotic Agents |
2005 | •• |
| 80540 |
|
Antoniou G.(ed.), Aßmann U.(ed.), Baroglio C.(ed.) |
Reasoning Web Third International Summer School 2007 Dresden, Germany, September 3-7, 2007 Tutorial Lectures |
2007 | •• |
| 79207 |
|
Eisinger N. (ed.), Matuszynski J. (ed.) |
Reasoning Web. First International Summer School 2005 Msida, Malta, July 25-29, 2005 Tutorial Lectures |
2005 | •• |
| 146711 |
|
Tessaris S., Franconi E. |
Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, ... Applications, incl. Internet Web, and HCI) |
2009 | •• |
| 153877 |
|
Abmann U., Bartho A., Wende C. |
Reasoning Web. Semantic Technologies for Software Engineering: 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. ... Applications, incl. Internet Web, and HCI) |
2010 | •• |
| 170353 |
|
Barahona P., Bry F., Franconi E. |
Reasoning Web: Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures |
2006 | •• |
| 157662 |
|
Alferes J., Pereira L. |
Reasoning with Logic Programming |
1996 | •• |
| 169778 |
|
Dorst L., van Lambalgen M., Voorbraak F. |
Reasoning with Uncertainty in Robotics: International Workshop, RUR '95, Amsterdam, The Netherlands, December 4-6, 1995. Proceedings |
1996 | •• |
|
|
Î ïðîåêòå