New trends in formal languages Control,cooperation and combinatorics

New trends in formal languages Control,cooperation and combinatorics

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Paun, Gheorghe (Συγγραφέας), Salomaa, Arto (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin Springer-Verlag c1997
Σειρά:	Lecture Notes in Computer Science / G. Goos and J. Hartmanis 1218
Θέματα:	FORMAL LANGUAGES ΕΠΕΑΕΚ LNCS

Παρόμοια τεκμήρια

Jewels of Formal Language Theory
ανά: Salomaa, Arto
Έκδοση: (1981)

Handbook of formal languages
Έκδοση: (1997)

Hanbook of formal languages
Έκδοση: (1997)

Handbook of formal languages
Έκδοση: (1997)

Formal Languages
ανά: Salomaa, Arto
Έκδοση: (1973)

Cooperative information agents II Learning,mobility and electronic commerce for information discovery on the Internet Proceedings of the 2nd Int. Workshop,CIA'98 Paris, France July 4-7,1998
Έκδοση: (1998)

Computer-aided verification Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990
Έκδοση: (1991)

Formal Languages
ανά: Book, Ronald V., κ.ά.
Έκδοση: (1973)

Introduction to Formal languages
ανά: Revesz, Gyorgy E.
Έκδοση: (1985)

An introduction to formal language theory
ανά: Arbib, Michael A., κ.ά.
Έκδοση: (1988)

Theory of computation formal languages, automata, and complexity
ανά: Brookshear, J. Glenn
Έκδοση: (1989)

Introduction to Formal Language Theory
ανά: Harrison, Michael A.
Έκδοση: (1978)

The Vienna development method: the meta-language
Έκδοση: (1978)

PORTAL language description
ανά: Businger, Arnold
Έκδοση: (1985)

Computability, complexity, and languages Fundamentals of theoretical computer science
ανά: Davis, Martin D., κ.ά.
Έκδοση: (1983)

Theory of finite automata With an introduction to formal languages
ανά: Carroll, John, κ.ά.
Έκδοση: (1989)

Parallel sympolic computing:languages, systems, and applications Proceedings of the US/Japan Workshop Cambridge, MA, USA, October 14-17, 1992
Έκδοση: (1993)

Programming languages and system architectures Proceedings International Conference Zurich, Switzerland, March 2-4, 1994
Έκδοση: (1994)

Current trends in concurrency [Proceedings of the ESPRIT/LPC Noordwijlerhout, The Netherlands, June 10-21, 1985]
Έκδοση: (1985)

Automata, Languages and Programming Proceedings of the 23rd International Colloquim ICALP'96 Paderborn, Germany, July 6-12, 1996
Έκδοση: (1996)

Programming Languages Design and implementation
ανά: Pratt, Terrence W., κ.ά.
Έκδοση: (2001)

Automata, Languages and Programming 22nd International Colloquium, ICALP 95 Szeged, Hungary, July 10-14, 1995 Proceedings
Έκδοση: (1995)

Distributed Programming Paradigms with Cryptography Applications
ανά: GREENFIELD, JONATHAN S.
Έκδοση: (1994)

Advances in Cryptology - CRYPTO '89 Proceedings
Έκδοση: (1990)

Advances in Cryptology - CRYPTO '90 Proceedings
Έκδοση: (1991)

Automata, Languages and Programming Proceedings of the 28th International Colloquium, ICALP 2001 Crete, Greece, July 2001
Έκδοση: (2001)

Cornerstones of Undecidability
ανά: Rozenberg, Grzegorz, κ.ά.
Έκδοση: (1994)

Parallel architectures and their efficient use Proceedings of the First Heinz Nixdorf Symposium Paderborn, germany, November 11-13, 1992
Έκδοση: (1993)

Qualitative Representation of Spatial Knowledge
ανά: Hernandez, Daniel
Έκδοση: (1994)

Compositionality, concurrency and partial correctness Proof theories for networks of processes, and ther relationship
ανά: Zwiers, J.
Έκδοση: (1989)

Programs as data objects Proceedings of a Workshop Copenhagen, Denmark, October 17-19, 1985
Έκδοση: (1986)

State of the art in applied cryptography Course on computer security and industrial cryptography . Leuven, Belgium, June 306,1997. Revised lectures
Έκδοση: (1998)

Languages and compilers for parallel computing Proceedings of the fourth International Workshop Santa Clara, California, USA, August 7-9, 1991
Έκδοση: (1992)

Ada: The choice for '92. Proceedings of the Ada-Europe international conference Athens, May 13-17 1991
Έκδοση: (1991)

Building intelligent agents An apprenticeship multistrategy learning theory, methodology,tool and cas studies
ανά: Tecuci, Gheorghe
Έκδοση: (1998)

PARLE'91 parallel architectures and languages europe Proceedings. Eindhoven, Netherlands, June 10-13, 1991
Έκδοση: (1991)

PARLE 89 Parallel Architectures and Languages Europe Proceedings. Eindhoven, The Netherlands, June 12-16, 1989
Έκδοση: (1989)

The Verilog hardware description language
ανά: Moorby, Philip R., κ.ά.
Έκδοση: (1998)

Advances in Cryptology - CRYPTO '91 Proceedings
Έκδοση: (1992)

Advances in Cryptology - EUROCRYPT '92 Proceedings.Workshop on the Theory and Application of Cryptographic Techniques. Balatonfured, Hungary May 24-28, 1992
Έκδοση: (1993)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών