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 20-40 di 97

testo

Rewriting techniques and applications

15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004 : proceedings

  • International conference on rewriting techniques and applications 15. Aachen, Germany 2004
testo

Learn C on the Macintosh

includes special version of Symantec's Think C

  • Mark, Dave
testo

Calcolatori elettronici numerici

principi di funzionamento e logica dei circuiti

  • Reviglio, Giuseppe
testo

Practical aspects of declarative languages

4th international symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 : proceedings

  • International symposium on practical aspects of declarative languages 4th Portland, OR, USA 2002
testo

Programming languages

design and implementation

  • Pratt, Terrence W.
testo

Formal methods for open object-based distributed systems

7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings

  • International conference on formal methods for open object-based distributed systems 7. Atene, Grecia 2005
testo

Grammatical inference

algorithms and applications : 6th international colloquium, ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002 : proceedings

  • International colloquium on grammatical inference 6. Amsterdam, The Netherlands 2002
testo

Working conference on formal description of programming concepts

31 july to 5 august, 1977, Algonquin hotel, Saint Andrews, New Brunswick : preprints of technical papers

  • Working conference on formal description of programming concepts Saint Andrews, New Brunswick 1977
testo

Computer aided verification

16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings

  • International conference on computer aided verification 16. Boston, MA, USA 2004
testo

Formal methods for open object-based distributed systems

6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings

  • International conference on formal methods for open object-based distributed systems 6. Paris, France 2003
testo

The philosophy of logical mechanism

essays in honor of Arthur W. Burks, with his responses

testo

Logic and computer science

lectures given at the 1st session of the Centro internazionale matematico estivo (CIME) held at Montecatini Terme, Italy, June 20-28, 1988

  • Centro internazionale matematico estivo
testo

Logic programming and automated reasoning

international conference LPAR 92 : St. Petersburg, Russia, July 1992 : proceedings

  • International conference LPAR 3. San Pietroburgo 1992

Risultati 20-40 di 97

Seguici su Twitter

I Nostri Social