Your search returned 5 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Computability and logic by George S. Boolos by
  • Boolos, George S
  • Jeffrey, Richard C
  • Burgess,John P
Series: ;
Edition: 5th ed.
Material type: Text Book; Format: print ; Literary form: Not fiction
Current publication frequency: .Language: English
Publication details: New York Cambridge University Press 2007
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.352 BOO.
Lists:

Place hold Request article Add to cart
2.
Automata and computability by
  • Kozen, Dexter C
Series: Undergraduate texts in computer science
Publication details: New York: Springer, 1997
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.3 KOZ.

Place hold Request article Add to cart
3.
Computation and automata, Vol. 25 by
  • Salomaa, Arto
Series: Encyclopedia of mathematics and its applications
Publication details: Cambridge: Cambridge University Press, 1985
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511 SAL.

Place hold Request article Add to cart
4.
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
5.
Invitation to applied category theory by
  • Fong, Brendan
  • Spivak, David I
Publication details: Cambridge: Cambridge University Press, 2019
Availability: Not available: IIT Gandhinagar: Not for Issue (1).

Request article Add to cart
Pages


Copyright ©  2022 IIT Gandhinagar Library. All Rights Reserved.

Powered by Koha