Search

Your search returned 7 results.

Not what you expected? Check for suggestions

Results
		Modern compiler implementation in Java Andrew W. Appel by Appel, Andrew W, 1960 [Author] \| Palsberg, Jens. Edition: 2nd ed.Material type: Text Language: English Publication details: New York, NY, USA Cambridge University Press 2002Online access: Click here to access online \| Click here to access online Availability: Items available for loan: Bangalore University Library (1) Call number: 005.4 APP. Place hold Log in to add tags Add to cart (remove)
		Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings / edited by Holger Hermanns, Jens Palsberg. by Hermanns, Holger [editor.] \| Palsberg, Jens [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3920Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) . Place hold Log in to add tags Add to cart (remove)
		Model Checking Software [electronic resource] : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings / edited by Klaus Havelund, Rupak Majumdar, Jens Palsberg. by Havelund, Klaus [editor.] \| Majumdar, Rupak [editor.] \| Palsberg, Jens [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5156Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) . Place hold Log in to add tags Add to cart (remove)
		Static Analysis [electronic resource] : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings / edited by Jens Palsberg, Zhendong Su. by Palsberg, Jens [editor.] \| Su, Zhendong [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5673Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) . Place hold Log in to add tags Add to cart (remove)
		Semantics and Algebraic Specification [electronic resource] : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday / edited by Jens Palsberg. by Palsberg, Jens [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5700Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1) . Place hold Log in to add tags Add to cart (remove)
		Static Analysis [electronic resource] : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings / edited by Jens Palsberg, Zhendong Su. by Palsberg, Jens [editor.] \| Su, Zhendong [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5673Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Semantics and Algebraic Specification [electronic resource] : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday / edited by Jens Palsberg. by Palsberg, Jens [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5700Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)

Powered by Koha