Refine your search

Your search returned 89 results.

Sort
Results
41.
Finite automata, formal logic, and circuit complexity by
  • Straubing, Howard
Series: Progress in Theoretical Computer Science
Publication details: Boston : Birkhäuser, 1994
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.3 STR.

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

43.
Logic in computer science: modelling and reasoning about systems by
  • Huth, Michael
  • Ryan, Mark
Edition: 2nd ed.
Publication details: Delhi : Cambridge University Press, 2004
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 005.1​01 HUT.

44.
Essential discrete mathematics for computer science by
  • Lewis, Harry
  • Zax, Rachel
Publication details: Princeton : Princeton University Press, 2019
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 004.01​51 LEW.

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

46.
Asymptopia by
  • Spencer, Joel
Series: Student Mathematical Library ; Volume: 71
Publication details: Providence, Rhode Island : American Mathematical Society, 2014
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.4 SPE.

47.
Discrete probability models and methods: probability on graphs and trees, Markov chains and random fields, entropy and coding by
  • Bremaud, Pierre
Series: Probability Theory and Stochastic Modelling
Publication details: Cham, Switzerland : Springer, 2017
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 519.2 BRE.

48.
Coders: who they are, what they think and how they are changing the world by
  • Thompson, Clive
Publication details: London: Picador, 2019
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 005.1 THO.

49.
Machine learning for audio, image and video analysis: theory and applications by
  • Camastra, Francesco
  • Vinciarelli, Alessandro
Series: Advanced information and knowledge processing
Edition: 2nd ed.
Publication details: London : Springer-Verlag 2015
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 006.4 CAN.

50.
Natural language processing with PyTorch : build intelligent language applications using deep learning by
  • McMahan, Brian
  • Rao, Delip
Publication details: Sebastopol, CA : O'Reilly, 2019
Availability: Not available: IIT Gandhinagar: Checked out (1).

51.
NAND flash memory technologies by
  • Aritome, Seiichi
Series: IEEE Press Series on Microelectronic Systems
Publication details: New Jersey: Wiley, 2016
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 004.56 ARI.

52.
Do colors exist?: and other profound physics questions by
  • Cottrell, Seth Stannard
Publication details: New York: Birkhäuser Basel, 2018
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 530 COT.

53.
Graph theoretic methods in multiagent networks by
  • Mesbahi, Mehran
  • Egerstedt, Magnus
Series: Princeton series in applied mathematics
Publication details: Princeton: Princeton University Press, 2010
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 006.3 MES.

54.
Hypergraph theory: an introduction by
  • Bretto, Alain
Series: Mathematical engineering
Publication details: Switzerland: Springer, 2013
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.5 BRE.

55.
Programming PyTorch for deep learning : creating and deploying deep learning applications by
  • Pointer, Ian
Publication details: Mumbai: O'Reilly Media, 2019
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 006.32 POI.

56.
Mathematics for machine learning by
  • Deisenroth, M. P
  • Faisal, A Aldo
  • Ong, Cheng Soon
Publication details: Cambridge: Cambridge University Press, 2020
Availability: No items available.

57.
Theory of information and coding, Vol. 86 by
  • McEliece, Robert
Series: Encyclopedia of mathematics and its applications
Publication details: Cambridge: Cambridge University Press, 2002
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 003.54 MCE.

58.
Theory of information and coding, Vol. 86 by
  • McEliece, R. J
Series: Encyclopedia of mathematics and its applications
Publication details: Cambridge: Cambridge University Press, 2004
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 003.54 MCE.

59.
Universal access in human–computer interaction: design and development approaches and methods by
  • Antona, Margherita (Ed.)
  • Stephanidis, Constantine (Ed.)
Series: Lecture notes in computer science
Publication details: Cham, Switzerland: Springer, 2017
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 005.437 ANT.

60.
Eye tracking methodology: theory and practice by
  • Duchowski, Andrew T
Edition: 3rd
Publication details: Cham, Switzerland: Springer, 2017
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 004.019 DUC.

Pages


Copyright ©  2022 IIT Gandhinagar Library. All Rights Reserved.

Powered by Koha