Computer Science & Engineering

Theory

Per Page:
Sort:

Mathematical Principles of the Internet, Two Volume Set

1st Edition

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

Mathematical Principles of the Internet, Volume 1: Engineering

1st Edition

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

Mathematical Principles of the Internet, Volume 2: Mathematics

1st Edition

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

Handbook of Data Structures and Applications

2nd Edition

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

Mathematical Aspects of Logic Programming Semantics

1st Edition

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

Artificial Intelligence with Uncertainty

2nd Edition

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

From Action Systems to Distributed Systems: The Refinement Approach

1st Edition

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

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

1st Edition

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

The Science of Computing: Shaping a Discipline

1st Edition

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

Theoretical and Computational Research in the 21st Century

1st Edition

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

Computing: A Historical and Technical Perspective

1st Edition

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

Formal Languages and Computation: Models and Their Applications

1st Edition

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

Conferences

Year: