Rakuten Kobo

Skip side bar filters

A Guide to Algorithm Design

Paradigms, Methods, and Complexity Analysis

by Anne Benoit, Yves Robert, Frédéric Vivien ...

Series series Chapman & Hall/CRC Applied Algorithms and Data Structures series
Presenting a complementary perspective to standard books on algorithms, A Guide to Algorithm Design: Paradigms, Methods, and Complexity Analysis provides a roadmap for readers to determine the difficulty of an algorithmic problem by finding an optimal solution or proving complexity results. It gives a practical treatment of algorithmic complexity and guides readers in solving algorithmic problems ... Read more

$120.99 USD

Presenting a complementary perspective to standard books on algorithms, A Guide to Algorithm Design: Paradigms, Methods, and Complexity Analysis provides a roadmap for readers to determine the difficulty of an algorithmic problem by finding an optimal solution or proving complexity results. It gives a practical treatment of algorithmic complexity and guides readers in solving algorithmic problems
... Read more
Leaps of Faith

Stories from Working-Class Scholars

Edited by Anne C. Benoit, Joann S. Olson, Carrie Johnson ...

Series series Adult Learning in Professional, Organizational, and Community Settings
As discourses and programming to support diversity and inclusion across higher education are intensifying, Leaps of Faith: Stories from Working-Class Academics presents a collection of narratives that highlights the “on-the-ground” experiences of working-class students and scholars. These are stories of negotiation, transition, and challenge. These are stories of struggle. These are stories of ... Read more

$50.09 USD

As discourses and programming to support diversity and inclusion across higher education are intensifying, Leaps of Faith: Stories from Working-Class Academics presents a collection of narratives that highlights the “on-the-ground” experiences of working-class students and scholars. These are stories of negotiation, transition, and challenge. These are stories of struggle. These are stories of
... Read more
Scheduling Variable Capacity Resources for Sustainability

Edited by Anne Benoit, Andrew A. Chien, Yves Robert ...

This book is the first to provide an overview of variable capacity scheduling and how it helps balance the growth of computing with its increasing environmental impact by creating more resilient and efficient systems that adapt to the dynamic nature of resource availability, optimizing utilization and minimizing disruptions.The book covers all aspects of variable capacity scheduling from a ... Read more

$145.00 USD

This book is the first to provide an overview of variable capacity scheduling and how it helps balance the growth of computing with its increasing environmental impact by creating more resilient and efficient systems that adapt to the dynamic nature of resource availability, optimizing utilization and minimizing disruptions.The book covers all aspects of variable capacity scheduling from a
... Read more
Computer Performance Engineering

15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings

Edited by Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th European Workshop on Computer Performance Engineering, EPEW 2018, held in Paris, France, in October 2018.The 17 papers presented together with the abstracts of two invited talks in this volume were carefully reviewed and selected from 27 submissions. The papers presented at the workshop reflect the diversity of modern performance ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 15th European Workshop on Computer Performance Engineering, EPEW 2018, held in Paris, France, in October 2018.The 17 papers presented together with the abstracts of two invited talks in this volume were carefully reviewed and selected from 27 submissions. The papers presented at the workshop reflect the diversity of modern performance
... Read more

Radical Care

Leading for Justice in Urban Schools

by Rosa L. Rivera-McCutchen ...

Educators often invoke the term care to describe why they entered the field and what compels them to continue. This book argues that care, as typically described and enacted, is not sufficient for leading schools, particularly those serving Black and Brown children. Instead, school leaders need to embrace radical care. Drawing from 20 years of researching and working in New York City public ... Read more

$28.79 USD

Educators often invoke the term care to describe why they entered the field and what compels them to continue. This book argues that care, as typically described and enacted, is not sufficient for leading schools, particularly those serving Black and Brown children. Instead, school leaders need to embrace radical care. Drawing from 20 years of researching and working in New York City public
... 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
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 II

Edited by Tomáš Vojnar, Lijun Zhang ...

Series Book 2 - Springer Nature Proceedings Computer Science
This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 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 total of ... Read more

Free

This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 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 total of
... Read more
Start Where You Are, But Don't Stay There, Second Edition

Understanding Diversity, Opportunity Gaps, and Teaching in Today's Classrooms

by H. Richard Milner IV ...

Series series Race and Education
**2021 PROSE Award Finalist, Education Practice and Theory CategoryIn the thoroughly revised second edition of Start Where You Are, But Don’t Stay There, H. Richard Milner IV addresses the knowledge and insights required on the part of teachers and school leaders to serve students of color.** Milner focuses on a crucial issue in teacher training and professional education: the need to prepare ... Read more

$26.99 USD

Also available as: Audiobook

**2021 PROSE Award Finalist, Education Practice and Theory CategoryIn the thoroughly revised second edition of Start Where You Are, But Don’t Stay There, H. Richard Milner IV addresses the knowledge and insights required on the part of teachers and school leaders to serve students of color.** Milner focuses on a crucial issue in teacher training and professional education: the need to prepare
... Read more

Also available as: Audiobook
Computer Aided Verification

33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

Edited by Alexandra Silva, K. Rustan M. Leino ...

Series Book 1 - Springer Nature Proceedings Computer Science
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part ... Read more

Free

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part
... Read more
The Guide for White Women Who Teach Black Boys

Edited by Eddie Moore, Ali Michael, Marguerite W. Penick-Parks ...

Empower black boys to dream, believe, achieveSchools that routinely fail Black boys are not extraordinary. In fact, they are all-too ordinary. If we are to succeed in positively shifting outcomes for Black boys and young men, we must first change the way school is "done." That’s where the eight in ten teachers who are White women fit in . . . and this urgently needed resource is written ... Read more

$33.29 USD

Empower black boys to dream, believe, achieveSchools that routinely fail Black boys are not extraordinary. In fact, they are all-too ordinary. If we are to succeed in positively shifting outcomes for Black boys and young men, we must first change the way school is "done." That’s where the eight in ten teachers who are White women fit in . . . and this urgently needed resource is written
... Read more
Computer Aided Verification

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

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

Series Book 1 - 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
Black, Brown, Bruised

How Racialized STEM Education Stifles Innovation

by Ebony Omotola McGee ...

2022 PROSE Award FinalistDrawing on narratives from hundreds of Black, Latinx, and Indigenous individuals, Ebony Omotola McGee examines the experiences of underrepresented racially minoritized students and faculty members who have succeeded in STEM. Based on this extensive research, McGee advocates for structural and institutional changes to address racial discrimination, stereotyping, and hostile ... Read more

$24.39 USD

Also available as: Audiobook

2022 PROSE Award FinalistDrawing on narratives from hundreds of Black, Latinx, and Indigenous individuals, Ebony Omotola McGee examines the experiences of underrepresented racially minoritized students and faculty members who have succeeded in STEM. Based on this extensive research, McGee advocates for structural and institutional changes to address racial discrimination, stereotyping, and hostile
... Read more

Also available as: Audiobook

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

Adult Learning in Professional, Organizational, and Community Settings

Springer Nature Proceedings Computer Science

Chapman & Hall/CRC Applied Algorithms and Data Structures series

A Guide to Algorithm Design

Leaps of Faith

Scheduling Variable Capacity Resources for Sustainability

Computer Performance Engineering

People who read these also enjoyed

Radical Care

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Start Where You Are, But Don't Stay There, Second Edition

Computer Aided Verification

The Guide for White Women Who Teach Black Boys

Computer Aided Verification

Black, Brown, Bruised

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

Adult Learning in Professional, Organizational, and Community Settings

Springer Nature Proceedings Computer Science

Chapman & Hall/CRC Applied Algorithms and Data Structures series

Show:

People who read these also enjoyed