Cover Image

SAFECOMP '93 : the 12th International Conference on Computer Safety, Reliability and Security /

The world-wide market for safe, secure and reliable computer systems is expanding. For many high technology applications, safety is one of the top priorities. Among the industrial and business sectors which are especially concerned with safety are: certification, regulation/licensing, standards maki...

Full description

Bibliographic Details
Main Author:	Górski, Janusz
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	London : Springer London, 1993.
Subjects:	Computer science. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Music Education: An Artificial Intelligence Approach : Proceedings of a Workshop held as part of AI-ED 93, World Conference on Artificial Intelligence in Education, Edinburgh, Scotland, 25 August 1993 /
by: Smith, Matt
Published: (1994)

Fundamentals of computation theory : 14th international symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003 : proceedings /
Published: (2003)

Fundamentals of computation theory : 12th international symposium, FCT'99, Iași, Romania, August 30-September 3, 1999 : proceedings /
Published: (1999)

Advances in computing science - ASIAN 2000 : 6th Asian Computing Science Conference, Penang, Malaysia, November 2000 : proceedings /
Published: (2000)

Computability and Decidability : An Introduction for Students of Computer Science /
by: Loeckx, Jacques
Published: (1972)

Vectorization of Computer Programs with Applications to Computational Fluid Dynamics /
by: Gentzsch, Wolfgang
Published: (1984)

Control Theory, Numerical Methods and Computer Systems Modelling : International Symposium, Rocquencourt, June 17-21, 1974 /
by: Bensoussan, A.
Published: (1975)

Probabilistic Analysis of Algorithms : On Computing Methodologies for Computer Algorithms Performance Evaluation /
by: Hofri, Micha
Published: (1987)

Computer Animation '90 /
by: Magnenat-Thalmann, Nadia
Published: (1990)

Computer Games I /
by: Levy, David N. L.
Published: (1988)

Computer-Based Automation /
by: Tou, Julius T.
Published: (1985)

What Computing Is All About /
by: Snepscheut, Jan L. A.
Published: (1993)

The SIMD Model of Parallel Computation /
by: Cypher, Robert
Published: (1994)

Design of Digital Computers : An Introduction /
by: Gschwind, Hans W.
Published: (1975)

Supercomputers and Their Performance in Computational Fluid Dynamics /
by: Fujii, Kozo
Published: (1993)

Reflexive Structures : an Introduction to Computability Theory /
by: Sanchis, Luis E.
Published: (1988)

The Origins of Digital Computers : Selected Papers /
by: Randell, Brian
Published: (1973)

Computer-Based Instruction in Military Environments /
by: Seidel, Robert J.
Published: (1988)

Computers, Chess and Long-Range Planning /
by: Botvinnik, M. M.
Published: (1970)

Computer Vision and Sensor-Based Robots /
by: Dodd, George G.
Published: (1979)

The Origins of Digital Computers : Selected Papers /
by: Randell, Brian
Published: (1975)

Chemical Information 2 : Information in Chemistry, Pharmacology and Patents 2nd Proceedings of the International Conference, Montreux, Switzerland, September 1990 /
by: Collier, Harry R.
Published: (1990)

Beyond Calculation : the Next Fifty Years of Computing /
by: Denning, Peter J.
Published: (1997)

State of the Art in Computer Graphics : Aspects of Visualization /
by: Rogers, David-F
Published: (1994)

Computer Science Education in the 21st Century /
by: Greening, Tony
Published: (2000)

Advanced Computer Graphics : Economics Techniques and Applications /
by: Parslow, R. D.
Published: (1971)

Computer Science Project Work : Principles and Pragmatics /
by: Fincher, Sally
Published: (2001)

Fundamentals of computation theory : 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997 : proceedings /
Published: (1997)

Fundamentals of computation theory : 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings /
Published: (2001)

The Planiverse : Computer Contact with a Two-Dimensional World /
by: Dewdney, A. K.
Published: (2000)

A Computer Science Reader : Selections from ABACUS /
by: Weiss, Eric A.
Published: (1988)

Applied and Computational Control, Signals, and Circuits : Volume 1 /
by: Datta, Biswa Nath
Published: (1999)

Programmers and Managers : the Routinization of Computer Programming in the United States /
by: Kraft, Philip
Published: (1977)

Study and Research Guide in Computer Science : Profiles of Universities in the USA /
by: Tölle, Wolfgang
Published: (1993)

Kasparov versus Deep Blue : Computer Chess Comes of Age /
by: Newborn, Monroe
Published: (1997)

Theoretical computer science : exploring new frontiers of theoretical informatics : International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : proceedings /
Published: (2000)

Geometric Computing for Perception Action Systems : Concepts, Algorithms, and Scientific Applications /
by: Bayro Corrochano, Eduardo
Published: (2001)

Computer Architecture : Workshop of the Gesellschaft für Informatik Erlangen, May 22-23, 1975 /
by: Händler, W.
Published: (1976)

Planning and Implementing your Final Year Project - with Success! : A Guide for Students in Computer Science and Information Systems /
by: Berndtsson, M.
Published: (2002)

Global Software : Developing Applications for the International Market /
by: Taylor, Dave
Published: (1992)