Computer Aided Verification: 12th International Conference, Cav 2000 Chicago, Il, Usa, July 15-19, 2

Dougans, Inge

Payne, Wayne A

Shilkrut, D

This tenth volume of papers emanating from the annual International High Technology Small Firms Conference represents a full decade of research and policy relevant papers on innovation and growth problems of New Technology-based Firms (NTBf). Because this series has become the major vehicle for publication among the best international researchers working on the formation and subsequent growth problems of NTBfs, it represents an authoritative voice on NTBf development problems. Topics covered in this volume include strategy, spin offs - their contribution to NTBf growth and the problems they encounter during the traumatic spin off process, the current hot topic of clusters and their role in enhancing NTBf formation and growth, networking and global issues since many NTBfs are truly born global.

<p>This work presents a definitive interpretation of the current status of and future trends in natural products--a dynamic field at the intersection of chemistry and biology concerned with isolation, identification, structure elucidation, and chemical characteristics of naturally occurring compounds such as pheromones, carbohydrates, nucleic acids, and enzymes. With more than 1,800 color figures, <i>Comprehensive Natural Products II</i> features 100% new material and complements rather than replaces the original work ((c)1999).</p>

Available