CBSE is concerned with the development of software-intensive systems from reusable parts (components), the development of ...
اقرأ المزيدThe four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational ...
اقرأ المزيدThe four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational ...
اقرأ المزيدThis book constitutes the refereed proceedings of the Fifth International Conference on Computational Science (ICCS 2005) ...
اقرأ المزيدThis volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
اقرأ المزيدThis volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
اقرأ المزيدExplores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...
اقرأ المزيدExplores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...
اقرأ المزيدConstituents of Modern System-safety Thinking contains the invited papers presented at the Thirteenth annual Safety-critical ...
اقرأ المزيدHistory based access control and secure information flow The spec# programming system Mastering test generation from smart ...
اقرأ المزيدThis book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of ...
اقرأ المزيدOnline collaboration is fast becoming a permanent feature of the modern workplace. Companies and organizations are attracted ...
اقرأ المزيدThe definitive guide to writing robust, maintainable code. Whatever version of Java you are using—up to and including Java ...
اقرأ المزيدCreating Mobile Games: shows you how to create a basic game and make it a professional one (by adding a pro look-and-feel ...
اقرأ المزيدIncludes challenging cryptographic solutions that are implemented in Java 17 and Jakarta EE 10. It provides a robust introduction ...
اقرأ المزيدThere are three main technologies married together to create usable, standards-compliant web designs: XHTML for data structure, ...
اقرأ المزيدThere is much additional software including many versions of the case study as it gets built up and progressively refactored ...
اقرأ المزيدExplore software lifecycle best practices Use DevSecOps methodologies to facilitate software development and delivery Understand ...
اقرأ المزيدThis modern, self-contained, textbook explains the fundamental algorithms of digital image processing through practical examples ...
اقرأ المزيدThis volume contains the proceedings of DAIS 2008, the 8th IFIP International Conference on Distributed Applications and ...
اقرأ المزيد