Rakuten Kobo

Skip side bar filters

Who Belongs?

How Ideas about Inclusion and Exclusion Are Shaping Our World, for Better and for Worse

by Nils Junge ...

Why do some people belong and others do not? What does it take to be accepted? Who decides? Based on what justification?Who Belongs? takes a bracing look at a frequently debated question, as personal as it is political.Rising migration flows, escalating global conflicts, faltering democracies, and polarizing politics have made the question “who is in and who is out?” one of the most urgent issues ... Read more

$6.86 CAD or Free with Kobo Plus

Why do some people belong and others do not? What does it take to be accepted? Who decides? Based on what justification?Who Belongs? takes a bracing look at a frequently debated question, as personal as it is political.Rising migration flows, escalating global conflicts, faltering democracies, and polarizing politics have made the question “who is in and who is out?” one of the most urgent issues
... Read more
Who Belongs?

How Ideas about Inclusion and Exclusion Are Shaping Our World, for Better and for Worse

by Nils Junge ...

Why do some people belong and others do not? What does it take to be accepted? Who decides? Based on what justification?Who Belongs? takes a bracing look at a frequently debated question, as personal as it is political.Rising migration flows, escalating global conflicts, faltering democracies, and polarizing politics have made the question "who is in and who is out?" one of the most urgent issues ... Read more

$6.99 CAD

Why do some people belong and others do not? What does it take to be accepted? Who decides? Based on what justification?Who Belongs? takes a bracing look at a frequently debated question, as personal as it is political.Rising migration flows, escalating global conflicts, faltering democracies, and polarizing politics have made the question "who is in and who is out?" one of the most urgent issues
... Read more
Principles of Verification: Cycling the Probabilistic Landscape

Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk ...

Series Book 1 - Computer Science (R0)
This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of Technology. He had research positions at the University of Erlangen-Nuremberg and Philips Research, ... Read more

$102.49 CAD

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of Technology. He had research positions at the University of Erlangen-Nuremberg and Philips Research,
... Read more
Principles of Verification: Cycling the Probabilistic Landscape

Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk ...

Series Book 2 - Computer Science (R0)
This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of Technology. He had research positions at the University of Erlangen-Nuremberg and Philips Research, ... Read more

$96.99 CAD

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of Technology. He had research positions at the University of Erlangen-Nuremberg and Philips Research,
... Read more
Principles of Verification: Cycling the Probabilistic Landscape

Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk ...

Series Book 3 - Computer Science (R0)
This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of Technology. He had research positions at the University of Erlangen-Nuremberg and Philips Research, ... Read more

$89.99 CAD

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of Technology. He had research positions at the University of Erlangen-Nuremberg and Philips Research,
... Read more

What's Our Problem?

A Self-Help Book for Societies

by Tim Urban ...

From the creator of the wildly popular blog Wait But Why, a fun and fascinating deep dive into what the hell is going on in our strange, unprecedented modern times.Between 2013 and 2016, Tim Urban became one of the world’s most popular bloggers, writing dozens of viral, long-form articles about everything from AI to colonizing Mars to procrastination. Then, he turned his attention to a new topic: ... Read more

$21.97 CAD

From the creator of the wildly popular blog Wait But Why, a fun and fascinating deep dive into what the hell is going on in our strange, unprecedented modern times.Between 2013 and 2016, Tim Urban became one of the world’s most popular bloggers, writing dozens of viral, long-form articles about everything from AI to colonizing Mars to procrastination. Then, he turned his attention to a new topic:
... Read more
The Text Mining Handbook

Advanced Approaches in Analyzing Unstructured Data

by Ronen Feldman, James Sanger ...

Text mining is a new and exciting area of computer science research that tries to solve the crisis of information overload by combining techniques from data mining, machine learning, natural language processing, information retrieval, and knowledge management. Similarly, link detection – a rapidly evolving approach to the analysis of text that shares and builds upon many of the key elements of ... Read more

$99.99 CAD

Text mining is a new and exciting area of computer science research that tries to solve the crisis of information overload by combining techniques from data mining, machine learning, natural language processing, information retrieval, and knowledge management. Similarly, link detection – a rapidly evolving approach to the analysis of text that shares and builds upon many of the key elements of
... Read more
The Great Experiment

Why Diverse Democracies Fall Apart and How They Can Endure

by Yascha Mounk ...

**One of Barack Obama's Recommended Reads for Summer“[A] brave and necessary book . . . Anyone interested in the future of liberal democracy, in the US or anywhere else, should read this book.” —Anne Applebaum**“A convincing, humane, and hopeful guide to the present and future by one of our foremost democratic thinkers.” —George Packer“A rare thing: [an] academic treatise . . . that may actually ... Read more

$13.99 CAD

Also available as: Audiobook

**One of Barack Obama's Recommended Reads for Summer“[A] brave and necessary book . . . Anyone interested in the future of liberal democracy, in the US or anywhere else, should read this book.” —Anne Applebaum**“A convincing, humane, and hopeful guide to the present and future by one of our foremost democratic thinkers.” —George Packer“A rare thing: [an] academic treatise . . . that may actually
... Read more

Also available as: Audiobook
Computer Aided Verification

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

Edited by Shuvendu K. Lahiri, Chao Wang ...

Series Book 2 - Springer Nature Proceedings Computer Science
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical ... Read more

Free

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical
... Read more
Fundamental Approaches to Software Engineering

22nd International Conference, FASE 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

Edited by Reiner Hähnle, Wil van der Aalst ...

Series series Springer Nature Proceedings Computer Science
This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The 24 papers presented in this volume were carefully reviewed ... Read more

Free

This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The 24 papers presented in this volume were carefully reviewed
... Read more
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

Edited by Hana Chockler, Georg Weissenbacher ...

Series Book 1 - Springer Nature Proceedings Computer Science
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and ... Read more

Free

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and
... Read more
Formal Methods

26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

Edited by André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi ...

Series Book 1 - Springer Nature Proceedings Computer Science
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The ... Read more

Free

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The
... Read more

Rakuten Kobo

eReaders

Apps

Accessories

What is Kobo Super Points?

Reward Yourself

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Top Series in Canada

Computer Science (R0)

Who Belongs?

Who Belongs?

Principles of Verification: Cycling the Probabilistic Landscape

Principles of Verification: Cycling the Probabilistic Landscape

Principles of Verification: Cycling the Probabilistic Landscape

People who read these also enjoyed

What's Our Problem?

The Text Mining Handbook

The Great Experiment

Computer Aided Verification

Fundamental Approaches to Software Engineering

Computer Aided Verification

Formal Methods

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Top Series in Canada

Computer Science (R0)

Show:

People who read these also enjoyed