Filtra i risultati

Soggetti

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 420-440 di 3511

Complete ECDL

  • Kennedy, James Anthony

La nuova ECDL più full standard

(Certificazione informatica accreditata da Accredia) : per gli insegnamenti di informatica e per il conseguimento della nuova Patente europea del computer : per Windows 7 e Vista Gmail e Windows Mail, Office 2010, 2007, 2013 e 365

  • Storchi, Mario R.

Formal methods and software engineering

7th international conference on formal engineering methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings

  • International conference on formal engineering methods 7. Manchester, UK 2005

Formal tecniques in real-time and fault-tolerant systems

7th International symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, september 9-12, 2002 : proceedings

  • International symposium on formal techniques in real-time and fault-tolerant systems 7. Oldenburg, Germany 2002

2010 44th annual conference on informatuion sciences and systems (CISS 2010)

Princeton, New Jersey, USA, 17-19 March 2010

  • Annual conference on information sciences and systems 44. Princeton 2010

Evolutionary trends of the internet

2001 Tyrhenian international workshop on digital communications, IWDC 2001, Taormina, Italy, September 17-20, 2001 : proceedings

  • International workshop on digital communications Taormina 2001

Assembler e corrispondenza fra C++ e assembler

con riferimento al personal computer e all'ambiente di programmazione DJGPP

  • Frosini, Graziano

Experimental quantum computation and information

proceedings of the international school of physics "Enrico Fermi" : course CXLVIII : Varenna on Como lake, Villa Monastero 17-27 July 2001

Internet senza fatica

guida rapida

  • Levine, John R.

CUU 2003

proceedings of the 2003 conference on universal usability, November 10-11, 2003, Vancouver, British Columbia, Canada

  • Conference on universal usability Vancouver, British Columbia, Canada 2003

Pianificazione, uso e gestione dei sistemi informativi

competenze interdisciplinari per l'applicazione delle tecnologie dell'informazione e della comunicazione nel mondo del lavoro

  • Schgör, Paolo

Theorem proving in higher order logics

17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings

  • International conference on theorem proving in higher order logics 17. Park City, Utah, USA 2004

History and philosophy of computing

third international conference, HaPoC 2015, Pisa (Italy), October 8-11, 2015 : revised selected papers

  • International conference on the history and philosophy of computing 3. Pisa 2015

Mathematical foundations of computer science 2004

29th international symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004 : proceedings

  • International symposium on mathematical foundations of computer science 29. Praga, Repubblica Ceca 2004