Electronic Books

Total Books: 61 - 80 /262

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

This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...

Computers and Games

This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Computers and Games, ...

Concentration Inequalities and Model Selection ; Ecole d'Eté de Probabilités de Saint-Flour XXXIII - 2003

An overview of a non-asymptotic theory for model selection is given here and some selected applications to variable selection, ...

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

Contemporary Developments in Entrepreneurial Finance : An Academic and Policy Lens on the Status-Quo, Challenges and Trends / Alexandra Moritz, Joern H. Block, Stephan Golla, Arndt Werner

Provides a contemporary research-based overview of the latest trends in entrepreneurial finance and outlines expected future ...

Contemporary Empirical Methods in Software Engineering

This book presents contemporary empirical methods in software engineering related to the plurality of research methodologies, ...

Coordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings

This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and ...

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

Cost and Revenue Overruns of the Olympic Games 2000–2018

In this book evaluated the development of expenditure and revenues of the organizing committees to operate the event, and ...

Customer Loyalty in Third Party Logistics Relationships

These issues are addressed in the present book: First, a model of customer loyalty and its determinants is developed, which ...

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

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

Design Patterns in Modern C++20 : Reusable Approaches for Object-Oriented Software Design / Dmitri Nesteruk

As well as covering traditional design patterns, this book fleshes out new design patterns and approaches that will be useful ...

Design, Automation, and Test in Europe : The Most Influential Papers of 10 Years Date

The Design, Automation and Test in Europe (DATE) conference celebrated in 2007 its tenth anniversary. This provides an excellent ...

Digital VLSI Design with Verilog : A Textbook from Silicon Valley Technical Institute

Digital VLSI Design With Verilog is all an engineer needs for in-depth understanding of the verilog language: Syntax, synthesis ...

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

Distributed Embedded Control Systems : Improving Dependability with Coherent Design

Distributed Embedded Control Systems handles the domains encountered when designing a distributed embedded computer control ...

Dynamic Analysis of Structures / John Katsikadelis

Reflects the latest application of structural dynamics theory to produce more optimal and economical structural designs. ...

Dynamical Contact Problems with Friction

The aim of this book is to describe an efficient procedure to model dynamical contact problems with friction. This procedure ...

Total Books: 61 - 80 /262