|
|
|
|
| | | | Algorithms and Computation: 11th International Conference, ISAAC 2000, Taipei, Taiwan
The papers in this volume were selected for presentation at the Eleventh Annual
International Symposium on Algorithms and Computation (ISAAC 2000), held
on 18{20 December, 2000 at the Institute of Information Science, Academia
Sinica, Taipei, Taiwan. Previous meetings were held in Tokyo (1990), Taipei
(1991), Nagoya (1992),... |
|
|
|
Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, ProceedingsThis book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. The 26 revised full research papers and 13 revised system descriptions presented together with 4 invited papers and a summary of the CASC-J4 systems competition were carefully... | | Systems Bioinformatics: An Engineering Case-Based ApproachThe high-throughput nature of bioinformatics and system biology has made traditional biological methods, which tend to focus one or two molecules at a time, obsolete. It has made engineering and problem solving skills essential to attack the resulting complex, multiscale problems. Certain technologies, such as robotics automation, microfabrication,... | | The Essential GalileoEdited and translated by Maurice A. Finocchiaro, an international authority on Galileo, this collection makes available to scholars and students an excellent and extensive selection of Galileo's key works from his early career to the end of his life - some in toto and some represented by key selections. It presents not only Galileo's most famous... |
|
|
Result Page: 274 273 272 271 270 269 268 267 266 265 264 263 262 261 260 259 |