Electronic Books

Total Books: 781 - 800 /801
Understanding Risks and Uncertainties in Energy and Climate Policy

This book analyzes and seeks to consolidate the use of robust quantitative tools and qualitative methods for the design and ...

Lire la suite
Urban Planning Against Poverty How to Think and Do Better Cities in the Global South

This book revisits the theoretical foundations of urban planning and the application of these concepts and methods in the ...

Lire la suite
Using Discrete Choice Experiments to Value Health and Health Care

Using Discrete Choice Experiments to Value Health and Health Care takes a fresh and contemporay look at the growing interest ...

Lire la suite
Using the Borsuk-Ulam Theorem : Lectures on Topological Methods in Combinatorics and Geometry

Matousek's lively little textbook now shows that Lovász' insight as well as beautiful work of many others (such as Vrecica ...

Lire la suite
VEGF in Development

This book is devoted to vascular endothelial growth factor A (VEGF or VEGFA), a secreted signalling protein of great significance ...

Lire la suite
Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities

The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...

Lire la suite
Variétés différentielles et analytiques : Fascicule de résultats = Differential and analytical varieties: Results leaflet

Nicolas BOURBAKI's Elements of Mathematics aim to provide a rigorous, systematic presentation without prerequisites of mathematics ...

Lire la suite
Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...

Lire la suite
Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

The scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...

Lire la suite
Visualization: Theory and Practice in Science Education

External representations (pictures, diagrams, graphs, concrete models) have always been valuable tools for the science teacher. ...

Lire la suite
Vocationalisation of Secondary Education Revisited

The book is a cutting-edge contribution to the debate which has occurred for some time on the pros and cons of secondary ...

Lire la suite
WALCOM: Algorithms and Computation : Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings

This book features original research in the areas of algorithms and data structures, combinatorial algorithms, graph drawings ...

Lire la suite
Waste Materials and By-Products in Concrete

Non-hazardous waste materials and by-products which are mostly landfilled can be used in making concrete and similar construction ...

Lire la suite
Waste Materials in Advanced Sustainable Concrete : Reuse, Recovery and Recycle / Md Rezaur Rahman, Chin Mei Yun, Muhammad Khusairy Bin Bakri

Presents solutions for optimizing sustainable concrete fabrication techniques. It shows how to reinforce sustainable concrete ...

Lire la suite
Wavelets and Signal Processing

As the applications of wavelet transform have spread to diverse areas of signal analysis and compression, students and practitioners ...

Lire la suite
Wideband Low Noise Amplifiers Exploiting Thermal Noise Cancellation

This book is directly relevant for IC designers and researchers working on integrated transceivers. Although the focus is ...

Lire la suite
Wireless Security Architecture: Designing and Maintaining Secure Wireless for Enterprise / Jennifer Minella, Stephen Orr

Offers readers an essential guide to planning, designing, and preserving secure wireless infrastructures. It is a blueprint ...

Lire la suite
XcalableMP PGAS Programming Language From Programming Model to Applications

XcalableMP is a directive-based parallel programming language based on Fortran and C, supporting a Partitioned Global Address ...

Lire la suite
e-Learning : Nuovi strumenti per insegnare, apprendere, comunicare online = New tools to teach, learn, communicate online

Offers an overview of the evolution of online training, focusing both on the possible transformations made by new technologies ...

Lire la suite
q-Clan Geometries in Characteristic 2

This monograph offers the only comprehensive, coherent treatment of the theory - in characteristic 2 - of the so-called flock ...

Lire la suite
Total Books: 781 - 800 /801