**Paul W Ross**

June 04, 2019

The Handbook of Software for Engineers and Scientists is a single-volume, ready reference for the practicing engineer and scientist in industry, government, and academia as well as the novice computer user. It provides the most up-to-date information in a variety of areas such as common platforms...

**Ganesh Gopalakrishnan**

February 22, 2019

Automata and Computability is a class-tested textbook which provides a comprehensive and accessible introduction to the theory of automata and computation. The author uses illustrations, engaging examples, and historical remarks to make the material interesting and relevant for students. It...

**Nirdosh Bhatnagar**

December 13, 2018

This two-volume set on Mathematical Principles of the Internet provides a comprehensive overview of the mathematical principles of Internet engineering. The books do not aim to provide all of the mathematical foundations upon which the Internet is based. Instead, these cover only a partial panorama...

**Nirdosh Bhatnagar**

December 13, 2018

This two-volume set on Mathematical Principles of the Internet provides a comprehensive overview of the mathematical principles of Internet engineering. The books do not aim to provide all of the mathematical foundations upon which the Internet is based. Instead, they cover a partial panorama and...

**Nirdosh Bhatnagar**

December 13, 2018

This two-volume set on Mathematical Principles of the Internet provides a comprehensive overview of the mathematical principles of Internet engineering. The books do not aim to provide all of the mathematical foundations upon which the Internet is based. Instead, they cover a partial panorama and...

**Dinesh P. Mehta, Sartaj Sahni**

March 07, 2018

The Handbook of Data Structures and Applications was first published over a decade ago. This second edition aims to update the first by focusing on areas of research in data structures that have seen significant progress. While the discipline of data structures has not matured as rapidly as other...

**Pascal Hitzler, Anthony Seda**

June 14, 2017

Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from...

**Deyi Li, Yi Du**

May 08, 2017

This book develops a framework that shows how uncertainty in Artificial Intelligence (AI) expands and generalizes traditional AI. It explores the uncertainties of knowledge and intelligence. The authors focus on the importance of natural language – the carrier of knowledge and intelligence, and...

**Luigia Petre, Emil Sekerinski**

April 27, 2016

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

**Yuanzhi Wang**

July 28, 2015

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

**Matti Tedre**

December 03, 2014

The identity of computing has been fiercely debated throughout its short history. Why is it still so hard to define computing as an academic discipline? Is computing a scientific, mathematical, or engineering discipline? By describing the mathematical, engineering, and scientific traditions of...

**Nazmul Islam**

October 28, 2014

This book focuses mainly on the recent developments of all types of theoretical, mathematical, and computational conceptions, as well as modelling and simulation of specific research themes covering all scientific and technical disciplines from chemistry, physics, and engineering to biology and...