Imagen de Portada

Dependable computing for critical applications 5 /

Guardado en:

Autor Corporativo:	International IFIP Working Conference on Dependable Computing for Critical Application
Otros Autores:	Iyer, Ravishankar K.
Formato:	Libro
Idioma:	English
Publicado:	Los Alamitos, Calif. : IEEE Computer Society, c1998.
Series:	Dependable computing and fault-tolerant systems ; v. 10
Materias:	Fault-tolerant computing > Congresses. Computers > Reliability > Congresses.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Formal techniques in real-time and fault-tolerant systems : 5th international symposium, FTRTFT '98, Lyngby, Denmark, September 14-18, 1998 : proceedings /
Publicado: (1998)

Recovery mechanisms in database systems /
Publicado: (1998)

Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings /
Publicado: (1991)

SafeWare : system safety and computers /
por: Leveson, Nancy.
Publicado: (1995)

Reliability and biometry : statistical analysis of lifelength : papers /
Publicado: (1974)

Security protocols : 5th international workshop, Paris, France, April 7-9, 1997 : proceedings /
Publicado: (1998)

Software for computer control : proceedings of the second IFAC /IFIP symposium on software for computer control, Prague, Czechoslovakia, 11-15 June 1979 /
Publicado: (1979)

Safety of computer control systems : proceedings of the IFAC Workshop, Stuttgart, Federal Republic of Germany, 16-18 May 1979 /
Publicado: (1980)

Tolerancia y convivencia étnico religiosa en la península ibérica durante la Edad Media : III Jornadas de Cultura Islámica /
Publicado: (2003)

Software risk management /
Publicado: (1989)

Algebraic methods II : theory, tools, and applications /
Publicado: (1991)

Models and techniques in computer animation /
Publicado: (1993)

Curves and surfaces in computer vision and graphics II : 12-14 November 1991, Boston, Massachusetts /
Publicado: (1992)

Dependable Computing - EDCC 5 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings /
por: Cin, Mario.
Publicado: (2005)

Responsibility and Dependable Systems
por: Dewsbury, Guy.
Publicado: (2007)

Modeling in computer graphics : methods and applications /
Publicado: (1993)

Argumentation in multi-agent systems : second international workshop, ArgMAS 2005, Utrecht, The Netherlands, July 26, 2005 : revised selected and invited papers /
Publicado: (2006)

Argumentation in multi-agent systems : 4th international workshop, ArgMAS 2007, Honolulu, Hawaii, May 15, 2007 : revised selected and invited papers /
Publicado: (2008)

Formal development of programs and proofs /
Publicado: (1990)

FME '94, industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings /
Publicado: (1994)

VDM '91 : formal software development methods : 4th international symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings /
Publicado: (1991)

FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings /
Publicado: (1993)

Computer communications /
Publicado: (1985)

Software reliability : principles and practices /
por: Myers, Glenford J., 1946-
Publicado: (1976)

Computational models of argument : proceedings of COMMA 2006 /
Publicado: (2006)

Computational intelligence, I : proceedings of the International Conference "Computational Intelligence 88", Milan, Italy, 26-30 September 1988 /
Publicado: (1989)

Computational models of argument : Proceedings of COMMA 2010 /
por: Prieto Baroni.
Publicado: (2010)

Computational models of argument : Proceeding of COMMA 2008 /
por: Besnard, Philippe, 1958.
Publicado: (2008)

SDL ®97 : time for testing SDL, MSC and trends : proceedings of the eighth SDL Forum, Evry, France, 23-26 September, 1997 /
Publicado: (1997)

Principles and practice of constraint programming : the Newport papers /
Publicado: (1995)

Photorealistic rendering in computer graphics : proceedings of the Second Eurographics Workshop on Rendering /
Publicado: (1994)

Proof and computation /
Publicado: (1995)

Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings /
Publicado: (1994)

Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings /
Publicado: (1995)

Functional and logic programming : proceedings of the Second Fuji Interntational Workshop : Shonan Village Center, Japan, November 1-4, 1996 /
Publicado: (1997)

Proceedings from the First International Conference on Expert Database Systems /
Publicado: (1987)

Expert database systems : proceedings from the first international workshop /
Publicado: (1986)

Results and trends in theoretical computer science : colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings /
Publicado: (1994)

Shape modeling international '99 : proceedings : International Conference on Shape Modeling and Applications : Aizu-Wakamatsu, Japan, March 1-4, 1999 /
Publicado: (1999)

Safety-critical computer systems /
por: Storey, Neil.
Publicado: (1996)