Rakuten Kobo

Shopping Cart

Item(s) unavailable for purchase

Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.

itemsitem

- Includes eBooks
  
  Includes audiobooks
  
  Includes 30 hours of listening time
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Get 1 credit every month for the audiobook of your choice
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Includes eBooks
  
  Includes audiobooks
  
  Includes 30 hours of listening time
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  Audiobook
  by ,
  
  Available:
  
  . No commitment, cancel anytime at kobo.com/account/subscriptions.
  
  Pre-order
  1 audiobook monthly
  
  + FREE 30-day trial
  
  Special Offer
  
  Get 1 credit every month to exchange for an audiobook of your choice
  
  *No commitment, cancel anytime
  
  FREE

itemsitem

Includes eBooks

Includes audiobooks

Includes 30 hours of listening time

No commitment, cancel anytime at kobo.com/account/subscriptions

Get 1 credit every month for the audiobook of your choice

No commitment, cancel anytime at kobo.com/account/subscriptions

Includes eBooks

Includes audiobooks

Includes 30 hours of listening time

No commitment, cancel anytime at kobo.com/account/subscriptions
Audiobook
by ,

Available:
. No commitment, cancel anytime at kobo.com/account/subscriptions.

Pre-order
1 audiobook monthly

+ FREE 30-day trial

Special Offer

Get 1 credit every month to exchange for an audiobook of your choice

*No commitment, cancel anytime

FREE

Recommended For You

Skip side bar filters

Spacecraft Thermal Control

by J Meseguer, I Pérez-Grande, A Sanz-Andrés ...

Thermal control systems are an essential element of spacecraft design, ensuring that all parts of the spacecraft remain within acceptable temperature ranges at all times. Spacecraft thermal control describes the fundamentals of thermal control design and reviews current thermal control technologies. The book begins with an overview of space missions and a description of the space environment, ... Read more

$243.19 CAD

Thermal control systems are an essential element of spacecraft design, ensuring that all parts of the spacecraft remain within acceptable temperature ranges at all times. Spacecraft thermal control describes the fundamentals of thermal control design and reviews current thermal control technologies. The book begins with an overview of space missions and a description of the space environment,
... Read more
Concurrent Programming, Open Systems and Formal Methods

Essays Dedicated to Gul Agha to Celebrate His Scientific Career

Edited by Jose Meseguer, Carlos A. Varela, Nalini Venkatasubramanian ...

Series series Computer Science (R0)
This Festschrift is dedicated to Gul Agha in recognition of his outstanding research and teaching impact. Gul Agha received his undergraduate degree at Caltech in 1977 and his A.M., M.S. and Ph.D. degrees at the University of Michigan, Ann Arbor. His thesis led to the MIT Press book Actors: A Model of Concurrent Computation in Distributed Systems, a work cited nearly 5000 times. After researcher ... Read more

$102.49 CAD

This Festschrift is dedicated to Gul Agha in recognition of his outstanding research and teaching impact. Gul Agha received his undergraduate degree at Caltech in 1977 and his A.M., M.S. and Ph.D. degrees at the University of Michigan, Ann Arbor. His thesis led to the MIT Press book Actors: A Model of Concurrent Computation in Distributed Systems, a work cited nearly 5000 times. After researcher
... Read more
Protocols, Strands, and Logic

Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday

Edited by Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul Rowe ...

Series series Computer Science (R0)
This Festschrift was published in honor of Joshua Guttman on the occasion of his 66.66 birthday. The impact of his work is reflected in the 23 contributions enclosed in this volume.Joshua’s most influential and enduring contribution to the field has been the development of the strand space formalism for analyzing cryptographic protocols. It is one of several “symbolic approaches” to security ... Read more

$93.49 CAD

This Festschrift was published in honor of Joshua Guttman on the occasion of his 66.66 birthday. The impact of his work is reflected in the 23 contributions enclosed in this volume.Joshua’s most influential and enduring contribution to the field has been the development of the strand space formalism for analyzing cryptographic protocols. It is one of several “symbolic approaches” to security
... Read more
Foundations of Security, Protocols, and Equational Reasoning

Essays Dedicated to Catherine A. Meadows

Edited by Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic ...

Series series Computer Science (R0)
This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019.Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her NRL Protocol Analyzer, a tool and methodology that embodies symbolic model checking techniques, has ... Read more

$64.09 CAD

This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019.Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her NRL Protocol Analyzer, a tool and methodology that embodies symbolic model checking techniques, has
... Read more
Migration and Democracy

How Remittances Undermine Dictatorships

by Abel Escribà-Folch, Joseph Wright, Covadonga Meseguer ...

How remittances—money sent by workers back to their home countries—support democratic expansionIn the growing body of work on democracy, little attention has been paid to its links with migration. Migration and Democracy focuses on the effects of worker remittances—money sent by migrants back to their home countries—and how these resources shape political action in the Global South. Remittances ... Read more

$39.59 CAD

How remittances—money sent by workers back to their home countries—support democratic expansionIn the growing body of work on democracy, little attention has been paid to its links with migration. Migration and Democracy focuses on the effects of worker remittances—money sent by migrants back to their home countries—and how these resources shape political action in the Global South. Remittances
... Read more
Arithmetic and Algebraic Circuits

by Antonio Lloris Ruiz, Encarnación Castillo Morales, Luis Parrilla Roure, Antonio García Ríos, María José Lloris Meseguer ...

Series series Intelligent Technologies and Robotics (R0)
This book presents a complete and accurate study of arithmetic and algebraic circuits. The first part offers a review of all important basic concepts: it describes simple circuits for the implementation of some basic arithmetic operations; it introduces theoretical basis for residue number systems; and describes some fundamental circuits for implementing the main modular operations that will be ... Read more

