Results of search for 'ccl=su:" Programming Languages, Compilers, Interpreters"'

Results
	661.	Model Checking Software by Alastair Donaldson, David Parker Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2012 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	662.	New Directions in Logic, Language, and Computation by Daniel Lassiter, Marija Slavkovik Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2012 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	663.	The Logic of Categorial Grammars by Richard Moot, Christian Retore Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2012 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	664.	Software Language Engineering by Anthony Sloane, Uwe A�mann Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2012 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	665.	Certified Programs and Proofs by Chris Hawblitzel, Dale Miller Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2012 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	666.	Programming Multi-Agents Systems by Louise Dennis, Olivier Boissier, Rafael H. Bordini Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2012 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	667.	Algebraic and Numeric Biology by Katsuhisa Horimoto, Masahiko Nakatsui, Nikolaj Popov Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2012 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	668.	Leveraging Applications of Formal Methods, Verification and Validation by Tiziana Margaria, Bernhard Steffen Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2012 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	669.	Programming Languages and Systems by Helmut Seidl Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2012 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	670.	SDL 2011: Integrating System and Software Modeling by Iulian Ober, Ileana Ober Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2012 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	671.	Data Engineering and Management by Rajkumar Kannan, Frederic Andres Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2012 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	672.	Software Engineering and Formal Methods by George Eleftherakis, Mike Hinchey, Mike Holcombe Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2012 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	673.	Theory of Security and Applications by Sebastian Moedersheim, Catuscia Palamidessi Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2012 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	674.	Formal Methods and Software Engineering by Toshiaki Aoki, Kenji Taguchi Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2012 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	675.	Model Driven Engineering Languages and Systems by Robert B. France, J�rgen Kazmeier, Ruth Breu, Colin Atkinson Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2012 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	676.	Formal Methods for Components and Objects by Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2012 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	677.	Generic and Indexed Programming by Jeremy Gibbons Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2012 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	678.	Tools and Algorithms for the Construction and Analysis of Systems by Cormac Flanagan, Barbara K�nig Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2012 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	679.	Reachability Problems by Alain Finkel, Jerome Leroux, Igor Potapov Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2012 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	680.	Network and Parallel Computing by James J. Park, Albert Y. Zomaya, Sang-Soo Yeo, Sartaj Sahni Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2012 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)

Refine your search

Availability

Authors

Holding libraries

Item types

Topics

Your search returned 798 results.