07.2 Altre pubblicazioni (Other types of publications)

07.2 Altre pubblicazioni (Other types of publications): [4097] Home page tipologia

Sfoglia

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.241 a 1.260 di 4.097

Forum Session at the First International Conference on Service Oriented Computing (ICSOC03)

2003-01-01 Aiello, Marco; Bussler, Chris; D'Andrea, Vincenzo; Yang, Jian

A novel methodology for analysis of the computational complexity of block ciphers: Rijndael, Camellia and Shacal-2 compared.

2004-01-01 Granelli, Fabrizio; Boato, Giulia

Services and Objects: Open Issues

2003-01-01 Aiello, Marco; D'Andrea, Vincenzo

The First International Conference on Service Oriented Computing: Doctoral Consortium Proceedings

2003-01-01 Plebani, Pierluigi; Zlatev, Zlatko; Wang, Xia; Berardi, Daniela; Modafferi, Stefano; Bolotin, Alexei; Koshutanski, Hristo

MORA: a movement-based routing algorithm for ad hoc networks

2003-01-01 Granelli, Fabrizio; Boato, Giulia

A semantics for abstraction

2003-01-01 Ghidini, Chiara; Giunchiglia, Fausto

A GENERAL ARCHITECTURE FOR M-LEARNING

2003-01-01 Ronchetti, Marco; Trifonova, Anna

Preliminary Evaluation of Schema Matching Systems

2003-01-01 Yatskevich, Mikalai

Requirements Engineering for the Business Process re-engineering: an example in the Agro-Food Supply Chain

2003-01-01 Bresciani, Paolo; Martinelli, Lucia; Sannicolo', Fabrizio; Marin, Floriana

Le famiglie arcobaleno tra accettazione sociale e ostacoli giuridici

2023-01-01 Palazzo, Nausica; Romeo, Graziella; Ruiu, Gabriele; Vitali, Agnese

Modeling Business Processes with Azzurra: Order Fulﬁlment

2012-01-01 Dalpiaz, Fabiano; Canobbio, Giulia

Embracing Localization Inaccuracy: A Case Study

2012-01-01 Raza, Usman; Picco, Gian Pietro; Murphy, Amy L.

Synthesis of Metamaterial-Enhanced Radiating Devices

2012-01-01 Bekele, Ephrem Teshale; Werner, Douglas Henry; Manica, Luca; Viani, Federico

Load Time Code Validation for Mobile Phone Java Cards

2012-01-01 Nguyen, Quang-Huy; Chetali, Boutheina; Massacci, Fabio; Gadyatskaya, Olga

Predicting cell adhesion probability via the biochemical stochastic pi-calculus

2003-01-01 Laudanna, Carlo; Lecca, Paola; Constantin, Gabriela; Priami, Corrado

Computing the accessibility relation for the Ambient Calculus

2003-01-01 Mardare, Radu; Priami, Corrado

A Propositional Branching Temporal Logic for the Ambient Calculus

2003-01-01 Priami, Corrado; Mardare, Radu

Looking for the Stokes Theorem in an elementary trapezoid

2012-01-01 Goldoni, Luca

Editorial: Nature and Determinants of Socio-Moral Development: Theories, Methods and Applications

2023-01-01 Geraci, Alessandra; Franchin, Laura; Govrin, Aner; Rigo, Paola

A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems

2003-01-01 Franconi, Enrico; Kuper, Gabriel; Serafini, Luciano; Lopatenko, Andrei

Titolo	Anno di pubblicazione	Autori Unitn
Forum Session at the First International Conference on Service Oriented Computing (ICSOC03)	1-gen-2003	Aiello, MarcoBussler, ChrisD'Andrea, VincenzoYang, Jian + -
A novel methodology for analysis of the computational complexity of block ciphers: Rijndael, Camellia and Shacal-2 compared.	1-gen-2004	Granelli, FabrizioBoato, Giulia
Services and Objects: Open Issues	1-gen-2003	Aiello, MarcoD'Andrea, Vincenzo
The First International Conference on Service Oriented Computing: Doctoral Consortium Proceedings	1-gen-2003	Plebani, PierluigiZlatev, ZlatkoWang, XiaBerardi, DanielaModafferi, StefanoBolotin, AlexeiKoshutanski, Hristo + -
MORA: a movement-based routing algorithm for ad hoc networks	1-gen-2003	Granelli, FabrizioBoato, Giulia
A semantics for abstraction	1-gen-2003	Ghidini, ChiaraGiunchiglia, Fausto
A GENERAL ARCHITECTURE FOR M-LEARNING	1-gen-2003	Ronchetti, MarcoTrifonova, Anna
Preliminary Evaluation of Schema Matching Systems	1-gen-2003	Yatskevich, Mikalai
Requirements Engineering for the Business Process re-engineering: an example in the Agro-Food Supply Chain	1-gen-2003	Bresciani, PaoloMartinelli, LuciaSannicolo', FabrizioMarin, Floriana + -
Le famiglie arcobaleno tra accettazione sociale e ostacoli giuridici	1-gen-2023	Nausica PalazzoGraziella RomeoGabriele RuiuAgnese Vitali + -
Modeling Business Processes with Azzurra: Order Fulﬁlment	1-gen-2012	Dalpiaz, FabianoCanobbio, Giulia
Embracing Localization Inaccuracy: A Case Study	1-gen-2012	Raza, UsmanPicco, Gian PietroMurphy, Amy L. + -
Synthesis of Metamaterial-Enhanced Radiating Devices	1-gen-2012	Ephrem Teshale, BekeleDouglas H. , WernerLuca, ManicaFederico, Viani
Load Time Code Validation for Mobile Phone Java Cards	1-gen-2012	Nguyen, Quang-HuyChetali, BoutheinaMassacci, FabioGadyatskaya, Olga + -
Predicting cell adhesion probability via the biochemical stochastic pi-calculus	1-gen-2003	Laudanna, CarloLecca, PaolaConstantin, GabrielaPriami, Corrado + -
Computing the accessibility relation for the Ambient Calculus	1-gen-2003	Mardare, RaduPriami, Corrado
A Propositional Branching Temporal Logic for the Ambient Calculus	1-gen-2003	Priami, CorradoMardare, Radu
Looking for the Stokes Theorem in an elementary trapezoid	1-gen-2012	Goldoni, Luca
Editorial: Nature and Determinants of Socio-Moral Development: Theories, Methods and Applications	1-gen-2023	Geraci, AlessandraFranchin, LauraGovrin, AnerRigo, Paola + -
A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems	1-gen-2003	Franconi, EnricoKuper, GabrielSerafini, LucianoLopatenko, Andrei + -

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.241 a 1.260 di 4.097

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

Scopri

Accesso al fulltext

no fulltext2302
open1647
reserved138
partially open10