Your search returned 57 results.

Sort
Results
21.
Trust: a history by
  • Hosking, Geoffrey
Series: ;
Edition:
Material type: Text Book; Format: print ; Literary form: Not fiction
Current publication frequency: .Language: English
Publication details: New Delhi Oxford University Press 2014
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 302.1 HOS.
Lists:

22.
Logic for computer science: foundations of automatic theorem proving by
  • Gallier, Jean H
Edition: 2nd ed.
Publication details: Mineola: Dover Publications, 2015
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.36028563 GAL.
Lists:

23.
Staging tourism: bodies on display from waikiki to sea world by
  • Desmond, Jane c
Publication details: Chicago: University of Chicago, 1999
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 338.4791 DES.

24.
View to a death in the morning : hunting and nature through history by
  • Cartmill, Matt
Publication details: Cambridge: Harvard University Press, 1993
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 304.5 CAR.
Lists:

25.
Beyond infinity: an expedition to the outer limits of mathematical universe by
  • Cheng, Eugenia
Publication details: London: Profile Books, 2017
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.3 CHE.
Lists:

26.
Embodied lives : figuring ancient Maya and Egyptian experience by
  • Meskell, Lynn M
  • Joyce, Rosemary A
Publication details: London: Routledge, 2003
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 306.909728109021 MES.

27.
Logical foundations of proof complexity by
  • Cook, Stephen
  • Nguyen, Phuong
Series: Perspectives in logic
Publication details: Cambridge: Cambridge University Press, 2014
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.36 COO.
Lists:

28.
Games, puzzles, and computation by
  • Hearn, Robert A
  • Demaine , Erik D
Publication details: Wellesley: A K Peters, Ltd., 2009
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 510 HEA.
Lists:

29.
Notebooks, 1914-1916 by
  • Wittgenstein, Ludwig
  • Wright, G. H, Ed
  • Anscombe G. E. M, Ed
Edition: 2nd ed.
Publication details: Oxford: Blackwell Publishing, 1998
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 192 WIT.

30.
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.

31.
Introduction to Kolmogorov complexity and its applications by
  • Li, Ming
  • Vitanyi, Paul
Series: Text in the Computer Science
Edition: 3 rd ed.
Publication details: Canada: Springer, 2008
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 519.5 LIM.

32.
Singular introduction to commutative algebra by
  • Greuel, Gert-Martin
  • Pfister, Gerhard
Edition: 2nd ed.
Publication details: Heidelberg: Springer 2002
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 512​.24 GRE.

33.
Guide to computational geometry processing by
  • Baentzen, J.A
  • Gravesen, Jens.,Anton, François., Aanæs, Henrik
Publication details: London : Springer, 2012
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 004.0151 BAE.

34.
First course in logic: an introduction to model theory, proof theory, computability, and complexity by
  • Hedman, Shawn
Series: Oxford texts in logic; 1
Publication details: New York: Oxford University Press, 2004
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 160 HED.

35.
Finite automata, formal logic, and circuit complexity by
  • Straubing, Howard
Series: Progress in Theoretical Computer Science
Publication details: Boston : Birkhäuser, 1994
Availability: Not available: IIT Gandhinagar: Checked out (1).

36.
Elements of finite model theory by
  • Leonid, Libkin
Series: Texts in Theoretical Computer Science
Publication details: Berlin : Springer-Verlag, 2004
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.34 LEO.

37.
Logical foundations of mathematics and computational complexity: a gentle introduction by
  • Pudlak, Pavel
Publication details: Switzerland: Springer, 2013
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.3 PUD.

38.
Algebraic groups and differential Galois theory by
  • Crespo, Teresa
  • Hajto, Zbigniew
Series: Graduate Studies in Mathematics ; Volume 122
Publication details: Providence, Rhode Island : American Mathematical Society, 2011
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 515​.354 CRE.

39.
Symbolic construction of community by
  • Cohen, Anthony P
Publication details: New York: Routledge, 1985
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 307 COH.

40.
Computing in algebraic geometry: a quick start using SINGULAR by
  • Decker, Wolfram
  • Lossen, Christoph
Series: Algorithms and Computation in Mathematics
Publication details: New Delhi: Springer-Verlag, 2006
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 516.35 DEC.

Pages


Copyright ©  2022 IIT Gandhinagar Library. All Rights Reserved.

Powered by Koha