| 134379 |
|
Bundy A. |
The computer modelling of mathematical reasoning |
1984 | •• |
| 138170 |
|
Bundy A. |
Automated Deduction, Cade-12: 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings |
1994 | •• |
| 29560 |
|
Bundy A. (ed.), Wilson S. |
Rob Milne: A Tribute to a Pioneering AI Scientist, Entrepreneur and Mountaineer, Volume 139 Frontiers in Artificial Intelligence and Applications |
2006 | •• |
| 141213 |
|
Bunemann E.K., Oberson A., Frossard E. |
Phosphorus in Action: Biological Processes in Soil Phosphorus Cycling |
2010 | •• |
| 197995 |
|
Bungartz H., Schafer M. |
Fluid-Structure Interaction: Modelling, Simulation, Optimisation (Lecture Notes in Computational Science and Engineering) |
2006 • | •• |
| 20466 |
|
Bungartz H.-J. |
Rekursive Verfahren und hierarchische Datenstrukturen in der numerischen Analysis |
1999 | •• |
| 20526 |
|
Bungartz H.-J. |
Wissenschaftliches Rechnen |
2000 | •• |
| 20050 |
|
Bungartz H.J. |
Praktikum 'Anwendungen der Computergraphik' |
1999 | •• |
| 35069 |
|
Bunge M., Funk J. |
Singular Coverings of Toposes: The Geometry of Lawvere Distributions |
2006 | •• |
| 44307 |
|
Bunge M. |
A Ghost - Free Axiomatization of Quantum Mechanics |
1967 | •• |
| 44331 |
|
Bunge M. |
Philosophy of Physics |
1972 | •• |
| 126260 |
|
Bunge M. |
Foundations of Physics |
1967 | •• |
| 148262 |
|
Bunge M., Funk J. |
Singular coverings of toposes |
2006 | •• |
| 159920 |
|
Bunge M., Funk J. |
Singular Coverings of Toposes |
2006 | •• |
| 166204 |
|
Bunge M. |
Foundations of Physics |
1967 | •• |
| 172399 |
|
Bunge M., Funk J. |
Singular Coverings of Toposes (Lecture Notes in Mathematics) |
2006 | •• |
| 190638 |
|
Bunge M., Funk J. |
Singular Coverings of Toposes |
2006 | •• |
| 50004 |
|
Bunge M.A. |
Treatise On Basic Philosophy, Vol. 7 |
1985 | •• |
| 84624 |
|
Bungey J.H., Millard S.G. |
Testing of concrete in structures |
1995 • | •• |
| 124485 |
|
Bunimovich L. A. |
On Localization of Vorticity in Lorentz Lattice Gases |
1996 | •• |
| 121542 |
|
Bunimovich L., Jauslin H.R. |
Diffusive Energy Growth in Classical and Quantum Driven Oscillators |
1991 | •• |
| 122443 |
|
Bunimovich L. |
One-Dimensional Lorentz Gas with Rotating Scatterers: Exact Solutions |
2003 | •• |
| 124792 |
|
Bunimovich L. |
Hyperbolicity and Astigmatism |
2000 | •• |
| 187957 |
|
Bunimovich L., Dani S., Dobrushin R. |
Dynamical systems, ergodic theory and applications |
2000 • | •• |
| 120498 |
|
Bunimovich L. A., Troubetzkoy S. E. |
Rotators, Periodicity, and Absence of Diffusion in Cyclic Cellular Automata |
1993 | •• |
| 35152 |
|
Bunimovich L.A., Dobrushin R.L. |
Dynamical Systems, Ergodic Theory and Applications |
2000 • | •• |
| 121074 |
|
Bunimovich L.A., Troubetzkoy S.E. |
Topological Dynamics of Flipping Lorentz Lattice Gas Models |
1993 | •• |
| 122819 |
|
Bunimovich L.A., Lambert A., Lima R. |
The Emergence of Coherent Structures in Coupled Map Lattices |
1990 | •• |
| 124100 |
|
Bunimovich L.A., Khlabystova M.A. |
Walks in Rigid Environments: Continuous Limits |
2002 | •• |
| 124153 |
|
Bunimovich L.A., Troubetzkoy S.E. |
Recurrence Properties of Lorentz Lattice Gas Cellular Automata |
1992 | •• |
| 163231 |
|
Bunin B., Bajorath J., Siesel B. |
Chemoinformatics: Theory, Practice, & Products |
2007 | •• |
| 51404 |
|
Bunin B.A. |
The Combinatorial Index |
1998 | •• |
| 162835 |
|
Buning H., Zhao X. |
Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings |
2008 | •• |
| 78707 |
|
Bunke H., Dickinson P.J., Kraetzl M. |
A Graph-Theoretic Approach to Enterprise Network Dynamics |
2006 • | •• |
| 132061 |
|
Bunke H., Villanueva J.J., Sanchez G. |
Progress In Computer Vision And Image Analysis |
2009 | •• |
| 160331 |
|
Bunke H., Spitz A. |
Document Analysis Systems VII: 7th International Workshop, DAS 2006, Nelson, New Zealand, February 13-15, 2006, Proceedings |
2006 | •• |
| 174822 |
|
Bunke H., Dickinson P., Kraetzl M. |
A Graph-Theoretic Approach to Enterprise Network Dynamics (Progress in Computer Science and Applied Logic) |
2007 | •• |
| 14414 |
|
Bunke H. (ed.), Kandel A. (ed.), Last M. (ed.) |
Data Mining In Time Series Databases |
2004 | •• |
| 15812 |
|
Bunker G., Thomson D. |
Delivering Utility Computing: Business-Driven IT Optimization |
2006 | •• |
| 47480 |
|
Bunker P., Jensen P. |
Computational Molecular Spectroscopy |
2001 • | •• |
| 48929 |
|
Bunn C.W. |
Chemical Crystallography - an Introduction to Optical and X Ray Methods |
1961 • | •• |
| 47707 |
|
Bunn G., Nally J.D. (ed.) |
Good Manufacturing Practices for Pharmaceuticals: A Plan for Total Quality Control Manufacturer to Consumer |
2006 • | •• |
| 184683 |
|
Bunnage M., Thurston D., Fox D. |
New frontiers in chemical biology : enabling drug discovery |
2011 | •• |
| 83648 |
|
Bunni N.G. |
Risk and insurance in construction |
2003 • | •• |
| 148184 |
|
Bunning F. |
The Transformation of Vocational Education and Training (VET) in the Baltic States - Survey of Reforms and Developments (Technical and Vocational Education ... Training: Issues, Concerns and Prospects) |
2006 | •• |
| 20440 |
|
Bunse-Gerstner A., Mehrmann V., Faßbender H. |
Numerik1 |
1996 | •• |
| 193084 |
|
Bunshah R. |
Handbook of Hard Coatings: Deposition Technolgies, Properties and Applications |
2001 | •• |
| 19337 |
|
Bunson M. |
Encyclopedia Of The Roman Empire |
2002 | •• |
| 161762 |
|
Bunt H., Merlo P., Nivre J. |
Trends in Parsing Technology: Dependency Parsing, Domain Adaptation, and Deep Parsing |
2010 | •• |
| 187129 |
|
Bunt H., Bos J., Pulman P. |
Computing Meaning: Volume 4 |
2014 | •• |
|
|
Î ïðîåêòå