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 1-20 di 45

testo

Verification, model checking, and abstract interpretation

7th international conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings

  • International conference on verification, model checking, and abstract interpretation 7. Charleston, SC, USA 2006
testo

Verification, model checking, and abstract interpretation

third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers

  • International workshop on verification, model checking, and abstract interpretation 3. Venice, Italy 2002
testo

Component deployment

third international working conference, CD 2005, Grenoble, France, November 28-29, 2005 : proceedings

  • International working conference on component deployment 3. Grenoble, Francia 2005
testo

Learning ECMAScript 6

learn all the new ES6 ... [etc.]

  • Prusty, Narayan
testo

Bits and bugs

a scientific and historical review of software failures in computational science

  • Huckle, Thomas
testo

Verification, model checking, and abstract interpretation

6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings

  • International conference on verification, model checking, and abstract interpretation 6. Parigi 2005
testo

Verification, model checking, and abstract interpretation

5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings

  • International conference on verification, model checking, and abstract interpretation 5. Venice, Italy 2004
testo

ToolTalk and Open Protocols

inter-application communication

  • Julienne, Astrid M.
testo

Component deployment

second international working conference, CD 2004, Edinburgh, UK, May 20-21, 2004 : proceedings

  • International working conference on component deployment 2. Edinburgh, UK 2004
testo

Mastering react

master the art of building modern web applications using React

  • Horton, Adam
testo

Verification, model checking, and abstract interpretation

4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings

  • International conference on verification, model checking, and abstract interpretation 4. New York, NY, USA 2003

Risultati 1-20 di 45

Seguici su Twitter

I Nostri Social