Buecher-Lounge.de

This volume consists of some of the papers that were delivered during the workshop on "Foundations of Logic and Functional Programming" held in Trento, Italy, from December 15th to 19th, 1986. The …

Contents: Invited Contributions: C. Talcott: Rum. An Intensional Theory of Function and Control Abstractions.- L. Cardelli: Typechecking Dependent Types and Subtypes.- C. Bohm: Reducing Recursion to …

geschrieben von Mauro Boscarol (Herausgeber) und Luigia Carlucci Aiello (Herausgeber) und Giorgio Levi (Herausgeber)

This volume contains the proceedings of the ThirdInternational Conference on Algebraic and Logic Programming,held in Pisa, Italy, September 2-4, 1992. Like the twoprevious conferences in Germany in …

geschrieben von Helene Kirchner (Herausgeber) und Giorgio Levi (Herausgeber)

This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming, ALP '96, held in Aachen, Germany, in September 1996 in conjunction with PLILP …

geschrieben von Michael Hanus (Herausgeber) und Mario Rodriguez-Artalejo (Herausgeber)

This book constitutes the refereed proceedings of the 13th Annual International Conference on Computer Science Logic, CSL '99, held under the sponsorship of EACSL in Madrid, Spain in September …

geschrieben von Jörg Flum (Herausgeber) und Mario Rodriguez-Artalejo (Herausgeber)

The Performing Series by renowned authors Iris Blanc and Cathy Vento, takes users to a higher level of learning through applied and project-based activities that go beyond the mechanics of the …

geschrieben von Iris Blanc (Autor) und Cathy Vento (Autor) und Steele Thompson (Autor)

Paul McFedries is the president of Logophilia Limited, a technical writing company. Now primarily a writer, Paul has worked as a programmer, consultant, spreadsheet developer, and Web site developer. …

Full of exclusive tricks from an Office "insider" that will help users learn the Office applications inside and out, this guide is designed to bridge the gap between a users expectation and reality. …

Part I MICROSOFT WORD TRICKS Chapter 1 Text Tricks ...7 Keeping Table Headings in View ...7 Summing a Column in a Table ...9 Calculating Tax in an Invoice Document ...11 Highlighting All Instances of …

&>Paul McFedries, an Office "insider," that will help you learn the Office applications inside and out. Designed to bridge the gap between your expectation and reality, you will go beyond the …

geschrieben von Paul McFedries (Autor)

Estela invites Samuel to camp outside. They take blankets and flash-lights and together they discover the nocturnal world in order to abate Samuel's fears of darkness and cold. Estela explains where …

geschrieben von Marie-Louise Gay (Autor)

Der Biograph, der Erzähler, der Menschenschilderer Stefan Zweig hat nur einen einzigen Roman geschrieben. Er greift darin die Thematik des Mitleids auf, deren falsche Form den jungen Leutnant …

geschrieben von Stefan Zweig (Autor)

This study examines the history of a fundamental problem in Aristotelian cognitive psychology, i.e. the nature and function of the mechanisms that provide the human mind with data concerning physical …

geschrieben von Leen Spruit (Autor)

"Anspruchsvoll, unbequem und herausfordernd. Drewermann geht auf vier Ebenen auf das Problem des Krieges ein, indem er historisch nach den Anlässen des Krieges fragt, psychologisch die …

geschrieben von Eugen Drewermann (Autor)