Filtra i risultati

Soggetti

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 560-580 di 5360

Modelli dei dati

linguaggi e sistemi per basi di dati

  • Albano, Antonio

Communicating sequential processes

the first 25 years : symposium on the occasion of 25 years of CSP, London, UK, July 7-8, 2004 : revised invited papers

  • Symposium on the occasion of 25 years of communicating sequential processes Londra 2004

Information security applications

4th international workshop, WISA 2003, Jeju Island, Korea, August 25-27, 2003 : revised papers

  • International workshop on information security applications 4. Jeju Island, Korea 2003

Program development in java

abstraction, specification, and object-oriented design

  • Liskov, Barbara

Selected areas in cryptography

9th annual international workshop, SAC 2002, St. John's, Newfoundland, Canada, August 15-16, 2002 : revised papers

  • International workshop on selected areas in cryptography 9. St. John's, Newfoundland, Canada 2002

Logic in computer science

modelling and reasoning about systems

  • Huth, Michael

Halo

a computer program to calculate muon halo

  • Iselin, Christoph

Hypertext

from text to expertext

  • Rada, Roy

String processing and information retrieval

9th International symposium, SPIRE 2002, Lisbon, Portugal, September 11-13, 2002 : proceedings

  • International symposium on string processing and information retrieval 9. Lisbon, Portugal 2002

Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on practical software development environments

Palo Alto, California, December 9-11, 1986

  • Software engineering symposium on practical software development environments Palo Alto, California 1986

Proceedings of the ACM SIGPLAN '91 conference on programming language design and implementation, Toronto, Ontario, Canada, June 26-28, 1991

  • Association for computing machinery conference on programming language design and implementation Toronto, Canada 1991

Web information systems - WISE 2004

5th international conference on web information systems engineering, Brisbane, Australia, November 22-24 : proceedings

  • International conference on web information systems engineering 5. Brisbane, Australia 2004

Fme '93

industrial-strength formal methods : First International symposium of formal methods Europe, Odense, Denmark, April 19-23, 1993 : proceedings

  • International symposium of formal methods Europe 1. Odense, Denmark 1993

Lezioni e laboratori di tecnologie web lato client

con riferimento ai linguaggi HTML, CSS e JavaScript

  • Avvenuti, Marco