Rakuten Kobo

Skip side bar filters

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

$80.99 USD

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

$76.99 USD

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
Precarious Democracy

Ethnographies of Hope, Despair, and Resistance in Brazil

by Benjamin Junge, Sean T. Mitchell, Alvaro Jarrin, Lucia Cantero, Lila Moritz Schwarcz, Jessica Jerome, Isabela Kalil0, Rosana Pinheiro-Machado1, Lucia Mury Scalco2, Patricia de Santana Pinho3, Karina Biondi4, John Collins5, David Rojas6, Andrezza Alves Spexoto Olival7, Alexandre de Azevedo Olival8, Falina Enriquez9, Moisés Kopper0, Sarah LeBaron von Baeyer1, LaShandra Sullivan2, Carlos Eduardo Henning3, Melanie A. Medeiros4, Patrick McCormick5, Erika Schmitt6, James Kale7 ...

Brazil changed drastically in the 21st century’s second decade. In 2010, the country’s outgoing president Lula left office with almost 90% approval. As the presidency passed to his Workers' Party successor, Dilma Rousseff, many across the world hailed Brazil as a model of progressive governance in the Global South. Yet, by 2019, those progressive gains were being dismantled as the far right-wing ... Read more

$28.99 USD

Brazil changed drastically in the 21st century’s second decade. In 2010, the country’s outgoing president Lula left office with almost 90% approval. As the presidency passed to his Workers' Party successor, Dilma Rousseff, many across the world hailed Brazil as a model of progressive governance in the Global South. Yet, by 2019, those progressive gains were being dismantled as the far right-wing
... 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

$71.99 USD

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

Sacrificing Families

Navigating Laws, Labor, and Love Across Borders

by Leisy J. Abrego ...

Widening global inequalities make it difficult for parents in developing nations to provide for their children, and both mothers and fathers often find that migration in search of higher wages is their only hope. Their dreams are straightforward: with more money, they can improve their children's lives. But the reality of their experiences is often harsh, and structural barriers—particularly those ... Read more

$20.99 USD

Widening global inequalities make it difficult for parents in developing nations to provide for their children, and both mothers and fathers often find that migration in search of higher wages is their only hope. Their dreams are straightforward: with more money, they can improve their children's lives. But the reality of their experiences is often harsh, and structural barriers—particularly those
... 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

$89.99 USD

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
Economies of Desire

Sex and Tourism in Cuba and the Dominican Republic

by Amalia L. Cabezas ...

Is a native-born tour guide who has sex with tourists—in exchange for dinner or gifts or cash—merely a prostitute or gigolo? What if the tourist continues to send gifts or money to the tour guide after returning home? As this original and provocative book demonstrates, when it comes to sex—and the effects of capitalism and globalization—nothing is as simple as it might seem.Based on ten years of ... Read more

$21.99 USD

Is a native-born tour guide who has sex with tourists—in exchange for dinner or gifts or cash—merely a prostitute or gigolo? What if the tourist continues to send gifts or money to the tour guide after returning home? As this original and provocative book demonstrates, when it comes to sex—and the effects of capitalism and globalization—nothing is as simple as it might seem.Based on ten years of
... Read more
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
Venezuela's Bolivarian Democracy

Participation, Politics, and Culture under Chávez

Edited by David Smilde, Daniel Hellinger ...

Venezuela’s Bolivarian Democracy brings together a variety of perspectives on participation and democracy in Venezuela. An interdisciplinary group of contributors focuses on the everyday lives of Venezuelans, examining the forms of participation that have emerged in communal councils, cultural activities, blogs, community media, and several other forums. The essays validate many of the critiques ... Read more

$28.99 USD

Venezuela’s Bolivarian Democracy brings together a variety of perspectives on participation and democracy in Venezuela. An interdisciplinary group of contributors focuses on the everyday lives of Venezuelans, examining the forms of participation that have emerged in communal councils, cultural activities, blogs, community media, and several other forums. The essays validate many of the critiques
... 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
Kuxlejal Politics

Indigenous Autonomy, Race, and Decolonizing Research in Zapatista Communities

by Mariana Mora ...

Over the past two decades, Zapatista indigenous community members have asserted their autonomy and self-determination by using everyday practices as part of their struggle for lekil kuxlejal, a dignified collective life connected to a specific territory. This in-depth ethnography summarizes Mariana Mora’s more than ten years of extended research and solidarity work in Chiapas, with Tseltal and ... Read more

$29.99 USD

Over the past two decades, Zapatista indigenous community members have asserted their autonomy and self-determination by using everyday practices as part of their struggle for lekil kuxlejal, a dignified collective life connected to a specific territory. This in-depth ethnography summarizes Mariana Mora’s more than ten years of extended research and solidarity work in Chiapas, with Tseltal and
... 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 United States

Computer Science (R0)

Principles of Verification: Cycling the Probabilistic Landscape

Principles of Verification: Cycling the Probabilistic Landscape

Precarious Democracy

Principles of Verification: Cycling the Probabilistic Landscape

People who read these also enjoyed

Sacrificing Families

The Text Mining Handbook

Economies of Desire

Computer Aided Verification

Fundamental Approaches to Software Engineering

Venezuela's Bolivarian Democracy

Computer Aided Verification

Kuxlejal Politics

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 United States

Computer Science (R0)

Show:

People who read these also enjoyed