1,512 Works

Errors in dialog design and how to avoid them

Jürg Nievergelt
ETH, Eidgenössische Technische Hochschule Zürich, Institut für Informatik, 47

Semantic meaning in information retrieval

H.P. Giger, Hans-Peter Frei & Peter Schäuble
ETH, Eidgenössische Technische Hochschule Zürich, Institut für Informatik, Fachgruppe Informationssysteme, 84

Numerische Prozeduren I: COMFOU, RELFOU, REMEZA

Walter Gander & Andrea Mazzario
Berichte der Fachgruppe Computerwissenschaften, 4

Algebraic Intruder Deductions

David Basin, Sebastian Mödersheim & Luca Viganò
Many security protocols fundamentally depend on the algebraic properties of cryptographic operators. It is however difficult to handle these properties when formally analyzing protocols, since basic problems like the equality of terms that represent cryptographic messages are undecidable, even for relatively simple algebraic theories. We present a framework for security protocol analysis that can handle algebraic properties of cryptographic operators in a uniform and modular way. Our framework is based on two ideas: the use...

Power shifts: Emerging markets emerged, geopolitics fractured

Matthew Hulbert
Strategic Trends

Affine and polynomial processes

Christa Cuchiero

XRS: ein erweitertes relationales Datenbanksystem zur Verwaltung von technischen Objekten und Versionen

Andreas Meier, K. Durrer, Gernot Heiser, Erwin Petry, A. Wälchli, A. Wälchli & Carl August Zehnder
ETH Eidgenössische Technische Hochschule Zürich, Institut für Informatik, 76

XS-O: A self-explanatory school computer

Jürg Nievergelt
Berichte des Instituts für Informatik, 21

MODULA-2

Niklaus Wirth
ETH, Eidgenössische Technische Hochschule Zürich, Institut für Informatik, 36

PASCAL-S: a subset and its implementation

Niklaus Wirth
Berichte des Instituts für Informatik, 12

HOST: An abstract machine for Modula-2 programs

Michel Kiener & Alfred G.H. Ultsch
ETH Zürich, Institut für Informatik, 73

Implementation of an adaptive algorithm for Richardson's method

Paul E. Saylor & Dennis C. Smolarski
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Wissenschaftliches Rechnen, 139

Modula-2 and object-oriented programming

Niklaus Wirth
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Computer Systeme, 117

Solving linear equations by extrapolation

Dominik Gruntz, Walter Gander & Gene Howard Golub
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, 115

The Use of MODULA and Design and implementation of MODULA

Niklaus Wirth
Berichte des Instituts für Informatik, 19

Recursive data types and report on the Mona notation for algorithms

Martin Odersky
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Computersysteme, 102

The graphics editor Condor

Cuno Pfister
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Computersysteme, 124

Stepwise refinement of mixed specifications of concurrent programs

Beverly A. Sanders
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Computer Systeme, 116

The Oberon guide

Jürg Gutknecht
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Computersysteme, 108

A constrained eigenvalue problem

Walter Gander, Gene Howard Golub & Urs Von Matt
ETH, Eidgenössische Technische Hochschule Zürich, Institut für Informatik, Fachgruppe Wissenschaftliches Rechnen, 92

Write: an extensible text editor for the Oberon system

Clemens A. Szyperski
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Computersysteme, 151

N-Poisson document modelling revisited

Eugene L. Margulis
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Informationssysteme, 166

From Modula to Oberon: The programming language Oberon

Niklaus Wirth
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Computer Systeme, 111

Registration Year

  • 2011
    1,512

Resource Types

  • Text
    1,500
  • Event
    10