This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
WeiterlesenCoverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, ...
WeiterlesenThis book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
WeiterlesenThis book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
WeiterlesenThis, the 37th issue of the Transactions on Computational Science, is devoted to the area of Computer Graphics. The 9 papers ...
WeiterlesenTransactions on HiPEAC is a new journal which aims at the timely dissemination of research contributions in computer architecture ...
WeiterlesenIt contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
WeiterlesenThe editors and authors present a wealth of knowledge regarding the most relevant aspects in the field of MOS transistor ...
WeiterlesenThis book constitutes the refereed proceedings of the 17th International Conference on Trust, Privacy and Security in Digital ...
WeiterlesenTrusted Computing Platforms:Design and Applications fills this gap. Starting with early prototypes and proposed applications, ...
WeiterlesenThe last several years have seen significant progress on two related frontsin hardware and software design for electronic ...
WeiterlesenThis book constitutes the refereed proceedings of the 4th International Conference on Ubiquitous Communications and Network ...
WeiterlesenThe needs of future digital data and computer systems are expected to be two to three orders of magnitude larger than for ...
WeiterlesenNowadays, developers have to face the proliferation of hardware and software environments, the increasing demands of the ...
WeiterlesenVthe 8th International Conference on VISual Information Systems held in Amsterdam dealt with a variety of aspects, from visual ...
WeiterlesenThe concept of content delivery has become increasingly more important due to rapidly growing demands for efficient distribution ...
Weiterlesenhis book constitutes the refereed proceedings of the 18th International Symposium on Web and Wireless Geographical Information ...
WeiterlesenWireless Ad Hoc and Sensor Networks: A Cross-Layer Design Perspective deals with the emerging design trend that transcends ...
WeiterlesenThis book constitutes the refereed post-conference proceedings of the 12th International Conference on Wireless Internet, ...
WeiterlesenThis 2-volume set constitutes the proceedings of the 6th International Conference on e-Learning, e-Education, and Online ...
Weiterlesen