Filtra i risultati

Soggetti

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 560-580 di 3511

Dependable computing EDCC-4

4th european dependable computing conference Toulouse, France, October 23-25, 2002 : proceedings

  • European dependable computing conference 4. Toulouse, France 2002

Reti di calcolatori

raccolta di esercizi svolti

  • Lenzini, Luciano

Cloud computing patterns

fundamentals to design, build and manage cloud applications

Databases, information systems, and peer-to-peer computing

first international workshop, DBISP2P 2003, Berlin, Germany, September 7-8, 2003 : revised papers

  • International workshop on databases, information systems, and peer-to-peer computing 1. Berlin, Germany 2003

The semantic web-ISWC 2002

first international semantic web conference Sardinia, Italy, June 9-12, 2002 : proceedings

  • International semantic web conference 1. Sardegna (Italia) 2002

Distributed computing-IWDC 2003

5th international workshop, Kolkata, India, December 27-30, 2003 : proceedings

  • International workshop on distributed computing 5. Kolkata, India 2003

Theorem proving in higher order logics

15th international conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings

  • International conference on theorem proving in higher order logics 15. Hampton, VA, USA 2002

Network analysis

methodological foundations

Distributed computing

16th international conference, DISC 2002, Toulouse, France, October 28-30, 2002 : proceedings

  • International conference on distributed computing 16. Toulouse, France 2002

Web services-ICWS-Europe 2003

international conference ICWS-Europe 2003, Erfurt, Germany, September 2003 : proceedings

  • International conference on web services Erfurt, Germany 2003

Latin 2002

theoretical informatics : 5th latin american symposium, Cancun, Mexico, April 3-6, 2002 : proceedings

  • Latin american symposium on theoretical informatics 5th Cancun, Mexico 2002

Metainformatics

international symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004 : revised selected papers

  • International symposium on metainformatics Salzburg, Austria 2004

Advances in intelligent computing

international conference on intelligent computing, ICIC 2005, Hefei, China, August 23-26, 2005 : proceedings

  • International conference on intelligent computing Hefei, China 2005

Formal methods in software and systems modeling

essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

Guida ai servizi del CINECA

guida per l'utente n. 18.2, aprile 1989

  • Centro di calcolo interuniversitario dell'Italia nord orientale