Results
|
|
|
Annotated C++ reference manual by Ellis, Margaret A | Stroustrup, Bjarne | . Series: Edition: Language: English Publication details: ; Reading : Addison-Wesley, 1990 ; 1990Availability: Items available for loan: 1 Call number: 681.3.06(C++) Ell.
|
|
|
|
|
|
|
|
Two-level functional languages by Nielson, Flemming | Nielson, Hanne Riis | . Series: Edition: Language: English Publication details: ; Cambridge : Cambridge University Press, 1992 ; 1992Availability: Items available for loan: 1 Call number: 681.3.06 Nie.
|
|
|
|
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.
|
|
|
|
|
|
|
|
Synonymy and semantic classification by Jones, K. Sparck | . Series: Edition: Language: English Publication details: Edinburg ; Edinburg Univ. Press, ; 1986Availability: Items available for loan: 1 Call number: 413.14:681.342 Jon.
|
|
|
|
|
|
|
|
|
|
|
|
Videshi bhashaaon se anuvad ki samasyayen by Tiwari, Bholanath | Naresh Kumar | . Series: Edition: Language: English Publication details: ; Delhi : Prabhat Prakashan, 1987 ; 1987Availability: Items available for loan: 1 Call number: 8.03=914.3 Tiw.
|
|
|
|
Formal specification and software development by Bjorner, Dines | Jones, Cliff B | . Series: Edition: Language: English Publication details: Englewood Cliffs ; : Prentice-Hall International, 19 ; Availability: Items available for loan: 1 Call number: 681.3.06 Bjo.
|
