Search

Your search returned 493 results.

Results
		No cover image available 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). Place hold Add to cart (remove)
		Types and programming languages by Pierce, Benjamin C \| . Series: Edition: Language: English Publication details: Cambridge ; MIT Press ; 2002Availability: Items available for loan: 1 Call number: 681.3.06Pie. Place hold Add to cart (remove)
		No cover image available Programming languages : a grand tour / edited by Ellis Horowitz by \| . Series: Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1983Availability: Items available for loan: 1 Call number: 681.3.06 Pro. Place hold Add to cart (remove)
		No cover image available 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. Place hold Add to cart (remove)
		No cover image available 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. Place hold Add to cart (remove)
		No cover image available Formal methods in programming and their applications : international conference proceedings, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 / edited by Dines Bjotnr, Manfred Broy and Igor V. Pottosin by . Series: Lecture notes in computer science ; v.735Edition: Language: English Publication details: Berlin ; Springer-Verlag ; 1993Availability: Items available for loan: 1 Call number: 681.3.06 For:93. Place hold Add to cart (remove)
		No cover image available Essentials of programming languages by Friedman, Daniel P \| Wand, Mitchell \| Haynes, Christopher T \| . Series: Edition: Language: English Publication details: ; Cambridge : MIT Press, 1992 ; 1992Availability: Items available for loan: 1 Call number: 681.3.06 Fri. Place hold Add to cart (remove)
		No cover image available acm sigplan erlang workshop : a satellite event of pli 2002, pittsburgh, pennsylvania, usa, oct. 7, 2002 by Association for Computing Machinery \| . Series: Edition: Language: English Publication details: New York ; ACM Press ; 2002Availability: Items available for loan: 1 Call number: 681.3.06(Erl)Ass:02. Place hold Add to cart (remove)
		No cover image available Topics in advanced language implementation / edited by Peter Lee by \| . Series: Edition: Language: English Publication details: ; Cambridge : MIT Press, 1991 ; 1991Availability: Items available for loan: 1 Call number: 681.3.06 Top. Place hold Add to cart (remove)
		No cover image available Formal description of programming concepts - II : proceedings of the IFIP working conference on formal description of programming concepts, Garmisch-Partenkirchen, FRG, 1-4 June, 1982 / edited by Dines Bjorner by IFIP working conference on formal description of programming concepts (1982 : Garmisch-Partenkirchen, FRG) \| . Series: Edition: Language: English Publication details: Amsterdam ; North-Holland, ; 1983Availability: Items available for loan: 1 Call number: 681.3.06 IFI:82. Place hold Add to cart (remove)

First
Previous
1
2
3
4
5
6
7
8
9
10
Next
Last

Powered by Koha