BENINI, MARCO

BENINI, MARCO  

DIPARTIMENTO DI SCIENZA E ALTA TECNOLOGIA  

Mostra records
Risultati 1 - 20 di 58 (tempo di esecuzione: 0.135 secondi).
Titolo Data di pubblicazione Autore(i) File
A Constructive Mathematics approach for Natural Language formal grammars 1-gen-2009 Benini, Marco; Gobbo, Federico
A Constructive Modeling Language for Object Oriented Information Systems 1-gen-2006 Ornaghi, M; Benini, Marco; Ferrari, Mauro; Fiorentini, C; Momigliano, A.
A Constructive Modeling Language for Object Oriented Information Systems 1-gen-2005 Ornaghi, M; Benini, Marco; Ferrari, Mauro; Fiorentini, C; Momigliano, A.
A Model for Short-Term Content Adaptation 1-gen-2005 Benini, Marco; Trombetta, Alberto; Acquaviva, M.
A Power Conservative Underwater Localization Protocol 1-gen-2008 Sicari, SABRINA SOPHY; Benini, Marco
Abstract Mathematics for Actual Computation: Hilbert's Program in the 21st Century 1-gen-2014 Benini, Marco
An Ad-Hoc Semantics to Study Structural Properties of Types 1-gen-2021 Benini, Marco; Bonacina, Roberta
Adaptive Strategies in Web-Based Learning Systems: A Comparative Survey 1-gen-2005 Acquaviva, M; Benini, Marco
Algorithms and their explanations 1-gen-2014 Benini, Marco; Gobbo, Federico
Annotation with adpositional argumentation 1-gen-2020 Gobbo, Federico; Benini, Marco; Wagemans, Jean H. M.
Assessing the risk to intercept VoIP calls 1-gen-2008 Benini, Marco; Sicari, SABRINA SOPHY
Barendregt's Lambda-Cube in Isabelle 1-gen-1995 Benini, Marco
Complex Arguments in Adpositional Argumentation 1-gen-2021 Gobbo, F.; Benini, M.; Wagemans, J. H. M.
Computer Arithmetic: Logic, Calculation and Rewriting 1-gen-1999 Benini, Marco; Nowotka, D.; Pulley, C.
Constructive Adpositional Grammars: Foundations of Constructive Linguistics 1-gen-2011 Gobbo, Federico; Benini, Marco
Constructive Analysis and Synthesis of Programs 1-gen-2009 Benini, Marco
Constructive Methods in Automatic Analysis of Correctness Proofs 1-gen-1999 Avellone, A.; Benini, Marco; Nowotka, D.
Correctness by Construction (CORCON) 1-gen-2014 Benini, Marco
Dealing with the security behaviour of large scale systems 1-gen-2012 Benini, Marco; Sicari, SABRINA SOPHY
Dependency and Valency: From Structural Syntax to Constructive Adpositional Grammars 1-gen-2013 Gobbo, Federico; Benini, Marco