BUCCI, GIACOMO

BUCCI, GIACOMO  

Mostra records
Risultati 1 - 20 di 47 (tempo di esecuzione: 0.03 secondi).
Titolo Data di pubblicazione Autore(i) File
A DISCRETE TIME MODEL FOR PERFORMANCE EVALUATION AND CORRECTNESS VERIFICATION OF REAL TIME SYSTEMS 2003 G. BUCCI; E. VICARIO; L. SASSOLI
A methodology for the design of distributed computer systems 1979 G. BUCCI; STREETER D.
A microprogrammed CPU with a microcoded operating system kernel 1981 G. BUCCI; BUCCI G.; BALDASSARRI F
A robust tracking of 3D motionComputer Vision 1994 A. Borri;G. Bucci;P. Nesi
A TOOL SET FOR MODELING AND SIMULATION OF ROBOTIC WORKCELLS 2005 G. BUCCI; E. VICARIO; F. BALDINI
A tool supporting evaluation of non-MarkovianFault Trees 2008 G. Bucci; L. Carnevali; E. Vicario
An Incremental Approach to Software ReengineeringBased on Object-Relational Mapping 2008 G. Bucci; V. Sandrucci; E. Vicario
An object-oriented dual language for specifying reactive systems 1994 G. Bucci;M. Campanai;P. Nesi;M. Traversi
An Ontological Approach to Systematization of SW-FMEA 2012 Irene Bicchierai; Giacomo Bucci; Carlo Nocentini; Enrico Vicario
An Ontological Sw Architecture For The Development Of Cooperative Web Portals 2007 G. Bucci; V. Sandrucci; E. Vicario; S. Mecca
An Ontological SW Architecture Supporting Agile Development of Semantic Portals 2008 G. Bucci; V. Sandrucci; E. Vicario
An Ontological SW Architecture supporting annotation and retrieval of Digital Resources 2009 G. Bucci; V. Sandrucci; E. Vicario
An Ontological SW Architecture supporting contribution and retrieval of service and process models 2010 G. Bucci; V. Sandrucci; E. Vicario
Architettura e organizzazione dei calcolatori elettronici - Fondamenti 2005 G. BUCCI
Architettura e organizzazione dei calcolatori elettronici - Strutture avanzate 2006 G. BUCCI
Architetture dei calcolatori elettronici 2001 G. BUCCI
Assessing the bibliometric productivity of forest scientists in Italy 2016 Giannetti F.; Chirici G.; Paoletti E.; Borghetti M.; Corona P.; Bucci G.
Calcolatori Elettronici - Architettura e organizzazione 2009 G. Bucci
Combining UML-MARTE and preemptive Time Petri Nets: An Industrial Case Study 2013 I. Bicchierai;G. Bucci;L. Carnevali;E. Vicario
Compositional validation of time-critical systems using Communicating Petri Nets 1995 G. BUCCI; E. VICARIO