|
A Practical Programming Model for the Multi-Core Era
|
Barbara ChapmanWeiming ZhengGuang R. GaoMitsuhisa SatoEduard Ayguad�Dongsheng Wang |
Springer |
_ |
2008 |
|
|
A Primer of Ecology with R
|
M. Henry H. Stevens |
Springer |
_ |
2009 |
|
|
A Relational Theory of Computing
|
John G. Sanderson |
Springer |
9783540392569 |
1980 |
|
|
A Resolution Principle for a Logic with Restricted Quantifiers
|
H. -J. B�rckert |
Springer |
_ |
1991 |
|
|
A Review of Ada Tasking
|
Alan BurnsAndrew M. ListerAndrew J. Wellings |
Springer |
_ |
1987 |
|
|
A Short Guide to People Management
|
Panagiotakopoulos , Antonios |
Taylor & Francis |
9781315526416 |
2016 |
|
|
A Spectrum of Achievements in Agronomy: Women Fellows of the Tri-Societies
|
Cynthia Rosenzweig (Editor) |
ASA CSSA SSSA |
9780891183280 |
1970 |
|
|
A Study in String Processing Languages
|
Paul Klint |
Springer |
_ |
1985 |
|
|
A Survey of Verification Techniques for Parallel Programs
|
Howard Barringer |
Springer |
_ |
1985 |
|
|
A Systematic Catalogue of Reusable Abstract Data Types
|
J�rgen UhlHans Albrecht Schmid |
Springer |
_ |
1990 |
|
|
A Theory of the Aphorism
|
Hui |
Oxford University Press |
9780691190556 |
2019 |
|
|
A Tight, Practical Integration of Relations and Functions
|
Harold Boley |
Springer |
_ |
1999 |
|
|
A Tribute to F.R.N. Nabarro
|
J.P. Hirth (ed.) |
Elsevier |
9780444531667 |
2008 |
|
|
A Unified Approach to Interior Point Algorithms for Linear Complementarity Problems
|
Masakazu KojimaNimrod MegiddoToshihito NomaAkiko Yoshise |
Springer |
9783540384267 |
1991 |
|
|
A User-Friendly Introduction to Lebesgue Measure and Integration
|
Gail S. Nelson |
American Mathematical Society |
978-1-4704-2737-5 |
2015 |
|
|
A3 Adenosine Receptors from Cell Biology to Pharmacology and Therapeutics
|
Pier Andrea Borea |
Springer |
_ |
2010 |
|
|
Abdominal Imaging. Computational and Clinical Applications
|
Hiroyuki YoshidaDavid HawkesMichael W. Vannier |
Springer |
9783642336126 |
2012 |
|
|
Abdominal Imaging. Computational and Clinical Applications
|
Hiroyuki YoshidaGeorgios SakasMarius George Linguraru |
Springer |
9783642285578 |
2012 |
|
|
Abiotic Stress Adaptation in Plants
|
Ashwani PareekS.K. SoporyHans J. BohnertGovindjee |
Springer |
_ |
2010 |
|
|
Abstract Compositional Analysis of Iterated Relations
|
Fr�d�ric Geurts |
Springer |
_ |
1998 |
|
|
Abstract Software Specifications
|
Dines Bj�orner |
Springer |
_ |
1980 |
|
|
Abstract State Machines - Theory and Applications
|
Yuri GurevichPhilipp W. KutterMartin OderskyLothar Thiele |
Springer |
_ |
2000 |
|
|
Abstract State Machines 2003
|
Egon B�rgerAngelo GargantiniElvinia Riccobene |
Springer |
_ |
2003 |
|
|
Abstract State Machines 2004. Advances in Theory and Practice
|
Wolf ZimmermannBernhard Thalheim |
Springer |
_ |
2004 |
|
|
Abstract State Machines, Alloy, B and Z
|
Marc FrappierUwe Gl�sserSarfraz KhurshidR�gine LaleauSteve Reeves |
Springer |
_ |
2010 |
|