Formal Languages and Applications :: SCD d'Orléans

Formal Languages and Applications

Formal Languages and Applications

Guardat en:

Dades bibliogràfiques
Altres autors:	Martín Vide, Carlos, 1955- (Col·laborador), Păun, Gheorghe (Col·laborador), Mitrana, Victor, 19..- (Col·laborador)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Accés en línia:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Formal Languages and Applications, 978-3-642-53554-3

Ítems similars

Recent advances in formal languages and applications

New developments in formal languages and applications
per: Bel-Enguix, Gemma

Formal languages and their relation to automata
per: Hopcroft, John Edward, 1939-, et al.
Publicat: (1969)

Jewels of formal language theory
per: Salomaa, Arto, 1934-
Publicat: (1981)

Simple program schemes and formal languages
per: Engelfriet, Joost
Publicat: (2005)

New trends in formal languages : control, cooperation, and combinatorics
per: Păun, Gheorghe, 1950-

Balancing formal and functional explanations in language change and language contact
per: Joseph, Brian D.
Publicat: (2011)

Modern Formal Methods and Applications
per: Gabbar, Hossam A.

A course in formal languages, automata and groups
per: Chiswell, Ian, 1948-

COMPARING SYNTAX : AN INTRODUCTION TO FORMAL LANGUAGE TYPOLOGY.
per: ROBERTS, IAN G.
Publicat: (2026)

The formal analysis of natural languages : proceedings of the first International conference [Rocquencourt, on April 27-29, 1970]
per: Gross, Maurice, 1934-2001, linguiste
Publicat: (1973)

Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975
Publicat: (2005)

Towards Developing Tandem Learning in Formal Language Education
per: Batardière, Marie-Thérèse, et al.
Publicat: (2020)

From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
per: Wasserrab, Daniel
Publicat: (2021)

Formal methods for industrial applications : specifying and programming the steam boiler control
per: Abrial, Jean-Raymond, 1938-2025, informaticien

French lexis and formal exams in the British foreign language classroom
per: Milton, James
Publicat: (2015)

Dispositifs optiques polarisants : formalisme de Jones et applications
Publicat: (2023)

Formalisme.
Publicat: (2017)

Formal methods in programming and their applications : international conference, Academgorodok, Russia June 28 July 2, 1993 : proceedings

Le « formalisme » polonais et l’héritage du formalisme russe
per: Mrugalski, Michał, et al.
Publicat: (2018)

Structured object-oriented formal language and method : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 : revised selected papers
Publicat: (2013)

Formal groups
per: Fröhlich, Albrecht, 1916-2001

Formal Methods
Publicat: (2024)

Formal Ontology
per: Hakkarainen, Jani, et al.
Publicat: (2024)

Formal Methods
Publicat: (2024)

Preferring Formal Language over the Face? Avicenna on the Physiognomical Syllogism. Some Observations
per: Schmitt, Jens Ole
Publicat: (2022)

Le formalisme russe
per: Aucouturier, Michel, 1933-2017
Publicat: (1994)

Lógica formal
per: Soares, Edvaldo
Publicat: (2023)

Formalisme et poétique
per: Depretto, Catherine
Publicat: (2018)

Balzac et les formalismes
per: Gendrel, Bernard
Publicat: (2024)

Formal Charges.
Publicat: (2020)

Le formalisme russe
per: Romand, David, et al.
Publicat: (2016)

More on formal feeling/form-feeling in language sciences. Heinrich Gomperz’s concept of “formal logical feeling” (logisches Formalgefühl) revisited
per: Romand, David
Publicat: (2019)

Formal Methods: Foundations and Applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
Publicat: (2013)

Formal aspects of computing : applicable formal methods

Towards a Practice-based Philosophy of Logic: Formal Languages as a Case Study
per: Novaes, Catarina Dutilh
Publicat: (2012)

Formal semantics : the essential readings
per: Portner, Paul H., 1966-
Publicat: (2002)

Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings

Towards a Practice-based Philosophy of Logic: Formal Languages as a Case Study
per: Dutilh novaes, Catarina
Publicat: (2012)

Un livre de Reviel Netz pour une approche non formaliste des formalismes
per: Latour, Bruno
Publicat: (2009)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales