Electronic Books

Total Books: 4601 - 4620 /8429

Logic, Language, Information and Computation

The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary ...

Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

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

Logic-Based Program Synthesis and Transformation

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...

Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

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

Logica Universalis

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

Logica Universalis : Towards a General Theory of Logic

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

Logical Approaches to Computational Barriers

The sources of new ideas and methods include practical developments in areas such as neural networks, quantum computation, ...

Logical Aspects of Computational Linguistics

Structural Equations in Language Learning.- On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic ...

Logical Foundations of Computer Science

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...

Logics in Artificial Intelligence : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

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

Logics of Specification Languages

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

Logos of Phenomenology and Phenomenology of the Logos. Book One

During its century-long unfolding, spreading in numerous directions, Husserlian phenomenology while loosening inner articulations, ...

Long-Term Preservation of Digital Documents

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

Louisiana's Response to Extreme Weather A Coastal State's Adaptation Challenges and Successes

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

Low Impact Building: Housing using Renewable Materials / Tom Woolley

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

Low Molecular Mass Gelators

Chapter 1 presents the physical principles of the growth mechanism of fiber and fiber network with LMGs, as treated on the ...

Low Power Methodology Manual

"Tools alone aren't enough to reduce dynamic and leakage power in complex chip designs - a well-planned methodology is ...

Low Power VCO Design in CMOS

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

Low Thermal Expansion Glass Ceramics

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

Low-Cost Methods for Molecular Characterization of Mutant Plants : Tissue Desiccation, DNA Extraction and Mutation Discovery: Protocols

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

Total Books: 4601 - 4620 /8429