$217.79 CAD

This book presents a complete and accurate study of arithmetic and algebraic circuits. The first part offers a review of all important basic concepts: it describes simple circuits for the implementation of some basic arithmetic operations; it introduces theoretical basis for residue number systems; and describes some fundamental circuits for implementing the main modular operations that will be
... Read more
Fundamentals of Numerical Mathematics for Physicists and Engineers

by Alvaro Meseguer ...

Introduces the fundamentals of numerical mathematics and illustrates its applications to a wide variety of disciplines in physics and engineeringApplying numerical mathematics to solve scientific problems, this book helps readers understand the mathematical and algorithmic elements that lie beneath numerical and computational methodologies in order to determine the suitability of certain ... Read more

$154.99 CAD

Introduces the fundamentals of numerical mathematics and illustrates its applications to a wide variety of disciplines in physics and engineeringApplying numerical mathematics to solve scientific problems, this book helps readers understand the mathematical and algorithmic elements that lie beneath numerical and computational methodologies in order to determine the suitability of certain
... Read more

Introduction to Information Retrieval

by Christopher D. Manning, Prabhakar Raghavan, Hinrich Schütze ...

Class-tested and coherent, this textbook teaches classical and web information retrieval, including web search and the related areas of text classification and text clustering from basic concepts. It gives an up-to-date treatment of all aspects of the design and implementation of systems for gathering, indexing, and searching documents; methods for evaluating systems; and an introduction to the ... Read more

$73.59 CAD

Class-tested and coherent, this textbook teaches classical and web information retrieval, including web search and the related areas of text classification and text clustering from basic concepts. It gives an up-to-date treatment of all aspects of the design and implementation of systems for gathering, indexing, and searching documents; methods for evaluating systems; and an introduction to the
... Read more
Unholy Trinity

The IMF, World Bank and WTO

by Richard Peet ...

Who really runs the global economy? Who benefits most from it?The answer is a triad of 'governance institutions' - The IMF, the World Bank and the WTO. Globalization massively increased the power of these institutions and they drastically affected the livelihoods of peoples across the world. Yet they operate undemocratically and aggressively promote a particular kind of neoliberal capitalism. ... Read more

$37.09 CAD

Who really runs the global economy? Who benefits most from it?The answer is a triad of 'governance institutions' - The IMF, the World Bank and the WTO. Globalization massively increased the power of these institutions and they drastically affected the livelihoods of peoples across the world. Yet they operate undemocratically and aggressively promote a particular kind of neoliberal capitalism.
... Read more
Mining the Web

Discovering Knowledge from Hypertext Data

by Soumen Chakrabarti ...

Series series The Morgan Kaufmann Series in Data Management Systems
Mining the Web: Discovering Knowledge from Hypertext Data is the first book devoted entirely to techniques for producing knowledge from the vast body of unstructured Web data. Building on an initial survey of infrastructural issues—including Web crawling and indexing—Chakrabarti examines low-level machine learning techniques as they relate specifically to the challenges of Web mining. He then ... Read more

$81.59 CAD

Mining the Web: Discovering Knowledge from Hypertext Data is the first book devoted entirely to techniques for producing knowledge from the vast body of unstructured Web data. Building on an initial survey of infrastructural issues—including Web crawling and indexing—Chakrabarti examines low-level machine learning techniques as they relate specifically to the challenges of Web mining. He then
... Read more
Data-Intensive Text Processing with MapReduce

by Jimmy Lin, Chris Dyer ...

Series series Synthesis Lectures on Human Language Technologies
Our world is being revolutionized by data-driven methods: access to large amounts of data has generated new insights and opened exciting new opportunities in commerce, science, and computing applications. Processing the enormous quantities of data necessary for these advances requires large clusters, making distributed computing paradigms more crucial than ever. MapReduce is a programming model ... Read more

$45.09 CAD

Our world is being revolutionized by data-driven methods: access to large amounts of data has generated new insights and opened exciting new opportunities in commerce, science, and computing applications. Processing the enormous quantities of data necessary for these advances requires large clusters, making distributed computing paradigms more crucial than ever. MapReduce is a programming model
... Read more
Globalization for Development

Meeting New Challenges

by Ian Goldin, Kenneth Reinert ...

Globalization and its relation to poverty reduction and development are not well understood. This book explores the ways in which globalization can overcome poverty or make it worse. The book defines the big historical trends, identifies the main globalization processes - trade, finance, aid, migration, and ideas - and examines how each can contribute to economic development. By considering what ... Read more

$56.59 CAD

Globalization and its relation to poverty reduction and development are not well understood. This book explores the ways in which globalization can overcome poverty or make it worse. The book defines the big historical trends, identifies the main globalization processes - trade, finance, aid, migration, and ideas - and examines how each can contribute to economic development. By considering what
... 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

Intelligent Technologies and Robotics (R0)

Computer Science (R0)

Computer Science (R0)

Computer Science (R0)

Spacecraft Thermal Control

Concurrent Programming, Open Systems and Formal Methods

Protocols, Strands, and Logic

Foundations of Security, Protocols, and Equational Reasoning

Migration and Democracy

Arithmetic and Algebraic Circuits

Fundamentals of Numerical Mathematics for Physicists and Engineers

People who read these also enjoyed

Introduction to Information Retrieval

Unholy Trinity

Mining the Web

Data-Intensive Text Processing with MapReduce

Globalization for Development

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

Intelligent Technologies and Robotics (R0)

Computer Science (R0)

Computer Science (R0)

Computer Science (R0)

Show:

People who read these also enjoyed