User Profile

User Profile

Gertrudis Rivas

Total Videos: 43

Read Self-Stabilizing Systems: 5th International Workshop WSS 2001 Lisbon Portugal October

Uploaded: April 8, 2016 Views: 0

Read Information Security Applications: 5th International Workshop WISA 2004 Jeju Island Korea

Uploaded: April 8, 2016 Views: 1

Read Applied Parallel Computing. New Paradigms for HPC in Industry and Academia: 5th International

Uploaded: April 8, 2016 Views: 0

Read Cryptographic Hardware and Embedded Systems -- CHES 2003: 5th International Workshop Cologne

Uploaded: April 8, 2016 Views: 0

Read Automated Technology for Verification and Analysis: 5th International Symposium ATVA 2007

Uploaded: April 8, 2016 Views: 0

Read NETWORKING 2006. Networking Technologies Services Protocols Performance of Computer and

Uploaded: April 8, 2016 Views: 3

Read UbiComp 2003: Ubiquitous Computing: 5th International Conference Seattle WA USA October

Uploaded: April 8, 2016 Views: 0

Read Pervasive Computing: 5th International Conference PERVASIVE 2007 Toronto Canada May 13-16

Uploaded: April 8, 2016 Views: 0

Read Compiler Construction: 5th International Conference CC '94 Edinburgh U.K. April 7 - 9

Uploaded: April 8, 2016 Views: 0

Read Algebraic Methodology and Software Technology: 5th International Conference AMAST '96

Uploaded: April 8, 2016 Views: 0

Download Pervasive Computing for Quality of Life Enhancement: 5th International Conference

Uploaded: April 8, 2016 Views: 1

Read Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop

Uploaded: April 8, 2016 Views: 0

Read Dependable Computing - EDCC 2005: 5th European Dependable Computing Conference Budapest

Uploaded: April 8, 2016 Views: 1

Read Web Services and Formal Methods: 4th International Workshop WS-FM 2007 Brisbane Australia

Uploaded: April 8, 2016 Views: 1

Read Information Security Applications: 4th International Workshop WISA 2003 Jeju Island Korea

Uploaded: April 8, 2016 Views: 0

Read Cryptographic Hardware and Embedded Systems - CHES 2002: 4th International Workshop Redwood

Uploaded: April 8, 2016 Views: 0

Read Computer Aided Systems Theory - CAST '94: 4th International Workshop Ottawa Ontario May

Uploaded: April 8, 2016 Views: 0

Read Ubiquitous Computing Systems: 4th International Symposium UCS 2007 Tokyo Japan November

Uploaded: April 8, 2016 Views: 0

Read Foundations of Software Science and Computation Structures: 4th International Conference

Uploaded: April 8, 2016 Views: 0

Read Algebraic Methodology and Software Technology: 4th International Conference AMAST '95

Uploaded: April 8, 2016 Views: 0

Read ZB 2005: Formal Specification and Development in Z and B: 4th International Conference

Uploaded: April 8, 2016 Views: 0

Read Dependable Computing EDCC-4: 4th European Dependable Computing Conference Toulouse France

Uploaded: April 8, 2016 Views: 1

Read Wireless Sensor Networks: 4th European Conference EWSN 2007 Delft The Netherlands January

Uploaded: April 8, 2016 Views: 0

Read Computer Aided Verification: 3rd International Workshop CAV '91 Aalborg Denmark July 1-4

Uploaded: April 8, 2016 Views: 0

Read 3rd IEEE International Conference on Engineering of Complex Computer Systems Iceccs '97

Uploaded: April 8, 2016 Views: 0

Read ESEC '91: 3rd European Software Engineering Conference ESEC '91 Milan Italy October 21-24

Uploaded: April 8, 2016 Views: 1

Download Computer-Aided Verification: 2nd Internatonal Conference CAV '90 New Brunswick NJ

Uploaded: April 8, 2016 Views: 1

Read High Performance Transaction Systems: 2nd International Workshop Asilomar Conference Center

Uploaded: April 8, 2016 Views: 0

Download AI '88: 2nd Australian Joint Artificial Intelligence Conference Adelaide Australia

Uploaded: April 8, 2016 Views: 1

Read Computer Safety Reliability and Security: 26th International Conference SAFECOMP 2007

Uploaded: April 8, 2016 Views: 0

Read Computer Safety Reliability and Security : 24th International Conference SAFECOMP 2005

Uploaded: April 8, 2016 Views: 0

Read Computer Safety Reliability and Security: 21st International Conference SAFECOMP 2002

Uploaded: April 8, 2016 Views: 0

Read Computer Safety Reliability and Security: 20th International Conference SAFECOMP 2001

Uploaded: April 8, 2016 Views: 0

Read Data and Applications Security XXI: 21st Annual IFIP WG 11.3 Working Conference on Data

Uploaded: April 8, 2016 Views: 0

Read Data and Applications Security XX: 20th Annual IFIP WG 11.3 Working Conference on Data

Uploaded: April 8, 2016 Views: 1

Read Reliable Software Technologies - Ada-Europe '99: 1999 Ada-Europe International Conference

Uploaded: April 8, 2016 Views: 0

Your Page Title