語系
跳至 : 概要 | 書目資訊 | 主題

Pettorossi, Alberto.

概要
作品: 2 作品在 1 項出版品 1 種語言
書目資訊
Logic based program synthesis and transformation = 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers / by: Pettorossi, Alberto.; SpringerLink (Online service); International Workshop on Logic-Based Program Synthesis and Transformation (2001 :) (書目-語言資料,印刷品)
Problems in mathematical biophysics = a volume in memory of Alberto Gandolfi / by: Gandolfi, Alberto.; D'Onofrio, Alberto.; Bertuzzi, Alessandro.; Pettorossi, Alberto.; Gandolf, Riccardo.; SpringerLink (Online service) (書目-電子資源)
 
 
變更密碼
登入