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 739

testo

Proceedings software engineering and formal methods

14-18 september 2010, Pisa, Italy

  • Proceedings software engineering and formal methods Pisa 2010
testo

Unifying theories of programming

  • Hoare, Charles Antony Richard
testo

Computer science logic

16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings

  • Workshop on computer science logic 16. Edinburgh, Scotland 2002
testo

Static analysis

12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings

  • International symposium on static analysis 12. Londra 2005
testo

Analisi di problemi e programmazione

corso completo di programmazione con applicazioni in Basic : ad uso dei trienni sperimentali della scuola media superiore

  • Garavaglia, Antonio
testo

FME 2003

formal methods : international symposium of formal methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings

  • International symposium of formal methods Europe Pisa, Italy 2003
testo

Inductive logic programming

15th international conference, ILP 2005, Bonn, Germany, August 10-13, 2005 : proceedings

  • International conference on inductive logic programming 15. Bonn, Germania 2005
testo

Teaching formal methods

CoLogNET/FME symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings

  • Symposium on teaching formal methods Ghent, Belgium 2004
testo

Programming languages and systems

11th european symposium on programming, ESOP 2002 held as part of the joint european conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings

  • European symposium on programming 11. Grenoble, France 2002
testo

Programming languages and systems

14th european symposium on programming, ESOP 2005, held as part of the joint european conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings

  • European symposium on programming 14. Edimburgo, Regno Unito 2005
testo

Information processing 80

proceedings of IFIP Congress 80, Tokyo, Japan, October 6-9, 1980

  • IFIP Congress 80 Tokyo-Melbourne 1980
testo

Embedded control handbook

serving a complex and competitive world with field-programmable embedded control system solutions

  • Microchip Technology
testo

Software engineering research and applications

first international conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003 : selected revised papers

  • International conference on software engineering research and applications 1. San Francisco, CA, USA 2003

Risultati 140-160 di 739

Seguici su Twitter

I Nostri Social