Cargando…

Formal description techniques, IV : proceedings of the IFIP TC6/WG 6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991 /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols Sydney, N.S.W.
Otros Autores:	Parker, K. R. (Ken R.), Rose, G. A. (Gordon A.)
Formato:	Electrónico Congresos, conferencias eBook
Idioma:	Inglés
Publicado:	Amsterdam ; New York : New York : North-Holland ; Distributors for the U.S. and Canada, Elsevier Science Pub., 1992.
Colección:	IFIP transactions. Communication systems ; C-2.
Temas:	Computer programming > Congresses. Formal languages > Congresses. Programmation (Informatique) > Congr�es. Langages formels > Congr�es. COMPUTERS > Programming Languages > General. Computer programming. Formal languages. Fundamentele informatica. Congress Conference papers and proceedings. Actes de congr�es.
Acceso en línea:	Texto completo

Ejemplares similares

Formal language theory : perspectives and open problems /
Publicado: (1980)

Theory of machines and computations proceedings.
Publicado: (1971)

Automata theory and formal languages /
por: Chavan, Pallavi
Publicado: (2023)

Automata, languages and machines.
Publicado: (1974)

Software engineering : COINS III: proceedings of the Third Symposium on Computer and Information Sciences held in Miami Beach, Florida, December, 1969 /
Publicado: (1970)

Discrete algorithms and complexity : proceedings of the Japan-US Joint Seminar, June 4-6, 1986, Kyoto, Japan /
Publicado: (1987)

Computability, complexity, and languages : fundamentals of theoretical computer science /
por: Davis, Martin, 1928-2023
Publicado: (1983)

Software for computer control 1986 : selected papers from the Fourth IFAC/IFIP Symposium, Graz, Austria, 20-23 May 1986 /
Publicado: (1987)

Annual review in automatic programming :
Publicado: (1981)

Perspectives on computer science : from the 10th anniversary symposium at the Computer Science Department, Carnegie-Mellon University /
Publicado: (1977)

Software engineering : proceedings of the Third Symposium on Computer and Information Sciences, held in Miami Beach, Florida, December 1969 /
Publicado: (1971)

Cafe : an industrial-strength algebraic formal method /
Publicado: (2000)

The mathematical theory of L systems /
por: Rozenberg, Grzegorz
Publicado: (1980)

SDL '99, the next millennium : proceedings of the ninth SDL Forum, Montr�eal, Qu�ebec, Canada, 21-25, 1999 /
Publicado: (1999)

Theory of automata.
por: Salomaa, Arto
Publicado: (1969)

Picture languages : formal models for picture recognition /
por: Rosenfeld, Azriel, 1931-
Publicado: (1979)

Computability, complexity, and languages : fundamentals of theoretical computer science /
por: Davis, Martin, 1928-2023, et al.
Publicado: (1994)

Proceedings of the International Symposium on Computer Software in Chemical and Extractive Metallurgy, Montr�eal, Canada, August 28-31, 1988 /
Publicado: (1989)

Parallel computing : software technology, algorithms, architectures & applications : proceedings of the International Conference ParCo2003, Dresden, Germany, 2-5 September 2003 /
Publicado: (2004)

Information control problems in manufacturing technology 1992 : selected papers from the 7th IFAC/IFIP/IFORS/IMACS/ISPE symposium, Toronto, Ontario, Canada, 25-28 May 1992 /
Publicado: (1993)

SDL '95 with MSC in CASE : proceedings of the Seventh SDL Forum, Oslo, Norway, 26-29 September 1995 /
Publicado: (1995)

Proceedings of the Twenty-ninth International Conference on Very Large Databases, Berlin, Germany, 9-12 September, 2003 /
Publicado: (2003)

33rd European Symposium on Computer Aided Process Engineering : ESCAPE-33 /
Publicado: (2023)

Control applications of nonlinear programming and optimization : proceedings of the Fifth IFAC Workshop, Capri, Italy, 11-14 June 1985 /
Publicado: (1986)

Dynamic programming and its applications /
Publicado: (1978)

Innovation for energy efficiency : proceedings of the European conference, Newcastle upon Tyne, UK, 15-17 September 1987 /
Publicado: (1988)

Hydrodynamics of lakes : proceedings of a symposium, 12-13 October, 1978, Lausanne Switzerland /
Publicado: (1979)

Learning and study strategies : issues in assessment, instruction, and evaluation /
Publicado: (1988)

Molecular sieves : from basic research to industrial applications : proceedings of the 3rd International Zeolite Symposium (3rd FEZA), Prague, Czech Republic, August 23-26, 2005 /
Publicado: (2005)

Fieldbus Systems and Their Applications 2005 : a Proceedings Volume from the 6th IFAC International Conference, Puebla, Mexico, 14-25 November, 2005 /
Publicado: (2006)

Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 /
Publicado: (1985)

Metallurgical coatings and thin films, 1991 : proceedings of the 18th International Conference on Metallurgical Coatings and Thin Films, San Diego, CA, U.S.A., April 22-26, 1991.
Publicado: (1991)

Nutrition in the lower Metazoa : proceedings of a meeting held at the University of Caen, France, 11-13 September 1979 /
Publicado: (1980)

Hypersaline brines and evaporitic environments : proceedings of the Bat Sheva Seminar on Saline Lakes and Natural Brines /
Publicado: (1980)

Nonverbal behavior : applications and cultural implications /
Publicado: (1979)

Toxicology : proceedings of the International Congress of Pharmacology, Paris, 1978 /
Publicado: (1979)

Evolutionary biology of Ostracoda : its fundamentals and applications : proceedings of the Ninth International Symposium on Ostracoda, held in Shizuoka, Japan, 29 July-2 August 1985 /
Publicado: (1988)

Analysis of foods and beverages : headspace techniques /
Publicado: (1978)

Biohydrometallurgy and the environment toward the mining of the 21st century : proceedings of the International Biohydrometallurgy Symposium, IBS'99, held in San Lorenzo de El Escorial, Madrid, Spain, June 20-23, 1999 /
Publicado: (1999)

Biological organization at the cellular and supercellular level a symposium held at Varenna, 24-27 September, 1962, under the auspices of UNESCO.
Publicado: (1963)