Sfoglia per Titolo
A Dual Language Approach to the Development of Time-Critical Systems with UML
2005-01-01 Lavazza, LUIGI ANTONIO; Morasca, Sandro; A., Morzenti
A duality result for almost split sequences
1999-01-01 Angeleri, Lidia; Valenta, Helmut
A dynamical mechanism for the origin of nuclear rings
2018-01-01 Sormani, M; Sobacchi, E; Fragkoudi, F; Ridley, M; Tress, Rg; Glover, Sco; Klessen, Rs
A European survey on the aetiology, investigation and management of the "Sportsman's Groin"
2014-01-01 Campanelli, GIAMPIERO GIORGIO SALVATORE CIRO; Kingston, J. A.; Jegatheeswaran, S.; Macutkiewicz, C.; Lloyd, D. M.; Sheen, A. J.
A facile preparation of 2(Z),5(Z),8(Z)-tetradecatrien-1-ol, a key intermediate for eicosanoid synthesis
1989-01-01 Badone, D.; Pagliarin, R.; Sisti, Massimo; Tavecchia, P.
A family of trans-acting factors with distinct regulatory functions control expression of MHC class II genes.
1990-01-01 Accolla, Roberto; Dellabona, P; Scarpellino, L; Carra, G; Sartoris, S.
A Fate Model For Persistent Organic Pollutants in the Baltic Sea Drainage Basin
1999-01-01 Wania, F.; DI GUARDO, Antonio; Pacyna, J.
A finite domain semantics for executing temporal logic specifications
1998-01-01 COEN PORISINI, Alberto; Pradella, M.; SAN PIETRO, P.
A first attempt to produce proteins from insects by means of a circular economy
2019-01-01 Cappellozza, S; Leonardi, Mg; Savoldelli, S; Carminati, D; Rizzolo, A; Cortellino, G; Terova, G; Moretto, E; Badaile, A; Concheri, G; Saviane, A; Bruno, D; Bonelli, M; Caccia, S; Casartelli, M; Tettamanti, G.
A Flexible Authentication Method for UDDI Registries
2003-01-01 E., Bertino; Carminati, Barbara; Ferrari, Elena
A floating platform: a solution to collecting pellets when cormorants roost over water
2003-01-01 Gagliardi, A; Martinoli, Adriano; Wauters, L; Tosi, Guido
A Formal Approach for Designing CORBA-based Applications
2003-01-01 COEN PORISINI, Alberto; Pradella, M.; Rossi, M.; Mandrioli, D.
A formal approach supporting the specification and verification of business conversation requirements.
2005-01-01 Cherubini, A.; Colombo, E.; Francalanci, C; Spoletini, Paola
A formal definition and sound implementation of analogical reasoning in logic programming
1995-01-01 Costantini, S.; Lanzarone, GAETANO AURELIO; Sbarbaro, L.
A formal framework for ASTRAL inter-level proof obbligations
1995-01-01 COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D.
A formal framework for ASTRAL intra-level proof obligations
1993-01-01 COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D.
A Formal Framework for ASTRAL Intra-Level Proof Obligations
1994-01-01 COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D.
A formal framework for synthesis and verification of logic programs
2001-01-01 Avellone, A; Ferrari, Mauro; Fiorentini, C.
A formalization of the IWIM model
2000-01-01 Katis, P.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
A Formalization of UML Statecharts for Real-Time Software Modeling
2002-01-01 V., DEL BIANCO; Lavazza, LUIGI ANTONIO; Mauri, Marco
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Dual Language Approach to the Development of Time-Critical Systems with UML | 1-gen-2005 | Lavazza, LUIGI ANTONIO; Morasca, Sandro; A., Morzenti | |
| A duality result for almost split sequences | 1-gen-1999 | Angeleri, Lidia; Valenta, Helmut | |
| A dynamical mechanism for the origin of nuclear rings | 1-gen-2018 | Sormani, M; Sobacchi, E; Fragkoudi, F; Ridley, M; Tress, Rg; Glover, Sco; Klessen, Rs | |
| A European survey on the aetiology, investigation and management of the "Sportsman's Groin" | 1-gen-2014 | Campanelli, GIAMPIERO GIORGIO SALVATORE CIRO; Kingston, J. A.; Jegatheeswaran, S.; Macutkiewicz, C.; Lloyd, D. M.; Sheen, A. J. | |
| A facile preparation of 2(Z),5(Z),8(Z)-tetradecatrien-1-ol, a key intermediate for eicosanoid synthesis | 1-gen-1989 | Badone, D.; Pagliarin, R.; Sisti, Massimo; Tavecchia, P. | |
| A family of trans-acting factors with distinct regulatory functions control expression of MHC class II genes. | 1-gen-1990 | Accolla, Roberto; Dellabona, P; Scarpellino, L; Carra, G; Sartoris, S. | |
| A Fate Model For Persistent Organic Pollutants in the Baltic Sea Drainage Basin | 1-gen-1999 | Wania, F.; DI GUARDO, Antonio; Pacyna, J. | |
| A finite domain semantics for executing temporal logic specifications | 1-gen-1998 | COEN PORISINI, Alberto; Pradella, M.; SAN PIETRO, P. | |
| A first attempt to produce proteins from insects by means of a circular economy | 1-gen-2019 | Cappellozza, S; Leonardi, Mg; Savoldelli, S; Carminati, D; Rizzolo, A; Cortellino, G; Terova, G; Moretto, E; Badaile, A; Concheri, G; Saviane, A; Bruno, D; Bonelli, M; Caccia, S; Casartelli, M; Tettamanti, G. | |
| A Flexible Authentication Method for UDDI Registries | 1-gen-2003 | E., Bertino; Carminati, Barbara; Ferrari, Elena | |
| A floating platform: a solution to collecting pellets when cormorants roost over water | 1-gen-2003 | Gagliardi, A; Martinoli, Adriano; Wauters, L; Tosi, Guido | |
| A Formal Approach for Designing CORBA-based Applications | 1-gen-2003 | COEN PORISINI, Alberto; Pradella, M.; Rossi, M.; Mandrioli, D. | |
| A formal approach supporting the specification and verification of business conversation requirements. | 1-gen-2005 | Cherubini, A.; Colombo, E.; Francalanci, C; Spoletini, Paola | |
| A formal definition and sound implementation of analogical reasoning in logic programming | 1-gen-1995 | Costantini, S.; Lanzarone, GAETANO AURELIO; Sbarbaro, L. | |
| A formal framework for ASTRAL inter-level proof obbligations | 1-gen-1995 | COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D. | |
| A formal framework for ASTRAL intra-level proof obligations | 1-gen-1993 | COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D. | |
| A Formal Framework for ASTRAL Intra-Level Proof Obligations | 1-gen-1994 | COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D. | |
| A formal framework for synthesis and verification of logic programs | 1-gen-2001 | Avellone, A; Ferrari, Mauro; Fiorentini, C. | |
| A formalization of the IWIM model | 1-gen-2000 | Katis, P.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
| A Formalization of UML Statecharts for Real-Time Software Modeling | 1-gen-2002 | V., DEL BIANCO; Lavazza, LUIGI ANTONIO; Mauri, Marco |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile