WorldCat Identities

Bauer, Friedrich Ludwig 1924-

Overview
Works: 351 works in 1,173 publications in 5 languages and 12,481 library holdings
Genres: Conference papers and proceedings  History 
Roles: Author, Editor, Other, Publishing director, Honoree, Author of introduction, Creator, Contributor
Publication Timeline
.
Most widely held works by Friedrich Ludwig Bauer
Decrypted secrets : methods and maxims of cryptology by Friedrich Ludwig Bauer( )

62 editions published between 1997 and 2011 in English and held by 1,552 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
Compiler construction : an advanced course by Friedrich Ludwig Bauer( Book )

41 editions published between 1974 and 1976 in 4 languages and held by 790 WorldCat member libraries worldwide

Origins and foundations of computing : in cooperation with Heinz Nixdorf MuseumsForum by Friedrich Ludwig Bauer( )

25 editions published between 2007 and 2014 in English and German and held by 633 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
Linear algebra by J. H Wilkinson( Book )

9 editions published between 1971 and 2013 in English and Undetermined and held by 625 WorldCat member libraries worldwide

Software engineering : an advanced course by Friedrich Ludwig Bauer( Book )

43 editions published between 1973 and 1977 in 5 languages and held by 508 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
Program construction : international summer school by Friedrich Ludwig Bauer( Book )

22 editions published between 1979 and 2007 in English and German and held by 496 WorldCat member libraries worldwide

Language hierarchies and interfaces : international summer school by Friedrich Ludwig Bauer( Book )

31 editions published between 1975 and 1977 in English and German and held by 490 WorldCat member libraries worldwide

The Munich Project CIP by Friedrich Ludwig Bauer( Book )

25 editions published in 1985 in English and held by 477 WorldCat member libraries worldwide

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

18 editions published between 1982 and 2012 in English and German and held by 400 WorldCat member libraries worldwide

Introduction to ALGOL by Richard Baumann( Book )

2 editions published in 1964 in English and held by 378 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
Advanced Course on Software Engineering by München) Advanced Course on Software Engineering (1972( Book )

15 editions published between 1973 and 1977 in 3 languages and held by 266 WorldCat member libraries worldwide

Logic, algebra, and computation : international summer school directed by F.L. Bauer [and others] by Friedrich Ludwig Bauer( Book )

16 editions published between 1989 and 1991 in English and Spanish and held by 240 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
Historische Notizen zur Informatik by Friedrich Ludwig Bauer( )

6 editions published in 2009 in German and held by 232 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
The Munich project CIP by Friedrich Ludwig Bauer( )

26 editions published between 1987 and 1988 in English and held by 228 WorldCat member libraries worldwide

Annotation 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
Logic and algebra of specification by Friedrich Ludwig Bauer( Book )

15 editions published between 1992 and 1993 in English and German and held by 216 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 : mit 26 Tabellen by Friedrich Ludwig Bauer( Book )

3 editions published between 1995 and 2000 in German and held by 214 WorldCat member libraries worldwide

Informatik : Aufgaben und Lösungen by Friedrich Ludwig Bauer( Book )

30 editions published between 1974 and 1991 in 4 languages and held by 209 WorldCat member libraries worldwide

Dieser Band dokumentiert ein Kolloquium mit dem Titel "Informatik im Kreuzungspunkt von Numerischer Mathematik, Rechnerentwurf, Programmierung, Algebra und Logik". Es fand im 14. Juni 1989 an der Bayerischen Akademie der Wissenschaften anläßlich des 65. Geburtstags von Herrn Prof. Dr. Dr. h.c. mult. Friedrich L. Bauer statt, dem die Informatik von Anfang an entscheidende Impulse verdankt. Die Beiträge spannen ein breites Themenspektrum auf, das durch die Dichte der Zusammenhänge fasziniert. Mehrere Jahrzehnte der Entwicklung der Informatik haben gezeigt, wie eng Fragestellungen der Numerik, des Rechnerentwurfs, aber auch Fragen der Programmierung und allgemein Fragen der Logik und der Algebra miteinander verknüpft sind. Im Schnittbereich dieser Themengebiete erscheint der Kern der Informatik als eine Grundlagendisziplin für die Beschreibung von System- und Algorithmen strukturen, die sich Methoden der Logik und der Algebra zunutze macht. Die Vielfalt der Einzelprobleme in der Numerischen Mathematik, in der Schaltalgebra und der Relationentheorie, bei Zerteilungs- und Erkennungsproblemen, in der Algebraischen Logik, in der Programmiertechnik und im Übersetzerbau, und schließlich in der Programmtransformation und der Methodik der Programmierung lassen gemeinsame Grundfragestellungen erkennen. Der ästhetische und kulturelle Gehalt dieser Themengebiete erschließt sich über technische Einzelaspekte hinaus besonders durch den Beitrag von Prof. Roland Bulirsch, der gleichermaßen vom Nutzen und von der Schönheit der Formeln in der Mathematik und in der Informatik handelt
Einführung in die numerische Mathematik : unter Berücksichtigung von Vorlesungen von F.L. Bauer by Josef Stoer( Book )

22 editions published between 1973 and 1983 in German and held by 200 WorldCat member libraries worldwide

Mathematics of Computing -- Numerical Analysis
Informatik : eine einführende Übersicht by Friedrich Ludwig Bauer( Book )

9 editions published between 1971 and 1991 in German and held by 177 WorldCat member libraries worldwide

XVIII, 393 S. 164 Abb., 16 Tab. u. zahlreichen Programmbeisp. Dieses einführende Lehrbuch in zwei Bänden hat sich als Standardwerk für das Informatikstudium bewährt. Das Werk hat synoptischen Charakter: Es bereitet den Leser gründlich auf Spezialvorlesungen vor und zeigt dabei die Zusammenhänge zwischen Teilgebieten der Informatik auf. Dem Leser sollen in erster Linie Fertigkeiten des Problemlösens vermittelt werden. Daher geht die Darstellung "vom Problem zur Maschine"--Ein Prinzip, das als "top-down-teaching" weltweit aufgegriffen wurde. Die Programmbeispiele sind parallel in ALGOL und PASCAL formuliert. Dadurch wird einerseits der gemeinsame abstrakte Hintergrund betont, andererseits findet der Leser für praktische Anwendungen einen leichten Einstieg in gängige Programmiersprachen. Die Neuauflage des ersten Bandes wurde vollständig überarbeitet und aktualisiert
Informatik : eine einführende Übersicht by Friedrich Ludwig Bauer( Book )

44 editions published between 1971 and 1999 in German and Undetermined and held by 172 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
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.65 (from 0.49 for Introducti ... to 0.89 for Informatik ...)

Decrypted secrets : methods and maxims of cryptology
Covers
Compiler construction : an advanced courseOrigins and foundations of computing : in cooperation with Heinz Nixdorf MuseumsForumProgram construction : international summer schoolLanguage hierarchies and interfaces : international summer schoolThe Munich Project CIPAlgorithmic language and program developmentHistorische Notizen zur InformatikThe Munich project CIP
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 L. Bauer Duits wiskundige (1924-2015)

Friedrich L. Bauer nhà khoa học máy tính người Đức

Friedrich Ludwig Bauer

Friedrich Ludwig Bauer deutscher Pionier der Informatik

Friedrich Ludwig Bauer tysk professor

Бауэр Ф.Л.

Бауэр, Ф. Л 1924-

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

Бауэр Фридрих Л.

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

פרידריך באואר

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

فريدريش باور

فریدریش ال باوئر

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

Languages
English (321)

German (126)

Russian (4)

Spanish (3)

Italian (1)