Filtra i risultati

Soggetti

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 980-1000 di 5360

Rigorous software development

an introduction to program verification

UIST 99

proceedings of the 12th annual ACM symposium on user interface software and technology : Asheville, North Carolina, November 7-10, 1999

  • Association for Computing Machinery symposium on user interface software and technology 12. Asheville, North Carolina, USA 1999

Software

requirements, specification and testing

  • CSR Workshop <1984 University of East Anglia>

Conference record of POPL 2004

the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages : papers presented at the symposium : Venice, Italy, January 14-16 2004

  • Symposium on principles of programming languages 31. Venezia 2004

Turbo Pascal 5

the complete reference

  • O'Brien, Stephen K.

Information security

8th international conference, ISC 2005, Singapore, September 20-23, 2005 : proceedings

  • International conference on information security 8. Singapore 2005

1986 CERN school of computing

Renesse, The Netherlands, 30 august-13 september 1986 : proceedings

  • Cern school of computing 9. Renesse, Netherlands 1986

Advanced functional programming

5th international school, AFP 2004, Tartu, Estonia, August 14 - 21, 2004 : revised lectures

  • International school on advanced functional programming 5. Tartu, Estonia 2004

Windows 3.1

guida completa

  • Mullen, Robert

Excel

guida avanzata

  • Hixson, Amanda C.

Code review guide, V1.1

release

  • Owasp (Open Web Application Security Project)

Embedded software

third international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings

  • International conference on embedded software 3. Philadelphia, PA, USA 2003