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 “jan de groot”
Skip side bar filters

  • A Boy in War

    by Jan de Groot ...
    The war was changing everything and everyone …When Jan is seven, Nazis attack and take over Holland. At first, not much changes. Soon, though, war starts taking things away: important things like neighbours and friends, trust and respect, even clothing, fuel, and food. Through it all, Jan is still a boy, finding ways to play with friends and paddle his sailing canoe in the canals. But he must also ... Read more

    $9.99 CAD

  • Riddle of the Raven

    A Sailing Ship Possessed by a Ghost

    by Jan de Groot ...
    When Jan de Groot decided to purchase Raven, a 140-foot gaff-rigged ketch, in order to provide sailing adventures for underprivileged children in British Columbia, he had no idea of the bizarre adventure that lay ahead. Built in 1920 as a sailing cargo vessel, Raven was converted to a pleasure yacht in the late 1960s. She should have been the perfect vessel for the job Jan envisaged - and might ... Read more

    $7.99 CAD

  • The Religion of The Chinese

    by Jan Jakob Maria de Groot ...
    In "The Religion of The Chinese", scholarly book published in 1910, Jan Jakob Maria de Groot details the history, rituals, and beliefs of the major traditional religions of China: universal animism, polydemonism, specters, ancestral worship, Confucianism, Taoism, and Buddhism. He thought that one spiritual essence could be detected beneath a great variety of religious, philosophical, and even ... Read more

    $0.99 CAD or Free with Kobo Plus

  • Formal Methods for Industrial Critical Systems

    27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings

    Edited by Jan Friso Groote, Marieke Huisman ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022.The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and ... Read more

    $89.69 CAD

  • Tales of Electrologica

    Computers, Software and People

    Edited by Gerard Alberts, Jan Friso Groote ...
    Series series Computer Science (R0)
    Manufacturing computers in series was quite a feat in the 1950s. As mathematical as it gets, the machines discussed here were called X1 and X8.The industrial achievement combined with the background in a mathematical research center made the company Electrologica a legend in Dutch computing. The tales in this book are told by those who have a right to tell. Highly engaged professionals take ... Read more

    $44.99 CAD

  • Historic Mortars

    Characterisation, Assessment and Repair

    Edited by John J. Hughes, Caspar J. W. P. Groot, Jan Válek ...
    Series series Springer Nature Proceedings excluding Computer Science
    This volume focuses on research and practical issues connected with mortars on historic structures.The book is divided into four sections: Characterisation of Historic Mortars, Repair Mortars and Design Issues, Experimental Research into Properties of Repair Mortars, and Assessment and Testing. The papers present the latest work of researchers in their field. The individual contributions were ... Read more

    $256.99 CAD

  • Basic Income on the Agenda

    Policy Objectives and Political Chances

    by Loek Groot, Robert-Jan van der Veen ...
    Persisting unemployment, poverty and social exclusion, labour market flexibility, job insecurity and higher wage inequality, changing patterns of work and family life are among the factors that exert pressure on welfare states in Europe. This book explores the potential of an unconditional basic income, without means test or work requirement, to meet the challenges posed by the new social question ... Read more

    $79.69 CAD

  • Understanding Behaviour of Distributed Systems Using mCRL2

    by Muhammad Atif, Jan Friso Groote ...
    Series series Engineering (R0)
    This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to analyse a distributed system with respect to its functional requirements. For example, biological ... Read more

    $230.99 CAD

People who read these also enjoyed

  • 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

  • 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 I

    Edited by Tomáš Vojnar, Lijun Zhang ...
    Series Book 1 - 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

  • Computer Aided Verification

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

    Edited by Alexandra Silva, K. Rustan M. Leino ...
    Series Book 2 - 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

  • Fundamental Approaches to Software Engineering

    21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

    Edited by Alessandra Russo, Andy Schürr ...
    Series series Springer Nature Proceedings Computer Science
    This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and ... Read more

    Free