Refine your search

Your search returned 54 results.

Sort
Results
FORTRAN IV computer programming

by Biswas, Nripendra N | .

Series: Edition: 2nd ed Language: English Publication details: Bangalore ; Radiant Books, ; 1979Availability: Items available for loan: 2 Call number: 681.3.06 Bis, ...

Axiomatising the logic of computer programming

by Goldblatt Robert | .

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

Generating language-based environments

by Reps, Thomas W | .

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

Semantic information processing / edited by Marvin Minsky

by | .

Series: Edition: Language: English Publication details: Cambridge ; MIT Press, ; 1968Availability: Items available for loan: 1 Call number: 681.342:415.4 Sem.

Action refinement in process algebras

by Aceto, Luca | .

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

Semantics : foundations and applications : REX workshop proceedings, Beekbergen, The Netherlands, June 1-4, 1992 / edited by J.W. de Bakker , W.-P. Roever and G. Rozenberg

by | .

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

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.

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.

Formal semantics of programming languages : an introduction

by Winskel, Glynn | .

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

Formal semantics of programming languages : an introduction

by Winskel, Glynn | .

Series: Edition: Language: English Publication details: ; Cambridge : MIT Press, 1994 ; 1994Availability: Items available for loan: 1 Call number: 681.3.06 Win(2).

Pages

Powered by Koha