Logo Regione Toscana

biblio toscana
Cerca

Filtra i risultati

Autori

Soggetti

Tipologia

Provincia

Reti

Cerca per titolo, autore, soggetto

Ordinamento
Localizzazione
Lingua
Nazione
Tipologia
Livello Bibliografico
Pubblicato dal
al
Isbn
Annulla ricerca

Risultati ricerca

Risultati 140-160 di 2094

testo

Theory and applications of satisfiability testing

7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers

  • International conference on theory and applications of satisfiability testing 7. Vancouver, BC, Canada 2004
testo

Developments in language theory

9th international conference, DLT 2005, Palermo, Italy, July 4-8, 2005 : proceedings

  • International conference on developments in language theory 9. Palermo, Italia 2005
testo

The best approximation method

an introduction

  • Hromadka, Theodore V.
testo

Computation and logic in the real world [+]

third Conference on computability in Europe, CiE 2007 : Siena (Italy), June 18-23, 2007 : proceedings

  • Conference on computability in Europe 3. Siena 2007
testo

DNA computing

10th international workshop on DNA computing, DNA 10, Milan, Italy, June 7-10, 2004 : revised selected papers

  • International workshop on DNA computing 10. Milano 2004
testo

Studies in combinatorics

a collection of papers presented by invitation at the Symposium on combinatorial mathematics sponsored by the Office of naval research at the Fall meeting of SIAM at the University of California at Santa Barbara (California), Novembre29-December 2, 1967

testo

Combinatorial methods

  • Percus, Jerome Kenneth
testo

Graphs

theory and algorithms

  • Thulasiraman, K.
testo

Relations related to betweenness

their structure and automorphisms

  • Adeleke, Samson Adepoju
testo

Factors and factorizations of graphs

proof techniques in factor theory

  • Akiyama, Jin

Risultati 140-160 di 2094

Seguici su Twitter

I Nostri Social