Developments in language theory : :: SCD d'Orléans

Developments in language theory : 5th International Conference, DLT 2001, Wien, Austria, July 16 21, 2001 : revised papers

Developments in language theory : 5th International Conference, DLT 2001, Wien, Austria, July 16 21, 2001 : revised papers

Sábháilte in:

Sonraí bibleagrafaíochta
Údar corparáideach:	Developments in Language Theory conference :Vienne
Rannpháirtithe:	Kuich, Werner, 1941- (Stiúrthóir foilseacháin), Rozenberg, Grzegorz, 1942- (Stiúrthóir foilseacháin), Salomaa, Arto, 1934-2025 (Stiúrthóir foilseacháin)
Formáid:	Livre numérique
Teanga:	Anglais
Foilsithe / Cruthaithe:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Sraith:	Lecture notes in computer science 2295
Ábhair:	Informatique Langages formels Logique symbolique et mathématique Actes de congrès
Rochtain ar líne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nóta:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Developments in language theory, 5th International Conference, DLT 2001, Wien, Austria, July 16-21, 2001, revised papers, Werner Kuich, Grzegorz Rozenberg, Arto Salomaa (eds.), Berlin, Springer, 2002, 1 vol. (IX-388 p.), Lecture notes in computer science, 3-540-43453-4 • Developments in Language Theory, Texte imprimé, 9783662182406

Míreanna comhchosúla

Developments in language theory : 6th international conference, DLT 2002, Kyoto, Japan, September 18-21, 2002 : revised papers

Developments in language theory : 7th international conference, DLT 2003, Szeged, Hungary, July 7-11, 2003 : proceedings

Automata, languages, and programming : ninth colloquium, Aarhus, Denmark, July 12-16, 1982

Automata, languages and programming : 10th Colloquium, Barcelona, Spain, July 18-22, 1983

Automata, languages, and programming : 13th International colloquium, Rennes, France, July 15-19, 1986 : proceedings

Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings

New trends in formal languages : control, cooperation, and combinatorics
de réir: Păun, Gheorghe, 1950-

Automata, languages and programming : 20th international colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 : proceedings

Automata, languages, and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980

Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985

Automata, languages and programming : 21st international colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings

Mathematical foundations of programming language semantics : 3rd workshop, Tulane university, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings

Automata, languages and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings

Grammar and L forms : an introduction
de réir: Wood, Derick, 1940-

Logic : a brief course
de réir: Mundici, Daniele, 1946-

Elements of the theory of computation
de réir: Lewis, Harry R., 1947-, et al.
Foilsithe / Cruthaithe: (1981)

Automata, languages, and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981

Automata implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers

Logique(s), langages formels et complexité pour l'informatique
de réir: Jussien, Narendra, 1973-
Foilsithe / Cruthaithe: (2006)

Grammatical inference and applications : second international colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings
de réir: Carrasco, Rafael C., 1963-

Grammatical inference : algorithms and applications : 6th International Colloquium, ICGI 2002, Amsterdam, The Netherlands, September 23 25, 2002 : proceedings

Grammatical inference : algorithms and applications : 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings

Grammatical inference : 4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12 14, 1998 : proceedings

Context-free grammars : covers, normal forms, and parsing
de réir: Nijholt, Anton

Mathematical foundations of computer science 1986 : proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25-29, 1986

Automata implementation : Second International Workshop on Implementing Automata, WIA '97, London, Ontario, Canada, September 18-20, 1997 : revised papers
de réir: Wood, Derick, 1940-, et al.

GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen : Bonn, 9. 12. Juli 1973
Foilsithe / Cruthaithe: (2006)

Comprendre les méthodes formelles : panorama et outils logiques
de réir: Monin, Jean-François
Foilsithe / Cruthaithe: (1996)

Grammatical inference : algorithms and applications : 7th international colloquium, ICGI 2004, Athens, Greece, october 11-13, 2004 : proceedings

Intelligence artificielle et informatique théorique
de réir: Alliot, Jean-Marc, 1962-, et al.
Foilsithe / Cruthaithe: (1994)

Informatique MP2I/MPI : CPGE 1re et 2e années
de réir: Barra, Vincent, 19..-...., chercheur en informatique de modélisation
Foilsithe / Cruthaithe: (2021)

The generic development language Deva : presentation and case studies
de réir: Weber, Matthias, et al.

Intelligence artificielle et informatique théorique
de réir: Alliot, Jean-Marc, 1962-, et al.
Foilsithe / Cruthaithe: (2002)

Combinatorics on traces
de réir: Diekert, Volker

ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users Turku, Finland, June 4 6, 2003 : proceedings

ZB 2002 : formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23 25, 2002 : proceedings

Informatique MP2I/MPI : CPGE 1re et 2e années
de réir: Barra, Vincent, 19..-...., chercheur en informatique de modélisation
Foilsithe / Cruthaithe: (2021)

Programming languages and their definition
de réir: Bekič, Hans, 1936-1982

Programming languages and systems : 10th European Symposium on Programming, ESOP 2001 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 6, 2001 : proceedings

ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29 September 2, 2000 : proceedings

© 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