biblio toscana

Libri preferiti

Accedi all'area personale per aggiungere e visualizzare i tuoi libri preferiti

Area Personale

Filtra i risultati

Autori

Soggetti

Tipologia

Provincia

Reti

Cerca per titolo, autore, soggetto

Titolo

Autore

Soggetto

Ordinamento Alfabetico Alf. decr. Rilevanza Anno cresc. Anno decr.

Localizzazione Tutte Risorse pubblicate in Toscana

Lingua

Nazione

Tipologia Tipologia di supporto

Livello Bibliografico

Pubblicato dal

al

Isbn

Annulla ricerca

Risultati ricerca

Risultati 100-120 di 156

Formal specification & documentation using Z

a case study approach

Bowen, Jonathan

Theory and practice of software technology

proceedings of the international seminars on software engineering, Capri, Italy, 1980 e 1982

Generative programming

methods, tools and applications

Czarnecki, Krzysztof

Advanced information systems engineering

16th international conference, CAiSE 2004, Riga, Latvia, June 7-11, 2004 : proceedings

International conference on advanced information systems engineering 16. Riga, Latvia 2004

Algebraic methodology and software technology

10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings

International conference on algebraic methodology and software technology 10. Stirling, Scotland, UK 2004

Reflection and software engineering

Algebraic methodology and software technology

8th international conference, AMAST 2000 : Iowa City, Iowa, Usa, May 20-27, 2000 : Proceedings

AMAST

Software metrics

a rigorous approach

Fenton, Norman E.

INTELLIGENT AGENTS II

Agent Theories, Architectures, and Languages - IJCAI '95 Workshop (ATAL), Montreal, Canada, August 1995 , Proceedings

Wooldridge, Michael J.

Advanced information systems engineering

14th international conference, CAiSE 2002, Toronto, Canada, May 27-31, 2002 : proceedings

Conference on advanced information systems engineering 14. Toronto, Canada 2002

Intelligent agents V

agent theories, architectures and languages : 5th international workshop, ATAL'98 : Paris, France, july 4-7, 1998, : Proceedings

Lectures on embedded systems

european educational forum, school on embedded systems : Veldhoven, The Netherlands, november 25-29, 1996

Software process technology

9th european workshop, EWSPT 2003, Helsinki, Finland, September 1-2, 2003 : proceedings

European workshop on software process technology 9. Helsinki, Finland 2003

Product focused software process improvement

5th international conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004 : proceedings

International conference on product focused software process improvement 5. Kansai Science City, Japan 2004

Correct systems

building a business process solution

Holcombe, Mike

Software engineering and middleware

4th international workshop, SEM 2004, Linz, Austria, September 20-21, 2004 : revised selected papers

International workshop on software engineering and middleware 4. Linz, Austria 2004

Radical innovations of software and systems engineering in the future

9th international workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 : revised papers

International workshop on radical innovations of software and systems engineering in the future 9. Venice, Italy 2002

Feature-oriented software product lines

concepts and implementation

Algebraic specifications in software engineering

An introduction

Horebeek, Ivo van

Matchmaking in electronic markets

an agent-based approach towards matchmaking in electronic negotiations

Veit, Daniel

Risultati 100-120 di 156