Computer Safety, Reliability and Security 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings /

Computer Safety, Reliability and Security 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings /

This year we celebrated another anniversary: after 20 years of SAFECOMP in 1999, th this was the 20 SAFECOMP since its inauguration in 1979. This series of events focuses on critical computer applications. It is intended to be a platform for knowledge transfer between academia, industry, and researc...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Voges, Udo (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
Έκδοση:	1st ed. 2001.
Σειρά:	Lecture Notes in Computer Science, 2187
Θέματα:	Data encryption (Computer science). Software engineering. Special purpose computers. Computer logic. Management information systems. Computer science. Cryptology. Software Engineering/Programming and Operating Systems. Special Purpose and Application-Based Systems. Logics and Meanings of Programs. Management of Computing and Information Systems.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Computer Safety, Reliability, and Security 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings /
Έκδοση: (2003)

Computer Safety, Reliability, and Security 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings /
Έκδοση: (2004)

Computer Safety, Reliability and Security 18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings /
Έκδοση: (1999)

Cryptographic Hardware and Embedded Systems - CHES 2001 Third International Workshop, Paris, France, May 14-16, 2001 Proceedings /
Έκδοση: (2001)

Computer Safety, Reliability, and Security 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings /
Έκδοση: (2000)

Information Hiding 4th International Workshop, IH 2001, Pittsburgh, PA, USA, April 25-27, 2001. Proceedings /
Έκδοση: (2001)

Computer Safety, Reliability and Security 17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings /
Έκδοση: (1998)

Computer Safety, Reliability and Security 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings /
Έκδοση: (2002)

Software Engineering - ESEC-FSE '97 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Zürich, Switzerland, September 22-25, 1997. Proceedings /
Έκδοση: (1997)

Reliable Software Technologies - Ada-Europe '99 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings /
Έκδοση: (1999)

Hybrid Systems: Computation and Control 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings /
Έκδοση: (2001)

Embedded Software First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings /
Έκδοση: (2001)

Java on Smart Cards: Programming and Security First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers /
Έκδοση: (2001)

Self-Adaptive Software Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001, Revised Papers /
Έκδοση: (2003)

Algebraic Methodology and Software Technology 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings /
Έκδοση: (1997)

Verification: Theory and Practice Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday /
Έκδοση: (2003)

FM'99 - Formal Methods World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I /
Έκδοση: (1999)

FM'99 - Formal Methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II /
Έκδοση: (1999)

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers /
Έκδοση: (2018)

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /
Έκδοση: (2018)

Formal Methods for the Design of Real-Time Systems International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures /
Έκδοση: (2004)

SDL 2003: System Design 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings /
Έκδοση: (2003)

Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings /
Έκδοση: (2018)

Formal Methods for Real-Time and Probabilistic Systems 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings /
Έκδοση: (1999)

Computer Aided Verification 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings /
Έκδοση: (2000)

Abstract Compositional Analysis of Iterated Relations A Structural Approach to Complex State Transition Systems /
ανά: Geurts, Frederic, κ.ά.
Έκδοση: (1998)

Reliable Software Technologies - Ada-Europe 2001 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings /
Έκδοση: (2001)

Embedded Software Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings /
Έκδοση: (2002)

Risks and Security of Internet and Systems 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers /
Έκδοση: (2018)

Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers /
Έκδοση: (2019)

Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers /
Έκδοση: (2019)

Cryptographic Hardware and Embedded Systems - CHES 2002 4th International Workshop, Redwood Shores, CA, USA, August 13-15, 2002, Revised Papers /
Έκδοση: (2003)

Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings /
Έκδοση: (2003)

Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings /
Έκδοση: (2019)

On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors
ανά: Pflanz, Matthias, κ.ά.
Έκδοση: (2002)

Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings /
Έκδοση: (2019)

Information Security 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003, Proceedings /
Έκδοση: (2003)

Information Security 5th International Conference, ISC 2002 Sao Paulo, Brazil, September 30 - October 2, 2002, Proceedings /
Έκδοση: (2002)

Formal Techniques in Real-Time and Fault-Tolerant Systems 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings /
Έκδοση: (2000)

Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers /
Έκδοση: (2018)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών