Electronic Books

Total Books: 1281 - 1300 /1303
Verification, Model Checking, and Abstract Interpretation

This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...

Lee mas
Verification, Model Checking, and Abstract Interpretation

This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...

Lee mas
Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

The book feature current research from the communities of verification, program certification, model checking, debugging ...

Lee mas
Virtual Reality

This volume, edited by Randall Shumaker, contains papers in the thematic area of Virtual Reality, addressing the following ...

Lee mas
Visualization of Digital Terrain and Landscape Data

This book reflects a profound change that has taken place in the practice of landscape architecture and planning in the past ...

Lee mas
Vorticity, Statistical Mechanics, and Monte Carlo Simulation

This book is drawn from across many active fields of mathematics and physics, and has connections to atmospheric dynamics, ...

Lee mas
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 ...

Lee mas
NoIMG
Warehouse Management

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

Lee mas
Water Resource Systems Planning and Management

This revised, updated textbook presents a systems approach to the planning, management, and operation of water resources ...

Lee mas
Web Design and Marketing Solutions for Business Websites

The best business websites serve their readers with strong content, well-architected design, and a focus on usability, readability, ...

Lee mas
Web Information Systems Engineering - WISE 2005 Workshops

Constitutes the joint refereed proceedings of the three workshops held in conjunction with the 6th International Conference ...

Lee mas
Web Information Systems and Technologies

This book constitutes the thoroughly refereed post-proceedings of the 1st and 2nd International Conference on Web Information ...

Lee mas
Wideband Amplifiers

This work covers two bases, both performance optimization strategies and a complete introduction to mathematical procedures ...

Lee mas
NoIMG
Wind Energy

This book comprises reports on basic research, as well as research related to the practical exploitation and application ...

Lee mas
Wireless Ad Hoc and Sensor Networks

Wireless Ad Hoc and Sensor Networks: A Cross-Layer Design Perspective deals with the emerging design trend that transcends ...

Lee mas
Wireless Algorithms, Systems, and Applications

The papers in this volume were presented at the First Annual InternationalConference on Wireless Algorithms, Systems, and ...

Lee mas
Wireless Networks: Multiuser Detection in Cross-Layer Design

This unique monograph is concerned with the issue of cross-layer design in wireless networks, and more particularly with ...

Lee mas
Wireless Sensor Networks

This book constitutes the refereed proceedings of the 4th European Workshop on Wireless Sensor Networks, EWSN 2007, held ...

Lee mas
Wireless Sensor and Actor Networks

This book presents the proceedings of the first IFIP WG 6.8 conference on Wireless Sensor and Actor Networks held in Albacete, ...

Lee mas
Wireless Sensor and Actor Networks II : Proceedings of the 2008 IFIP Conference on Wireless Sensor and Actor Networks (WSAN 08), Ottawa, Ontario, Canmada, July 14-15, 2008

The scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...

Lee mas
Total Books: 1281 - 1300 /1303