Catalog > Scienza > Generale > Yuan Feng & Mingsheng Ying: Model Checking Quantum Systems (ePUB)

Yuan Feng & Mingsheng Ying
Model Checking Quantum Systems [EPUB ebook]
Principles and Algorithms

Supporto

Copertina di Yuan Feng & Mingsheng Ying: Model Checking Quantum Systems (ePUB)

€71.66

Acquista questo ebook e ricevine 1 in più GRATIS!

Lingua Inglese ● Formato EPUB ● ISBN 9781108755115 ● Casa editrice Cambridge University Press ● Pubblicato 2021 ● Scaricabile 3 volte ● Moneta EUR ● ID 7746377 ● Protezione dalla copia Adobe DRM

Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

Yuan Feng Mingsheng Ying

90.365 Ebook in questa categoria

Copertina di Eyal (Security and Peace at Kinneret College on the Sea of Galilee, Israel) Ben-Ari & Helena (ISCTE-University Institute of Lisbon, Portugal) Carreiras: Understanding the Impact of Social Research on the Military

Eyal (Security and Peace at Kinneret College on the Sea of Galilee, Israel) Ben-Ari & Helena (ISCTE-University Institute of Lisbon, Portugal) Carreiras: Understanding the Impact of Social Research on the Military

This book seeks to chart and evaluate the impact of social research on the military itself. By ‘impact’, the authors in this volume simply mean that which has a marked effect or influence on changing …

Copertina di Jeremy (Monash University, Australia.) Breaden & Stacey (Melbourne Law School, Australia) Steele: Internationalising Japan

Jeremy (Monash University, Australia.) Breaden & Stacey (Melbourne Law School, Australia) Steele: Internationalising Japan

In the twenty-first century, the concept of internationalisation remains a crucial tool for understanding the dynamics of globalising processes. It draws attention to the dimensions of conscious acti …

Copertina di Adalberto (Universidade do Estado do Rio de Janeiro, Brazil) Cardoso & Jan (University of California, Santa Barbara, USA) Nederveen Pieterse: Brazil Emerging

Adalberto (Universidade do Estado do Rio de Janeiro, Brazil) Cardoso & Jan (University of California, Santa Barbara, USA) Nederveen Pieterse: Brazil Emerging

This volume is a critical inquiry into the social project and socioeconomic realities of emerging Brazil, a country that faces profound changes. A team of acknowledged specialists on Brazil’s complex …

Copertina di Cecily (RMIT University, Australia) Maller & Yolande (RMIT University, Australia) Strengers: Social Practices, Intervention and Sustainability

Cecily (RMIT University, Australia) Maller & Yolande (RMIT University, Australia) Strengers: Social Practices, Intervention and Sustainability

In an era of dramatic environmental change, social change is desperately needed to curb burgeoning consumption. Many calls to action have focused on individual behaviour　or technological innovation, …

Copertina di Masami (Biomimetic Control Research Center RIKEN, Nagoya, Japan) Ito: Broadcasting in Japan

Masami (Biomimetic Control Research Center RIKEN, Nagoya, Japan) Ito: Broadcasting in Japan

Japan has developed what is arguably the most sophisticated and the most democratic broadcasting system in the world. The Great Kanto Earthquake of 1st September 1923, with its devastation and confus …

Copertina di Shahram (Deakin University, Australia) Akbarzadeh: Routledge Handbook of International Relations in the Middle East

Shahram (Deakin University, Australia) Akbarzadeh: Routledge Handbook of International Relations in the Middle East

This handbook examines the regional and international dynamics of the Middle East. It challenges the state society dichotomy to make sense of decision-making and behavior by ruling regimes. The 33 ch …

Copertina di Omar (American University of Afghanistan, Kabul, Afghanistan) Sadr: Negotiating Cultural Diversity in Afghanistan

Omar (American University of Afghanistan, Kabul, Afghanistan) Sadr: Negotiating Cultural Diversity in Afghanistan

This book analyses the problematique of governance and administration of cultural diversity within the modern state of Afghanistan and traces patterns of national integration. It explores state const …

Copertina di Akhileshwari (Loyola Academy, India) Ramagoud & Simhadri (Osmania University, India) Somanaboina: The Routledge Handbook of the Other Backward Classes in India

Akhileshwari (Loyola Academy, India) Ramagoud & Simhadri (Osmania University, India) Somanaboina: The Routledge Handbook of the Other Backward Classes in India

This handbook presents an authoritative account of the development of movements, thoughts and policies of OBCs (Other Backward Classes) in India. Despite the adoption of egalitarian principles in the …

Copertina di Shaveta Malik & Amit Kumar Tyagi: Intelligent Interactive Multimedia Systems for e-Healthcare Applications

Shaveta Malik & Amit Kumar Tyagi: Intelligent Interactive Multimedia Systems for e-Healthcare Applications

This new volume explores how the merging of interactive multimedia with artificial intelligence has created new and advanced tools in healthcare. It looks at how the latest technologies (artificial i …

Copertina di Jay M. Ver Hoef & Dale L. (Dept. of Statistics, University of Iowa) Zimmerman: Spatial Linear Models for Environmental Data

Jay M. Ver Hoef & Dale L. (Dept. of Statistics, University of Iowa) Zimmerman: Spatial Linear Models for Environmental Data

Many applied researchers equate spatial statistics with prediction or mapping, but this book naturally extends linear models, which includes regression and ANOVA as pillars of applied statistics, to …

Pagina successiva >>>