1
0
0
(1 - 15 von 19
)
Peter Landin quotes: top 1 famous quotes by Peter Landin
www.morefamousquotes.com
Enjoy Peter Landin famous quotes. Top Peter Landin quotes: Most papers in computer science describe how their author
A Science of Operations: Machines, Logic and the Invention of...
books.google.de
Today, computers fulfil a dazzling array of roles, a flexibility resulting from the great range of programs that can be run on them.A Science of Operations...
Architektur und Betrieb von Rechensystemen: 10. GI/ITG-Fachtagung...
books.google.de
Der Band enthält die Vorträge der 10. GI/ITG-Fachtagung
Implementation and Application of Functional Languages: 17th...
books.google.de
This book constitutes the thoroughly refereed post-proceedings of the 17th International Workshop on Implementation and Applications of Functional Languages,...
Church's Thesis After 70 Years - Google Books
books.google.de
In the last decades, mathematical logic has developed into a technically quite sophisticated area of mathematics. Nevertheless, inspirations from philosophy...
Types and Programming Languages - Benjamin C. Pierce, Benjamin C....
books.google.de
A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain...
Head-Order Techniques and Other Pragmatics of Lambda Calculus Graph...
books.google.de
This machine was described in the seminal paper of Peter Landin “The Mechanical Evaluation of Expressions” [Landin 64]. Landin is a pioneer of applicative ...
Logic from Russell to Church - Google Books
books.google.de
This volume is number five in the 11-volume Handbook of the History of Logic. It covers the first 50 years of the development of mathematical logic in the 20th...
Classic Operating Systems: From Batch Processing to Distributed...
books.google.de
This remarkable anthology allows the pioneers who orchestrated the major breakthroughs in operating system technology to describe their work in their own...
Software Engineering 2: Specification of Systems and Languages -...
books.google.de
Peter Landin Most papers in computer science describe how their author learned what someone else already knew. Peter Landin Peter Landin's scholarly ...
Practical Foundations of Mathematics - Paul Taylor, Taylor Paul -...
books.google.de
I have since learned a lot from Richard Bornat, Peter Burton, Keith Clarke, Adam Eppen- dahl, Peter Landin, Peter O'Hearn, David Pym, Edmund Robinson and ...
Das gelehrte Teutschland oder Lexikon der jetzt lebenden teutschen...
books.google.de
S0CHIMS ( Peter ) . Landin / pektor in den Herzogthi- mern , Schleswig und Holftein zu : geb . zu §§ . , D . G . Bergtrup ' s Bemerkungen über die ...
Architektur und Betrieb von Rechensystemen: 8. GI-NTG-Fachtagung...
books.google.de
Als Peter Landin von den nächsten 700 Programmiersprachen redete, hielt man das für eine Übertreibung und sah keine Gefahr. Und Peter Land in hätte ...
It Began with Babbage: The Genesis of Computer Science - Subrata...
books.google.de
As a field, computer science occupies a unique scientific space, in that its subject matter can exist in both physical and abstract realms. An artifact such as...
Formal Methods: State of the Art and New Directions - Google Books
books.google.de
Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and...
Verwandte Suchanfragen zu Peter Landin
| Peter John |
Personen Vorname "Peter" (123603) Name "Landin" (62) |
sortiert nach Relevanz / Datum