Electronic Books

Total Books: 1701 - 1720 /3354

In development scenarios where things can't be run in a debugger, or when you run the risk of masking the problem, logs ...

The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...

This book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, ...

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...

The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed ...

This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...

The book signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic ...

Modern logic has been intimately connected with algebra since its origins in figures such as Boole, De Morgan, and Peirce. ...

This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...

The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...

This book explores how to set up an empirical model that helps with forecasting long-term economic growth in a large number ...

Key to our culture is that we can disseminate information, and then maintain and access it over time. While we are rapidly ...

Lost Causes in and Beyond Physics deals with a selection of research topics mostly from theoretical physics that have been ...

This book takes an in-depth look at Louisiana as a state which is ahead of the curve in terms of extreme weather events, ...

Guides to the designs, technologies and materials that really make green buildings work will help architects, specifiers ...

The performance of voltage controlled oscillators (VCO) is of extreme importance for any telecommunication or data communication ...

This book appears in the authoritative series reporting the international research and development activities conducted by ...

This book offers low-cost and rapid molecular assays for the characterization of mutant plant germplasm. Detailed protocols ...

Low-Frequency Noise in Advanced CMOS Devices begins with an introduction to noise, describing the fundamental noise sources ...

This book provides a concise but thorough introduction to important phenomena of low-temperature physics. It is ideally suited ...

Total Books: 1701 - 1720 /3354