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

Results
	381.	No cover image available Modelling Distributed Systems [electronic resource] by Wan Fokkink by Fokkink, Wan Material type: Text Publication details: Berlin Springer-Verlag 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.36 (e-book). Place hold
	382.	No cover image available The Calculus of Computation Decision Procedures with Applications to Verification:[electronic resource] by Aaron R Bradley by Bradley, Aaron R Material type: Text Publication details: Berlin Springer-Verlag 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.14 (e-book). Place hold
	383.	No cover image available Transactions on Aspect-Oriented Software Development III [electronic resource] by Awais Rashid by Rashid, Awais Material type: Text Publication details: Berlin Springer-Verlag 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 (e-book). Place hold
	384.	Transactions on Computational Systems Biology VIII [electronic resource] by Corrado Priami by Priami, Corrado Material type: Text Publication details: Berlin Springer-Verlag 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 570.285 (e-book). Place hold
	385.	No cover image available The Agent Modeling Language - AML A Comprehensive Approach to Modeling Multi-Agent Systems [electronic resource] by Radovan Cervenka by Cervenka, Radovan Material type: Text Publication details: Basel Birkh user Verlag 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 (e-book). Place hold
	386.	Collins Easy Learning French Study Dictionary by HarperCollins Publishers Material type: Text Publication details: Great Britain Collins 2009 Availability: Items available for loan: Mathematics (1)Call number: 443.21 P09 (MA). Place hold
	387.	Verification of object-oriented software. The keY approach [electronic resource] by Bernhard Beckert by Beckert, Bernhard H hnle, Reiner and Schmitt, Peter H Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.14 (e-book). Place hold
	388.	Formal concept analysis [electronic resource] by Sergei O Kuznetsov and Stefan Schmidt by Kuznetsov, Sergei O Schmidt, Stefan Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.30151133 (e-book). Place hold
	389.	Perspectives of systems informatics [electronic resource] by Irina Virbitskaite and Andrei Voronkov by Virbitskaite, Irina Voronkov, Andrei Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 (e-book). Place hold
	390.	No cover image available Hardware and software, Verification and testing [electronic resource] by Eyal Bin Avi Ziv and Shmuel Ur by Bin, Eyal Ziv, Avi Ur, Shmuel Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.24 (e-book). Place hold
	391.	STACS 2007 [electronic resource] by Wolfgang Thomas and Pascal Weil by Thomas, Wolfgang Weil, Pascal Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004 (e-book). Place hold
	392.	Computational linguistics and intelligent text processing [electronic resource] by Alexander Gelbukh by Gelbukh, Alexander Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 410.285 (e-book). Place hold
	393.	Agent-Oriented software engineering VII [electronic resource] by Lin Padgham and Franco Zambonelli by Padgham, Lin Zambonelli, Franco Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 (e-book). Place hold
	394.	Formal methods Applications and technology [electronic resource] by Lubo Brim Boudewijn Haverkort and Martin Leucker by Brim, Lubo Haverkort, Boudewijn Leucker, Martin Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 (e-book). Place hold
	395.	Reliable systems on unreliable networked platforms [electronic resource] by Fabrice Kordon and Janos Sztipanovits by Kordon, Fabrice Sztipanovits, Janos Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.24 (e-book). Place hold
	396.	Compiler construction [electronic resource] by Shriram Krishnamurthi and Martin Odersky by Krishnamurthi, Shriram Odersky, Martin Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.453 (e-book). Place hold
	397.	Learning classifier systems [electronic resource] by Tim Kovacs by Kovacs, Tim., et al Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.31 (e-book). Place hold
	398.	Fundamental approaches to software engineering [electronic resource] by Matthew B Dwyer and Ant२nia Lopes by Dwyer, Matthew B Lopes, Ant२nia Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 (e-book). Place hold
	399.	Programming languages and systems [electronic resource] by Rocco Nicola by Nicola, Rocco Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 (e-book). Place hold
	400.	Program analysis and compilation, Theory and practice [electronic resource] by Thomas Reps Mooly Sagiv and J५rg Bauer by Reps, Thomas Sagiv, Mooly Bauer, J५rg Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.14 (e-book). Place hold

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 518 results.