WorldCat Identities

Bauer, Friedrich Ludwig 1924-

Overview
Works: 251 works in 1,097 publications in 5 languages and 11,732 library holdings
Genres: Conference papers and proceedings  History 
Roles: Author, Editor, Publishing director, Honoree, Other, Author of introduction, Creator, Contributor
Classifications: QA76.6, 001.642
Publication Timeline
.
Most widely held works by Friedrich Ludwig Bauer
Decrypted secrets : methods and maxims of cryptology by Friedrich Ludwig Bauer( Book )

68 editions published between 1997 and 2011 in English and Undetermined and held by 1,089 WorldCat member libraries worldwide

Cryptology, for millennia a "secret science", is rapidly gaining in practical importance for the protection of communication channels, databases, and software. Beside its role in computerized information systems (public key systems), more and more applications within computer systems and networks are appearing, which also extend to access rights and source file protection. The first part of this book treats secret codes and their uses - cryptography. The second part deals with the process of covertly decrypting a secret code - cryptanalysis - where in particular advice on assessing methods is given. The book presupposes only elementary mathematical knowledge. Spiced with a wealth of exciting, amusing, and sometimes personal stories from the history of cryptology, it will also interest general readers. Decrypted Secrets has become a standard book on cryptology. The new edition has been revised and extended in many details, particularly on the ENIGMA and other rotor machines, on cipher teletype machines, codenamed FISH by the British, and on key negotiation. "The best single book on cryptology today" (David Kahn, Cryptologia) "For those who work actively with cryptology this book is a must. For amateurs it is an important dictionary which in many cases will guide them to make their ciphers more secure." (Arne Fransén, International Intelligence History Study Group)
Software engineering : an advanced course by Friedrich Ludwig Bauer( Book )

67 editions published between 1973 and 1977 in 5 languages and held by 731 WorldCat member libraries worldwide

What the software engineer can do for the computer user. The design and construction of software systems. Descriptional tools; hierarchies. Language characteristics. Low level languages summary of a discussion session. Relationships between definition and implementation of a language. Concurrency in software systems. Techniques. Modularity. portability and adaptability. Debugging and testing. Reliability. Practical aspects. Projects management. Documentation. Performance prediction. Performance measurement. Pricing mechanisms. Evaluation in the computing center environment. Appendix. Software engineering
Compiler construction : an advanced course by Friedrich Ludwig Bauer( Book )

53 editions published between 1974 and 1976 in 4 languages and held by 695 WorldCat member libraries worldwide

Linear algebra by J. H Wilkinson( Book )

11 editions published in 1971 in English and held by 588 WorldCat member libraries worldwide

Algorithmic language and program development by Friedrich Ludwig Bauer( Book )

36 editions published between 1981 and 2012 in 4 languages and held by 494 WorldCat member libraries worldwide

Ben shu jie shao le guang pu yu yan, shu xue yu yi, chou xiang lei xing, di gui bian huan, cheng xu bian liang, kong zhi liu ji qi ta zhong yao ti cai
The Munich Project CIP by Friedrich Ludwig Bauer( Book )

50 editions published between 1985 and 1987 in English and Undetermined and held by 388 WorldCat member libraries worldwide

This book is the second of two volumes that present the main results which emerged from the project CIP - Computer-Aided, Intuition-Guided Programming - at the Technical University of Munich. Its central theme is program development by transformation, a methodology which is becoming more and more important. Whereas Volume I contains the description and formal specification of a wide spectrum language CIP-L particularly tailored to the needs of transformational programming, Volume II serves a double purpose: First, it describes a system, called CIP-S, that is to assist a programmer in the method of transformational programming. Second, it gives a non-toy example for this very method, since it contains a formal specification of the system core and transformational developments for the more interesting system routines. Based on a formal calculus of program transformations, the informal requirements for the system are stated. Then the system core is formally specified using the algebraic data types and the pre-algorithmic logical constructs of the wide spectrum language CIP-L. It is demonstrated how executable, procedural level programs can be developed from this specification according to formal rules. The extensive collection of these rules is also contained in the book; it can be used as the basis for further developments using this method. Since the system has been designed in such a way that it is parameterized with the concrete programming language to be transformed, the book also contains a guide how to actualize this parameter; the proceeding is exemplified with a small subset of CIP-L
Introduction to ALGOL by Richard Baumann( Book )

