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 660-680 di 5360

testo

Global optimization and constraint satisfaction

first international workshop global constraint optimization and constraint satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2002 : revised selected papers

  • International workshop on global constraint optimization and constraint satisfaction 1. Valbonne-Sophia Antipolis, France 2002
testo

Information and communications security

5th international conference, ICICS 2003, Huhehaote, China, October 10-13, 2003 : proceedings

  • International conference on information and communications security 5. Huhehaote, China 2003
testo

UNIX internals

the new frontiers

  • Vahalia, Uresh
testo

Software security - theories and systems

second Mext-NSF-JSPS international symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 : revised papers

  • International symposium on software security 2. Tokyo, Japan 2003
testo

CP/M-86

Unix

  • Dahmke, Mark
testo

Conceptual modeling - ER 2004

23rd international conference on conceptual modeling, Shanghai, China, November 8-12, 2004 : proceedings

  • International conference on conceptual modeling 23. Shanghai, Cina 2004
testo

Generative programming and component engineering

third international conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004 : proceedings

  • Conference on generative programming and component engineering Vancouver, Canada 2004
testo

Introduction to compiling techniques

a first course using ANSI C, LEX and YACC

  • Bennett, Jeremy Peter
testo

High integrity software

the Spark approach to safety and security

  • Barnes, John G.P.
testo

Touch of class

learning to program well with objects and contracts

  • Meyer, Bertrand
testo

Proceedings software engineering and formal methods

14-18 september 2010, Pisa, Italy

  • Proceedings software engineering and formal methods Pisa 2010
testo

Unifying theories of programming

  • Hoare, Charles Antony Richard
testo

Matematica sperimentale per unita' didattiche

principi di programmazione per l'uso del calcolatore

  • Battelli, Mario
testo

Esercizi di Fortran

con applicazioni di calcolo numerico

  • Signorini, C.
testo

Proceedings of the eighth international conference on information knowledge management

CIKM'99, November 2-6, 1999, Kansas City, Missouri

  • International conference on information knowledge management 8. Kansas City, Missouri, USA 1999

Risultati 660-680 di 5360

Seguici su Twitter

I Nostri Social