Refine your search

Your search returned 12 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Communication complexity Eyal Kushilevitz, Noam Nisan. by
  • Kushilevitz, Eyal
  • Nisan, Noam
Series: ;
Edition:
Material type: Text Book; Format: print ; Literary form: Not fiction
Current publication frequency: .
Publication details: Cambridge Cambridge University Press 1997
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 004.6 KUS.

Place hold Request article Add to cart
2.
Introduction to formal hardware verification by
  • Kropf, Thomas
Material type: Text Book; Format: print ; Literary form: Not fiction
Publication details: New York: Springer, 1999
Availability: No items available.

Request article Add to cart
3.
Logic as algebra by
  • Halmos, Paul
  • Givant, Steven
Series: Dolciani mathematical expositions; no. 21
Publication details: Washington, DC: Mathematical Association of America, 1998
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.3 HAL.

Place hold Request article Add to cart
4.
No cover image available
Multiple source replacement path by
  • Jain, Rahul
  • Gupta, Manoj
Material type: Text Book; Format: print ; Literary form: Not fiction
Publication details: Gandhinagar : Indian Institute of Technology Gandhinagar, 2019
Availability: Items available for reference: IIT Gandhinagar: Not for loan (1)Call number: 004 JAI.

Request article Add to cart
5.
Boolean functions: theory, algorithms, and applications, Vol. 142 by
  • Crama, Yves
  • Hammer, Peter L
Series: Encyclopedia of mathematics and its applications
Publication details: New York: Cambridge University Press, 2011
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.324 CRA.

Place hold Request article Add to cart
6.
Boolean models and methods in mathematics, computer science, and engineering, Vol. 134 by
  • Crama, Yves
  • Hammer, Peter L
Series: Encyclopedia of mathematics and its applications
Publication details: Cambridge: Cambridge University Press, 2010
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.324 CRA.

Place hold Request article Add to cart
7.
Semimodular lattices: theory and applications, Vol. 73 by
  • Stern, Manfred
Series: Encyclopedia of mathematics and its applications
Publication details: Cambridge: Cambridge University Press, 1999
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.33 STE.

Place hold Request article Add to cart
8.
Mathematics and computation: a theory revolutionizing technology and science by
  • Wigderson, Avi
Publication details: New Jersey: Princeton University Press, 2019
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.3 WIG.

Place hold Request article Add to cart
9.
Stone spaces by
  • Johnstone, P. T
Series: Cambridge studies in advanced mathematics ; 3
Material type: Text Book; Format: print ; Literary form: Not fiction
Publication details: Cambridge: Cambridge University Press, 1986
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 514.3 JOH.

Place hold Request article Add to cart
10.
Ideas that created the future: classic papers of computer science by
  • Lewis, Harry R [Editor]
Publication details: Cambridge: MIT Press, 2021
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 004 LEW.

Place hold Request article Add to cart
11.
Lectures on Boolean algebras by
  • Halmos, Paul R
Publication details: New York: Dover Publications, 2018
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.324 HAL.

Place hold Request article Add to cart
12.
Set theory and logic by
  • Stoll, Robert R
Publication details: New York: Dover Publications, 1961
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.322 STO.

Place hold Request article Add to cart
Pages


Copyright ©  2022 IIT Gandhinagar Library. All Rights Reserved.

Powered by Koha