Filtra i risultati

Soggetti

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 420-440 di 5360

Testing guide release 4.0

  • Owasp (Open Web Application Security Project)

Formal modeling and analysis of timed systems

first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers

  • International workshop on formal modeling and analysis of timed systems 1. Marseille, France 2003

Fundamental approaches to software engineering

7th international conference, FASE 2004, held as part of the joint european conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings

  • International conference on fundamental approaches to software engineering 7. Barcellona, Spagna 2004

Compiler construction

13th international conference, CC 2004, held as part of the joint european conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March/April 2004 : proceedings

  • International conference on compiler construction 13. Barcelona, Spain 2004

Logic programming

20th international conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings

  • International conference on logic programming 20. Saint-Malo, Francia 2004

Proceedings of the ninth international conference on information knowledge management

CIKM 2000, November 6-11, 2000, McLean, VA

  • International conference on information knowledge management 9. McLean, VA, USA 2000

Advances in cryptology-ASIACRYPT 2002

8th international conference on the theory and application of cryptology and information security, Queenstown, New Zealand, December 1-5, 2002 : proceedings

  • International conference on the theory and application of cryptology and information security 8. Queenstown, New Zealand 2002

Proceedings of the ACM SIGPLAN '90 conference on programming language design and implementation

White Plains, New York, June 20-22, 1990

  • ACM Sigplan '90 conference on programming language design and implementation White Plains, New York 1990

Computer aided verification

17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings

  • International conference on computer aided verification 17. Edinburgo, Scozia 2005

SAS/QC Software: reference

version 6

  • Statistical Advanced Software

Engineering self-organising systems [+]

methodologies and applications

Security in communication networks

4th international conference, SCN 2004, Amalfi, Italy, September 8-10, 2004 : revised selected papers

  • International conference on security in communication networks 4. Amalfi, Italia 2004

Data and applications security XIX

19th annual IFIP WG 11.3 working conference on data and applications security, Storrs, CT, USA, August 7-10, 2005 : proceedings

  • Annual IFIP WG 11.3 working conference on data and applications security 19. Storrs, CT, USA 2005

SAS software: changes and enhancements

release 6.10

  • Statistical Advanced Software