169810 |
|
Barthe G., Hermenegildo M. |
Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture ... Computer Science and General Issues) |
2010 | •• |
180493 |
|
Barthe G., Boer F. |
Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings |
2008 | •• |
67786 |
|
Barthel K.W. (ed.) |
Solnhofen: A Study in Mesozoic Palaeontology |
1994 | •• |
8851 |
|
Barthelemy J.-P., Guenoche A. |
Trees and proximity representations |
1991 | •• |
108100 |
|
Barthelmann R. |
Betriebssysteme |
2005 | •• |
117626 |
|
Barthelmann V. |
VBCC compiler system |
2004 | •• |
60787 |
|
Barthes M., Leon J. |
Nonlinear Coherent Structures: Proceedings of the 6th Interdisciplinary Workshop on Nonlinear Coherent Structures in Physics, Mechanics, and Biological Systems Held at Montpellier, France, June 21-23, 1989 |
1990 | •• |
23518 |
|
Barthold F. |
Zur Kontinuums mechanik inverser Geometrie probleme |
2002 | •• |
23538 |
|
Barthold F., Stander N., Stein E. |
Performance comparison of SAM and SQP for structural optimization |
n/a | •• |
163648 |
|
Bartholdi L., Ceccherini-Silberstein T., Smirnova-Nagnibeda T. |
Infinite Groups.. Geometric, Combinatorial and Dynamical Aspects |
2005 | •• |
60814 |
|
Bartholomew-Biggs M. |
Nonlinear Optimization with Engineering Applications |
2008 | •• |
83867 |
|
Bartholomew-Biggs M.C. |
Nonlinear optimization with financial applications |
2005 | •• |
19265 |
|
Bartle R. |
Designing Virtual Worlds |
2003 | •• |
172107 |
|
Bartle R. |
Solutions manual to a Modern Theory of Integration |
2001 | •• |
188842 |
|
Bartle R. |
A modern theory of integration |
2001 | •• |
119 |
|
Bartle R.G. |
The Elements of Integration |
1966 | •• |
120 |
|
Bartle R.G. |
The Elements of Real Analysis |
1967 | •• |
33345 |
|
Bartle R.G. |
Modern Theory of Integration |
2001 | •• |
173501 |
|
Bartles J. |
Advances in Molecular and Cell Biology Volume 26: Cell Polarity |
1998 | •• |
140858 |
|
Bartlett B., Bartlett J. |
On-Location Recording Techniques |
1999 | •• |
143767 |
|
Bartlett B., Bartlett J. |
Practical Recording Techniques, Fourth Edition: The step-by-step approach to professional audio recording |
2005 • | •• |
174266 |
|
Bartlett B., Bartlett J. |
Practical Recording Techniques |
2009 • | •• |
83913 |
|
Bartlett B., Bartlett J. |
Practical recording techniques: the step-by-step approach to professional audio recording |
2009 • | •• |
79970 |
|
Bartlett C., Embleton G. (Illustrator) |
English Longbowman 1330-1515 |
1995 | •• |
142334 |
|
Bartlett D. |
Advanced Practical Organic Chemistry |
2009 | •• |
194065 |
|
Bartlett E. |
Cable Communications Technology |
2005 | •• |
12384 |
|
Bartlett J. |
Programming from the Ground Up |
2004 | •• |
39885 |
|
Bartlett J. |
Programming from the Ground Up |
2003 | •• |
184788 |
|
Bartlett J. |
Programming from the Ground Up |
2003 | •• |
16961 |
|
Bartlett J.M.S. |
Ovarian Cancer. Methods and Protocols |
2000 | •• |
3676 |
|
Bartlett K., Henry-Stocker S. |
Unix for Mac |
2003 | •• |
26583 |
|
Bartlett K. |
Sams Teach Yourself CSS in 24 Hours |
2006 • | •• |
27926 |
|
Bartlett N., Simkin S., Stranc Ch. |
Cutting Edge Java Game Programming |
1996 • | •• |
167310 |
|
Bartlett P.J., Scholkopf B., Schuurmans D. |
Advances in Large-Margin Classifiers (Neural Information Processing) |
2000 | •• |
83124 |
|
Bartlett P.N. |
Bioelectrochemistry. Fundamentals, experimental techniques and applications |
2008 | •• |
161183 |
|
Bartlett R. |
Critical Care Physiology |
1996 | •• |
166385 |
|
Bartlett R. |
The Physics of Miracles: Tapping in to the Field of Consciousness Potential |
2009 | •• |
76844 |
|
Bartlett R.D., Bartlett P. |
Koi For Dummies |
2007 | •• |
82919 |
|
Bartlett R.E. |
Public health engineering sewerage |
2005 • | •• |
78088 |
|
Bartlomiej Beliczynski (Editor), Dzielinski A. (Editor), Iwanowski M. (Editor) |
Adaptive and Natural Computing Algorithms: 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I |
2007 • | •• |
61496 |
|
Bartocci C., Bruzzo U., Cianci R. |
Differential Geometric Methods in Theoretical Physics: Proceedings of the 19th International Conference Held in Rapallo, Italy, 19-24 June, 1990 |
1991 | •• |
126893 |
|
Bartocci C., Bruzzo U., Ruiperez D.H. |
Fourier-Mukai and Nahm transforms in geometry and mathematical physics |
2009 | •• |
148243 |
|
Bartocci C., Bruzzo U., Hernandez-Ruiperez D. |
The Geometry of Supermanifolds (Mathematics and Its Applications) |
1991 | •• |
175358 |
|
Bartocci C., Bruzzo U., Ruiperez D. |
Fourier-Mukai and Nahm Transforms in Geometry and Mathematical Physics (Progress in Mathematics) |
2009 | •• |
187992 |
|
Bartocci C., Bruzzo U., Hernandez-Ruiperez D. |
The Geometry of Supermanifolds |
1991 | •• |
194246 |
|
Bartocci C., Betti R., Guerraggio A. |
Mathematical Lives: Protagonists of the Twentieth Century From Hilbert to Wiles |
2011 | •• |
195785 |
|
Bartolini C., Gaspary L.P. (eds.) |
Integrated Management of Systems, Services, Processes and People in IT |
2009 | •• |
33026 |
|
Bartolo A., Falcone G. |
Algebraic Groups and Lie Groups with Few Factors (Lecture Notes in Mathematics) |
2008 | •• |
159005 |
|
Bartolo B. |
Ultrafast Dynamics of Quantum Systems: Physcial Processes and Spectroscopic Techniques (NATO Science Series: B:) |
2002 | •• |
164844 |
|
Bartolo B. |
Ultrafast Dynamics of Quantum Systems: Physcial Processes and Spectroscopic Techniques (NATO Science Series: B:) |
2002 | •• |