Filtra i risultati

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 520-540 di 2094

The logic of Sequences

a Generalization of Principia Mathematica

  • Quine, Willard Van Orman

Selecta

  • Mandelbrojt, Szolem

Graph drawing

10th international symposium, GD 2002, Irvine, CA, USA, August 26-28, 2002 : revised papers

  • International symposium on graph drawing 10. Irvine, CA, USA 2002

Reti sequenziali

  • Cioffi, Giacomo

Mathematical modelling [+]

classroom notes in applied mathematics

Simulated annealing

theory and applications

  • Laarhoven, Peter J. M. van

Grundlagen des maschinellen Beweisens

eine Einführung für Informatiker und Mathematiker

  • Hofbauer, Dieter

To infinity and beyond

a cultural history of the infinite

  • Maor, Eli

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit

Einführung in die Theorie der rekursiven Funktionen

  • Hermes, Hans

Combinatorics

set systems, hypergraphs, families of vectors and combinatorial probability

  • Bollobás, Béla

Algorithms and computation

14th international symposium, ISAAC 2003, Kyoto, Japan, December 15-17, 2003 : proceedings

  • International symposium on algorithms and computation 14. Kyoto, Japan 2003

Polytopes, graphs and optimisation

  • Emelichev, Vladimir Alekseevich

Graph theory

  • Harary, Frank

Qual è il titolo di questo libro?

l'enigma di Dracula e altri indovinelli logici

  • Smullyan, Raymond