This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...
Continue readingThis volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...
Continue readingThe book feature current research from the communities of verification, program certification, model checking, debugging ...
Continue readingThis volume, edited by Randall Shumaker, contains papers in the thematic area of Virtual Reality, addressing the following ...
Continue readingThis book reflects a profound change that has taken place in the practice of landscape architecture and planning in the past ...
Continue readingThis book is drawn from across many active fields of mathematics and physics, and has connections to atmospheric dynamics, ...
Continue readingThis book features original research in the areas of algorithms and data structures, combinatorial algorithms, graph drawings ...
Continue readingThis book gives an overview of possible solutions and helps to make the right choice. It presents the background, potentials ...
Continue readingThis revised, updated textbook presents a systems approach to the planning, management, and operation of water resources ...
Continue readingThe best business websites serve their readers with strong content, well-architected design, and a focus on usability, readability, ...
Continue readingConstitutes the joint refereed proceedings of the three workshops held in conjunction with the 6th International Conference ...
Continue readingThis book constitutes the thoroughly refereed post-proceedings of the 1st and 2nd International Conference on Web Information ...
Continue readingThis work covers two bases, both performance optimization strategies and a complete introduction to mathematical procedures ...
Continue readingThis book comprises reports on basic research, as well as research related to the practical exploitation and application ...
Continue readingWireless Ad Hoc and Sensor Networks: A Cross-Layer Design Perspective deals with the emerging design trend that transcends ...
Continue readingThe papers in this volume were presented at the First Annual InternationalConference on Wireless Algorithms, Systems, and ...
Continue readingThis unique monograph is concerned with the issue of cross-layer design in wireless networks, and more particularly with ...
Continue readingThis book constitutes the refereed proceedings of the 4th European Workshop on Wireless Sensor Networks, EWSN 2007, held ...
Continue readingThis book presents the proceedings of the first IFIP WG 6.8 conference on Wireless Sensor and Actor Networks held in Albacete, ...
Continue readingThe scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...
Continue reading