Artificial Intelligence

Captioning and Subtitling for d/Deaf and Hard of Hearing Audiences

Programming Languages and Systems

30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Fundamental Approaches to Software Engineering

24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems

27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I

Foundations of Software Science and Computation Structures

24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Computer Aided Verification

30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Brain-Inspired Computing

4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers

Programming Languages and Systems

27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Computer Aided Verification

32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems

26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I

Foundations of Software Science and Computation Structures

23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Computer Aided Verification

30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Programming Languages and Systems

29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Supercomputing Frontiers

4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

Foundations of Software Science and Computation Structures

21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings

Once-Only Principle

The TOOP Project

Fundamental Approaches to Software Engineering

23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Artificial Intelligence in the Capitalist University

Academic Labour, Commodification, and Value

IT fur soziale Inklusion

Digitalisierung - Kunstliche Intelligenz - Zukunft fur alle

Supercomputing Frontiers

6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings

Foundations of Software Science and Computation Structures

22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings

Computer Aided Verification

32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

Reversible Computation: Extending Horizons of Computing

Selected Results of the COST Action IC1405

Computer Aided Verification

31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems

26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems

25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I

X-Machines for Agent-Based Modeling

FLAME Perspectives

Web and Internet Economics

13th International Conference, WINE 2017, Bangalore, India, December 17-20, 2017, Proceedings

X-Machines for Agent-Based Modeling

FLAME Perspectives

Pri lngvaj problemoj

Criando seu proprio chatbot

Blackpink

Virtuelle Realitat

Procesamient o de Lenguaje Natural con Python

Mapping the Public Voice for Development-Natural Language Processing of Social Media Text Data

A Special Supplement of Key Indicators for Asia and the Pacific 2022

CAREC Digital Strategy 2030

Accelerating Digital Transformation for Regional Competitiveness and Inclusive Growth

Fintech Policy Tool Kit For Regulators and Policy Makers in Asia and the Pacific

Introducing Artificial Intelligence

A Graphic Guide

You++

How to be More Successful by Embracing AI

Heartificial Intelligence

Patterns from the Air

Phase 4 Set 2 Stretch and Challenge

To Be a Machine

Adventures Among Cyborgs, Utopians, Hackers, and the Futurists Solving the Modest Problem of Death

Artificial Intelligence

Modern Magic or Dangerous Future?

We have been harmonised

Life in China's surveillance state

Will Artificial Intelligence Outsmart Us?

Vorlesungen uber Informatik

Band 1: Grundlagen und funktionales Programmieren

Guilty Robots, Happy Dogs

The Question of Alien Minds

GUILTY ROBOTS HAPPY DOGS EBK

The Question of Alien Minds

Digital Eternity

TOMORROW | TODAY

How AI Impacts How We Work, Live and Think (and it's not what you expect)

TOMORROW | TODAY

How AI Impacts How We Work, Live and Think (and it's not what you expect)

Genesis Machines

Biometrics: A Very Short Introduction

Artificial Intelligence: A Very Short Introduction

Biometrics: A Very Short Introduction

Artificial Intelligence: A Very Short Introduction

World in My Mind, My Mind in the World

World in My Mind, My Mind in the World

Make a Mind Controlled Arduino Robot

Create a Bot That Reads Your Thoughts

From Gutenberg to Google

The History of Our Future

Why AI Hallucinates

The BotVerse Begins

Fourth Education Revolution

Voice and Video over IP

Reveillons-nous !

L'intelligence artificielle, le travail et les microtaches

Why the Mind is Not a Computer

A Pocket Lexicon of Neuromythology

Block

Providence

How To Talk To Robots

A Girls’ Guide to a Future Dominated by Ai

Wissen als Handlungsoption

Zum Zusammenspiel von menschlicher und kunstlicher Intelligenz in der Rechtsindustrie

Artificial Revolution

On Power, Politics and AI

Artificial Intelligence

Modern Magic or Dangerous Future?