CURAJ Library

Welcome to CURAJ Central Library

Titles

29928

Books

52,975

e-Books

4,412

e-Journals

13,078

Databases

7

Your search returned 110 results.

Sort
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 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 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 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 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 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 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).

Fuzzy sets and their application by Sudhir K. Pundir and Rimple Pundir

by Pundir, Sudhir K | Pundir, Rimple [Author].

Edition: 10th ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Merrut Pragati Prakashan 2022Availability: Items available for loan: Central University Of Rajasthan (5)Call number: 511.3223 P96F, ...

Fuzzy set theory : and its applications by H. J. Zimmermann

by Zimmermann, H.J.

Edition: 4th ed.Material type: Text Text; Format: print Publication details: New Delhi Springer 2020Availability: Items available for loan: Central University Of Rajasthan (1)Call number: 511.322 Z65F.

fuzzy logic models and fuzzy control: an introduction by D.S. Hooda and Vivek Raich

by Hooda, D.S [Author] | Raich, Vivek [Author].

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: New Delhi Narosa Publishing 2017Availability: Items available for loan: Central University Of Rajasthan (2)Call number: 511.313 H76F, ...

Fuzzy sets and applications: modeling, logic and decision making by Suresh Chandra, Aparna Mehra and Abha Aggarwal

by Chandra, Suresh [Author] | Mehra, Aparna [Author ] | Aggarwal, Abha [Author].

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: New Delhi Narosa Publishing 2024Availability: Items available for loan: Central University Of Rajasthan (2)Call number: 511.322 C34F, ...

Pages