Buecher-Lounge.de

This book constitutes the refereed proceedings of the 4th International Conference on Web Engineering, ICWE 2004, held in Munich, Germany, in July 2004.
The 25 revised full papers, 42 short …

geschrieben von Nora Koch (Herausgeber) und Piero Fraternali (Herausgeber) und Martin Wirsing (Herausgeber)

This monograph details several important advances in the area known as the proofs-as-programs paradigm, a set of approaches to developing programs from proofs in constructive logic. It serves the dual …

Part I. Prologue.- Introduction.- Part II. Generalizing Proofs-as-Programs.- Functional Program Synthesis.- The Curry--Howard protocol.- Part III. Imperative Proofs-as-Programs.- Intuitionistic Hoare …

geschrieben von Iman Hafiz Poernomo (Autor) und J. N. Crossley (Autor) und Martin Wirsing (Autor)

Symbols, Impossible Numbers, and Geometric Entanglements is the first history of the development and reception of algebra in early modern England and Scotland. Not primarily a technical history, this …

Acknowledgements; Introduction; 1. Setting the scene; 2. William Oughtred and Thomas Harriot; 3. John Collins's campaign for a current English algebra textbook; 4. John Pell's English edition of …

geschrieben von Helena M. Pycior (Autor)

The fields of algebraic functions of one variable appear in several areas of mathematics: complex analysis, algebraic geometry, and number theory. This text adopts the latter perspective by applying …

Preface.- Algebraic and Numerical Antecedents.- Algebraic Function Fields of One Variable.- The Riemann?Roch Theorem.- Examples.- Extensions and Galois Theory.- Congruence Function Fields.- The …

geschrieben von Gabriel Daniel Villa Salvador (Autor)

In this unique bilingual book Alejandro speaks Spanish and Alexander speaks English. At first the children aren't exactly friends but in the end this beautiful tale teaches us that children can still …

geschrieben von Gabriela Rubio (Autor)

Barbara Bartos-Höppner (1923-2006) war seit 1956 als freie Schriftstellerin tätig und hat zahlreiche Auszeichnungen erhalten. Sie schrieb Kinder- und Jugendbücher, aber auch …

»Ist gewinnen wie geschenkt kriegen?« fragt Schnüpperle, als ihm der Mann im Bäckerladen vorgelesen hat, was auf dem gelben Plakat steht. In Seemühlen is nämlich ein großes …

geschrieben von Julia Wittkamp (Illustrator) und Barbara Bartos-Höppner (Autor)

Psychologische Konzepte, die psychosoziale Fachleute verwenden, sind keine "Dinge an sich", sondern Erklärungen und Hypothesen, die wir nutzen, um der Welt einen Sinn zu verleihen. Diese Idee - …

geschrieben von Ben Furman (Autor) und Tapani Ahola (Autor)

In dieser spannenden Kriminalgeschichte, die im königlichen Sachsen spielt, wird ein meisterhaft gesponnenes Netz aus Lügen und Intrigen aufgedeckt. Zugleich beschreibt May aber auch in …

geschrieben von Lothar Schmid (Herausgeber) und Karl May (Autor)

Kasimir, der patente Biber Ein Geburtstagskuchen vom Biber Kasimir. Mit einem Rezept zum Nachmachen. …

geschrieben von Lars Klinting (Autor)

schön, wie Eisblumen am …

geschrieben von Bertolt Brecht (Autor) und Werner Hecht (Herausgeber) und Jan Knopf (Herausgeber) und Werner Mittenzwei (Herausgeber)