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

Results
	721.	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: Book Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.24 (e-book). Place hold
	722.	STACS 2007 [electronic resource] by Wolfgang Thomas and Pascal Weil by Thomas, Wolfgang Weil, Pascal Material type: Book Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004 (e-book). Place hold
	723.	Computational linguistics and intelligent text processing [electronic resource] by Alexander Gelbukh by Gelbukh, Alexander Material type: Book Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 410.285 (e-book). Place hold
	724.	Agent-Oriented software engineering VII [electronic resource] by Lin Padgham and Franco Zambonelli by Padgham, Lin Zambonelli, Franco Material type: Book Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 (e-book). Place hold
	725.	Formal methods Applications and technology [electronic resource] by Lubo Brim Boudewijn Haverkort and Martin Leucker by Brim, Lubo Haverkort, Boudewijn Leucker, Martin Material type: Book Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 (e-book). Place hold
	726.	Job scheduling strategies for parallel processing [electronic resource] by Eitan Frachtenberg by Frachtenberg, Eitan Material type: Book Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.35 (e-book). Place hold
	727.	Reliable systems on unreliable networked platforms [electronic resource] by Fabrice Kordon and Janos Sztipanovits by Kordon, Fabrice Sztipanovits, Janos Material type: Book Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.24 (e-book). Place hold
	728.	Tools and algorithms for the construction and analysis of systems [electronic resource] by Orna Grumberg and Michael Huth by Grumberg, Orna Huth, Michael Material type: Book Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.12 (e-book). Place hold
	729.	Compiler construction [electronic resource] by Shriram Krishnamurthi and Martin Odersky by Krishnamurthi, Shriram Odersky, Martin Material type: Book Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.453 (e-book). Place hold
	730.	Learning classifier systems [electronic resource] by Tim Kovacs by Kovacs, Tim., et al Material type: Book Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.31 (e-book). Place hold
	731.	Fundamental approaches to software engineering [electronic resource] by Matthew B Dwyer and Ant२nia Lopes by Dwyer, Matthew B Lopes, Ant२nia Material type: Book Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 (e-book). Place hold
	732.	Programming languages and systems [electronic resource] by Rocco Nicola by Nicola, Rocco Material type: Book Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 (e-book). Place hold
	733.	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: Book Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.14 (e-book). Place hold
	734.	Foundations of software science and computational structures [electronic resource] by Helmut Seidl by Seidl, Helmut Material type: Book Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 003 (e-book). Place hold
	735.	Logic-Based program synthesis and transformation [electronic resource] by Germ n Puebla by Puebla, Germ n Material type: Book Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.115 (e-book). Place hold
	736.	Anaphora Analysis, Algorithms and applications [electronic resource] by Ant२nio Branco by Branco, Ant२nio Material type: Book Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 401.410285 (e-book). Place hold
	737.	Advances in smalltalk [electronic resource] by Wolfgang Meuter by Meuter, Wolfgang Material type: Book Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.133 (e-book). Place hold
	738.	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: Book Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.01512 (e-book). Place hold
	739.	Formal methods for performance evaluation [electronic resource] by Marco Bernardo and Jane Hillston by Bernardo, Marco Hillston, Jane Material type: Book Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.24 e-book). Place hold
	740.	Model checking and artificial intelligence [electronic resource] by Stefan Edelkamp and Alessio Lomuscio by Edelkamp, Stefan Lomuscio, Alessio Material type: Book Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 (e-book). Place hold

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

Your search returned 893 results.