Constraint Solving and Language Processing
This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First ...
Lee mas
Coordination Models and Languages (vol. # 3454)
This book constitutes the refereed proceedings of the 7th International Conference on Coordination Models and Languages, ...
Lee mas
Coordination Models and Languages (vol. # 4038)
This book constitutes the refereed proceedings of the 8th International Conference on Coordination Models and Languages, ...
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
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 masCybersecurity 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 ...
Lee mas
DNA Computing
Constitutes the post-proceedings of the 7th International Workshop on DNA-Based Computers, held in Florida in 2001. The 26 ...
Lee mas
Data Algorithms with Spark / Mahmoud Parsian
Apache Spark's speed, ease of use, sophisticated analytics, and multilanguage support makes practical knowledge of this ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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. ...
Lee mas
Database Programming Languages
The papers here are organized in topical sections on semistructured data OL AP and data mining systems, schema integration, ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Dependable Software Engineering. Theories, Tools, and Applications
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, ...
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 masDevelopment 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, ...
Lee mas
Developments in Language Theory
Basic Notions of Reaction Systems -- A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms -- Algebraic ...
Lee mas
