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 700-720 di 5360

testo

Logic programming and nonmonotonic reasoning

8th international conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings

  • International conference on logic programming and nonmonotonic reasoning 8. Diamante, Italy 2005
testo

Principles of transaction processing

for the systems professional

  • Bernstein, Philip A.
testo

Surreptitious software

obfuscation, watermarking, and tamperproofing for software protection

  • Collberg, Christian
testo

Proceedings of the symposium on partial evaluation and semantics-based program manipulation

PEPM '91 : Yale University, New Haven, Connecticut, USA, june 17-19, 1991

  • Symposium on partial evaluation and semantics-based program manipulation New Haven, Connecticut 1991
testo

Teaching formal methods

CoLogNET/FME symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings

  • Symposium on teaching formal methods Ghent, Belgium 2004
testo

Computability, complexity, and languages

fundamentals of theoretical computer science

  • Davis, Martin D.
testo

Programming languages and systems

11th european symposium on programming, ESOP 2002 held as part of the joint european conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings

  • European symposium on programming 11. Grenoble, France 2002
testo

Works 2

comandi e applicazioni

  • Viturat, Daniel
testo

Intelligent memory systems

second international workshop, IMS 2000, Cambridge, MA, USA, November 12, 2000 : revised papers

  • Second international workshop on intelligence memory systems 2nd Cambridge, MA 2000
testo

Programming languages and systems

14th european symposium on programming, ESOP 2005, held as part of the joint european conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings

  • European symposium on programming 14. Edimburgo, Regno Unito 2005
testo

Advamces in databases and information systems

5th East European conference, ADBIS 2001, Vilnius, Lithuania, September 25-28, 2001 : Proceedings

testo

Recent advances in intrusion detection

4th international symposium, RAID 2001, Davis, CA, USA, October 10-12, 2001 : proceedings

  • International symposium on recent advances in intrusion detection 4th Davis 2001
testo

Programming in C++

  • Dewhurst, Stephen C.
testo

The standard C library

  • Plauger, Phillip James

Risultati 700-720 di 5360

Seguici su Twitter

I Nostri Social