Computer Science & Engineering

Theory

Per Page:
Sort:

Artificial Intelligence with Uncertainty, Second 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

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

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

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

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

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

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

A Guide to Algorithm Design: Paradigms, Methods, and Complexity Analysis

Anne Benoit, Yves Robert, Frédéric Vivien
August 27, 2013

Presenting a complementary perspective to standard books on algorithms, A Guide to Algorithm Design: Paradigms, Methods, and Complexity Analysis provides a roadmap for readers to determine the difficulty of an algorithmic problem by finding an optimal solution or proving complexity results. It...

Limits of Computation: An Introduction to the Undecidable and the Intractable

Edna E. Reiter, Clayton Matthew Johnson
October 29, 2012

Limits of Computation: An Introduction to the Undecidable and the Intractable offers a gentle introduction to the theory of computational complexity. It explains the difficulties of computation, addressing problems that have no algorithm at all and problems that cannot be solved efficiently. The...

The Universal Computer: The Road from Leibniz to Turing

Martin Davis
December 13, 2011

The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. Written by Martin Davis, respected logician and researcher in the theory of computation, The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and...

Mathematical Aspects of Logic Programming Semantics

Pascal Hitzler, Anthony Seda
November 22, 2010

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

Perspectives in Concurrency

Kamal Lodaya, Madhavan Mukund
April 15, 2009

Concurrency theory is an important research area within theoretical computer science, with applications in parallel and distributed computing. This book provides an overview of current research in concurrency through state-of-the-art contributions from worldwide experts. Covering contemporary...

Conferences

Year: