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 1620-1640 di 5360

testo

Algebraic and coalgebraic methods in the mathematics of program construction

international summer school and workshop, Oxford, UK, April 10-14, 2000 : revised lectures

  • School on algebraic and coalgebraic methods in the mathematics of program construction Oxford, UK 2000
testo

Software process technology

9th european workshop, EWSPT 2003, Helsinki, Finland, September 1-2, 2003 : proceedings

  • European workshop on software process technology 9. Helsinki, Finland 2003
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

Programming languages and systems

12th european symposium on programming, ESOP 2003, held as part of the joint european conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003

  • European symposium on programming 12. Warsaw, Poland 2003
testo

Universal access

theoretical perspectives, practice, and experience : 7th ERCIM international workshop on user interfaces for all, Paris, France, October 24-25, 2002 : revised papers

  • International workshop on user interfaces for all 7. Paris 2002
testo

Information security and cryptology-ICISC 2002

5th international conference, Seoul, Korea, November 28-29, 2002 : revised papers

  • International conference on information security and cryptology 5. Seoul, Korea 2002
testo

Product focused software process improvement

5th international conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004 : proceedings

  • International conference on product focused software process improvement 5. Kansai Science City, Japan 2004
testo

Decay TURTLE

(Trace unlimited rays through lumped elements) : a computer program for simulating charged-particle beam transport systems, including decay calculations

  • Brown, Karl L.
testo

Computer supported cooperative work in design I

8th international conference, CSCWD 2004, Xiamen, China, May 26-28, 2004 : revised selected papers

testo

Programming in Prolog

  • Clocksin, William F.
testo

Primality testing in polynomial time

from randomized algorithms to primes is in P

  • Dietzfelbinger, Martin
testo

Privacy in statistical databases

CASC Project final conference, PSD 2004, Barcelona, Catalonia, Spain, June 9-11, 2004 : proceedings

  • Project final conference on privacy in statistical databases Barcelona, Catalonia, Spain 2004
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

Advanced symbolic analysis for compilers

new techniques and algorithms for symbolic program analysis and optimization

  • Fahringer, Thomas

Risultati 1620-1640 di 5360

Seguici su Twitter

I Nostri Social