Search

Your search returned 6 results.

Results
		Data refinement : model-oriented proof methods and their comparison by Willem-Paul de Roever and Kai Engelhardt by Roever, Willem-Paul de [Author] \| Engelhardt, Kai [Author]. Series: Cambridge tracts in theoretical computer science; no. 47Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge university press 2010Online access: Click here to access online Availability: Items available for reference: Central University Of Rajasthan: Not for loan (1).
		Foundations of parallel programming by D B Skillicorn by Skillicorn, D B [Author]. Series: Cambridge International Series on Parallel Computation; no.6Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge university press 2009Online access: Click here to access online Availability: Items available for reference: Central University Of Rajasthan: Not for loan (1).
		Handshake circuits : an asynchronous architecture for VLSI programming by Kees van Berkel and foreword by Martin Rem by Berkel, Kees van [Author] \| Rem, Martin [Foreword ]. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge university press 2010Online access: Click here to access online Availability: Items available for reference: Central University Of Rajasthan: Not for loan (1).
		Proof theory : a selection of papers from the leeds proof theory programme 1990 edited by Peter Aczel, Harold Simmons and Stanley S Wainer by Aczel, Peter [Editor] \| Simmons, Harold [Editor] \| Wainer, Stanley S [Editor]. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge university press 2011Online access: Click here to access online Availability: Items available for reference: Central University Of Rajasthan: Not for loan (1).
		The description logic handbook : theory, implementation and applications edited by Franz Baader...[et.al.] by Baader, Franz [Editor] \| Calvanese, Diego [Editor] \| McGuinness, Deborah L [Editor] \| Nardi, Daniele [Editor] \| Patel-Schneider, Peter F [Editor]. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge university press 2010Online access: Click here to access online Availability: Items available for reference: Central University Of Rajasthan: Not for loan (1).
		Theoretical foundations of VLSI design edited by K McEvoy and J V Tucker by McEvoy, K [Editor] \| Tucker, J V [Editor]. Series: Cambridge tracts in theoretical computer science no. 10Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge university press 2009Online access: Click here to access online Availability: Items available for reference: Central University Of Rajasthan: Not for loan (1).

© 2021 All rights reserved Library, Central University of Rajasthan. Visitors

website counter