Hans Langmaack's Books

Formal Methods for Industrial Applications

Specifying and Programming the Steam Boiler Control

By: Jean-Raymond Abrial,Egon Börger,Hans Langmaack

Write a review Read reviews Take a Quiz Solve Book Puzzle

Formal Methods for Industrial Applications

Specifying and Programming the Steam Boiler Control

By: Jean-Raymond Abrial,Egon Börger,Hans Langmaack

This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported specification, design, and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications. The 21 papers included in the book, together with an introduction and competition report, were selected from 33 candidate solutions. This book comes with a CD-ROM containing, besides the printed papers, executable code, full definitions of all parts of the specifications, and detailed descriptions of foundational matters where appropriate.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

536

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540619291

ISBN 13

9783540619291

An Introduction to Hybrid Dynamical Systems

By: Arjan J. van der Schaft,Hans Schumacher

Write a review Read reviews Take a Quiz Solve Book Puzzle

An Introduction to Hybrid Dynamical Systems

By: Arjan J. van der Schaft,Hans Schumacher

This book is about dynamical systems that are "hybrid" in the sense that they contain both continuous and discrete state variables. Recently there has been increased research interest in the study of the interaction between discrete and continuous dynamics. The present volume provides a first attempt in book form to bring together concepts and methods dealing with hybrid systems from various areas, and to look at these from a unified perspective. The authors have chosen a mode of exposition that is largely based on illustrative examples rather than on the abstract theorem-proof format because the systematic study of hybrid systems is still in its infancy. The examples are taken from many different application areas, ranging from power converters to communication protocols and from chaos to mathematical finance. Subjects covered include the following: definition of hybrid systems; description formats; existence and uniqueness of solutions; special subclasses (variable-structure systems, complementarity systems); reachability and verification; stability and stabilizability; control design methods. The book will be of interest to scientists from a wide range of disciplines including: computer science, control theory, dynamical system theory, systems modeling and simulation, and operations research.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

189

Publisher

Springer

Published Date

ISBN 10

1846285429

ISBN 13

9781846285424

From Holomorphic Functions to Complex Manifolds

By: Klaus Fritzsche,Hans Grauert

Write a review Read reviews Take a Quiz Solve Book Puzzle

From Holomorphic Functions to Complex Manifolds

By: Klaus Fritzsche,Hans Grauert

This introduction to the theory of complex manifolds covers the most important branches and methods in complex analysis of several variables while completely avoiding abstract concepts involving sheaves, coherence, and higher-dimensional cohomology. Only elementary methods such as power series, holomorphic vector bundles, and one-dimensional cocycles are used. Each chapter contains a variety of examples and exercises.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

406

Publisher

Springer Science & Business Media

Published Date

ISBN 10

146849273X

ISBN 13

9781468492736

Topics in Analytic Number Theory

By: Hans Rademacher

Write a review Read reviews Take a Quiz Solve Book Puzzle

Topics in Analytic Number Theory

By: Hans Rademacher

At the time of Professor Rademacher's death early in 1969, there was available a complete manuscript of the present work. The editors had only to supply a few bibliographical references and to correct a few misprints and errors. No substantive changes were made in the manu script except in one or two places where references to additional material appeared; since this material was not found in Rademacher's papers, these references were deleted. The editors are grateful to Springer-Verlag for their helpfulness and courtesy. Rademacher started work on the present volume no later than 1944; he was still working on it at the inception of his final illness. It represents the parts of analytic number theory that were of greatest interest to him. The editors, his students, offer this work as homage to the memory of a great man to whom they, in common with all number theorists, owe a deep and lasting debt. E. Grosswald Temple University, Philadelphia, PA 19122, U.S.A. J. Lehner University of Pittsburgh, Pittsburgh, PA 15213 and National Bureau of Standards, Washington, DC 20234, U.S.A. M. Newman National Bureau of Standards, Washington, DC 20234, U.S.A. Contents I. Analytic tools Chapter 1. Bernoulli polynomials and Bernoulli numbers ....... . 1 1. The binomial coefficients ..................................... . 1 2. The Bernoulli polynomials .................................... . 4 3. Zeros of the Bernoulli polynomials ............................. . 7 4. The Bernoulli numbers ....................................... . 9 5. The von Staudt-Clausen theorem .............................. . 10 6. A multiplication formula for the Bernoulli polynomials ........... .

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

333

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3642806155

ISBN 13

9783642806155

Tangled Paths

A Life of Aby Warburg

By: Hans C. Hönes

Write a review Read reviews Take a Quiz Solve Book Puzzle

Tangled Paths

A Life of Aby Warburg

By: Hans C. Hönes

An intimate biography of an eminent historian of art and culture, exploring his life both within and away from the academy. Tangled Paths tells the life story of Aby Warburg (1866–1929), one of the most influential historians of art and culture of the twentieth century. It also tells the story of a man who, throughout his life, struggled to assert his place in the world. Charting Warburg’s many projects and identities—groundbreaking historian, public intellectual, ethnographer, shrewd academic administrator, and founder of a library—the book explores not only the vagaries of an academic career but also the personal demons of a man who relentlessly sought to live up to his own expectations. In this biography—the first in English in over fifty years—Hans C. Hönes presents an evocative and richly detailed portrait of Warburg’s personality and career, and of his attempts to make sense of the tangled paths of his life.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

401

Publisher

Reaktion Books

Published Date

ISBN 10

1789149037

ISBN 13

9781789149036

School Management, Leadership and Improvement

Theoretical Foundations and Recommendations for Practice

By: Roman Capaul,Hans Seitz,Martin Keller

Write a review Read reviews Take a Quiz Solve Book Puzzle

School Management, Leadership and Improvement

Theoretical Foundations and Recommendations for Practice

By: Roman Capaul,Hans Seitz,Martin Keller

Roman Capaul, Hans Seitz and Martin Keller have developed their own school management model based on their many years of experience in the training of school management members and on the basis of the St. Gallen management model. Their work shows the reader fundamental connections, answers the central questions of school management and school development and contains numerous practical recommendations for action for everyday school management.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

646

Publisher

Haupt Verlag

Published Date

ISBN 10

3258441588

ISBN 13

9783258441580

CSL '89

3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings

By: Egon Börger,Hans Kleine Büning

Write a review Read reviews Take a Quiz Solve Book Puzzle

CSL '89

3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings

By: Egon Börger,Hans Kleine Büning

This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science, e.g. in complexity, data base theory, logic programming, artificial intelligece, and temporal logic. The volume should be of interest to all logicians and computer scientists working in the above field.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

452

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540527532

ISBN 13

9783540527534

Enumerability · Decidability Computability

An Introduction to the Theory of Recursive Functions

By: Hans Hermes

Write a review Read reviews Take a Quiz Solve Book Puzzle

Enumerability · Decidability Computability

An Introduction to the Theory of Recursive Functions

By: Hans Hermes

Once we have accepted a precise replacement of the concept of algo rithm, it becomes possible to attempt the problem whether there exist well-defined collections of problems which cannot be handled by algo rithms, and if that is the case, to give concrete cases of this kind. Many such investigations were carried out during the last few decades. The undecidability of arithmetic and other mathematical theories was shown, further the unsolvability of the word problem of group theory. Many mathematicians consider these results and the theory on which they are based to be the most characteristic achievements of mathe matics in the first half of the twentieth century. If we grant the legitimacy of the suggested precise replacements of the concept of algorithm and related concepts, then we can say that the mathematicians have shown by strictly mathematical methods that there exist mathematical problems which cannot be dealt with by the methods of calculating mathematics. In view of the important role which mathematics plays today in our conception of the world this fact is of great philosophical interest. Post speaks of a natural law about the "limitations of the mathematicizing power of Homo Sapiens". Here we also find a starting point for the discussion of the question, what the actual creative activity of the mathematician consists in. In this book we shall give an introduction to the theory of algorithms.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

260

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3642461786

ISBN 13

9783642461781

A Systematic Catalogue of Reusable Abstract Data Types

By: Jürgen Uhl,Hans A. Schmid

Write a review Read reviews Take a Quiz Solve Book Puzzle

A Systematic Catalogue of Reusable Abstract Data Types

By: Jürgen Uhl,Hans A. Schmid

