Sfoglia per Titolo

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 11.359 a 11.378 di 31.005
Titolo Data di pubblicazione Autore(i) Tipo File
Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004 1-gen-2004 M., Bernardo; Corradini, Flavio Cura di atti, volumi e cataloghi
Formal methods for the quantitative evaluation of collective adaptive systems (FORECAST) 1-gen-2018 Ter Beek, Maurice H.; Loreti, Michele EDITOR DI SPECIAL ISSUE
Formal Methods for Web Services 1-gen-2009 Bernardo, M.; Padovani, L.; Zavattaro, G. Direzione di riviste
FORMAL METHODS TO ASSESS AND IMPROVE PUBLIC ADMINISTRATION SERVICE DELIVERY PROCESSES 1-gen-2009 Corradini, Flavio; Polini, Andrea; Polzonetti, Alberto; Re, Barbara Contributo in atto di convegno su volume
Formal methods to improve public administration business processes 1-gen-2012 Polini, Andrea; Polzonetti, Alberto; Re, Barbara Articolo
A Formal Model for Event-Condition-Action Rules in Intelligent Environments 1-gen-2016 Vannucchi, Claudia; Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Mostarda, Leonardo; Raimondi, Franco; Tesei, Luca Contributo in atto di convegno su volume
Formal Semantics of an IoT-Specific Language 1-gen-2018 Cacciagrano, Diletta Romana; Culmone, Rosario Contributo in atto di convegno su volume
A Formaldehyde-free Adhesive for Particleboards Based on Soy Flour, Magnesium Oxide, and a Plant-derived Enzymatic Hydrolysate 1-gen-2020 Balducci, F; Adamopoulos, S; Pettinari, C; Canti, E; Di Nicola, C; Tombesi, A; Cecchini, A; Gabbani, C Articolo
A Formaldehyde-Free Bio-Adhesive for Plywood and Particleboards Based on Soy Flour, Magnesium Oxide and a Plant-Derived Enzymatic Hydrolysate 16-mar-2020 Balducci, Francesco Doctoral Thesis
Formalisation and Implementation of the XACML Access Control Mechanism 1-gen-2012 M., Masi; R., Pugliese; Tiezzi, Francesco Capitolo di libro o voce di enciclopedia
Formalisation of BPMN Models: a Focus on Correctness Properties 8-mag-2019 Muzi, Chiara Doctoral Thesis
Formalising Adaptation Patterns for Autonomic Ensembles 1-gen-2014 L., Cesari; R., De Nicola; R., Pugliese; M., Puviani; Tiezzi, Francesco; F., Zambonelli Capitolo di libro o voce di enciclopedia
Formalising and animating multiple instances in BPMN collaborations 1-gen-2022 Corradini, F; Muzi, C; Re, B; Rossi, L; Tiezzi, F Articolo
Formalising BPMN Service Interaction Patterns 1-gen-2018 Muzi, Chiara; Pufahl, Luise; Rossi, Lorenzo; Weske, Mathias; Tiezzi, Francesco Capitolo di libro o voce di enciclopedia
Il formalismo nel diritto dei consumatori 1-gen-2012 Favale, Rocco Articolo
Formalization and Animation of Business Process Collaborations. 23-giu-2020 Rossi, Lorenzo Doctoral Thesis
A formalized framework for mobile cloud computing 1-gen-2014 Amoretti, Michele; Grazioli, Alessandro; Senni, Valerio; Tiezzi, Francesco; Zanichelli, Francesco Articolo
Formalizing properties of mobile agent systems 1-gen-2002 Bettini, Lorenzo; De Nicola, Rocco; Loreti, Michele Capitolo di libro o voce di enciclopedia
Formation of acrylamide in biscuits during baking under different heat transfer conditions 1-gen-2022 Schouten, Ma; Tappi, S; Glicerina, V; Rocculi, P; Angeloni, S; Cortese, M; Caprioli, G; Vittori, S; Romani, S Articolo
Formation of Carbon-Carbon Bond via Nitroalkanes under Heterogeneous Catalyst 1-gen-1997 Ballini, Roberto; Bosica, Giovanna Capitolo di libro o voce di enciclopedia
Mostrati risultati da 11.359 a 11.378 di 31.005
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