2nd Edition

Logic: The Basics is an accessible introduction to several core areas of logic. The first part of the book features a self-contained introduction to the standard topics in classical logic, such as:
· mathematical preliminaries
· propositional logic
· quantified logic (first monadic, then polyadic)…

Proceedings of the International Conference on Computational Science and Engineering (Beliaghata, Kolkata, India, 4-6 October 2016)

Computational Science and Engineering contains contemporary research in the areas of electron devices, photonics, electromagnetics, soft computing, artificial intelligence and modern communication systems. The contributions focus on strong theoretical and methodological approaches and on…

A student textbook

The video game industry has been one of the fastest-growing cultural phenomena of our times with market conditions that demand a specific skill set from its marketers. To a new generation of "indie gamers", being a game developer isn’t just about design and production, a successful video game…

Research and Practice

Computers are a fundamentally important tool in sport science research, sports performance analysis and, increasingly, in coaching and education programmes in sport. This book defines the field of ‘sport informatics’, explaining how computer science can be used to solve sport-related problems, in…

Proceedings of the 3rd Polish Congress of Mechanics (PCM) and 21st International Conference on Computer Methods in Mechanics (CMM), Gdansk, Poland, 8-11 September 2015

Advances in Mechanics: Theoretical, Computational and Interdisciplinary Issues covers the domain of theoretical, experimental and computational mechanics as well as interdisciplinary issues, such as industrial applications. Special attention is paid to the theoretical background and practical…

The Refinement Approach

Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society’s infrastructures are behaving according to their specifications. More recently,…

Proceedings of the 2015 International Conference on Electrical, Control Engineering and Computer Science (ECECS 2015, Hong Kong, 30-31 May 2015)

Electrical, Control Engineering and Computer Science includes the papers from ECECS2015 (Hong Kong, 30-31 May 2015), which was organized by the American Society of Science and Engineering (ASEE), a non-profit society for engineers and scientists. Presenting new theories, ideas, techniques and…

This volume consists of papers presented at the 2014 International Symposium on Systems and Computer Technology (ISSCT 2014, Shanghai, China, 15-17 November 2014). The demand for systems and informatics have been constantly increasing, as more and more computer applications have been built. Great…

Proceedings of the 2nd International Conference on Frontiers in Computer Education (ICFCE 2014), Wuhan, China, December 24–25, 2014

This proceedings volume contains selected papers presented at the 2014 International Conference on Frontiers in Computer Education (ICFCE 2014), which was held December 24-25, 2014, in Wuhan, China. The objective of this conference was to provide a forum for different researchers in different…

Proceedings of the 2014 International Conference on Environmental Engineering and Computer Application (ICEECA 2014), Hong Kong, 25-26 December 2014

The awareness of environment protection is a great achievement of humans; an expression of self-awareness. Even though the idea of living while protecting the environment is not new, it has never been so widely and deeply practiced by any nations in history like it is today. From the late…

The 2014 Asia-Pacific Conference on Computer Science and Applications was held in Shanghai, December 27-28, 2014. These CSAC-2014 proceedings include 105 selected papers, which focus not only on the research of science and technology of computer sciences, but also on the research of…