Proceedings May 27 - 29, 192, Sendai, Japan

Inhaltsverzeichnis

Network flows theory, algorithms, and applications von Ahuja, Ravindra K. 1956-, Magnanti, Thomas L. 1945-, Orlin, James B.

Inhaltsverzeichnis
Inhaltsverzeichnis

Lectures on exponential decay of solutions of second-order elliptic equations bounds on eigenfunctions of n-body Schrödinger operators von Agmon, Šemû'ēl 1922-

Mathematical cryptology for computer scientists and mathematicians von Patterson, Wayne 1946-

Lectures on exponential decay of solutions of second-order elliptic equations bounds on eigenfunctions of N-body Schrödinger operators von Agmon, Šemû'ēl 1922-

Set theory and metric spaces von Kaplansky, Irving 1917-2006

Inhaltsverzeichnis

Logique et fondements de l'informatique logique du 1er ordre, calculabilité et lambda-calcul von Lassaigne, Richard, Rougemont, Michel de

Mathematical cryptology for computer scientists and mathematicians von Patterson, Wayne 1946-

Inhaltsverzeichnis

A connotational theory of program structure von Royer, James S.

Recursive procedures von Bakker, Jacobus W. de 1939-2012