Computer Safety, Reliability and Security 17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings /

Computer Safety, Reliability and Security 17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings /

Computers and their interactions are becoming the characteristic features of our time: Many people believe that the industrial age is going over into the information age. In the same way as life of the beginning of this century was dominated by machines, factories, streets and railways, the starting...

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

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

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

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

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)

Dependable Computing First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings /
Έκδοση: (2003)

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

Constructive Side-Channel Analysis and Secure Design 9th International Workshop, COSADE 2018, Singapore, April 23-24, 2018, Proceedings /
Έκδοση: (2018)

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

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)

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 Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings /
Έκδοση: (2003)

Service-Oriented Computing - ICSOC 2017 Workshops ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13-16, 2017, Revised Selected Papers /
Έκδοση: (2018)

Hybrid Systems: Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings /
Έκδοση: (2003)

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

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

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings /
Έκδοση: (2004)

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

Computer Safety, Reliability and Security 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings /
Έκδοση: (2001)

Ad-Hoc, Mobile, and Wireless Networks 18th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2019, Luxembourg, Luxembourg, October 1-3, 2019, Proceedings /
Έκδοση: (2019)

ICT Unbounded, Social Impact of Bright ICT Adoption IFIP WG 8.6 International Conference on Transfer and Diffusion of IT, TDIT 2019, Accra, Ghana, June 21-22, 2019, Proceedings /
Έκδοση: (2019)

Computer Aided Verification 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings /
Έκδοση: (2002)

Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings /
Έκδοση: (1997)

The Multi-Agent Programming Contest 2018 Agents Teaming Up in an Urban Environment /
Έκδοση: (2019)

Hybrid Systems: Computation and Control First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings /
Έκδοση: (1998)

Correct System Design Recent Insights and Advances /
Έκδοση: (1999)

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

Dependability in Sensor, Cloud, and Big Data Systems and Applications 5th International Conference, DependSys 2019, Guangzhou, China, November 12-15, 2019, Proceedings /
Έκδοση: (2019)

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

Hybrid Systems IV
Έκδοση: (1997)

Formal Techniques in Real-Time and Fault-Tolerant Systems 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings /
Έκδοση: (1998)

Independent Component Analysis and Blind Signal Separation Fifth International Conference, ICA 2004, Granada, Spain, September 22-24, 2004, Proceedings /
Έκδοση: (2004)

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

Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16-18, 2019, Proceedings /
Έκδοση: (2019)

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

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

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers /
Έκδοση: (2018)

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

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

IoT as a Service Third International Conference, IoTaaS 2017, Taichung, Taiwan, September 20-22, 2017, Proceedings /
Έκδοση: (2018)

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