**Nirdosh Bhatnagar**

November 01, 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**

November 01, 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**

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

**Yoshihide Igarashi, Tom Altman, Mariko Funada, Barbara Kamiyama**

May 27, 2014

Exploring a vast array of topics related to computation, Computing: A Historical and Technical Perspective covers the historical and technical foundation of ancient and modern-day computing. The book starts with the earliest references to counting by humans, introduces various number systems, and...

**Alexander Meduna**

February 11, 2014

Formal Languages and Computation: Models and Their Applications gives a clear, comprehensive introduction to formal language theory and its applications in computer science. It covers all rudimental topics concerning formal languages and their models, especially grammars and automata, and sketches...