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.49 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 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
Mathematics and Computation in Music

9th International Conference, MCM 2024, Coimbra, Portugal, June 18–21, 2024, Proceedings

Edited by Thomas Noll, Mariana Montiel, Francisco Gómez, Omar Costa Hamido, José Luis Besada, José Oliveira Martins ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics and Computation in Music, MCM 2024, held in Coimbra, Portugal, during June 18–21, 2024.The 30 full papers and 9 short papers included in this book were carefully reviewed and selected from 45 submissions. They were organized in topical sections as follows: mathematical scale theory and tuning; rhythm ... Read more

$98.09 USD

This book constitutes the refereed proceedings of the 9th International Conference on Mathematics and Computation in Music, MCM 2024, held in Coimbra, Portugal, during June 18–21, 2024.The 30 full papers and 9 short papers included in this book were carefully reviewed and selected from 45 submissions. They were organized in topical sections as follows: mathematical scale theory and tuning; rhythm
... Read more
Cells and Culture

Proceedings of the 20th ESACT Meeting, Dresden, Germany, June 17-20, 2007

Edited by Thomas Noll ...

Series series Springer Nature Proceedings excluding Computer Science
Regeneration of tissue to replace damaged or injured tissue is the goal of t- sue engineering. Biomaterials like polyglycolic acid, collagen and small-intestinal submuscosa provide a temporary scaffold to guide new tissue growth and or- nization. Typically, they need to be biodegradable, showing good cell atta- ment and proliferation and they should possess appropriate mechanical properties (Kim ... Read more

$287.09 USD

Regeneration of tissue to replace damaged or injured tissue is the goal of t- sue engineering. Biomaterials like polyglycolic acid, collagen and small-intestinal submuscosa provide a temporary scaffold to guide new tissue growth and or- nization. Typically, they need to be biodegradable, showing good cell atta- ment and proliferation and they should possess appropriate mechanical properties (Kim
... 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.39 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
Composing Electronic Music

A New Aesthetic

by Curtis Roads ...

Electronic music evokes new sensations, feelings, and thoughts in both composers and listeners. Opening the door to an unlimited universe of sound, it engages spatialization as an integral aspect of composition and focuses on sound transformation as a core structural strategy. In this new domain, pitch occurs as a flowing and ephemeral substance that can be bent, modulated, or dissolved into noise ... Read more

$54.89 USD

Electronic music evokes new sensations, feelings, and thoughts in both composers and listeners. Opening the door to an unlimited universe of sound, it engages spatialization as an integral aspect of composition and focuses on sound transformation as a core structural strategy. In this new domain, pitch occurs as a flowing and ephemeral substance that can be bent, modulated, or dissolved into noise
... 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
Music: A Mathematical Offering

by Dave Benson ...

Since the time of the Ancient Greeks, much has been written about the relation between mathematics and music: from harmony and number theory, to musical patterns and group theory. Benson provides a wealth of information here to enable the teacher, the student, or the interested amateur to understand, at varying levels of technicality, the real interplay between these two ancient disciplines. The ... Read more

$30.39 USD

Since the time of the Ancient Greeks, much has been written about the relation between mathematics and music: from harmony and number theory, to musical patterns and group theory. Benson provides a wealth of information here to enable the teacher, the student, or the interested amateur to understand, at varying levels of technicality, the real interplay between these two ancient disciplines. The
... 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
Data Assimilation Fundamentals

A Unified Formulation of the State and Parameter Estimation Problem

by Geir Evensen, Femke C. Vossepoel, Peter Jan van Leeuwen ...

Series series Springer Textbooks in Earth Sciences, Geography and Environment
This open-access textbook's significant contribution is the unified derivation of data-assimilation techniques from a common fundamental and optimal starting point, namely Bayes' theorem. Unique for this book is the "top-down" derivation of the assimilation methods. It starts from Bayes theorem and gradually introduces the assumptions and approximations needed to arrive at today's popular data ... Read more

Free

This open-access textbook's significant contribution is the unified derivation of data-assimilation techniques from a common fundamental and optimal starting point, namely Bayes' theorem. Unique for this book is the "top-down" derivation of the assimilation methods. It starts from Bayes theorem and gradually introduces the assumptions and approximations needed to arrive at today's popular data
... 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

Springer Nature Proceedings excluding Computer Science

Springer Nature Proceedings Computer Science

Computer Science (R0)

Principles of Verification: Cycling the Probabilistic Landscape

Principles of Verification: Cycling the Probabilistic Landscape

Principles of Verification: Cycling the Probabilistic Landscape

Mathematics and Computation in Music

Cells and Culture

People who read these also enjoyed

The Text Mining Handbook

Composing Electronic Music

Computer Aided Verification

Fundamental Approaches to Software Engineering

Music: A Mathematical Offering

Computer Aided Verification

Data Assimilation Fundamentals

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

Springer Nature Proceedings excluding Computer Science

Springer Nature Proceedings Computer Science

Computer Science (R0)

Show:

People who read these also enjoyed