Refine your search

Your search returned 1311 results.

Sort
Results
Introduction to automata theory : languages and computation

by Hopcroft, John E | Ullman, Jeffrey D | .

Series: Edition: Language: English Publication details: Reading ; Addison-Wesley, ; 1979Availability: Items available for loan: 1 Call number: 681.3 Hop(6).

Introduction to automata theory, language and computation

by Hopcroft, John E | Ullman, Jeffrey D | .

Series: Addison-Wesley series in computer scienceEdition: Language: English Publication details: London ; Addison-Wesley ; 1979Availability: Items available for loan: 1 Call number: 681.3Hop(9).

Literature in the books language classroom : a resource book of ideas and activities

by Collie, Joanne | Slater, Stephen | .

Series: Edition: Language: English Publication details: Cambridge ; Cambridge Univ. Press, ; 1987Availability: Items available for loan: 1 Call number: 420:407 Col.

Design of an extendible graph editor

by Paulisch, Frances Newbery | .

Series: Lecture notes in computer science ; v.704Edition: Language: English Publication details: Berlin ; Springer-Verlag ; 1993Availability: Items available for loan: 1 Call number: 681.3.06:518.4 Pau.

Programming language implementation and logic programming : 5th international symposium proceedings PLILP'93, Tallinn, Estonia, Aug. 25-27, 1993 / edited by Maurice Bruynooghe and Jaan Penjam

by | .

Series: Lecture notes in computer science ; v.714Edition: Language: English Publication details: ; Berlin : Springer-Verlag, 1993 ; 1993Availability: Items available for loan: 1 Call number: 681.3.06 Pro:5:93.

Static analysis : third international workshop proceedings, WSA'93, Padova, Italy, Sept. 22-24, 1993 / edited by Patrick Cousot...[et al.]

by | .

Series: Lecture notes in computer science ; v.724Edition: Language: English Publication details: Berlin ; Springer-Verlag ; 1993Availability: Items available for loan: 1 Call number: 681.3.06 Sta:3:93.

Distributed algorithms : 7th international workshop proceedings, WDAG'93, Lausanne, Switzerland, Sept.27-29, 1993 / edited by Andre Schiper

by .

Series: Lecture notes in computer science ; v.725Edition: Language: English Publication details: Berlin ; Springer-Verlag ; 1993Availability: Items available for loan: 1 Call number: 681.327.8:681.3.06 Dis:7:93.

Semantics of temporal elements

by | .

Series: Edition: Language: English Publication details: Dordrecht ; D. Reidel Pub., ; 1982Availability: Items available for loan: 1 Call number: 401 Sem.

Pages

Powered by Koha