The Formal Semantics of Programming Languages provides the basic mathematicaltechniques necessary for those who are beginning a study of the semantics and logics of programminglanguages. These techniq
The Structure of Typed Programming Languages describes the fundamental syntactic andsemantic features of modern programming languages, carefully spelling out their impacts on languagedesign. Using cla
Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concu
This book probes the stable marriage problem and its variants as a rich source ofproblems and ideas that illustrate both the design and analysis of efficient algorithms. It coversthe most recent struc
Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational se
The thirteen chapters written expressly for this book by logicians, theoretical computer scientists, philosophers, and semanticists address, from the perspective of mathematical logic, the problems of
A mathematically oriented introduction to the theory of logic programming that presents a systematic exposition of the resolution methods for propositional, first-order, and Horn-clause logics, togeth
Neural networks usually work adequately on small problems but can run into trouble when they are scaled up to problems involving large amounts of input data. Circuit Complexity and Neural Networks add
foreword by Martin Davis and Hilary Putnam In 1900, the German mathematician David Hilbert put forth a list of 23 unsolved problems that he saw as being the greatest challenges for twentieth-century m
This collection of original essays reflects the breadth of current research in computer science. Robin Milner, a major figure in the field, has made many fundamental contributions, particularly in the
Brings together the most important contributions to the development of the theory of object-oriented programming to date, focusing in particular on how advances in type systems and semantic models can
Socially enhanced Services Computing deals with a novel and exciting new field at the intersection between Social Computing, Service-oriented Computing, Crowd Computing, and Cloud Computing. The prese
This book describes reversible computing from the standpoint of the theory of automata and computing. It investigates how reversibility can be effectively utilized in computing. A reversible computing
Cloud computing has proven to be a successful paradigm of service-oriented computing, and has revolutionized the way computing infrastructures are abstracted and used. By means of cloud computing tech
Test how well you know your way around a computer for the IC3 examIC3: Internet and Computing Core Certification Computing Fundamentals Study Guide is your ideal study guide to focus on the Computing
There has been extreme hype about Cloud Computing from years and this word is in headlines of IT world news. Why not? Cloud computing has revolutionized the entire paradigm of computing and technology
Parallel and Distributed Computing Applications examines various dimensions of parallel and distributed computing applications along with various computing algorithms required for programming designs.
Part of the broader research field of natural computing, Membrane Computing is an area within computing science that aims to abstract computing ideas and models from the structure and functioning of
The Encyclopedia of Cloud Computing comprehensively cover all aspects of cloud computing. It provides IT professionals, educators, researchers and students a compendium of cloud computing knowledge –
The book ‘Data Intensive Computing Applications for Big Data’ discusses the technical concepts of big data, data intensive computing through machine learning, soft computing and parallel computing par
Introduces the topic of cloud computing with an emphasis on the trustworthiness of cloud computing systems and servicesThis book describes the scientific basis of cloud computing, explaining the ideas
Many individuals and enterprises will soon be computing in the clouds. Cloud computing offers on-demand, utility-like availability of computing resources at a low cost. A critical understanding of clo
This book can be regarded as ‘Soft computing for physicists and chemists self-taught’. It prepares the readers with a solid background of soft computing and how to adapt soft computing techniques to p
Natural Computing is the field of research that investigates both human-designed computing inspired by nature and computing taking place in nature, i.e., it investigates models and computational techn
Designed for introductory parallel computing courses at the advanced undergraduate or beginning graduate level, Elements of Parallel Computing presents the fundamental concepts of parallel computing n
As part of the Syngress Basics series, The Basics of Cloud Computing provides readers with an overview of the cloud and how to implement cloud computing in their organizations. Cloud computing continu
Cloud computing has become a significant technology trend. Experts believe cloud computing is currently reshaping information technology and the IT marketplace. The advantages of using cloud computing
The World Soft Computing (WSC) conference is an annual international online conference on applied and theoretical soft computing technology. The topics covered by the conference range from applied to
The Future of Numerical Computing Written by one of the foremost experts in high-performance computing and the inventor of Gustafson' Law, The End of Error: Unum Computing explains a new approach to c
De describes recent developments in mobile cloud computing, which he says is essential for high-speed fifth-generation mobile networks. He covers mobile computing, cloud computing, mobile cloud comput
This book explore a new idea of computing—reversible computing—which is based on a combination of forward and reverse computing in contrast with forward, traditional computation. Illustrating the role
Soft computing includes several intelligent computing paradigms, like fuzzy logic, neural networks, and bio-inspired optimization algorithms. This book describes the application of soft computing tech
Computing isn't only (or even mostly) about hardware and software; it's also about the ideas behind the technology. In Computing for Ordinary Mortals, computer scientist Robert St. Amant explains this
2012 International Conference on Affective Computing and Intelligent Interaction (ICACII 2012) was the most comprehensive conference focused on the various aspects of advances in Affective Computing a
