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