Your search returned 13 results.

Sort
Results
Relations and graphs : discrete mathematics for computer scientists

by Schmidt, Gunther | Strohlein, Thomas | .

Series: EATCS monographs on theoretical computer scienceEdition: Language: English Publication details: ; Berlin : Springer-Verlag, 1993 ; 1993Availability: Items available for loan: 1 Call number: 681.3:518.4 Sch.

Iteration theories : the equational logic of iterative processes

by Bloom, Stephen L | Esik, Zoltan | .

Series: EATCS monographs on theoretical computer scienceEdition: Language: English Publication details: ; Berlin : Springer-Verlag, 1993 ; 1993Availability: Items available for loan: 1 Call number: 681.3.06:51 Blo.

Models of massive parallelism : analysis of cellular automata and neural networks

by Garzon, Max | .

Series: EATCS monographs on theoretical computer scienceEdition: Language: English Publication details: ; Berlin : Springer, 1995 ; 1995Availability: Items available for loan: 1 Call number: 681.327.8 Gar.

Structural complexity

by Balcazar, Jose Luis | Diaz, Josep | Gabarro, Joaquim | .

Series: EATCS monographs on theoretical computer scienceEdition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1990Availability: Items available for loan: 1 Call number: 681.3.06 Bal-2.

Parsing theory

by Sippu, Seppo | Soisalon-Soininen, Eljas | .

Series: EATCS monographs on theoretical computer scienceEdition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1990Availability: Items available for loan: 1 Call number: 681.3.06 Sip-2.

Parsing schemata : a framework for specification and analysis of parsing algorithms

by Sikkel, Klaas | .

Series: EATCS monographs on theoretical computer scienceEdition: Language: English Publication details: ; Berlin : Springer, 1997 ; 1997Availability: Items available for loan: 1 Call number: 681.3.06 Sik.

Resolution calculus

by Leitsch, Alexander | .

Series: EATCS monographs on theoretical computer scienceEdition: Language: English Publication details: ; Berlin : Springer-Verlag, 1997 ; 1997Availability: Items available for loan: 1 Call number: 681.3.06:517.1 Lei.

Complier generators: what they can do, what they might do, and what they will probably never do.

by Tofte. Mads\ | .

Series: EATCS monographs on theoretical computer scienceEdition: Language: English Publication details: ; Berlin, Springer-Verlag, 1 ; 1990Availability: Items available for loan: 1 Call number: 681.3.06 Tof.

Syntax-directed semantics : formal models based on tree transducers

by Fulop, Zoltan | Vogler, Heiko | .

Series: EATCS monographs on theoretical computer scienceEdition: Language: English Publication details: ; Berlin : Springer, 1998 ; 1998Availability: Items available for loan: 1 Call number: 681.3.06:415 Ful.

Finiteness and regularity in semigroups and formal languages

by de Luca, Aldo | Varricchio, Stefano | .

Series: EATCS monographs on theoretical computer scienceEdition: Language: English Publication details: ; Berlin : Springer-Verlag, 1999 ; 1999Availability: Items available for loan: 1 Call number: 519.4 deL.

Pages

Powered by Koha