Formal groups and applications /

Formal groups and applications /

41

Bibliographic Details
Main Author:	305241 Hazewinkel, Michiel
Format:
Published:	New York : Academic Pr., 1978
Subjects:	Formal groups

Similar Items

Formal groups /
by: 316195 Frohlich, A.
Published: (1968)

Recent advances in formal languages and applications /
by: Esik, Zoltan, 1951-, et al.
Published: (2006)

Formal languages and compilation /
by: 437251 Reghizzi, Stefano Crespi
Published: (2009)

Varieties of formal languages /
by: 423861 Pin, J. E., et al.
Published: (1986)

Modern formal methods and applications /
by: Gabbar, Hossam A
Published: (2006)

Introduction to formal language theory /
by: 459631 Harrison, Michael A.
Published: (1978)

Jewels of formal language theory /
by: 459218 Salomaa, Arto
Published: (1981)

Modelling of splicing systems using formal language theory /
by: 596254 Fong, Wan Heng, et al.
Published: (2008)

Formal gardens /
by: 316168 Smit, Daan, et al.
Published: (1996)

Understanding formal methods /
by: 273376 Monin, Jean-Francois
Published: (2003)

Non-formal education : flexible schooling or participatory education? /
by: Rogers, Alan, 1933-
Published: (2005)

Formal analysis of modern security protocols in current standards
by: Horvat, M
Published: (2015)

Non-formal education : an alternative to formal system/
by: 418335 Singh, Rajendra Prasad, et al.
Published: (1979)

An introduction to formal languages and automata /
by: 205539 Linz, Peter
Published: (2006)

An introduction to formal languages and automata /
by: 205539 Linz, Peter
Published: (2001)

Personnel Formalization and the Enhancement Of Teamwork: A public–private comparison
by: Chen, Chung-An, et al.
Published: (2016)

Prosodic properties of formality in spoken Japanese
by: Sherr-Ziarko, E
Published: (2017)

Introduction to the theory of formal groups /
by: Dieudonne, Jean Alexandre, 1906-
Published: (1973)

Automato : theoretic aspects of formal power series /
by: 459218 Salomaa, Arto, et al.
Published: (1978)

JFLAP-an interactive formal languages and automata package /
by: 458729 Rodger, Susan H., et al.
Published: (2006)

Formal models, languages and applications /
by: 361113 Subramaniam, K. G., et al.
Published: (2006)

Abstractions and formal verification of max-plus linear systems
by: Syifaul Mufid, M
Published: (2021)

A second course in formal languages and automata theory /
by: 262775 Shallit, Jeffrey
Published: (2009)

Formalizing mathematics in LEAN
by: Liu, Yufei
Published: (2024)

Theory of finite automata : with an introduction to formal languages /
by: Carroll, John, 1951-, et al.
Published: (1989)

Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings /
by: International Conference on Integrated Formal Methods (6th : 2007 : Oxford, England), et al.
Published: (2007)

Basic operational generalizations, managerial requirements and issues in the use of non-formal education
by: M. Yassin, Sulaiman
Published: (1982)

Formal models and practical tools for information systems design : proceedings/
by: IFTP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, April 17-20, 1979 Oxford, et al.
Published: (1979)

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /
by: International Conference on Formal Engineering Methods (7th : 2005 : Manchester, England), et al.
Published: (2005)

Formal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15/
by: International Conference on Formal Engineering Methods (9th : 2007 : Boca Raton, Fla.), et al.
Published: (2007)

Picture languages : formal models for pictures recognition /
by: Rosenfeld, Azriel, 1931-
Published: (1979)

Design patterns formalization techniques /
by: Taibi, Toufik, 1969-
Published: (2007)

Compositional lexical networks: a case study of the English spatial adjectives
by: Worthing, D
Published: (2021)

Grammar and L forms : an introduction /
by: 329214 Wood, Derick
Published: (1980)

Group counseling and group psychotherapy : theory and application /
by: 396637 Gazda, George M., et al.
Published: (2001)

Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures /
by: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th : 2006 : Bertinoro, Italy), et al.
Published: (2006)

The formal complexity of natural language /
by: Savitch, Walter
Published: (1987)

The tame fundamental group of a formal neighbourhood of a divisor with normal crossings on scheme/
by: 185594 Grohtendieck, Alexander, et al.
Published: (1971)

Theory of group representations and applications /
by: Barut, A. O. (Asim Orhan), 1926-, et al.
Published: (1980)

A survey of smart contract formal specification and verification
by: Tolmach, Palina, et al.
Published: (2022)