 | DIPARTIMENTO DI INFORMATICA Università degli Studi di Torino Formal Methods in Computing |
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| DIPARTIMENTO DI INFORMATICA Università degli Studi di Torino Formal Methods in Computing |
| 2010 | |
| Cordero, Ghignone, Lanfranco, Leonardi, Meo, Montani and Roversi | "BIOBITS: A Study on Candidatus Glomeribacter Gigasporarum with a Data Warehouse" Book part. |
| 2009 | |
| Dezani-Ciancaglini and Hindley | "Lambda-Calculus" Book part. |
| Guerrini, Piperno and Dezani-Ciancaglini | "Bohm's Theorem" Book part. |
| Padovani | "Contract-based Discovery and Adaptation of Web Services" Book part. |
| Sciacca and Spinella | "Fuzzy Optimization: Recent Developments and Applications" Book part. |
| 2007 | |
| Sciacca, Spinella and Anile | "Theoretical Advances and Applications of Fuzzy Logic and Soft Computing" Book part. |
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
