2.1 Contributo in volume (Capitolo o Saggio)

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

Sfoglia

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.181 a 1.200 di 1.516

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

Modular Knowledge Representation and Reasoning in the Semantic Web

2010-01-01 Serafini, Luciano; Homola, Martin

An Associative and Adaptive Network Model For Information Retrieval In The Semantic Web

2010-01-01 Peter, Scheir; Peter, Prettenhofer; Stefanie N., Lindstaedt; Ghidini, Chiara

A Secular Wonder

2011-01-01 Costa, Paolo

A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis

2007-01-01 Bertoli, Piergiorgio; Bozzano, Marco; Cimatti, Alessandro

Verification of S&D Solutions for Network Communications and Devices

2009-01-01 C., Rudolph; L., Compagna; Carbone, Roberto; A., Muñoz; J., Repp

The Tropos Methodology and Software Development Environment

2010-01-01 Paolo, Giorgini; Mylopoulos, John; Perini, Anna; Susi, Angelo

Socially Grounded Analysis of Knowledge Management Systems and Processes

2010-01-01 Renata S. S., Guizzardi; Perini, Anna; Virginia, Dignum

Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation

2005-01-01 Armando, Alessandro; L., Compagna; Ranise, Silvio

Sinful sex sells better? Sex und Religion in der Werbung

2010-01-01 Knauss, Stefanie

Titolo	Data di pubblicazione	Autore(i)
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
Modular Knowledge Representation and Reasoning in the Semantic Web	1-gen-2010	Serafini, Luciano; Homola, Martin
An Associative and Adaptive Network Model For Information Retrieval In The Semantic Web	1-gen-2010	Peter, Scheir; Peter, Prettenhofer; Stefanie N., Lindstaedt; Ghidini, Chiara
A Secular Wonder	1-gen-2011	Costa, Paolo
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis	1-gen-2007	Bertoli, Piergiorgio; Bozzano, Marco; Cimatti, Alessandro
Verification of S&D Solutions for Network Communications and Devices	1-gen-2009	C., Rudolph; L., Compagna; Carbone, Roberto; A., Muñoz; J., Repp
The Tropos Methodology and Software Development Environment	1-gen-2010	Paolo, Giorgini; Mylopoulos, John; Perini, Anna; Susi, Angelo
Socially Grounded Analysis of Knowledge Management Systems and Processes	1-gen-2010	Renata S. S., Guizzardi; Perini, Anna; Virginia, Dignum
Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation	1-gen-2005	Armando, Alessandro; L., Compagna; Ranise, Silvio
Sinful sex sells better? Sex und Religion in der Werbung	1-gen-2010	Knauss, Stefanie

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.181 a 1.200 di 1.516

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 fulltext1279
restricted133
reserved65
open38
partially open1

IRIS Institutional Research Information System