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.161 a 1.180 di 1.504

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

Materiali per una storia della mobilità alpina nelle diocesi di Trento e di Feltre (1582-1690)

2010-01-01 Occhi, Katia

Coommunication Protocols for Mathematical Services based on KQML and OMRS

2001-01-01 Armando, Alessandro; Kohlhase, M.; Ranise, Silvio

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

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

Interfacing Computer Algebra and Deduction Systems via the Logic Broker Architecture

2001-01-01 Armando, Alessandro; Zini, D.

SAT-Based Decision Procedures for Automated Reasoning: a unifying Perspective

2005-01-01 Armando, Alessandro; Castellini, C.; Giunghiglia, E.; Giunchiglia, F.; Tacchella, A.

Passioni patristiche e discernimento confessionale: John Henry Newman e Louis Bouyer

2010-01-01 Zordan, Davide

Case–Based Ranking for Environmental Risk Assessment

2010-01-01 Avesani, Paolo; Susi, Angelo

Interface Design and Persuasive Intelligent User Interfaces

2006-01-01 Stock, Oliviero; Guerini, Marco; Zancanaro, Massimo

Multimodalità

2007-01-01 Lepri, Bruno

Monte Carlo studies of interface free energy in nucleation theory

1984-01-01 Perini, Anna

Numerical solution of the master equation for cluster population in the classical nucleation theory

1984-01-01 Perini, Anna

Titolo	Data di pubblicazione	Autore(i)
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
Materiali per una storia della mobilità alpina nelle diocesi di Trento e di Feltre (1582-1690)	1-gen-2010	Occhi, Katia
Coommunication Protocols for Mathematical Services based on KQML and OMRS	1-gen-2001	Armando, Alessandro; Kohlhase, M.; Ranise, Silvio
Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation	1-gen-2005	Armando, Alessandro; Compagna, L.; Ranise, Silvio
Interfacing Computer Algebra and Deduction Systems via the Logic Broker Architecture	1-gen-2001	Armando, Alessandro; Zini, D.
SAT-Based Decision Procedures for Automated Reasoning: a unifying Perspective	1-gen-2005	Armando, Alessandro; Castellini, C.; Giunghiglia, E.; Giunchiglia, F.; Tacchella, A.
Passioni patristiche e discernimento confessionale: John Henry Newman e Louis Bouyer	1-gen-2010	Zordan, Davide
Case–Based Ranking for Environmental Risk Assessment	1-gen-2010	Avesani, Paolo; Susi, Angelo
Interface Design and Persuasive Intelligent User Interfaces	1-gen-2006	Stock, Oliviero; Guerini, Marco; Zancanaro, Massimo
Multimodalità	1-gen-2007	Lepri, Bruno
Monte Carlo studies of interface free energy in nucleation theory	1-gen-1984	Perini, Anna
Numerical solution of the master equation for cluster population in the classical nucleation theory	1-gen-1984	Perini, Anna

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.161 a 1.180 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