Fabio Rocca's Documents

Fabio Rocca's Documents

Engineering Secure Software and Systems: Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010, Proceedings (Lecture Notes in Computer Science Security and Cryptology)

Engineering Secure Software and Systems: Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010, Proceedings (Lecture Notes in Computer Science Security and Cryptology)
Read more
Chaos: From simple models to complex systems

Chaos: From simple models to complex systems
Read more
Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking
Read more
Harmonic analysis on finite groups. Representation theory, Gelfand pairs and Markov chains

Harmonic analysis on finite groups. Representation theory, Gelfand pairs and Markov chains
Read more
Speaking of Events

Speaking of Events
Read more
Traffic Monitoring and Analysis: Second International Workshop, TMA 2010, Zurich, Switzerland, April 7, 2010. Proceedings (Lecture Notes in Computer ... Networks and Telecommunications)

Traffic Monitoring and Analysis: Second International Workshop, TMA 2010, Zurich, Switzerland, April 7, 2010. Proceedings (Lecture Notes in Computer ... Networks and Telecommunications)
Read more
Foundations of Security Analysis and Design 3 conf., FOSAD 2004-2005 Tutorial Lectures

Foundations of Security Analysis and Design 3 conf., FOSAD 2004-2005 Tutorial Lectures
Read more
The Inflammasomes (Progress in Inflammation Research)

The Inflammasomes (Progress in Inflammation Research)
Read more
Il Corpo in Vetrina

Il Corpo in Vetrina
Read more
Le complicazioni neurologiche in oncologia

Le complicazioni neurologiche in oncologia
Read more
Concetti fisici e applicazioni della meccanica quantistica

Concetti fisici e applicazioni della meccanica quantistica
Read more
Service-Oriented Computing - ICSOC 2005: Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings

Service-Oriented Computing - ICSOC 2005: Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings
Read more
Technology of Semiactive Devices and Applications in Vibration Mitigation

Technology of Semiactive Devices and Applications in Vibration Mitigation
Read more
Advances in Information Retrieval: 24th BCS-IRSG European Colloquium on IR Research Glasgow, UK, March 25-27, 2002 Proceedings (Lecture Notes in Computer Science)

Advances in Information Retrieval: 24th BCS-IRSG European Colloquium on IR Research Glasgow, UK, March 25-27, 2002 Proceedings (Lecture Notes in Computer Science)
Read more
Representation Theory of the Symmetric Groups: The Okounkov-Vershik Approach, Character Formulas, and Partition Algebras (Cambridge Studies in Advanced Mathematics)

Representation Theory of the Symmetric Groups: The Okounkov-Vershik Approach, Character Formulas, and Partition Algebras (Cambridge Studies in Advanced Mathematics)
Read more
Distributed Multimedia Information Retrieval - SIGIR 2003

Distributed Multimedia Information Retrieval - SIGIR 2003
Read more
Metadata and Semantic Research: Third International Conference, MTSR 2009, Milan, Italy, October 1-2, 2009. Proceedings (Communications in Computer and Information Science)

Metadata and Semantic Research: Third International Conference, MTSR 2009, Milan, Italy, October 1-2, 2009. Proceedings (Communications in Computer and Information Science)
Read more
Multiple Classifier Systems, 5 conf., MCS 2004

Multiple Classifier Systems, 5 conf., MCS 2004
Read more
Soft Computing in Web Information Retrieval: Models and Applications

Soft Computing in Web Information Retrieval: Models and Applications
Read more
Impacto De Los Desastres En La Salud Publica

Impacto De Los Desastres En La Salud Publica
Read more
Multiple Classifier Systems (Lecture Notes in Computer Science 5997)

Multiple Classifier Systems (Lecture Notes in Computer Science 5997)
Read more
Speaking of Events

Speaking of Events
Read more
Computer Aided Verification, 15 conf., CAV 2003

Computer Aided Verification, 15 conf., CAV 2003
Read more
Le complicazioni neurologiche in oncologia

Le complicazioni neurologiche in oncologia
Read more
Jets From Young Stars V: High Performance Computing and Applications (Lecture Notes in Physics 791)

Jets From Young Stars V: High Performance Computing and Applications (Lecture Notes in Physics 791)
Read more
Experimental Design and Statistics for Psychology: A First Course

Experimental Design and Statistics for Psychology: A First Course
Read more
Vitreo-retinal Surgery: Progress III (Essentials in Ophthalmology)

Vitreo-retinal Surgery: Progress III (Essentials in Ophthalmology)
Read more
Intelligent Tutoring Systems

Intelligent Tutoring Systems
Read more
Multiple Classifier Systems - MCS 2011

Multiple Classifier Systems - MCS 2011
Read more
Robotics: Science and Systems IV

Robotics: Science and Systems IV
Read more