Skip to main content
Search Button
Canada Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

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
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 12 results for “thomas noll”
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

    $102.49 CAD

  • Protestantism after 500 Years

    Edited by Thomas Albert Howard, Mark A. Noll ...
    The world stands before a landmark date: October 31, 2017, the quincentennial of the Protestant Reformation. Countries, social movements, churches, universities, seminaries, and other institutions shaped by Protestantism face a daunting question: how should the Reformation be commemorated 500 years after the fact? In this volume, leading historians and theologians, Protestant and Catholic, come ... Read more

    $43.19 CAD

  • 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

    $128.09 CAD

  • 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

    $96.09 CAD

  • 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

    $89.69 CAD

  • 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

    $370.19 CAD

  • The Future of Christian Learning

    An Evangelical and Catholic Dialogue

    by James Turner, Mark Noll ...
    Evangelicals and Roman Catholics have been responsible for the establishment of many colleges and universities in America. Until recently, however, they have taken very different approaches to the subject of education and have viewed one another's traditions with suspicion.In this volume, Mark Noll and James Turner offer critical but appreciative reassessments of the two traditions. Noll, writing ... Read more

    $14.39 CAD

People who read these also enjoyed

  • 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

    $53.59 CAD

  • 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

    $99.99 CAD

  • 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

  • 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

    $34.39 CAD

  • 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