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 180-200 di 739

testo

Mathematical modelling in economics

essays in honor of Wolfgang Eichhorn

testo

FME 2002

formal methods-getting IT right : international symposium of formal methods europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings

  • International symposium of formal methods Europe Copenhagen, Denmark 2002
testo

Experimental and efficient algorithms

4th international workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005 : proceedings

  • International workshop on experimental and efficient algorithms 4. Isola di Santorini, Grecia 2005
testo

Computational logic

logic programming and beyond : essays in honour of Robert A. Kowalski

testo

Mathematics of program construction

6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings

  • International conference on mathematics of program construction 6. Dagstuhl Castle, Germany 2002
testo

Introduzione all'informatica

la programmazione

  • Casadei, Giorgio A.
testo

Information processing 83

proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983

  • IFIP world computer congress 9. Paris 1983
testo

Computer safety, reliability, and security

23rd international conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004 : proceedings

  • International conference on computer safety, reliability, and security 23. Potsdam, Germania 2004
testo

Parameterized and exact computation

first international workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004 : proceedings

  • International workshop on parameterized and exact computation 1. Bergen, Norvegia 2004
testo

Scientific engineering of distributed Java applications

third international workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003 : revised papers

  • International workshop on scientific engineering of distributed Java applications 3. Luxembourg-Kirchberg, Luxembourg 2003
testo

Resolution proof systems

an algebraic theory

  • Stachniak, Zbigniew
testo

Tools and algorithms for the construction and analysis of systems

9th international conference, TACAS 2003, held as part of the joint european conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 2003 : proceedings

  • International conference on tools and algorithms for the construction and analysis of systems 9. Warsaw, Poland 2003
testo

Principles and practice of constraint programming - CP 2005

11th international conference, CP 2005, Sitges, Spain, October 1-5, 2005 : proceedings

  • International conference on constraint programming 11. Sitges, Spagna 2005
testo

Product focused software process improvement

6th international conference, PROFES 2005, Oulu, Finland, June 13-15, 2005 : proceedings

  • International conference on product focused software process improvement 6. Oulu, Finlandia 2005
testo

Component-based software engineering

8th international symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 : proceedings

  • International symposium on component-based software engineering 8. St. Louis, MO, USA 2005

Risultati 180-200 di 739

Seguici su Twitter

I Nostri Social