Innovation and Incentives

Interest in intellectual property and other institutions that promote innovation exploded during the 1990s. Innovation and Incentives provides a clear and wide-ranging introduction to the economics of innovation, suitable for teaching at both the advanced...

 A Roadmap for Formal Property Verification

Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Have I written a consistent set of properties? What should I do when the FPV tool runs into capacity iss...

 Code: Collaborative Ownership and the Digital Economy

Open source software is considered by many to be a novelty and the open source movement a revolution. Yet the collaborative creation of knowledge has gone on for as long as humans have been able to communicate. CODE looks at the col laborative model of cr...

 Spectral Generalizations of Line Graphs On Graphs with least eigenvalue -2

Line graphs have the property that their least eigenvalue is greater than or equal to -2, a property shared by generalized line graphs and a finite number of so-called exceptional graphs. This book deals with all these families of graphs in the context of...

 Managing intellectual assets in the digital age

Written for technology professionals and business managers/owners alike, this new, easy-to-understand book provides you with a comprehensive overview of the key legal and economic issues that affect rights of access and use for intellectual property and k...

  Boost Graph Library User Guide and Reference Manual

The Boost Graph Library (BGL) is the first C++ library to apply the principles of generic programming to the construction of the advanced data structures and algorithms used in graph computations. Problems in such diverse areas as Internet packet routing,...