This monograph presents an application of concepts and methods from algebraic topology to models ofconcurrent processes in computer science and their analysis.Taking well-known discrete models for con
Focusing on the mathematics that lies at the intersection of probability theory, statistical physics, combinatorics and computer science, this volume collects together lecture notes on recent developm
This book provides the latest, cutting edge research on preparing students for careers in science, technology, engineering, arts and mathematics using emerging educational technologies. The use of 21s
This is the first numerical analysis text to use Sage for the implementation of algorithms and can be used in a one-semester course for undergraduates in mathematics, math education, computer science/
Intelligent information and database systems are two closely related subfields of modern computer science which have been known for over thirty years. They focus on the integration of artificial intel
This is a textbook for graduate and final-year-undergraduate computer-science and electrical-engineering students interested in the hardware and software aspects of embedded and cyberphysical systems
In this new text, designed for sophomores studying mathematics and computer science, the authors cover the basics of difference equations and some of their applications in computing and in population
The purpose of the volume is to provide a support for a first course in Mathematics. The contents are organised to appeal especially to Engineering, Physics and Computer Science students, all areas in
Logic design of digital devices is a very important part of the Computer Science. It deals with design and testing of logic circuits for both data-path and control unit of a digital system. Design met
Bionics means learning from the nature for the development of technology. The science of "bionics" itself is classified into several sections, from materials and structures over procedures and process
More scientists now use C than any other programming language. This book contains practical, computer-ready algorithms for many standard methods of numerical mathematics. It describes the principles o
By having its origin in analytical and continuum mechanics, as well as in computer science and applied mathematics, multibody dynamics provides a basis for analysis and virtual prototyping of innovati
The theme of HumanCom and EMC is focused on the various aspects of human-centric computing for advances in computer science and its applications, embedded and multimedia computing and provides an oppo
This book is intended to be used as a textbook for graduate students studying theoretical computer science. It can also be used as a reference book for researchers in the area of design and analysis o
Graph theory gained initial prominence in science and engineering through its strong links with matrix algebra and computer science. Moreover, the structure of the mathematics is well suited to that o
Written in response to growing concern for the improvement of quality education, this book proposes ways to improve the quality of mathematics and science teaching and learning and offers ways to incr
Computational kinematics is an enthralling area of science with a rich spectrum of problems at the junction of mechanics, robotics, computer science, mathematics, and computer graphics. The covered to
Fundamentals of Matrix-Analytic Methods targets advanced-level students in mathematics, engineering and computer science. It focuses on the fundamental parts of Matrix-Analytic Methods, Phase-Type Dis
In keeping with the style of the Handbook of Modern Biophysics, this fourth volume, Application of Near-Infrared Spectroscopy in Biomedicine, balances the need for physical science/mathematics formali
Intended as a first course in probability at post-calculus level, this book is of special interest to students majoring in computer science as well as in mathematics. Since calculus is used only occas
The theme of HumanCom is focused on the various aspects of human-centric computing for advances in computer science and its applications and provides an opportunity for academic and industry professio
This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic.A proof of Godel's completeness theorem an
Linear algebra is a living, active branch of mathematics which is central to almost all other areas of mathematics, both pure and applied, as well as to computer science, to the physical, biological,
This book is intended to be used as a textbook for graduate students studying theoretical computer science. It can also be used as a reference book for researchers in the area of design and analysis o
The book deals with perovskite-type ferroelectric solid solutions for modern materials science and applications, solving problems of complicated heterophase/domain structures near the morphotropic pha
This volume contains the proceedings of the Workshop on In- stability, Transition and Turbulence, sponsored by the Institute for Computer Applications in Science and Engineering (ICASE) and the NASA L
Porous Media are objects of research in physics, chemistry, engineering, mathematics, computer science, life and medical sciences, as well as of industrial applications. Readers might work in: Univers
Written for students taking a second or third year undergraduate course in mathematics or computer science, this book is the ideal companion to a course in enumeration. Enumeration is a branch of comb
Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation.Proofs and Algorithms: In
Virtual Manufacturing presents a novel concept of combining human computer interfaces with virtual reality for discrete and continuous manufacturing systems. The authors address the relevant concepts
Logic design of digital devices is a very important part of the Computer Science. It deals with design and testing of logic circuits for both data-path and control unit of a digital system. Design met
Szemeredi's influence on today's mathematics, especially in combinatorics, additive number theory, and theoretical computer science, is enormous. This volume is a celebration of Szemeredi's achievemen
Quantitative finance is a combination of economics, accounting, statistics, econometrics, mathematics, stochastic process, and computer science and technology. Increasingly, the tools of financial ana
In general, image processing texts are intended for students of engineering and computer science, and there is little written at all on the specific requirements of medical image processing. Students
The inspiration from Biology and the Natural Evolution process has become a research area within computer science. For instance, the description of the artificial neuron given by McCulloch and Pitts w
This Festschrift honors George Samuel Fishman, one of the founders of the field of computer simulation and a leader in the disciplines of operations research and management science for the past five d
Trees are a fundamental object in graph theory and combinatorics as well as a basic object for data structures and algorithms in computer science. During the last years research related to (random) tr
Discrete mathematics and theoretical computer science are closely linked research areas with strong impacts on applications and various other scientific disciplines. Both fields deeply cross fertilize
The theory of formal languages is widely accepted as the backbone of t- oretical computer science. It mainly originated from mathematics (com- natorics, algebra, mathematical logic) and generative lin
This book is about relations between three different areas of mathematics and theoretical computer science: combinatorial group theory, cryptography, and complexity theory. It is explored how non-comm
