Refine your search

Your search returned 1311 results.

Sort
Results
Semantics of programming languages : structures and techniques

by Gunter, Carl A | .

Series: Edition: Language: English Publication details: ; Cambridge : MIT Press, 1992 ; 1992Availability: Items available for loan: 1 Call number: 681.3.06 Gun.

Interpretation and instruction path coprocessing

by Debaere, Eddy H | Campenhout, Jan M. Van | .

Series: Edition: Language: English Publication details: ; Cambridge : MIT Press, 1990 ; 1990Availability: Items available for loan: 1 Call number: 681.3 Deb.

Connotational theory of program structure

by Royer, James S | .

Series: Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1987Availability: Items available for loan: 1 Call number: 681.3.06 Roy.

FME 93 : industrial-strength formal methods : first international symposium of formal methods Europe : proceedings, Odense, Denmark, Apr. 19-23, 1993 / edited by J.C.P. Woodcock and P.G. Larsen

by International symposium of formal methods Europe (1st : 1993 | .

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

Advanced visual interfaces / edited by T. Catarci, M.F. Costabile and S. Levialdi

by | .

Series: Edition: Language: English Publication details: ; Singapore : World Scientific, 1992 ; 1992Availability: Items available for loan: 1 Call number: 621.385.832:681.3.06 Adv.

Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group / edited by J.W. de Bakker and J.J.M.M. Rutten.

by | .

Series: Edition: Language: English Publication details: ; Singapore : World Scientific, 1992 ; 1992Availability: Items available for loan: 1 Call number: 681.3.06:681.327.8 Ten.

International conference on architectural support for programming languages and operating systems, ASPLOS : proceedings, 2nd, Palo Alto, California, Oct. 5-8, 1987

by Institute of Electrical and Electronics Engineers | .

Series: Edition: Language: English Publication details: Washington, D.C. ; : Computer Society Press of the I ; Availability: Items available for loan: 1 Call number: 681.3.06 Ins:2:87.

Pages

Powered by Koha