Results
|
|
|
|
|
Automata languages and programming : 14th = fourteenth symposium, University of Turku, Finland, 18-22 July, 1977 / edited by Arto Salomaa and Magnus Steinby Publication: Berlin : Springer-Verlag, cop. 1977Description: X, 568 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: CIUL-69 FCT 84057 (1).
|
|
|
First-order dynamic logic / David Harel Publication: Berlin, Heidelberg : Springer-Verlag, cop. 1979Description: X, 133 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: CIUL-94 FCT 84080 (1).
|
|
|
Programs, machines and computation : an introduction to the theory of computing / Keith Clark, Don Cowell Publication: London : McGraw-Hill, cop. 1976Description: XI, 176 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: CIUL-123 FCT 84105 (1).
|
|
|
Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth Publication: Berlin : Springer-Verlag, cop. 1979Description: VIII, 159 p. ;
25 cmAvailability: Items available for loan: Call number: CIUL-175 FCT 84146 (1).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computer science : a modern introduction / L. Goldschlager, A. Lister Publication: London : Prentice-Hall, cop. 1982Description: XII, 303 p. :
il. ;
23 cmAvailability: Items available for loan: Call number: CIUL-436 FCT 84337 (1).
|
|
|
|
|
|
|