This book presents a comprehensive catalogue of elementary data types like sets, maps, orders, trees and lists, written in Ada. Such data types are often used in systems programming. The major focus is on: - a uniform syntactic and semantic interface for all data types, - many implementation variants per data type, all ac cessible through a single interface, - a hierarchical system of the data types as a basis for data type selection and implementation. Meeting these goals is the main achievement of the book. The combination of efficient applicability and ease of learning and maintenance is achieved by the carefully elaborated interfaces of the catalogue's data types. These interfaces combine abstraction, which is necessary for easy learning and for leaving implementation freedom, and functional completeness, which is an essential prerequisite for high performance in different application contexts. The selection of the right data type implementation for a given context is supported by the data type hierarchy which imposes different abstraction levels, and an orthogonal scheme of implementation variants which can be freely combined. Together with the uniformity of interfaces, the hierarchical composition of the catalogue leads to a small code base, from which different implementation variants are generated using a macro processor.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

400

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540532293

ISBN 13

9783540532293

Dictionary of German Names

By: Hans Bahlow

Write a review Read reviews Take a Quiz Solve Book Puzzle

Dictionary of German Names

By: Hans Bahlow

This dictionary provides details of more than 15,000 German names in English. Variant spellings, and the meaning and origins of each name are given.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

624

Publisher

Max Kade Institute

Published Date

ISBN 10

0924119373

ISBN 13

9780924119378

Formal Methods for Industrial Applications

Specifying and Programming the Steam Boiler Control

By: Jean-Raymond Abrial,Egon Börger,Hans Langmaack

Write a review Read reviews Take a Quiz Solve Book Puzzle

Formal Methods for Industrial Applications

Specifying and Programming the Steam Boiler Control

By: Jean-Raymond Abrial,Egon Börger,Hans Langmaack

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

536

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540619291

ISBN 13

9783540619291

Compositionality: The Significant Difference

International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

By: Willem-Paul de Roever,Hans Langmaack,Amir Pnueli

Write a review Read reviews Take a Quiz Solve Book Puzzle

Compositionality: The Significant Difference

International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

By: Willem-Paul de Roever,Hans Langmaack,Amir Pnueli

This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a valuable reference for researchers and professionals interested in formal systems design and analysis; it also is well suited for self study and use in advanced courses.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

655

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540654933

ISBN 13

9783540654933

Formal Techniques in Real-Time and Fault-Tolerant Systems

Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings

By: Hans Langmaack,W.-P. de Roever,Working Group Provably Correct Systems

Write a review Read reviews Take a Quiz Solve Book Puzzle

Formal Techniques in Real-Time and Fault-Tolerant Systems

Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings

By: Hans Langmaack,W.-P. de Roever,Working Group Provably Correct Systems

This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at Lübeck, Germany in September 1994. The book contains full versions of 5 invited talks and 33 carefully selected refereed contributions as well as 12 tool demonstrations. It documents that formal techniques constitute the foundation of a systematic design of real-time, fault-tolerant, and hybrid systems, throughout the whole engineering process, from the capture of requirements through specification, design, coding and compilation, right down to the hardware that embeds the system into its environment.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

808

Publisher

Boom Koninklijke Uitgevers

Published Date

ISBN 10

3540584684

ISBN 13

9783540584681

Book's by Hans Langmaack

Formal Methods for Industrial Applications

Formal Methods for Industrial Applications

An Introduction to Hybrid Dynamical Systems

An Introduction to Hybrid Dynamical Systems

From Holomorphic Functions to Complex Manifolds

From Holomorphic Functions to Complex Manifolds

Topics in Analytic Number Theory

Topics in Analytic Number Theory

Tangled Paths

Tangled Paths

School Management, Leadership and Improvement

School Management, Leadership and Improvement

CSL '89

CSL '89

Enumerability · Decidability Computability

Enumerability · Decidability Computability

A Systematic Catalogue of Reusable Abstract Data Types

A Systematic Catalogue of Reusable Abstract Data Types

Dictionary of German Names

Dictionary of German Names

Formal Methods for Industrial Applications

Formal Methods for Industrial Applications

Compositionality: The Significant Difference

Compositionality: The Significant Difference

Formal Techniques in Real-Time and Fault-Tolerant Systems

Formal Techniques in Real-Time and Fault-Tolerant Systems

Username

Password

Username

Password

Password again

Birthday

Email