Reinhard Kahle's Books

Proof Theory in Computer Science

International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

By: Reinhard Kahle,Peter Schroeder-Heister

Write a review Read reviews Take a Quiz Solve Book Puzzle

Proof Theory in Computer Science

International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

By: Reinhard Kahle,Peter Schroeder-Heister

This book constitutes the refereed proceedings of the International Seminar on Proof Theory in Computer Science, PTCS 2001, held in Dagstuhl Castle, Germany, in October 2001. The 13 thoroughly revised full papers were carefully reviewed and selected for inclusion in the book. Among the topics addressed are higher type recursion, lambda calculus, complexity theory, transfinite induction, categories, induction-recursion, post-Turing analysis, natural deduction, implicit characterization, iterate logic, and Java programming.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

249

Publisher

Springer Science & Business Media

Published Date

ISBN 10

354042752X

ISBN 13

9783540427520

The Samaritans

A Profile

By: Reinhard Pummer

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Samaritans

A Profile

By: Reinhard Pummer

Most people associate the term "Samaritan" exclusively with the New Testament stories about the Good Samaritan and the Samaritan woman at Jacob's well. Very few are aware that a small community of about 750 Samaritans still lives today in Palestine and Israel; they view themselves as the true Israelites, having resided in their birthplace for thousands of years and preserving unchanged the revelation given to Moses in the Torah. Reinhard Pummer, one of the world's foremost experts on Samaritanism, offers in this book a comprehensive introduction to the people identified as Samaritans in both biblical and nonbiblical sources. Besides analyzing the literary, epigraphic, and archaeological sources, he examines the Samaritans' history, their geographical distribution, their version of the Pentateuch, their rituals and customs, and their situation today.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

376

Publisher

Wm. B. Eerdmans Publishing

Published Date

ISBN 10

0802867685

ISBN 13

9780802867681

Capillary Electrophoresis: Principles and Practice

By: Reinhard Kuhn,Sabrina Hoffstetter-Kuhn

Write a review Read reviews Take a Quiz Solve Book Puzzle

Capillary Electrophoresis: Principles and Practice

By: Reinhard Kuhn,Sabrina Hoffstetter-Kuhn

Capillary electrophoresis (CE) is a brand-new analytical me- thod with the capability of solving many analytical separa- tion problems very fast and economically. This method gives new information about the investigated substances which can- not easily be obtained by other means. CE has become an established method only recently, but will be implemented in almost every analytical laboratory in industry, service units and academia in the near future. The most important fields of CE application are pharmaceutical and biochemical research and quality control. The authors have exhaustive practical experience in the application of CE methods in the pharmaceutical industry and provide the reader with a comprehensive treatment of this method. The main focus is on how to solve problems when applying CE in the laboratory. Physico-chemical theory is only dealt with in depth when necessary to understand the underlying separation mechanisms in order to solve your problems at the analytical bench. An addendum includes tables on the preparation of buffers and recommended further reading.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

381

Publisher

Springer Science & Business Media

Published Date

ISBN 10

364278058X

ISBN 13

9783642780585

Proof Theory in Computer Science

International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

By: Reinhard Kahle,Peter Schroeder-Heister

Write a review Read reviews Take a Quiz Solve Book Puzzle

Proof Theory in Computer Science

International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

By: Reinhard Kahle,Peter Schroeder-Heister

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

249

Publisher

Springer Science & Business Media

Published Date

ISBN 10

354042752X

ISBN 13

9783540427520

Book's by Reinhard Kahle

Proof Theory in Computer Science

Proof Theory in Computer Science

The Samaritans

The Samaritans

Capillary Electrophoresis: Principles and Practice

Capillary Electrophoresis: Principles and Practice

Proof Theory in Computer Science

Proof Theory in Computer Science

Username

Password

Username

Password

Password again

Birthday

Email