Electronic Books

Total Books: 61 - 80 /279
Computational Science - ICCS 2006 (vol. # 3994)

The four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational ...

Weiterlesen
Computational Science -- ICCS 2005 (vol. # 3514)

This book constitutes the refereed proceedings of the Fifth International Conference on Computational Science (ICCS 2005) ...

Weiterlesen
Computer Aided Verification

This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...

Weiterlesen
Computer Aided Verification

This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...

Weiterlesen
Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python / Therese Hardin, Mathieu Jaume, Francois Pessaux, Veronique Viguie Donzeau-Gouge

Explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...

Weiterlesen
Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java / Therese Hardin, Mathieu Jaume, François Pessaux, Veronique Viguie Donzeau-Gouge

Explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...

Weiterlesen
Constituents of Modern System-safety Thinking

Constituents of Modern System-safety Thinking contains the invited papers presented at the Thirteenth annual Safety-critical ...

Weiterlesen
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 ...

Weiterlesen
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 ...

Weiterlesen
NoIMG
Cooperative 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 ...

Weiterlesen
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 ...

Weiterlesen
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 ...

Weiterlesen
DOM Scripting

There are three main technologies married together to create usable, standards-compliant web designs: XHTML for data structure, ...

Weiterlesen
Design Patterns for eScience

There is much additional software including many versions of the case study as it gets built up and progressively refactored ...

Weiterlesen
Digital Image Processing : An Algorithmic Introduction using Java

This modern, self-contained, textbook explains the fundamental algorithms of digital image processing through practical examples ...

Weiterlesen
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 ...

Weiterlesen
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 ...

Weiterlesen
Distributed and Parallel Systems : In Focus: Desktop Grid Computing

In this book contributors investigate parallel and distributed techniques, algorithms, models and applications; present innovative ...

Weiterlesen
NoIMG
Dynamic Programming

This book provides a practical introduction to computationally solving discrete optimization problems using dynamic programming. ...

Weiterlesen
ECOOP 2002 - Object-Oriented Programming

Constitutes the proceedings of the 16th European Conference on Object-Oriented Programming held in Spain in 2002. The 25 ...

Weiterlesen
Total Books: 61 - 80 /279