Αποτελέσματα αναζήτησης

1

Εξώφυλλο

Feasible computations and provable complexity properties /

ανά Hartmanis, Juris
Έκδοση 1978

Βιβλίο

2

Εξώφυλλο

Jewels of formal language theory /

ανά Salomaa, Arto.
Έκδοση 1981

Βιβλίο

3

Εξώφυλλο

Elements of the theory of computation /

ανά Lewis, Harry R.
Έκδοση 1981

Βιβλίο

4

Εξώφυλλο

Automata, languages, and machines/

ανά Eilenberg, Samuel
Έκδοση 1974

Βιβλίο

5

Εξώφυλλο

Elements of the theory of computation/

ανά Lewis, Harry R.
Έκδοση 1998

Λήψη πλήρους κειμένου

Βιβλίο

6

Εξώφυλλο

Formal languages/

ανά Salomaa, Arto
Έκδοση 1973

Βιβλίο

7

Εξώφυλλο

Introduction to automata theory, languages, and computation/

ανά Hopcroft, John E.
Έκδοση 2007

Βιβλίο

8

Εξώφυλλο

Initiation mathematique aux grammaires formelles /

ανά Hughes, Michel
Έκδοση 1972

Βιβλίο

9

Εξώφυλλο

Modal logic and process algebra a bisimulation perspective /

Έκδοση 1995

Βιβλίο

10

Εξώφυλλο

Communication and concurrency /

ανά Milner, Robin
Έκδοση 1989

Βιβλίο

11

Εξώφυλλο

Computability, complexity, and languages : fundamentals of theoretical computer science /

ανά Davis, Martin D.
Έκδοση 1994

Βιβλίο

12

Εξώφυλλο

Introduction to automata theory, languages, and computation /

ανά Hopcroft, John E.
Έκδοση 2001

Βιβλίο

13

Εξώφυλλο

Introduction to automata theory, languages and computation/

ανά Hopcroft, John E.
Έκδοση 1979

Βιβλίο

14

Εξώφυλλο

Formal description techniques : : proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, 6-9 September 1988 /

Έκδοση 1989

Βιβλίο

15

Εξώφυλλο

Στοιχεία θεωρίας υπολογισμού /

ανά Lewis, Harry R.
Έκδοση 2005

Βιβλίο

16

Εξώφυλλο

Categorical combinators, sequential algorithms, and functional programming/

ανά Curien, Pierre-Louis
Έκδοση 1993

Βιβλίο

17

Εξώφυλλο

Using formal description techniques : an introduction to Estelle,LOTOS, and SDL /

Έκδοση 1993

Βιβλίο

18

Εξώφυλλο

Theory of finite automata : with an indroduction to formal languages /

ανά Carroll, John
Έκδοση 1989

Βιβλίο

Cannot write session to /tmp/vufind_sessions/sess_nls8352afd46vv77qkct1s2ki1