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 ...
اقرأ المزيد
