2.1 Contributo in volume (Capitolo o Saggio)

2.1 Contributo in volume (Capitolo o Saggio): [1504] Home page tipologia

Sfoglia

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.141 a 1.160 di 1.504

Building Efficient Decision Procedures on top of SAT solvers

2006-01-01 Cimatti, Alessandro; Sebastiani, Roberto

Analyzing the Security of Electronic Voting Systems: Can Formal Methods Really Help?

2012-01-01 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo

Chromium in MEMS Technology

2011-01-01 Mulloni, Viviana

In situ attenuated total reflection (ATR) spectroscopic analysis of tribological phenomena

2002-01-01 Piras, Federica Maria; A., Rossi; N. D., Spencer

Hemocompatible Materials

2006-01-01 A., Magnani; Piras, Federica Maria

Giuseppina Negrelli zieht in den Krieg. Das Jahr 1809 für ein Mädchen aus dem Primiero

2010-01-01 Nubola, Cecilia

Les rites de la libération. Justice et grâce à Milan sous l’Ancien Régime

2012-01-01 Nubola, Cecilia

Giustizia, perdono, oblio. La grazia in Italia dall'età moderna ad oggi

2011-01-01 Nubola, Cecilia

Urge without Desire? Confessional Books, Moral Casuistry and the Features of Concupiscentia (15th-17 th Centuries)

2011-01-01 Alfieri, Fernanda

Attorno alla Marmolada: traffici e commerci sulle vie di valico in età moderna

2011-01-01 Occhi, Katia

Vulnerabilità e rilevanza della sfera pubblica nelle democrazie moderne

2011-01-01 Costa, Paolo

SMT-Based Software Model Checking

2010-01-01 Cimatti, Alessandro

Adaptation of Service-Based Systems

2010-01-01 Kazhamiakin, Raman; S., Benbernou; L., Baresi; P., Plebani; M., Uhlig; O., Barais

Analytical Quality Assurance

2010-01-01 A., Metzger; S., Benbernou; M., Carro; M., Driss; G., Kecskemeti; Kazhamiakin, Raman; K., Krytikos; A., Mocci; E., Di Nitto; B., Wetzstein; F., Silvestri

Integrating Perfective and Corrective Adaptation of Service-based Applications

2010-01-01 A., Gehlert; A., Metzger; D., Karastoyanova; Kazhamiakin, Raman; K., Pohl; F., Leymann; Pistore, Marco

Service Engineering

2010-01-01 V., Andrikopoulos; Bucchiarone, Antonio; E., Di Nitto; Kazhamiakin, Raman; S., Lane; V., Mazza; I., Richardson

Describing Case Studies and Classifying Research Approaches

2010-01-01 Bucchiarone, Antonio; Kazhamiakin, Raman; V., Mazza; P., Plebani

Merging global and specialized linguistic ontologies

2010-01-01 Speranza, Manuela; Magnini, Bernardo

Updating a Protocol-based Decision-Support System’s Knowledge Base: a Breast Cancer Case Study

2011-01-01 Eccher, Claudio; Andreas, Seyfang; Antonella, Ferro; Silvia, Miksch

Sémantický web: niektoré aktuálne výzvy (Semantic Web: Selected Current Challenges)

2010-01-01 Juraj, Frank; Vladimír, Dziuban; Homola, Martin

Titolo	Data di pubblicazione	Autore(i)
Building Efficient Decision Procedures on top of SAT solvers	1-gen-2006	Cimatti, Alessandro; Sebastiani, Roberto
Analyzing the Security of Electronic Voting Systems: Can Formal Methods Really Help?	1-gen-2012	Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
Chromium in MEMS Technology	1-gen-2011	Mulloni, Viviana
In situ attenuated total reflection (ATR) spectroscopic analysis of tribological phenomena	1-gen-2002	Piras, Federica Maria; A., Rossi; N. D., Spencer
Hemocompatible Materials	1-gen-2006	A., Magnani; Piras, Federica Maria
Giuseppina Negrelli zieht in den Krieg. Das Jahr 1809 für ein Mädchen aus dem Primiero	1-gen-2010	Nubola, Cecilia
Les rites de la libération. Justice et grâce à Milan sous l’Ancien Régime	1-gen-2012	Nubola, Cecilia
Giustizia, perdono, oblio. La grazia in Italia dall'età moderna ad oggi	1-gen-2011	Nubola, Cecilia
Urge without Desire? Confessional Books, Moral Casuistry and the Features of Concupiscentia (15th-17 th Centuries)	1-gen-2011	Alfieri, Fernanda
Attorno alla Marmolada: traffici e commerci sulle vie di valico in età moderna	1-gen-2011	Occhi, Katia
Vulnerabilità e rilevanza della sfera pubblica nelle democrazie moderne	1-gen-2011	Costa, Paolo
SMT-Based Software Model Checking	1-gen-2010	Cimatti, Alessandro
Adaptation of Service-Based Systems	1-gen-2010	Kazhamiakin, Raman; S., Benbernou; L., Baresi; P., Plebani; M., Uhlig; O., Barais
Analytical Quality Assurance	1-gen-2010	A., Metzger; S., Benbernou; M., Carro; M., Driss; G., Kecskemeti; Kazhamiakin, Raman; K., Krytikos; A., Mocci; E., Di Nitto; B., Wetzstein; F., Silvestri
Integrating Perfective and Corrective Adaptation of Service-based Applications	1-gen-2010	A., Gehlert; A., Metzger; D., Karastoyanova; Kazhamiakin, Raman; K., Pohl; F., Leymann; Pistore, Marco
Service Engineering	1-gen-2010	V., Andrikopoulos; Bucchiarone, Antonio; E., Di Nitto; Kazhamiakin, Raman; S., Lane; V., Mazza; I., Richardson
Describing Case Studies and Classifying Research Approaches	1-gen-2010	Bucchiarone, Antonio; Kazhamiakin, Raman; V., Mazza; P., Plebani
Merging global and specialized linguistic ontologies	1-gen-2010	Speranza, Manuela; Magnini, Bernardo
Updating a Protocol-based Decision-Support System’s Knowledge Base: a Breast Cancer Case Study	1-gen-2011	Eccher, Claudio; Andreas, Seyfang; Antonella, Ferro; Silvia, Miksch
Sémantický web: niektoré aktuálne výzvy (Semantic Web: Selected Current Challenges)	1-gen-2010	Juraj, Frank; Vladimír, Dziuban; Homola, Martin

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.141 a 1.160 di 1.504

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 fulltext1276
restricted127
reserved65
open35
partially open1

IRIS Institutional Research Information System