2 editions published in 1964 in English and held by 386 WorldCat member libraries worldwide

"ALGOL has found interest throughout the computing community. The defining report was not intended to be a primer, however, since its aim of strict syntactic and semantic description did not allow this. This book is intended to give a needed introduction to ALGOL, which should enable the nonspecialist, for whose benefit ALGOL was primarily conceived, to write clear and readable ALGOL programs from which a reasonable translator will produce efficient machine codes." --Preface, page v
Language hierarchies and interfaces : international summer school by Friedrich Ludwig Bauer( Book )

28 editions published between 1976 and 1977 in 4 languages and held by 370 WorldCat member libraries worldwide

Program construction : international summer school by Friedrich Ludwig Bauer( Book )

21 editions published between 1979 and 2007 in 3 languages and held by 366 WorldCat member libraries worldwide

Einführung in die numerische Mathematik by Josef Stoer( Book )

38 editions published between 1972 and 1983 in German and held by 277 WorldCat member libraries worldwide

Mathematics of Computing -- Numerical Analysis
Numerische Mathematik : eine Einführung; unter Berücksichtigung von Vorlesungen von F. L. Bauer by Josef Stoer( Book )

18 editions published between 1989 and 2005 in German and held by 271 WorldCat member libraries worldwide

"Diese Einführung zeichnet sich durch eine klare, gut lesbare Darstellung aus und ist eine gelungene Synthese zwischen theoretischer Begründung und praktischer Anwendung der behandelten Methoden. Deshalb ist sie auch zu einem Standardlehrbuch der Numerischen Mathematik geworden." #Internationale Mathematische Nachrichten#1 "Unter den Numerik-Lehrbüchern ... sei auf das vorliegende Buch besonders hingewiesen, da hier bei allen Ansprüchen an mathematische Strenge das Schwergewicht auf die Bereitstellung von praktikablen Algorithmen nach neuesten Erkenntnissen mit vielen numerischen Beispielen und kritischen Beurteilungen liegt ... Für Veranstaltungen der Numerik und ihren Anwendungen in der Informatik findet der Lehrende viele Anregungen und gute Informationsmöglichkeiten." #Die neue Hochschule#2
Informatik : Aufgaben und Lösungen by Friedrich Ludwig Bauer( Book )

50 editions published between 1971 and 1999 in German and Undetermined and held by 257 WorldCat member libraries worldwide

