Game Programming: Online resources

International Journal of Game Theory is devoted to game theory and its applications. It publishes original research making significant contributions from a methodological, conceptual or mathematical point of view. Survey articles may also be considered if especially useful for the field.

The Computer Games Journal is now archived and no longer receiving submissions with this publisher. All articles published in the journal during its time with Springer will remain fully searchable.

Dynamic Games and Applications is devoted to the development of all classes of dynamic games, namely, differential games, discrete-time dynamic games, evolutionary games etc.

From 1 January 2019, Journal of Software Engineering Research and Development will be published by the Brazilian Computer Society. For information about the journal, including how to submit please visit http://jserd.sbc.org.br. SpringerOpen will continue to host an archive of all articles previously published in Journal of Software Engineering Research and Development and will remain fully searchable.

Programming and Computer Software is an international peer-reviewed journal devoted to problems in all areas of computer science: operating systems, compiler technology, software engineering, artificial intelligence, etc.

The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report.

Game and graphics developers who are looking to leverage the latest hardware and software tools for real-time rendering and ray tracing to enhance their applications across a variety of disciplines.

The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis and systems.

The book starts with an introductory chapter that provides an overview of the book by positioning the following chapters in terms of their contributions to technology frameworks which are key elements of the Big Data Value Public-Private Partnership and the upcoming Partnership on AI, Data and Robotics. The remainder of the book is then arranged in two parts. The first part “Technologies and Methods” contains horizontal contributions of technologies and methods that enable data value chains to be applied in any sector.