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

Results
	41.	Formal Modeling and Analysis of Timed Systems by Paul Pettersson, Wang Yi Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	42.	Programming Multi-Agent Systems by Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	43.	Unconventional Programming Paradigms by Jean-Pierre Ban�tre, Pascal Fradet, Jean-Louis Giavitto, Olivier Michel Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	44.	Logic Programming by Maurizio Gabbrielli, Gopal Gupta Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	45.	Languages and Compilers for High Performance Computing by Rudolf Eigenmann, Zhiyuan Li, Samuel P. Midkiff Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	46.	Multiparadigm Programming in Mozart/Oz by Peter Van Roy Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	47.	Communicating Sequential Processes. The First 25 Years by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	48.	Principles and Practice of Constraint Programming - CP 2005 by Peter van Beek Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	49.	FM 2005: Formal Methods by John Fitzgerald, Ian J. Hayes Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	50.	Constraint Solving and Language Processing by Henning Christiansen, Peter Rossen Skadhauge, J�rgen Villadsen Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	51.	Typed Lambda Calculi and Applications by Pawel Urzyczyn Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	52.	Automated Technology for Verification and Analysis by Doron A. Peled, Yih-Kuen Tsay Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	53.	Formal Methods in Software and Systems Modeling by Hans-J�rg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	54.	Model-Based Testing of Reactive Systems by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	55.	Integrated Formal Methods by Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	56.	Advanced Functional Programming by Varmo Vene, Tarmo Uustalu Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	57.	Implementation of Functional Languages by Phil Trinder, Greg Michaelson, Ricardo Pena Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	58.	Adaptive Agents and Multi-Agent Systems II by Daniel Kudenko, Dimitar Kazakov, Eduardo Alonso Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	59.	Programming Languages and Systems by Kwangkeun Yi Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	60.	Foundations of Software Science and Computational Structures by Vladimiro Sassone Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 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.