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 1460-1480 di 5360

testo

Agent-oriented software engineering III

third international workshop, AOSE 2002, Bologna, Italy, July 15, 2002 : revised papers and invited contributions

  • International workshop on agent-oriented software engineering 3. Bologna, Italy 2002
testo

New security paradigms workshop 2001

proceedings : September 10th-13th, Cloudcroft, NM, USA

  • New security paradigms workshop Cloudcroft, NM, USA 2001
testo

Advances in learning software organizations

4th international workshop, LSO 2002, Chicago, IL, USA, August 6, 2002 : revised papers

  • International workshop on learning software organizations 4. Chicago, IL, USA 2002
testo

Composition of secure multi-party protocols

a comprehensive study

  • Lindell, Yehuda
testo

Wir sprechen anders

warum Computer nicht sprechen können : eine Publikation der Deutschen Akademie für Sprache und Dichtung

testo

Security in pervasive computing

first international conference, Boppard, Germany, March 12-14, 2003 : revised papers

  • International conference on security in pervasive computing 1. Boppard, Germany 2003
testo

Sofsem 2004

theory and practice of computer science : 30th conference on current trends in theory and practice of computer science, Merín, Czech Republic, January 24-30, 2004 : proceedings

  • Conference on current trends in theory and practice of computer science 30. Merín, Czech Republic 2004
testo

Verification, model checking, and abstract interpretation

5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings

  • International conference on verification, model checking, and abstract interpretation 5. Venice, Italy 2004
testo

Introducing formal methods

a less mathematical approach

  • Ford, Neville J.
testo

Database programming languages

9th international workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003 : revised papers

  • International workshop on database programming languages 9. Potsdam, Germany 2003
testo

ACM multimedia 2001 workshops

multimedia information retrieval : Ottawa, Canada, October 5, 2001

  • Multimedia information retrieval Ottawa, Canada 2001
testo

Cryptography and coding

9th IMA international conference, Cirencester, UK, December 16-18, 2003 : proceedings

  • International conference on cryptography and coding 9. Cirencester, UK 2003
testo

Model checking software

9th international SPIN workshop, Grenoble, France, April 11-13, 2002 : proceedings

  • International SPIN workshop 9. Grenoble, France 2002
testo

Turbo Pascal

an introduction to the art and science of programming

  • Savitch, Walter

Risultati 1460-1480 di 5360

Seguici su Twitter

I Nostri Social