This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Lire la suiteThis volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Lire la suiteConstituents of Modern System-safety Thinking contains the invited papers presented at the Thirteenth annual Safety-critical ...
Lire la suiteHistory based access control and secure information flow The spec# programming system Mastering test generation from smart ...
Lire la suiteThis book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of ...
Lire la suiteOnline collaboration is fast becoming a permanent feature of the modern workplace. Companies and organizations are attracted ...
Lire la suiteThe definitive guide to writing robust, maintainable code. Whatever version of Java you are using—up to and including Java ...
Lire la suiteCreating Mobile Games: shows you how to create a basic game and make it a professional one (by adding a pro look-and-feel ...
Lire la suiteIncludes challenging cryptographic solutions that are implemented in Java 17 and Jakarta EE 10. It provides a robust introduction ...
Lire la suiteThere are three main technologies married together to create usable, standards-compliant web designs: XHTML for data structure, ...
Lire la suiteThere is much additional software including many versions of the case study as it gets built up and progressively refactored ...
Lire la suiteExplore software lifecycle best practices Use DevSecOps methodologies to facilitate software development and delivery Understand ...
Lire la suiteThis modern, self-contained, textbook explains the fundamental algorithms of digital image processing through practical examples ...
Lire la suiteThis volume contains the proceedings of DAIS 2008, the 8th IFIP International Conference on Distributed Applications and ...
Lire la suiteThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suiteIn this book contributors investigate parallel and distributed techniques, algorithms, models and applications; present innovative ...
Lire la suiteHelps you as a developer and architect to put your knowledge to work in order to create elegant software designs that are ...
Lire la suiteThis book provides a practical introduction to computationally solving discrete optimization problems using dynamic programming. ...
Lire la suiteConstitutes the proceedings of the 16th European Conference on Object-Oriented Programming held in Spain in 2002. The 25 ...
Lire la suiteThe 19th Annual Meeting of the European Conference on Object-Oriented Programming—ECOOP 2005—took place during the last ...
Lire la suite