This book is an introduction to data structures and algorithms for functional programming languag...

Today's large language models excel at pattern recall yet falter on long-range planning, self-cri...

This book describes the development and use of supercomputers in the period 1960 - 1996, a time t...

The idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in c...

The Handbook of Multimodal-Multisensor Interfaces provides the first authoritative resource on wh...

Today's Internet of Things (IoT) devices are bulky, expensive, require battery maintenance, and i...

This is a comprehensive history of computer graphics in Hollywood cinema.As the first such work o...

Biomedical systems-such as pacemakers and automated insulin pumps-are Cyber-Physical Systems (CPS...

This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Tim...

This book describes how to think about computer programs, and how to use mathematics as part of t...

Software obfuscation is used in cryptography to transform source code to make it unintelligible w...

This book introduces the concept of Event Mining for building explanatory models from analyses of...

This book celebrates Michael Stonebraker's accomplishments that led to his 2014 ACM A.M. Turing A...

This book describes how to think about computer programs, and how to use mathematics as part of t...

There are significant financial and legal implications for ensuring design correctness and safety...

The first course in software engineering is the most critical. Education must start from an under...

Biomedical systems-such as pacemakers and automated insulin pumps-are Cyber-Physical Systems (CPS...

There are significant financial and legal implications for ensuring design correctness and safety...

Software obfuscation is used in cryptography to transform source code to make it unintelligible w...

Today's Internet of Things (IoT) devices are bulky, expensive, require battery maintenance, and i...

Intelligent Computing for Interactive System Design provides a comprehensive resource on what has...

Set theory, logic, discrete mathematics, and fundamental algorithms (along with their correctness...

As human activities moved to the digital domain, so did all the well-known malicious behaviors in...

This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Tim...

Nash equilibrium is the central solution concept in Game Theory.Since Nash's original paper in 19...

The Fourier transform is one of the most fundamental tools for computing the frequency representa...

This book describes the development and use of supercomputers in the period 1960 - 1996, a time t...

The Handbook of Multimodal-Multisensor Interfaces provides the first authoritative resource on wh...

Parallelism is the key to achieving high performance in computing. However, writing efficient and...

This is a comprehensive history of computer graphics in Hollywood cinema. As the first such work ...

This book discusses two questions in Complexity Theory: the Monotonicity Testing problem and the ...

Spatial gems are computational techniques for processing spatial data. This book, a follow-up to ...

In the mid-1970s, Whitfield Diffie and Martin Hellman invented public key cryptography, an innova...

Affective computing is a nascent field situated at the intersection of artificial intelligence wi...

The Handbook on Socially Interactive Agents provides a comprehensive overview of the research fie...

Edsger Wybe Dijkstra (1930-2002) was one of the most influential researchers in the history of co...

As recently as 1968, computer scientists were uncertain how best to interconnect even two compute...

The Association for Computing Machinery (ACM) has more than 100,000 members circling the globe, i...

Professor Judea Pearl won the 2011 Turing Award 'for fundamental contributions to artificial inte...

Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to...

When electronic digital computers first appeared after World War II, they appeared as a revolutio...

In the last decade, deep learning and word embeddings have made significant impacts on informatio...

Edsger Wybe Dijkstra (1930-2002) was one of the most influential researchers in the history of co...

This book discusses two questions in Complexity Theory: the Monotonicity Testing problem and the ...

Intelligent Computing for Interactive System Design provides a comprehensive resource on what has...

Today's large language models excel at pattern recall yet falter on long-range planning, self-cri...

Code Nation explores the rise of software development as a social, cultural, and technical phenom...

The Handbook on Socially Interactive Agents provides a comprehensive overview of the research fie...