Filtra i risultati

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 200-220 di 2094

Journées algorithmiques

15-19 Décembre 1975, École Normale Supérieure

Opere scelte

volume I : funzioni di variabile reale

  • Tonelli, Leonida

The mathematics of logic

a guide to completeness theorems and their applications

  • Kaye, Richard

Gruppen von linearen Transformationen

  • Waerden, Bartel Leendert van der

DNA computing

8th international workshop on DNA-based computers, DNA8, Sapporo, Japan, June 10-13, 2002 : revised papers

  • International workshop on DNA-based computers 8. Sapporo, Japan 2002

Contemporary design theory

a collection of surveys

Aritmetica per la scuola media

con oltre 800 esercizi e problemi

  • Agostini, Amedeo

Graph-theoretic concepts in computer science

31st international workshop, WG 2005, Metz, France, June 23-25, 2005 : revised selected papers

  • International workshop on graph-theoretic concepts in computer science 31. Metz, Francia 2005

Interpolation and definability

modal and intuitionistic logics

  • Gabbay, Dov M.

Rationalismus im Ursprung

die Genesis des axiomatischen Denkens

  • Stachowiak, Herbert

Computer algorithms

introduction to design and analysis

  • Baase, Sara

La guerra dei trent'anni, 1900-1930

da Hilbert a Gödel

  • Lolli, Gabriele