Electronic Books

Total Books: 81 - 100 /371

Constraint Solving and Language Processing

This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First ...

Coordination Models and Languages (vol. # 3454)

This book constitutes the refereed proceedings of the 7th International Conference on Coordination Models and Languages, ...

Coordination Models and Languages (vol. # 4038)

This book constitutes the refereed proceedings of the 8th International Conference on Coordination Models and Languages, ...

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

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

Cybersecurity of Digital Service Chains : Challenges, Methodologies, and Tools

This book presents the main scientific results from the H2020 GUARD project. The GUARD project aims at filling the current ...

DNA Computing

Constitutes the post-proceedings of the 7th International Workshop on DNA-Based Computers, held in Florida in 2001. The 26 ...

Data Algorithms with Spark / Mahmoud Parsian

Apache Spark's speed, ease of use, sophisticated analytics, and multilanguage support makes practical knowledge of this ...

Data Management in Grid and Peer-to-Peer Systems : First International Conference, Globe 2008, Turin, Italy, September 3, 2008. Proceedings

This book constitutes the refereed proceedings of the First International Conference on Data Management in Grid and Peer-to-Peer ...

Data Parallel C++ Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL

This book teaches data-parallel programming using C++ and the SYCL standard from the Khronos Group and walks through everything ...

Data Structure and Algorithms Using C++: A Practical Implementation / Sachi Nandan Mohanty, Pabitra Kumar Tripathy

Intended to flow from the basic concepts of C++ to technicalities of the programming language, its approach and debugging. ...

Database Programming Languages

The papers here are organized in topical sections on semistructured data OL AP and data mining systems, schema integration, ...

Decision Procedures : An Algorithmic Point of View

The book concentrates on decision procedures for first-order theories that are commonly used in automated verification and ...

Declarative Agent Languages and Technologies V : 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative ...

Deep Learning with PyTorch Lightning: Build and train high-performance artificial intelligence and self-supervised models using Python / Kunal Sawarkar, Dheeraj Arremsetty

You’ll learn how to configure PyTorch Lightning on a cloud platform, understand the architectural components, and explore ...

Deontic Logic in Computer Science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings

This volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON ...

Dependable Software Engineering. Theories, Tools, and Applications

This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, ...

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

Development of Linguistic Linked Open Data Resources for Collaborative Data-Intensive Research in the Language Sciences

This volume examines the challenges inherent in making diverse data in linguistics and the language sciences open, distributed, ...

Developments in Language Theory

Basic Notions of Reaction Systems -- A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms -- Algebraic ...

Total Books: 81 - 100 /371