Pieter van Gelder's Books

Safety of historical stone arch bridges

By: Dirk Proske,Pieter van Gelder

Write a review Read reviews Take a Quiz Solve Book Puzzle

Safety of historical stone arch bridges

By: Dirk Proske,Pieter van Gelder

Historical stone arch bridges are still a major part of the infrastructure in many countries. Although this type of bridge has proven to be an efficient construction type, it often poses the problem of insufficient numerical models of the load bearing behavior. Therefore the book introduces methods to adapt life loads and introduces different types of numerical models of the load resistance respectively. The book continues with the introduction of specific damages and strengthening techniques. The book particularly focuses on the probabilistic safety assessment of historical arch bridges, for which often only limited material and structural data is available.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

372

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540776184

ISBN 13

9783540776185

The Dutch Overseas Empire, 1600–1800

By: Pieter C. Emmer,Jos J.L. Gommans

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Dutch Overseas Empire, 1600–1800

By: Pieter C. Emmer,Jos J.L. Gommans

This pioneering history of the Dutch Empire provides a new comprehensive overview of Dutch colonial expansion from a comparative and global perspective. It also offers a fascinating window into the early modern societies of Asia, Africa and the Americas through their interactions.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

481

Publisher

Cambridge University Press

Published Date

ISBN 10

1108428371

ISBN 13

9781108428378

A History of Dutch Corruption and Public Morality (1648-1940)

By: Toon Kerkhoff,Ronald Kroeze,Pieter Wagenaar,Michel Hoenderboom

Write a review Read reviews Take a Quiz Solve Book Puzzle

A History of Dutch Corruption and Public Morality (1648-1940)

By: Toon Kerkhoff,Ronald Kroeze,Pieter Wagenaar,Michel Hoenderboom

This book represents the first extensive discussion of 300 years of change, continuity and diversity in Dutch corruption and public morality between 1648 and 1940. A collection of rich historical case studies on public and political debates surrounding supposedly corrupt acts of administrators and politicians is set against the backdrop of the major political and socio-economic developments of the time. As the book moves from early modern beginnings of the Dutch Republic to the age of Enlightenment and into “modern” politics, it tells the story of how, when and why Dutch political-administrative thought and practice concerning “good” and “bad” government actually evolved. It provides the reader with an understanding of past and present ideas on Dutch corruption and public morality, and places these within a wider European historical context. The book will primarily appeal to those interested in European and Dutch political-administrative history, the history of corruption, anti-corruption, public values, and ethics and integrity.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

384

Publisher

Cambridge Scholars Publishing

Published Date

ISBN 10

1527555666

ISBN 13

9781527555662

Principles of Model Checking

By: Christel Baier,Joost-Pieter Katoen

Write a review Read reviews Take a Quiz Solve Book Puzzle

Principles of Model Checking

By: Christel Baier,Joost-Pieter Katoen

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises. Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This automated technique for verification and debugging has developed into a mature and widely used approach with many applications. Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field. The book begins with the basic principles for modeling concurrent and communicating systems, introduces different classes of properties (including safety and liveness), presents the notion of fairness, and provides automata-based algorithms for these properties. It introduces the temporal logics LTL and CTL, compares them, and covers algorithms for verifying these logics, discussing real-time systems as well as systems subject to random phenomena. Separate chapters treat such efficiency-improving techniques as abstraction and symbolic manipulation. The book includes an extensive set of examples (most of which run through several chapters) and a complete set of basic results accompanied by detailed proofs. Each chapter concludes with a summary, bibliographic notes, and an extensive list of exercises of both practical and theoretical nature.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

994

Publisher

MIT Press

Published Date

ISBN 10

026202649X

ISBN 13

9780262026499

Pieter Bruegel the Elder

Drawings and Prints

By: Pieter Bruegel

Write a review Read reviews Take a Quiz Solve Book Puzzle

Pieter Bruegel the Elder

Drawings and Prints

By: Pieter Bruegel

Pieter Bruegel the Elder (1525/30-1569) was a remarkable draftsman and designer of prints as well as a great painter. His independent drawings and designs for engravings and etchings, which were carried out by the leading printmakers of his day, have fascinated scholars and the general public alike since they were created. They have recently been the subject of research that has given rise to a reevaluation of the parameters of Bruegel's oeuvre. The new scholarship has been brought to bear in the texts of the present volume, which accompanies a major exhibition of 140 of Bruegel's prints and drawings to be shown at the Museum Boijmans Van Beuningen, Rotterdam, from May to August 2001 and at The Metropolitan Museum of Art, New York, from September to December 2001. An international group of experts discusses the new Bruegel who has emerged from recent studies, in essays on the artist's life, his contributions as a draftsman and as a printmaker, the survival of his art, and his relationship to the humanism of his day. They also illuminate his genius in entries on all the works in the exhibition. Every work is illustrated and rich comparative illustrations are included. Provenances an

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

