Affina la ricerca con i filtri

Filtri correnti:


Aggiungere filtri:

Utilizza i filtri per perfezionare i risultati della ricerca.

Paginazione
 
   
Prodotto trovati:
TitoloData di pubblicazioneAutore(i)
1Talea: An Extensible Framework for E-Business Integration2007G. LEVI; A. VAGLIENGO; A. GOY
2Verifying Business Process Compliance by Reasoning about Actions2010D. D'Aprile; L. Giordano; V. Gliozzi; A. Martelli; G.L. Pozzato; D. Theseider Dupré
3Curricula Modeling and Checking2007M. BALDONI; C. BAROGLIO; E. MARENGO
4How to Program Organizations and Roles in the JADE Framework2008M. BALDONI; G. BOELLA; V. GENOVESE; R. GRENNA; L. VAN DER TORRE
5Dependent Automata for the Modelling of Dependencies2008Susanna Donatelli
6Refinement Types for Program Analysis1996M. COPPO; DAMIANI F.; GIANNINI P.
7Reverse Generics - Parametrization after the Fact2011Alexandre Bergel; Lorenzo Bettini
8Reasoning about Conversation Protocols in a Logic-based Agent Language2003M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI
9Parameter Study in Disk Jet Systems2009P. Tzeferacos; A. Ferrari; A. Mignone; S. Massaglia; G. Bodo; C. Zanni
10Strict Divergence for Probabilistic Timed Automata2009J. SPROSTON

Scopri