Formal and natural computing : :: SCD d'Orléans

Formal and natural computing : essays dedicated to Grzegorz Rozenberg

Formal and natural computing : essays dedicated to Grzegorz Rozenberg

This book presents state of the art research in theoretical computer science and related ?elds. In particular, the following areas are discussed: automata theory, formal languages and combinatorics of words, graph transformations, Petri nets, concurrency, as well as natural and molecular computing....

Descrizione completa

Salvato in:

Dettagli Bibliografici
Autore principale:	Brauer, Wilfried, 1937-2014
Altri autori:	Ehrig, Hartmut, 1944- (Direttore editoriale), Karhumäki, Juhani, 1949- (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science 2300
Soggetti:	Informatique Algorithmes Logique symbolique et mathématique Structures de données (informatique) Grammaires de graphes Mélanges et hommages
Accesso online:	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
Variante du titre:	Mélanges :, Rozenberg
Edition sous un autre format:	• Formal and natural computing, essays dedicated to Grzegorz Rozenberg, Wilfried Brauer ... [et al.] (eds.), Berlin, Springer, 2002, 1 vol. (XXXVI-429 p.), Lecture notes in computer science, 3-540-43190-X • Formal and Natural Computing, Texte imprimé, 9783662199497

Documenti analoghi

Applications of graph transformations with industrial relevance : Second international workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27-October 1, 2003 : revised selected and invited papers

CAAP '86 : 11th Colloquium on trees in algebra and programming, Nice, France, March 24-26, 1986 : proceedings

Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings
di: Schneider, Hans Jürgen, 1937-

Graph transformation : first international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : proceedings

Trees in algebra and programming - CAAP '96 : 21st International Colloquium, Linköping, Sweden, April 22 24, 1996 : proceedings

Graph-theoretic concepts in computer science : 18th International Workshop, WG '92, Wiesbaden-Naurod, Germany, June 18-20, 1992 : proceedings
di: Mayr, Ernst W., 1950-

Graph-theoretic concepts in computer science : 21st International Workshop, WG '95, Aachen, Germany, June 20 22, 1995 : proceedings

CAAP '92 : 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26 28, 1992 : proceedings

Theoretical computer science : 7th Italian Conference, ICTCS 2001 Torino, Italy, October 4 6, 2001 : proceedings
di: Restivo, Antonio, et al.

Applications of graph transformations with industrial relevance : international workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999 : proceedings

From object-orientation to formal methods : essays in memory of Ole-Johan Dahl
di: Owe, Olaf, 19..-

Graph-theoretic concepts in computer science : 16th international workshop WG'90, Berlin, Germany, June 20-22, 1990 : proceedings

Topics in discrete mathematics : dedicated to Jarik Nešetril on the occasion of his 60th birthday
di: Klazar, Martin

STACS 2004 : 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004 : proceedings

Theoretical computer science : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003 : proceedings

Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday
di: Karhumäki, Juhani, 1949-

Graph-theoretic concepts in computer science : 15th international workshop WG '89, Castle Rolduc, The Netherlands, June 14-16, 1989 : proceedings

Algebraic logic and universal algebra in computer science : conference, Ames, Iowa, USA, June 1-4, 1988 : proceedings
di: Bergman, Clifford H.

Graph-theoretic concepts in computer science : 17th International Workshop, WG '91, Fischbachau, Germany, June 17 19 1991 : proceedings

Graph transformations : second international conference, ICGT 2004, Rome, Italy, September 28-October 2, 2004 : proceedings
di: Ehrig, Hartmut, 1944-

Mathematical foundations of computer science 1993 : 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30 September 3, 1993 : proceedings

Results and trends in theoretical computer science : colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings

Graph grammars and their application to computer science : 5th international workshop, Williamsburg, VA, USA, November 13-18, 1995 : selected papers

Graph-grammars and their application to computer science : 3rd international workshop, Warrenton, Virginia, USA, December 2-6, 1986

Hyperedge replacement : grammars and languages
di: Habel, Annegret, 19..-

Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday
di: Lenski, Wolfgang, 1952-

Theory and application of graph transformations : 6th International Workshop, TAGT 98, Paderborn, Germany, November 16-20, 1998 : selected papers

Multiset processing : mathematical, computer science, and molecular computing points of view
di: Calude, Cristian S., 1952-

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
di: Kakas, Antonis C.

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
di: Kakas, Antonis C.

Graph-grammars and their application to computer science : 4th International Workshop, Bremen, Germany, March 5-9, 1990 : proceedings

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

Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings

Aspects of molecular computing : essays dedicated to Tom Head on the occasion of his 70th birthday

Teaching formal methods : CoLogNET/FME symposium, TFM 2004, Ghent, Belgium, november 18-19, 2004 : proceedings
di: Dean, Neville, 19..-

Automata, languages and programming : 18th international colloquium, Madrid, Spain, July 8-12, 1991 : proceedings

Arbres, tables et algorithmes
di: Guyot, Jacques, 1955-, et al.
Pubblicazione: (1986)

Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30 - November 3, 1978

Computing and combinatorics : first annual international conference, COCOON'95, Xi'an, China, August 24-26, 1995, proceedings

Rough sets, fuzzy sets, data mining, and granular computing : 9th international conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003 : 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