Results of search for 'ccl=su:"Languages"' › JRD Tata Memorial Library catalog

Results
	401.	Foundations of software science and computational structures [electronic resource] by Helmut Seidl by Seidl, Helmut Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 003 (e-book). Place hold
	402.	Logic-Based program synthesis and transformation [electronic resource] by Germ n Puebla by Puebla, Germ n Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.115 (e-book). Place hold
	403.	Anaphora Analysis, Algorithms and applications [electronic resource] by Ant२nio Branco by Branco, Ant२nio Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 401.410285 (e-book). Place hold
	404.	Transactions on high-Performance embedded architectures and compilers I [electronic resource] by Per Stenstr५m by Stenstr५m, Per Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.16 (e-book). Place hold
	405.	Object-Oriented technology. ECOOP 2006 workshop reader [electronic resource] by Mario Sॱdholt and Charles Consel by Sॱdholt, Mario Consel, Charles Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.11 (e-book). Place hold
	406.	All about maude - A high-Performance logical framework [electronic resource] by Manuel Clavel .,et al by Clavel, Manuel Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.133 (e-book). Place hold
	407.	Recent trends in algebraic development techniques [electronic resource] by Jos़ Luiz Fiadeiro and Pierre-Yves Schobbens by Fiadeiro, Jos़ Luiz Schobbens, Pierre-Yves Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.01512 (e-book). Place hold
	408.	Coordination Models and Languages [electronic resource] Proceedings ed by Amy L Murphy by International Conference, COORDINATION (9 Cyprus 2007) Murphy, Amy L., ed Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.27 (e-book). Place hold
	409.	Learning Theory [electronic resource] Proceedings by Bshouty, Nader H and Gentile, Claudio by Annual Conference on Learning Theory 2007) USA, COLT (20 Claudio, Gentile Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.31 (e-book). Place hold
	410.	Testing of Software and Communicating Systems [electronic resource] Proceedings by Petrenko Alexandre and Veanes Margus by International Conference 2007) Estonia, FATES (19 Margus, Veanes Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.6 (e-book). Place hold
	411.	No cover image available Rewriting, Computation and Proof [electronic resource] by Comon-Lundh Hubert and Kirchner Claude by Birth Day (60 2007) Claude , Kirchner Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.015113 . Place hold
	412.	Developments in Language Theory [electronic resource] Proceedings by Harju, Tero by International Conference 2007) Finland, DLT (11 Juhani, Karhum ki Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 . Place hold
	413.	Typed Lambda Calculi and Applications [electronic resource] Proceedings by Ronchi, Rocca, Simona by International Conference 2007) France, TLCA (8 Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.350285 . Place hold
	414.	Term Rewriting and Applications [electronic resource] Proceedings Baader Franz by International Conference 2007) France, RTA (18 Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 (e-book). Place hold
	415.	Abstraction, Reformulation, and Approximation [electronic resource] Proceedings by Miguel Ian and Ruml Wheeler by International Symposium 2007) Canada, SARA (7 Wheeler, Ruml Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 (e-book). Place hold
	416.	Modeling Decisions for Artificial Intelligence [electronic resource] Proceedings by Torra Vicen by International Conference 2007) Japan, MDAI (4 Yasuo, Narukawa Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 (e-book). Place hold
	417.	No cover image available Algebra and Coalgebra in Computer Science [electronic resource] Proceedings by Mossakowski Till by International Conference 2007) Norway, CALCO (2 Ugo, Montanari Magne, Haveraaen Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.01512 (e-book). Place hold
	418.	Static Analysis [electronic resource] Proceedings by Nielson, Hanne Riis and Fil़, Gilberto by International Symposium 2007) Denmark, SAS (14 Gilberto, Fil़ Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 (e-book). Place hold
	419.	Types for Proofs and Programs [electronic resource] by Altenkirch Thorsten and McBride Conor by International Workshop 2006), TYPES (Nottingham Conor, McBride Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131(e-book) . Place hold
	420.	Machines, Computations, and Universality [electronic resource] Proceedings by J़r३me Durand-Lose and Maurice Margenstern by International Conference 2007) France, MCU (5 Margenstern, Maurice Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 (e-book). Place hold

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 518 results.