Your search returned 7 results.

Sort
Results
1.
Semantic techniques in quantum computation ed. by Simon Gay and Ian Mackie by
  • Gay, Simon; ed [ed. by.]
  • Mackie, Ian; ed. by
Publication details: New York Cambridge University Press 2010
Availability: Items available for loan: University Library (1)Call number: 530.145:004.43 GAY.

2.
Initial computability, algebraic specifications and partial algebras Horst Reichel by
  • Reichel, Horst
  • Reichel, Horst
Publication details: Oxford Clarendon Press 1987
Availability: Items available for loan: Department of Computer Application (1).

3.
Semantics with applications : an appetizer / Hanne Riis Nielson and Flemming Nielson. by
  • Nielson, Hanne Riis
  • Nielson, Flemming
Series: Undergraduate topics in computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi : Springer International, 2011
Availability: Items available for loan: Department of Computer Science (2)Call number: 004.738.5Web NIE, ...

4.
Computational semantics with functional programming / Jan van Eijck and Christina Unger. by
  • Eijck, J. van
  • Unger, Christina
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Cambridge ; New York : Cambridge University Press, 2010
Availability: Items available for loan: Department of Computer Science (1)Call number: 004.8NLP EIJ.

5.
Initial computability, algebraic specifications and partial algebras Horst Reichel by
  • Reichel, Horst
  • Reichel, Horst
Publication details: Oxford Clarendon Press 1987
Availability: No items available.

6.
Semantics with applications : an appetizer / Hanne Riis Nielson and Flemming Nielson. by
  • Nielson, Hanne Riis
  • Nielson, Flemming
Series: Undergraduate topics in computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi : Springer International, 2011
Availability: No items available.

7.
Computational semantics with functional programming / Jan van Eijck and Christina Unger. by
  • Eijck, J. van
  • Unger, Christina
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Cambridge ; New York : Cambridge University Press, 2010
Availability: No items available.

Pages

University Library
Cochin University of Science and Technology
Kochi-682 022, Kerala, India