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 120-140 di 739

testo

Generative and component-based software engineering

second international symposium, GCSE 2000, Erfurt, Germany, October 9-12, 2000 : revised papers

  • International symposium on generative and component-based software engineering 2nd Erfurt, Germany 2000
testo

Logic versus approximation

essays dedicated to Michael M. Richter on the occasion of this 65th birthday

testo

Computer science logic

15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris France, September 10-13, 2001 : proceedings

  • Workshop on computer science logic 15th Paris 2001
testo

Inductive logic priogramming

11th international conference, ILP 2001, Strasbourg, France, September 9-11, 2001 : Proceedings

testo

Software reuse

methods, techniques, and tools : 7th international conference, ICSR-7, Austin, TX, USA, April 15-19, 2002 : proceedings

  • International conference on software reuse 7th Austin, Texas 2002
testo

Agent-oriented software engineering II

second international workshop, AOSE 2001, Montreal, Canada, May 29, 2001 : revised papers and invited contributions

  • International workshop on agent-oriented software engineering 2nd Montreal 2001
testo

Communicating sequential processes

the first 25 years : symposium on the occasion of 25 years of CSP, London, UK, July 7-8, 2004 : revised invited papers

  • Symposium on the occasion of 25 years of communicating sequential processes Londra 2004
testo

String processing and information retrieval

9th International symposium, SPIRE 2002, Lisbon, Portugal, September 11-13, 2002 : proceedings

  • International symposium on string processing and information retrieval 9. Lisbon, Portugal 2002
testo

Inductive logic programming

12th international conference, ILP 2002, Sydney, Australia, July 9-11, 2002 : revised papers

  • International conference on inductive logic programming 12. Sydney, Australia 2002
testo

Algorithm engineering and experimentation

third international workshop, ALENEX 2001, Washington, DC, USA, January 5-6, 2001 : revised papers

  • International workshop on algorithm engineering and experiments 3rd Washington 2001
testo

Engineering self-organising systems

nature-inspired approaches to software engineering

testo

Software product lines

third international conference, SPLC 2004, Boston, MA, USA, August 30-September 2, 2004 : proceedings

  • International conference on software product lines 3. Boston, MA, USA 2004
testo

Software visualization

international seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised papers

  • International seminar on software visualization Dagstuhl Castle, Germany 2001
testo

Applying formal methods

testing, performance, and M/E-commerce : FORTE 2004 workshops The FormEMC, EPEW, ITM, Toledo, Spain, october 1-2, 2004 : proceedings

  • International workshop on theory building and formal methods in electronic/mobile commerce 1. Toledo, Spain 2004
testo

Introduction to compiling techniques

a first course using ANSI C, LEX and YACC

  • Bennett, Jeremy Peter

Risultati 120-140 di 739

Seguici su Twitter

I Nostri Social