Formal groups and applications /

Formal groups and applications /

41

Opis bibliograficzny
1. autor:	305241 Hazewinkel, Michiel
Format:
Wydane:	New York : Academic Pr., 1978
Hasła przedmiotowe:	Formal groups

Podobne zapisy

Formal groups /
od: 316195 Frohlich, A.
Wydane: (1968)

Recent advances in formal languages and applications /
od: Esik, Zoltan, 1951-, i wsp.
Wydane: (2006)

Formal language theory and its application in splicing system /
od: 596254 Fong, Wan Heng, i wsp.
Wydane: (2005)

Formal languages and compilation /
od: 437251 Reghizzi, Stefano Crespi
Wydane: (2009)

Varieties of formal languages /
od: 423861 Pin, J. E., i wsp.
Wydane: (1986)

Handbook of formal languages /
od: Rozenberg, Grzegorz, i wsp.
Wydane: (1997)

Modern formal methods and applications /
od: Gabbar, Hossam A
Wydane: (2006)

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

Formal language theory and DNA /
od: Nor Muhainiah Mohd. Ali, 1981- 483718
Wydane: (2004)

Jewels of formal language theory /
od: 459218 Salomaa, Arto
Wydane: (1981)

Modelling of splicing systems using formal language theory /
od: 596254 Fong, Wan Heng, i wsp.
Wydane: (2008)

Modelling of splicing systems using formal language theory [electronic resource] /
od: 596254 Fong, Wan Heng, i wsp.
Wydane: (2008)

Formal gardens /
od: 316168 Smit, Daan, i wsp.
Wydane: (1996)

Understanding formal methods /
od: 273376 Monin, Jean-Francois
Wydane: (2003)

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

Non-formal education : an alternative to formal system/
od: 418335 Singh, Rajendra Prasad, i wsp.
Wydane: (1979)

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

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

Encyclopaedia of non-formal education /
od: 202838 M. Husain
Wydane: (2003)

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

Personnel Formalization and the Enhancement Of Teamwork: A public–private comparison
od: Chen, Chung-An, i wsp.
Wydane: (2016)

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

The non-formal education planning process and its implementation in Thai government organizations /
od: 225250 Ubon Hugkuntod, i wsp.
Wydane: (1986)

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

Automato : theoretic aspects of formal power series /
od: 459218 Salomaa, Arto, i wsp.
Wydane: (1978)

JFLAP-an interactive formal languages and automata package /
od: 458729 Rodger, Susan H., i wsp.
Wydane: (2006)

Formal models, languages and applications /
od: 361113 Subramaniam, K. G., i wsp.
Wydane: (2006)

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

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

Adult and non-formal education /
od: 437285 Mohanty, Jagannath
Wydane: (1995)

Formalizing Medieval Logical Theories [electronic book] : Suppositio, Consequentiae and Obligationes/
od: 356461 Dutilh Novaes, Catarina
Wydane: (2007)

Formalizing mathematics in LEAN
od: Liu, Yufei
Wydane: (2024)

Theory of finite automata : with an introduction to formal languages /
od: Carroll, John, 1951-, i wsp.
Wydane: (1989)

Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings /
od: International Conference on Integrated Formal Methods (6th : 2007 : Oxford, England), i wsp.
Wydane: (2007)

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

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

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

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /
od: International Conference on Formal Engineering Methods (7th : 2005 : Manchester, England), i wsp.
Wydane: (2005)

Design patterns formalization techniques /
od: Taibi, Toufik, 1969-
Wydane: (2007)

Symmetry groups and their applications /
od: 414152 Miller, Willard
Wydane: (1972)