segue ELABORAZIONE
[pagina inizio voce]
Manna, Zohar
The temporal logic of reactive and concurrent systems - specification / Zohar Manna, Amir Pnueli
New York etc. - Springer, c1992
Saggio Monografico
Manna, Zohar
Temporal verification of reactive systems - safety / Zohar Manna, Amir Pnueli
New York (etc.) - Springer, c1995
Saggio Monografico
Manna, Zohar
Teoria matematica della computazione / Zohar Manna
Torino - Boringhieri, 1978
Saggio Monografico
Manns, Tom
La garanzia di qualita del software / Tom Manns, Michael Coleman ; traduzione di Maria Grazia Fugini
Milano ecc. - Masson, 1990
Saggio Monografico
Manolakis, Dimitri G.
Statistical and adaptive signal processing - spectral estimation, signal modeling, adaptive filtering and array processing / Dimitris G. Manolakis, Vinay K. Ingle, Stephen M. Kogon
Boston (etc.) - McGraw-Hill, (2000)
Saggio Monografico
Manolakis, Dimitri G.
Statistical and adaptive signal processing - spectral estimation, signal modeling, adaptive filtering and array processing / Dimitris G. Manolakis, Vinay K. Ingle, Stephen M. Kogon
Boston ; London - Artech House, c2005
Saggio Monografico
Manoukian, Setrag
Sa'di - concordance and lexical repertories of 1000 lines / Setrag Manoukian, Riccardo Zipoli
Venezia - poligrafico, stampa 1992
Saggio Monografico
Mantini, Pierluigi
Il condono edilizio e la nuova disciplina dei controlli - analisi critica e guida operativa con una rassegna di 300 casi / Pierluigi Mantini ; elaborazione software S.T.R..
Milano - Pirola, 1994
Saggio Monografico
Mantini, Pierluigi
Il condono edilizio e la nuova disciplina dei controlli - analisi critica e guida operativa con una rassegna di 300 casi / Pierluigi Mantini ; elaborazione software S.T.R..
Milano - Pirola, 1995
Saggio Monografico
Mantovani, Fabrizio (1965- )
Distillazione reversibile di miscele non ideali - elaborazione di modelli e codici di calcolo / Fabrizio Mantovani ; rel. A. Daghetta
Milano - Universita degli studi, 1990
Saggio Monografico
Manuzzi, Marialisa
Problematiche di progetto e implementazione dei meccanismi di thread nell'ambito di sistemi operativi basati su microkernel / Marialisa Manuzzi ; relatore- Giovanni Erbacci ; correlatore- Roberto Rossi. - 1996. - XIV, 187 p. ; ill. ; 30 cm ' Tesi di laurea ds. in Sistemi per l' elaborazione dell'informazione II, Universita degli studi di Bologna, Facolta di scienze matematiche, fisiche e naturali, Corso di laurea in scienze dell'informazione, a.a. 1995/1996.
Saggio Monografico
Manzo, Luigi (informatico)
Lavorare con Windows- il registro di sistema / Luigi Manzo
Milano - FAG, (2006
Saggio Monografico
Manzoni, Angelo (Psicologo)
Psicologia delle condotte sessuali su internet / Angelo Manzoni
Milano - Armando, 2010
Saggio Monografico
Maple summer workshop and symposium (1993
Mathematical computation with Maple 5 - ideas and applications - proceedings of the Maple Summer workshop and symposium, University of Michigan, Ann Arbor, June 28-30, 1993 / Thomas Lee, editor
Boston etc. - Birkhauser, c1993
Saggio Monografico
Maragliano, Enrica
Modulo 3 Elaborazione di testi / Enrica Maragliano
Milano - Paravia Bruno Mondadori, c2001
Saggio Monografico
|