Results of search for 'su:"Semantics"' › JRD Tata Memorial Library catalog

Results
	1.	No cover image available Semantics of shared variables in parallel programming languages. by Norman Victor Shulman. by Shulman, Norman Victor Material type: Text Publication details: Ann Arbor UMI 1987 Availability: Items available for reference: Electronic Systems Engineering: Not for loan (1)Call number: 001.6424 N8752.
	2.	No cover image available Distributed computer systems structures and semantics /by Liba Svobodova, Barbara Liskov and David Clark. by Svobodova, Liba. Liskov, Barbara. Clark, David Series: Masachussettes institute of technology, Laboratory of computer science Material type: Text Publication details: Cambridge MIT 1979 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6442 N791.
	3.	Algebraic approaches to program semantics by Ernest G. Manes and Michael A. Arbib. by Manes, Ernest G Arbib, Michael A Series: AKM series in theoretical computer science Material type: Text Publication details: New York S-V 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N86.
	4.	Full abstraction and semantic equivalence by Ketan Mulmuley by Mulmuley, Ketan Series: ACM doctoral dissertation awards 1986 ; Material type: Text Publication details: Cambridge MIT 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.13 N873.
	5.	Algebraic theory of processes by Mathew Hennessy by Hennessy, Mathew Series: MIT Press series in the foundations of computing ; Material type: Text Publication details: Cambridge MIT 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.0151 N881.
	6.	Formal specification of programming languages: Panoramic premier by Frank G Pagan by Pagan, Frank G Material type: Text Publication details: New Jersey Prentice hall 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N8120.
	7.	Realistic compiler generation. by Peter Lee. by Lee, Peter Series: Foundations of computing ; Material type: Text Publication details: Cambridge MIT 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.453 N8910.
	8.	No cover image available Partial orders and fully abstract models for concurrency. by Engberg, Uffe Series: Aarhus Univ., Computer Science Dept. DAIMI PB-307 Material type: Text Publication details: Aarhus Aarhus Univ. 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N901.
	9.	No cover image available True concurrency can be traced. by Engberg, Uffe Henrik Series: Aarhus Univ., Computer Science Dept., DAIMI PB-308 Material type: Text Publication details: Aarhus Aarhus Univ. 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N902.
	10.	Language, thought and other biological categories new foundations for realism by Ruth Garrett Millikan by Millikan, Ruth Garrett Material type: Text Publication details: Cambridge MIT Press 1984 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 401 N84.
	11.	Handbook of theoretical computer science. Vol A & B ed. by Jan van Leeuwen. by Leeuwen, Jan Van Material type: Text Publication details: Amsterdam Elsevier 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004 N902.A,N902.B "R".
	12.	Semantics of syntactic change aspects of the evolution of do in English by Dieter Stein. by Stein, Dieter Series: Trends in linguistics, Studies and monographs V.47 Material type: Text Publication details: Berlin Mouton de Gruyter 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 420.143 N90.
	13.	Iteration theories: the equational logic of iterative processes /Stephen L. Bloom, Zoltan Esik by Bloom. Stephen L Esik, Zoltan Series: EATCS Monographs on Theoretical Computer Science Material type: Text Publication details: Berlin S-V 1993 Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.131 N93.
	14.	Truth, deduction and computation: logic and semantics for computer science by Davis, R.E, Series: Principles of Computer Science Series Material type: Text Publication details: New York W.H. Freeman 1989 Availability: Items available for loan: Computer Science and Automation (1)Call number: 005.13 N894. Place hold
	15.	Meaning and speech acts V.1:principles of language use by Daniel Vanderveken by Vanderveken, Daniel Material type: Text Publication details: Cambridge Cambridge University Press 1990 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 401.43 N90. Place hold
	16.	Semantics Foundations and applications (Proceedings) ed by J.W. de Bakker, W.-P de Roever, G. Rozenberg by REX workshop (Netherlands 1992) de Bakker, J W., ed Series: Lectures in Computer Science ; 666 Material type: Text Publication details: Berlin S-V 1993 Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.131 N932.
	17.	Current trends in SNePs- sematic network processing system ed. by D. Kumar. by Kumar, D., ed Material type: Text Publication details: Berlin Springer-Verlag 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.3 N90.4.
	18.	Mathematical foundations of programming language semantics ed. by M. Main etal. by Main, M Melton, A Mislore, M Workshop on Mathematical Foundations of Programming Language Semantics ( New Orleans : 1987 ) Series: Lecture notes in computer science ; 298 Material type: Text Publication details: Berlin Springer-Verlag 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 510.02854 N88.
	19.	Logic of Domains by Guo-Qiang Zhang by Zhang, Guo-Qiang Series: Progress in theoretical computer science Material type: Text Publication details: Boston Birkhauser 1991 Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.13 N912.
	20.	No cover image available Mathematical logic and Hilbert's e-symbol by A.C. Leisenring, by Leisenring, A.C Series: University Mathematical Series Material type: Text Publication details: London Macdonald Tech.& Sci 1969 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N695.

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Your search returned 73 results.