337

Publisher

Metropolitan Museum of Art

Published Date

ISBN 10

0870999915

ISBN 13

9780870999918

The Prison Experience

Disciplinary Institutions and Their Inmates in Early Modern Europe

By: Pieter Spierenburg

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Prison Experience

Disciplinary Institutions and Their Inmates in Early Modern Europe

By: Pieter Spierenburg

Though the prison is central to the penal system of most modern nations, many believe that imprisonment did not become a major judicial sanction until the nineteenth century. In this readable history, Pieter Spierenburg traces the evolution of the prison during the early modern period and illustrates the important role it has played as both disciplinary institution and penal option from the late sixteenth century onward. Placing particular emphasis on the prisons of the Netherlands, Germany, and France, The Prison Experience examines not only the long-term nature of prisons and the historical conceptions of their prisoners but also looks at the daily lives of inmates—supplementing our understanding of social change and day-to-day life in early modern Europe.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

363

Publisher

Amsterdam University Press

Published Date

ISBN 10

9053569898

ISBN 13

9789053569894

The Anglo-Boer War 1899-1902: 963 Days

By: Pieter G Cloete

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Anglo-Boer War 1899-1902: 963 Days

By: Pieter G Cloete

Since the start of the Anglo-Boer War today 120 years ago thousands of publications, written or typed reports and other creations have been produced to narrate the war events, express opinions on its origins, causes, course, results and legacy and on participants in the struggle. This process is ongoing, since the debate amongst both professional historians and interested amateurs on exactly what happened and why is still raging and new information on the war still crops up. The history of the Anglo-Boer War is truly a neverending discourse. As the author of a number of books on the war, I have consulted hundreds of both published and unpublished sources. Some were of limited value, but a small percentage of the published books were of such high value that they formed part of a small stack of books that found a permanent home on my desktop while I was in the writing process. Pieter Cloete’s The Anglo-Boer War – A Chronology, both the original English version and the enlarged Afrikaans version published in 2010, was always part of that stack. It is to me a privilege to write a foreword for the user-friendly and meticulously researched book. It not only contains a wealth of information but a detailed source list and an extensive index. There are few, if any, more helpful reference books on the war and thus represents an essential resource to anyone with a more than superficial interest in the Anglo-Boer War. DR JACKIE GROBLER Historian and author Recently retired after 40 years at the Department of Historical and Heritage Studies, The University of Pretoria.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

414

Publisher

African Sun Media

Published Date

ISBN 10

0620963549

ISBN 13

9780620963541

Boxed set: The Anglo-Boer War 963 Days / The Anglo-Boer War Maps, Stats & Facts

By: Pieter G Cloete

Write a review Read reviews Take a Quiz Solve Book Puzzle

Boxed set: The Anglo-Boer War 963 Days / The Anglo-Boer War Maps, Stats & Facts

By: Pieter G Cloete

This bundle e-book volume contains both 'The Anglo-Boer War' and the accompanying 'Maps, Stats & Facts' volume from Pieter G Cloete.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

468

Publisher

African Sun Media

Published Date

ISBN 10

0620901489

ISBN 13

9780620901482

Book's by Pieter van Gelder

Safety of historical stone arch bridges

Safety of historical stone arch bridges

The Dutch Overseas Empire, 1600–1800

The Dutch Overseas Empire, 1600–1800

A History of Dutch Corruption and Public Morality (1648-1940)

A History of Dutch Corruption and Public Morality (1648-1940)

Principles of Model Checking

Principles of Model Checking

Pieter Bruegel the Elder

Pieter Bruegel the Elder

The Prison Experience

The Prison Experience

The Anglo-Boer War 1899-1902: 963 Days

The Anglo-Boer War 1899-1902: 963 Days

Boxed set: The Anglo-Boer War 963 Days / The Anglo-Boer War Maps, Stats & Facts

Boxed set: The Anglo-Boer War 963 Days / The Anglo-Boer War Maps, Stats & Facts

Username

Password

Username

Password

Password again

Birthday

Email