Inhalts}bersicht: Vorbemerkung. - Blockstruktur und Dynamische Speicherverteilung. - Hintergrundspeicher und Verkehr mit der Aussenwelt, Datenstrukturen, Speicherorganisation. - Formale Sprachen. - Syntaktische und semantische Definition algorithmischer Sprachen. - Anhang C: Korrespondenzen und Funktionen. - Anhang D: Datenendger{te. - Anhang E: Zur Geschichte der Informatik. - Erg{nzende Literatur. - Namen- und Sachverzeichnis. - Syntaxdiagramme f}r die in diesem Buchverwendete ALGOL 68- und PASCAL-Notation
Origins and foundations of computing : in cooperation with Heinz Nixdorf MuseumsForum by Friedrich Ludwig Bauer( Book )

20 editions published between 2007 and 2014 in 3 languages and held by 203 WorldCat member libraries worldwide

The Heinz Nixdorf Museum Forum (HNF) is the world's largest c- puter museum and is dedicated to portraying the past, present and future of information technology. In the "Year of Informatics 2006" the HNF was particularly keen to examine the history of this still quite young discipline. The short-lived nature of information technologies means that individuals, inventions, devices, institutes and companies"age" more rapidly than in many other specialties. And in the nature of things the group of computer pioneers from the early days is growing smaller all the time. To supplement a planned new exhibit on "Software and Inform- ics" at the HNF, the idea arose of recording the history of informatics in an accompanying publication. Mysearchforsuitablesourcesandauthorsveryquickly cameupwith the right answer, the very rst name in Germany: Friedrich L. Bauer, Professor Emeritus of Mathematics at the TU in Munich, one of the - thers of informatics in Germany and for decades the indefatigable author of the"Historical Notes" column of the journal Informatik Spektrum. Friedrich L. Bauer was already the author of two works on the history of informatics, published in different decades and in different books. Both of them are notable for their knowledgeable, extremely comp- hensive and yet compact style. My obvious course was to motivate this author to amalgamate, supplement and illustrate his previous work
Logic, algebra, and computation : international summer school directed by F.L. Bauer [and others] by Friedrich Ludwig Bauer( Book )

18 editions published between 1989 and 1991 in English and Spanish and held by 180 WorldCat member libraries worldwide

The Marktoberdorf Summer Schools on Informatics were started in 1970 as Advanced Study Institutes under the sponsorship of NATO. At the schools, groups of top researchers in computing present their most recent results to an elite of advanced students and face their questions, criticism and suggestions. This volume presents the proceedings of the tenth Marktoberdorf Summer School, with the theme Logic, Algebra, and Computation. The volume has a message: applied logic is programming, programming is applied logic, and computation is a common concern of logic and mathematics. The volume contains ten papers, on computation and specification over abstract data types, deductive program synthesis, resolution, the pure lambda-calculus, normalization, logical and recursive complexity, the computation system of constructive type theory, modal logic, concurrency, and concurrent logic programming languages
Informatik : eine einführende Übersicht by Friedrich Ludwig Bauer( Book )

20 editions published between 1971 and 1992 in 3 languages and held by 165 WorldCat member libraries worldwide

Informatik. Eine einführende Übersicht hat sich als Standardwerk für das Studium der Informatik bewährt. Der vorliegende zweite Teil steht unter dem Leitgedanken "Strukturen", der das Grundthema "Algorithmen" des ersten Teils ergänzt. Zunächst werden Programmstrukturen und Datenstrukturen einschließlich der Techniken ihrer Implementierung behandelt. Sodann werden formale (Sprach- )Systeme, die zur Beschreibung solcher Strukturen dienen, auf relationentheoretischer Grundlage dargestellt. Ein weiteres Kapitel behandelt die Formalisierung der Syntax und der Semantik algorithmischer Sprachen, mit einem Abschnitt über abstrakte Datentypen. Den Abschluß bilden die Anhänge "Korrespondenzen und Funktionen", "Datenendgeräte" und "Zur Geschichte der Informatik" sowie Syntaxdiagramme für die ALGOL 68- und die PASCAL-Notation, die im Buch verwendet werden
Logic and algebra of specification by Friedrich Ludwig Bauer( Book )

14 editions published between 1992 and 2014 in 3 languages and held by 160 WorldCat member libraries worldwide

For some years, specification of software and hardware systems has been influenced not only by algebraic methods but also by new developments in logic. These new developments in logic are partly based on the use of algorithmic techniques in deduction and proving methods, but are alsodue to new theoretical advances, to a great extent stimulated by computer science, which have led to new types of logic and new logical calculi. The new techniques, methods and tools from logic, combined with algebra-based ones, offer very powerful and useful tools for the computer scientist, which may soon become practical for commercial use, where, in particular, more powerful specification tools are needed for concurrent and distributed systems. This volume contains papers based on lectures by leading researchers which were originally given at an international summer school held in Marktoberdorf in 1991. The papers aim to give a foundation for combining logic and algebra for the purposes of specification under the aspects of automated deduction, proving techniques, concurrency and logic, abstract data types and operational semantics, and constructive methods
Entzifferte Geheimnisse : Methoden und Maximen der Kryptologie by Friedrich Ludwig Bauer( Book )

10 editions published between 1995 and 2000 in German and held by 140 WorldCat member libraries worldwide

Die Kryptologie, eine jahrtausendealte "Geheimwissenschaft", gewinnt zusehends praktische Bedeutung in Verbindung mit dem Schutz von Kommunikationswegen, Datenbanken und Software. Neben ihre Nutzung in rechnergestützten öffentlichen Nachrichtensystemen ("öffentliche Schlüssel") treten mehr und mehr rechnerinterne Anwendungen, wie Zugriffsberechtigungen und der Quellenschutz von Software. Der erste Teil des Buches behandelt in elf Kapiteln die Geheimschriften und ihren Gebrauch - die Kryptographie. Dabei wird auch auf das aktuelle Thema "Kryptographie und Grundrechte des Bürgers" eingegangen. Im zweiten Teil wird in elf weiteren Kapiteln das Vorgehen zum unbefugten Entziffern einer Geheimschrift - die Kryptanalyse - besprochen, wobei insbesondere Hinweise für die Beurteilung der Sicherheit der Chiffrierverfahren gegeben werden. Mit der vorliegenden dritten Auflage wurde das Werk auf den neuesten Stand gebracht. Das Buch setzt nur elementare mathematische Kenntnisse voraus. Mit einer Fülle spannender, lustiger und bisweilen anzüglicher Geschichten aus der historischen Kryptologie gewürzt, ist es auch für Laien reizvoll zu lesen." ... ein wahres Lesevergnügen für jedermann ... Wenn's schwierig wird, hilft die Fülle von ausgiebig behandelten Beispielen." (Thomas von Randow, "Die Zeit") "Wer über elementare mathematische Kenntnisse verfügt, wird auch die fachlicheren Kapitel des Buches mit Gewinn lesen." (Norbert Lossau, "Die Welt") "The best single book on cryptology today" (David Kahn, "Cryptologia")
Moderne Rechenanlagen; eine Einführung by Friedrich Ludwig Bauer( Book )

12 editions published between 1964 and 1965 in German and Undetermined and held by 129 WorldCat member libraries worldwide

Handbook for automatic computation by A. A Grau( Book )

32 editions published between 1967 and 2014 in English and German and held by 122 WorldCat member libraries worldwide

The development of the internationally standardized language ALGOL has made it possible to prepare procedures which can be used without modification whenever a computer with an ALGOL translator is available. Volume Ia in this series gave details of the restricted version of ALGOL which is to be employed throughout the Handbook, and volume Ib described its implementation on a computer. Each of the subsequent volumes will be devoted to a presentation of the basic algorithms in some specific areas of numerical analysis. This is the first such volume and it was feIt that the topic Linear Algebra was a natural choice, since the relevant algorithms are perhaps the most widely used in numerical analysis and have the advantage of forming a weil defined dass. The algorithms described here fall into two main categories, associated with the solution of linear systems and the algebraic eigenvalue problem respectively and each set is preceded by an introductory chapter giving a comparative assessment
Historische Notizen zur Informatik by Friedrich Ludwig Bauer( Book )

6 editions published in 2009 in German and held by 58 WorldCat member libraries worldwide

Der Autor entwickelt unterhaltsam, gleichzeitig mit mathematischer Strenge, zahlreiche Facetten aus der Wissenschaftsgeschichte, die mit den Anfängen der Informatik in Zusammenhang stehen. Die Beiträge sind über viele Jahre im Informatik Spektrum erschienen und werden nun erstmals in einem Buch zusammengefasst. Die Informatik selbst ist eine junge Wissenschaft, deren Wurzeln tief in die Vergangenheit zurückreichen. Der Autor zeigt dies anhand vieler anregender historischer Notizen
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.69 (from 0.51 for Introducti ... to 0.89 for Entziffert ...)

Decrypted secrets : methods and maxims of cryptology
Alternative Names
Bauer, F.

Bauėr, F. 1924-2015

Bauèr, F. L.

Bauer, F.L. 1924-

Bauer, F.L. 1924-2015

Bauer, F. L. (Friedrich Ludwig), 1924-

Bauer, Friedrich L.

Bauer, Friedrich L 1924-

Bauer, Friedrich L. (Friedrich Ludwig), 1924-

Bauer, Friedrich Ludwig

Bauer, Friedrich Ludwig 1924-2015

Friedrich Bauer

Friedrich L. Bauer Duits wiskundige

Friedrich Ludwig Bauer

Friedrich Ludwig Bauer deutscher Pionier der Informatik

Бауэр, Ф. Л 1924-

Бауэр, Фридрих

Бауэр, Фридрих немецкий специалист в области компьютерных наук, один из создателей языка программирования ALGOL 60

فردریش ال بائر ریاضی‌دان، دانشمند علوم کامپیوتر، و مهندس آلمانی

فريدريش باور

フリードリッヒ・L・バウアー

Languages
English (360)

German (183)

Italian (3)

Spanish (3)

Chinese (1)

Covers
Compiler construction : an advanced courseAlgorithmic language and program developmentThe Munich Project CIPLanguage hierarchies and interfaces : international summer schoolProgram construction : international summer schoolNumerische Mathematik : eine Einführung; unter Berücksichtigung von Vorlesungen von F. L. BauerInformatik : Aufgaben und LösungenOrigins and foundations of computing : in cooperation with Heinz Nixdorf MuseumsForum