DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Klaus Samelson
Klaus Samelson
Thomas Ströhlein's Endgame Tables: a 50Th Anniversary
The Advent of Recursion & Logic in Computer Science
Edsger W. Dijkstra: a Commemoration
Early Life: 1924–1945
Oral History Interview with Friedrich L. Bauer
A Static Analysis Framework for Security Properties in Mobile and Cryptographic Systems
A Programmer's Story. the Life of a Computer Pioneer
Literaturverzeichnis
A Bibliography of Publications of Friedrich Ludwig Bauer
Learning from the Masters 1963–66
History and Philosophy of Programming
(Pdf) of the School of Squiggol: a History of the Bird−Meertens
A Lightweight Formal Method for the Prediction of Non-Functional System Properties
Using History to Teach Computer Science and Related Disciplines
Peter Landin Semantics Seminar 2020 Algol 60 @ 60
Chapter 3 Formal Framework
Numerical Analysis in Zurich – 50 Years Ago
Acta Informatica
Top View
Let's Not Trust Experience Blindly: Formal Monitoring of Humans And
The IAS Computer Family Scrapbook
Ganderlatsis Rutishauser
2.1 Accelerators to Reduce Power Consumption
Stack (Abstract Data Type)
Friedrich (Fritz) L. Bauer
Algol-60 V3.3
Fundamental Data Structures
Gaier, Dieter (Mathematiker, 1928 – 2002) (PDF 278,2
Lecture Notes in Computer Science 1710 Edited by G
A Bibliography of Publications of Heinz Rutishauser
Geschichte Der Deutschsprachigen Informatik Programmiersprachen Und Übersetzerbau
Mounier-Kuhn Algol in France
Nachruf Bauer Friedrich L
School of Computing
Edsger W. Dijkstra: a Commemoration
Ultra-Low Power Stack-Based Processor for Energy Harvesting Systems
Kognitive Strukturen Und Steuerungsprobleme Der Forschung: Kernphysik Und Informatik Im Vergleich
Substitution Notation X 1932 Alonzo Church Uses the Notation SY U| for Substitution in a Formula
A Selected Bibliography of Publications By, and About, Edsger W