Computer Aided Verification
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Lee mas
Computer Aided Verification
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Lee mas
Constituents of Modern System-safety Thinking
Constituents of Modern System-safety Thinking contains the invited papers presented at the Thirteenth annual Safety-critical ...
Lee mas
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362)
History based access control and secure information flow The spec# programming system Mastering test generation from smart ...
Lee mas
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956)
This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of ...
Lee masCooperative tool / Husam Maher ; Abdallah Al-Ibrahim ; Majd Al-Atrash ; Mohammad Kareem Al-Qubaitri
Online collaboration is fast becoming a permanent feature of the modern workplace. Companies and organizations are attracted ...
Lee mas
Core Java Volume I: Fundamentals, 12th ed. / Cay S. Horstmann
The definitive guide to writing robust, maintainable code. Whatever version of Java you are using—up to and including Java ...
Lee mas
Creating Mobile Games : Using Java™ ME Platform to Put the Fun into Your Mobile Device and Cell Phone
Creating Mobile Games: shows you how to create a basic game and make it a professional one (by adding a pro look-and-feel ...
Lee mas
Cryptography and Cryptanalysis in Java: Creating and Programming Advanced Algorithms with Java SE 17 LTS and Jakarta EE 10 / Stefania Loredana Nita, Marius Iulian Mihailescu
Includes challenging cryptographic solutions that are implemented in Java 17 and Jakarta EE 10. It provides a robust introduction ...
Lee mas
DOM Scripting
There are three main technologies married together to create usable, standards-compliant web designs: XHTML for data structure, ...
Lee mas
Design Patterns for eScience
There is much additional software including many versions of the case study as it gets built up and progressively refactored ...
Lee mas
DevOps Tools for Java Developers: Best Practices from Source Code to Production Containers / Stephen Chin, Melissa McKay, Ixchel Ruiz, Baruch Sadogursky
Explore software lifecycle best practices Use DevSecOps methodologies to facilitate software development and delivery Understand ...
Lee mas
Digital Image Processing : An Algorithmic Introduction using Java
This modern, self-contained, textbook explains the fundamental algorithms of digital image processing through practical examples ...
Lee mas
Distributed Applications and Interoperable Systems : 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings
This volume contains the proceedings of DAIS 2008, the 8th IFIP International Conference on Distributed Applications and ...
Lee mas
Distributed Embedded Systems: Design, Middleware and Resources
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lee mas
Distributed and Parallel Systems : In Focus: Desktop Grid Computing
In this book contributors investigate parallel and distributed techniques, algorithms, models and applications; present innovative ...
Lee mas
Domain-driven design with Java, a practitioner's guide : create simple, elegant, and valuable software solutions for complex business problems / Premanand Chandrasekaran, Karthik Krishnan
Helps you as a developer and architect to put your knowledge to work in order to create elegant software designs that are ...
Lee masDynamic Programming
This book provides a practical introduction to computationally solving discrete optimization problems using dynamic programming. ...
Lee mas
ECOOP 2002 - Object-Oriented Programming
Constitutes the proceedings of the 16th European Conference on Object-Oriented Programming held in Spain in 2002. The 25 ...
Lee mas
ECOOP 2005 - Object-Oriented Programming
The 19th Annual Meeting of the European Conference on Object-Oriented Programming—ECOOP 2005—took place during the last ...
Lee mas
