Your search returned 14 results.

Not what you expected? Check for suggestions
BOOKS
Mathematical Foundations of Programming Semantics 9th International conference New Orleans, LA, USA, April 93

by Brookes, S | Main, M., Schmidt, D | Melton, A., Mislove, M.

Series: Lecture notes in computer science ; 00802Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Semantics and Logics of Computation

by Pitts, Andrew M. Ed | Dybjer, Peter. Ed.

Series: Publications of the Newton InstituteMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University press ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 26 Call number: 681.3.01 PIT.

Place hold Log in to add tags
BOOKS
Mathematical Foundations of Programming Semantics Proceedings, 5th International Conference,Louisiana,USA,1989

by Main, M. et al Eds.

Series: Lecture notes in computer science ; 00442Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 11 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Formal Syntax and Semantics of Java

by Alves-Foss, Jim. (Ed.).

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Handbook of Logic and Language

by van Benthem, Johan. Ed | ter Meulen, Alice. Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Amsterdam ; Elsevier ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 3 Call number: 510.6(02) BEN.

Place hold Log in to add tags
BOOKS
Programming Language Semantics : Imperative and Object-Oriented Languages

by Kirkerud, Bjorn.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: UK ; ITP ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 7 Call number: 681.3 KIR.

Place hold Log in to add tags
BOOKS
Semantics of systems of concurrent processes LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 proceedings

by Guessarian, I Ed.

Series: Lecture notes in computer science ; 00469Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 12 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Toward a cognitive semantics: vols I & II

by Talmy, Leonard.

Series: Language, speech, and communicationMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. ; MIT Press ; c2000Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 49, Shelf No: 21 Call number: 681.3 TAL.

Place hold Log in to add tags
BOOKS
Fuzzy Quantifiers A Computational Theory

by Glöckner, Ingo.

Series: Studies in fuzziness and soft computingMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2006Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 GLO.

Place hold Log in to add tags
BOOKS
Formal semantics of programming languages an introduction

by Winskel, Glynn.

Series: Foundations of computingMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; MIT Press ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 23 Call number: 681.3 WIN.

Place hold Log in to add tags
BOOKS
Semantic techniques in quantum computation

by Gay, Simon Ed | Mackie, Ian.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Cambridge university press ; 2010Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 681.3 GAY.

Place hold Log in to add tags
BOOKS
Reasoning about preference dynamics

by Liu, Fenrong.

Series: Synthese library : studies in epistemology, logic, methodology, and philosophy of science ; 354Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: Eng Publication details: Dordrecht New York Springer 2011Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 5 Call number: 510.6 LIU.
Lists:

Place hold Log in to add tags
BOOKS
Problems with a point : exploring math and computer science

by Gasarch, William I | Kruskal, Clyde.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: Eng Publication details: Singapore World Scientific 2019Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 34, Shelf No: 18 Call number: 517.98 GAS.
Lists:

Place hold Log in to add tags
BOOKS
Science and Philosophy in the Twentieth Century Logic, probability, and epistemology basic works of logical empiricism

by Sarkar,Sahotra (ed).

Series: ; 3;Language: English Language: English Publication details: London Routledge 2020Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:18 Shelf No:2 Call number: 51(091) SAR.
Lists:

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha