Fabio Crestani's Documents

Fabio Crestani's Documents

Logic Synthesis and Verification Algorithms

Logic Synthesis and Verification Algorithms

Windows Phone 7 Recipes: A Problem-Solution Approach

Windows Phone 7 Recipes: A Problem-Solution Approach

Trust Management: 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings

Trust Management: 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings

Fodder Crops and Amenity Grasses

Fodder Crops and Amenity Grasses

Web Application Security: Iberic Web Application Security Conference, IBWAS 2009, Madrid, Spain, December 10-11, 2009. Revised Selected Papers (Communications in Computer and Information Science)

Web Application Security: Iberic Web Application Security Conference, IBWAS 2009, Madrid, Spain, December 10-11, 2009. Revised Selected Papers (Communications in Computer and Information Science)

Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science: 4th International Workshop, ONTOSE 2010 (Notes in Business Information Processing, LNBIP 62)

Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science: 4th International Workshop, ONTOSE 2010 (Notes in Business Information Processing, LNBIP 62)

Windows Phone 7 Recipes: A Problem-Solution Approach

Windows Phone 7 Recipes: A Problem-Solution Approach

End User Development (Human-Computer Interaction Series)

End User Development (Human-Computer Interaction Series)

Multiple Classifier Systems: 8th International Workshop, MCS 2009, Reykjavik, Iceland, June 10-12, 2009, Proceedings (Lecture Notes in Computer ... Vision, Pattern Recognition, and Graphics)

Multiple Classifier Systems: 8th International Workshop, MCS 2009, Reykjavik, Iceland, June 10-12, 2009, Proceedings (Lecture Notes in Computer ... Vision, Pattern Recognition, and Graphics)

Quality Of Protection: Security Measurements and Metrics (Advances in Information Security)

Quality Of Protection: Security Measurements and Metrics (Advances in Information Security)

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)

Chaos: From simple models to complex systems

Chaos: From simple models to complex systems

Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking

Harmonic analysis on finite groups. Representation theory, Gelfand pairs and Markov chains

Harmonic analysis on finite groups. Representation theory, Gelfand pairs and Markov chains

Speaking of Events

Speaking of Events

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)

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

The Inflammasomes (Progress in Inflammation Research)

The Inflammasomes (Progress in Inflammation Research)

Il Corpo in Vetrina

Il Corpo in Vetrina

Le complicazioni neurologiche in oncologia

Le complicazioni neurologiche in oncologia

Concetti fisici e applicazioni della meccanica quantistica

Concetti fisici e applicazioni della meccanica quantistica

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

Technology of Semiactive Devices and Applications in Vibration Mitigation

Technology of Semiactive Devices and Applications in Vibration Mitigation

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)

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)

Multiple Classifier Systems, 5 conf., MCS 2004

Multiple Classifier Systems, 5 conf., MCS 2004

Impacto De Los Desastres En La Salud Publica

Impacto De Los Desastres En La Salud Publica

Multiple Classifier Systems (Lecture Notes in Computer Science 5997)

Multiple Classifier Systems (Lecture Notes in Computer Science 5997)

Speaking of Events

Speaking of Events

Computer Aided Verification, 15 conf., CAV 2003

Computer Aided Verification, 15 conf., CAV 2003

Our partners will collect data and use cookies for ad personalization and measurement. Learn how we and our ad partner Google, collect and use data. Agree & close