Electronic Books

Total Books: 81 - 100 /377

Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...

Computer Algebra in Scientific Computing (vol. # 3718)

This volume contains the proceedings of the CASC 2005 continued a tradition — started in 1998 — of international con-ferences ...

Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...

Computer Viruses: from theory to applications

The purpose of this book is to propose a teaching approach to under- 1 stand what computer viruses really are and how they ...

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

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

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

Conceptual Modeling - ER 2008 : 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings

This book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held ...

Conceptual Structures: Knowledge Visualization and Reasoning : 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings

This book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, ...

Constraint Handling Rules : Current Research Topics

The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...

Content based social platform optimization “Fashion Platform” / Saleem Allosh ; Mohammad Hasan ; MHD Wael Alhalabi ; MHD Bader Alkattan

The purpose of this project is to design a platform that concentrates on Fashion in addition to assisting users with gathering ...

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

Cryptography in C and C++

This book covers everything you need to know to write professional-level cryptographic code. This expanded, improved second ...

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

Data Algorithms with Spark / Mahmoud Parsian

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

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

This volume contains works at the intersection of database and programming language research.It also cover algorithms, XML ...

Database Programming Languages

Constitutes the refereed post-proceedings of the 10th International Workshop on Database Programming Languages, DBPL 2005. ...

Database Programming Languages

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

Total Books: 81 - 100 /377