Electronic Books

Total Books: 901 - 918 /918
978-3-540-30579-8
Verification, Model Checking, and Abstract Interpretation (vol. # 3385)

The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...

Continue reading
978-3-540-31622-0
Verification, Model Checking, and Abstract Interpretation (vol. # 3855)

This volume contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, ...

Continue reading
978-3-030-68045-9
Vibrations and Stability : Advanced Theory, Analysis, and Tools / Jon Juel Thomsen

Ties together classical and modern topics of advanced vibration analysis in an interesting and lucid manner. It is intended ...

Continue reading
978-0-387-73025-7
Virtuality and Virtualization

This book begins with consideration of possible frameworks for understanding virtuality and virtualization. It examines group ...

Continue reading
978-3-540-78243-8
VizSEC 2007 : Proceedings of the Workshop on Visualization for Computer Security

Networked computers are ubiquitous, and are subject to attack, misuse, and abuse. One method to counteracting this cyber ...

Continue reading
978-1-4020-5525-6
Voltage-Sensitive Ion Channels : Biophysics of Molecular Excitability

The goal of this book is to explore the complexity of a microscopic bit of matter that exists in a myriad of copies within ...

Continue reading
978-0-8176-4550-2
Vortices in the Magnetic Ginzburg-Landau Model

This text presents complete and mathematically rigorous versions of both results either already known by physicists or applied ...

Continue reading
978-3-540-77891-2
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 ...

Continue reading
NoIMG
Warehouse Management

This book gives an overview of possible solutions and helps to make the right choice. It presents the background, potentials ...

Continue reading
978-3-7643-7588-1
Wavelets, Multiscale Systems and Hypercomplex Analysis

This volume contains a selection of papers on the topics of Clifford analysis and wavelets and multiscale analysis, the latter ...

Continue reading
978-3-540-70565-9
Weight Filtrations on Log Crystalline Cohomologies of Families of Open Smooth Varieties

In this volume, the authors construct a theory of weights on the log crystalline cohomologies of families of open smooth ...

Continue reading
978-0-8176-4562-5
What Sustains Life?

What Sustains Life? How can something so seemingly improbable and fragile as life exist in such hardy and resilient forms? ...

Continue reading
978-3-531-91184-7
Why Context Matters : Applications of Social Network Analysis

Many elements of our society are embedded in network structures in which actors depend on each other as well as the structural ...

Continue reading
NoIMG
Wind Turbine Control Systems

Modern wind turbines generally operate at variable speed in order to maximise the conversion efficiency below rated power ...

Continue reading
978-3-540-88582-5
Wireless Algorithms, Systems, and Applications : Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings

This book address current research and development efforts of various issues in the area of algorithms, systems and applications ...

Continue reading
978-3-540-77690-1
Wireless Sensor Networks : 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings

This book is organized in topical sections on localization, detection of space/time correlated events, network coding, ZigBee, ...

Continue reading
978-3-030-52673-3
Words, Objects and Events in Economics The Making of Economic Theory

This book examines from a variety of perspectives the disappearance of moral content and ethical judgment from the models ...

Continue reading
978-1-84628-757-2
Workflows for e-Science

Workflows for e-Science presents an overview of the current state of the art in the field. It brings together research from ...

Continue reading
Total Books: 901 - 918 /918