Imagen de Portada

First IEEE International Conference Conference [sic] on Formal Engineering Methods : proceedings, Hiroshima, Japan, November 12-14, 1997 /

Guardado en:

Autores Corporativos:	IEEE International Conference on Formal Engineering Methods Hiroshima-shi, Japan), IEEE Computer Society., IEEE Computer Society. Technical Committee on Complexity in Computing.
Otros Autores:	Hinchey, Michael G. 1969-, Liu, Shaoying, 1960-
Formato:	Libro
Idioma:	English
Publicado:	Los Alamitos, Calif. : IEEE Computer Society Press, c1997.
Materias:	Engineering > Methodology > Congresses. Computer software > Development > Congresses.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Actas del I Encuentro de Investigadores en Infraestructuras Inteligentes (E13 2011) edificio Multidepartamental, Guadalajara, 17 de marzo de 2011 /
Publicado: (2011)

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

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

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

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

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

ICMAS--95, First International Conference on Multi-Agent Systems : proceedings, June 12-14, 1995, San Francisco, California /
Publicado: (1995)

Proceedings of the International Clay Conference 1966 /
Publicado: (1966)

Proceedings of the International Clay Conference 1969 /
Publicado: (1969)

Evaluación de zonas de amenaza por avenidas torrenciales utilizando metodologías cualitativas caso de aplicación a la quebrada Doña María /
por: Montoya Jaramillo, Luis Javier.
Publicado: (2009)

Herramientas de gestión de calidad aplicadas al diseño de una recuperadora de rodillos de acero
por: Arriagada Carrasco, Eduardo Wladimir.
Publicado: (2009)

Análisis del estado de la calidad del aire en Bogotá Analysis of Bogota's Air Quality /
por: Gaitán, Mauricio.
Publicado: (2007)

Nociones prácticas de diseño estructural para sistemas isostáticos en arquitectura
por: Diez, Gloria.
Publicado: (2008)

Formulación y evaluación de proyectos de ingeniería /
por: Garzón Agudelo, Daniel Mateo,
Publicado: (2019)

Lúdicas de enseñanza en producción y operaciones /
por: Carreño Dueñas, Diego Andrés,
Publicado: (2018)

Investigar e innovar en ambientes diversos con sustento en el desarrollo humano sostenible : memorias del XVII Encuentro Institucional Semilleros de Investigación, II Encuentro Internacional de Investigación Formativa /
Publicado: (2023)

Diseño metodológico para la ubicación de ambulancias del sector de atención prehospitalaria en Bogotá D.C
por: Rojas Ortega, Andrés Ernesto.
Publicado: (2007)

Proceedings of the International Conference on Group Theory : Timisoara, 17-20 September, 1992 /
Publicado: (1993)

Algebraic Conference, Novi Sad, 1981 /
Publicado: (1982)

1980 Paper sinthetics conference.
Publicado: (1980)

Report of the ... Conference on Operator Theory /

Proceedings, Eleventh International Conference on Principles of Knowledge Representation and Reasoning /
Publicado: (2008)

Proceedings of the Conference "Algebra and Logic," Zagreb, 1984 /
Publicado: (1985)

Proceedings of the Conference "Algebra and Logic", Cetinje, 1986 /
Publicado: (1987)

Proceedings of the Conference "Algebra and Logic," Sarajevo 1987 /
Publicado: (1989)

IEEE Symposium on Information Visualization : proceedings, October 20-21, 1997, Phoenix, Arizona /
Publicado: (1997)

The Santa Cruz Conference on Finite Groups /
Publicado: (1980)

Proceedings of the Third Algebraic Conference, Beograd, 1982 /
Publicado: (1983)

First U.K. National Conference on Heat Transfer : held at the University of Leeds, 3-5 July 1984 /
Publicado: (1984)

Proceedings of the 1987 American Control Conference : Hyatt Regency Hotel, Minneapolis, MN, June 10-12, 1987 /
Publicado: (1987)

Proceedings from the Second International Conference on Expert Database Systems /
Publicado: (1988)

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings /
por: Lau, Kung-Kiu.
Publicado: (2005)

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings /
por: Liu, Zhiming.
Publicado: (2006)

ESEC '91 : 3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991 : proceedings /
Publicado: (1991)

First International Tainan-Moscow Algebra Workshop : proceedings of the international conference held at National Cheng Kung University, Tainan, Taiwan, Republic of China, July 23-August 22, 1994 /
Publicado: (1996)

Logic, methodology and philosophy of science : proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 /
Publicado: (1973)

2010 AIChE annual meeting conference proceedings Salt Palace Convention Center, Salt Lake City, UT. November 7-12, 2010.
Publicado: (2010)

Proceeedings international solvent extraction conference, I.S.E.C : Lyon 8-14th September 1974.
Publicado: (1974)

Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings /
por: Butler, Michael.
Publicado: (2007)

International solvent extraction conference, AICHE ISEC '83 : Denver, Colorado, August 26--September 2, 1983 /
Publicado: (1983)