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 ...
Continue reading
Computers and Games
This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Computers and Games, ...
Continue reading
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, ...
Continue reading
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 ...
Continue reading
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, ...
Continue reading
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 ...
Continue reading
Contemporary Empirical Methods in Software Engineering
This book presents contemporary empirical methods in software engineering related to the plurality of research methodologies, ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Distributed Embedded Control Systems : Improving Dependability with Coherent Design
Distributed Embedded Control Systems handles the domains encountered when designing a distributed embedded computer control ...
Continue reading
Dynamic Analysis of Structures / John Katsikadelis
Reflects the latest application of structural dynamics theory to produce more optimal and economical structural designs. ...
Continue readingDynamical Contact Problems with Friction
The aim of this book is to describe an efficient procedure to model dynamical contact problems with friction. This procedure ...
Continue reading
