Refine your search

Your search returned 134 results.

Sort
Results
101.
Introductory probability and statistical applications by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : Oxford and IBH Publishing, ©1970
Availability: Items available for loan: IIITD (2)Call number: 519.1 MEY-I, ...

102.
Think again : how to reason and argue by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : Penguin, ©2018
Availability: Items available for loan: IIITD (8)Call number: 168 ARM-T, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 168 ARM-T. Not available: IIITD: Checked out (1).
  (1 votes)
103.
An introduction to Ramsey theory : fast functions, infinity, and metamathematics by Series: Student mathematical library ; vol. 87
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Providence, Rhode island : American Mathematical Society, ©2018
Availability: Items available for loan: IIITD (1)Call number: REF 511.66 KAT-I.

104.
Set theory by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, ©2002
Availability: Not available: IIITD: Loan on demand (1).

105.
Toposes and local set theories : an introduction by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Dover Publications, ©1988
Availability: Items available for loan: IIITD (1)Call number: 511.32 BEL-T.

106.
Writing proofs in analysis by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Switzerland : Springer, ©2016
Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 511.36 KAN-W.

107.
Logic : the basics by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Routledge, ©2017
Availability: Items available for loan: IIITD (1)Call number: 160 BEA-L.

108.
Topology by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: United Kindom : ED Tech Press, ©2018
Availability: Not available: IIITD: Loan on demand (1).

109.
Computational thinking by Series: The MIT Press Essential Knowledge Series | The MIT Press Essential Knowledge Series
Material type: Text Text; Format: print
Publication details: London : MIT Press, ©2019
Availability: Items available for loan: IIITD (1)Call number: 005.1 DEN-C.

110.
Real analysis : a constructive approach through interval arithmetic by Series: Pure and applied undergraduate texts ; 38 | The Sally series
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Rhode Island USA : American Mathematical Society, ©2019
Availability: Items available for loan: IIITD (1)Call number: 515 BRI-R.

111.
The philosophy of bertrand russell by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : Srishti Publication, ©1971
Availability: Items available for loan: IIITD (1)Call number: 192 SCH-P.

112.
Digital design : with an introduction to the verilog HDL, VHDL and system verilog by
Edition: 6th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Noida : Pearson, ©2018
Availability: Items available for loan: IIITD (17)Call number: 621.395 MAN-D, ... Items available for reference: IIITD: Not for loan (2)Call number: 621.395 MAN-D, ...
  (1 votes)
113.
Reasoning about uncertainty by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Massachusetts : MIT ©2005
Availability: Items available for loan: IIITD (1)Call number: 003.54 HAL-R.
  (1 votes)
114.
Discrete mathematics and its applications by
Edition: 5th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : McGraw Hill, ©2003
Availability: Items available for reference: IIITD: Not for loan (1)Call number: 511 ROS-D.

115.
A first journey through logic by Series: Student methemetical library ; vol.89
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Rhode Island : American Mathematical Society, ©2019
Availability: Items available for loan: IIITD (1)Call number: REF 511.3 HIL-F.

116.
Turing computability by
Edition: 4th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Chicago : Springer, ©2016
Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 511.352 SOA-T.

117.
The calculus of computation : decision procedures with applications to verification by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, ©2007
Availability: Items available for loan: IIITD (2)Call number: 004.015 BRA-C, ... Items available for reference: IIITD: Not for loan (1)Call number: 004.015 BRA-C.

118.
A structuralist theory of logic by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Cambridge University Press, ©1992
Availability: Items available for loan: IIITD (1)Call number: REF 160 KOS-S.

119.
Logic in computer science : modelling and reasoning about systems by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : Cambridge University Press, ©2004
Availability: Items available for loan: IIITD (1)Call number: 005.101 HUT-L.

120.
Digital logic and computer design by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : Pearson, ©1979
Availability: Items available for loan: IIITD (3)Call number: 621.381 MAN-D, ...

Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in

Powered by Koha