Your search returned 85 results.

Sort
Results
41.
Golden ticket : P, NP, and the search for the impossible by Lance Fortnow by
  • Fortnow, Lance
Series: ;
Edition:
Material type: Text Book; Format: print ; Literary form: Not fiction
Current publication frequency: .
Publication details: Princeton Princeton University Press 2013
Availability: Items available for loan: IIT Gandhinagar (2)Call number: 511.352 FOR, ...

42.
Three views of logic : Mathematics, philosophy, and computer science by Donald W Loveland by
  • Loveland, Donald W
Series: ;
Edition:
Material type: Text Book; Format: print ; Literary form: Not fiction
Current publication frequency: .
Publication details: New Delhi Princeton University Press 2014
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.3 LOV.
Lists:

43.
How to prove it: a structured approach by Daniel J. Velleman by
  • Velleman, Daniel J
Series: ;
Edition:
Material type: Text Book; Format: print ; Literary form: Not fiction
Current publication frequency: .
Publication details: Cambridge Cambridge University Press 2006
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.3 VEL.
Lists:

44.
Students guide to data and error analysis by Herman J. C. Berendsen by
  • Berendsen, Herman J. C
Series: ;
Edition:
Material type: Text Book; Format: print ; Literary form: Not fiction
Current publication frequency: .
Publication details: New Delhi Cambridge University Press 2011
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.43 BER .
Lists:

45.
Numbers and proofs by R. B. J. T. Allenby by
  • Allenby, R. B. J. T
Series: ;
Edition:
Material type: Text Book; Format: print ; Literary form: Not fiction
Current publication frequency: .
Publication details: London Butterworths Heinemann 1997
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.3 ALL.
Lists:

46.
Godels proof by Ernest Nagel and James R. Newman by
  • Nagel, Ernest
  • Newman, James R
Series: ;
Edition:
Material type: Text Book
Current publication frequency: .
Publication details: New York: New York University Press, 2011
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.3 NAG.
Lists:

47.
Introduction to graph theory by Richard J. Trudeau by
  • Trudeau, Richard J
Series: ; | Dover books on advanced mathematics
Edition:
Material type: Text Book; Format: print ; Literary form: Not fiction
Current publication frequency: .
Publication details: New York Dover Publication 1993
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.5 TRU.
Lists:

48.
Spectral graph theory by Fan R.K. Chung by
  • Chung, Fan R. K
Series: ;
Edition:
Material type: Text Book; Format: print ; Literary form: Not fiction
Current publication frequency: .
Publication details: Providence American Mathematical Society 1997
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.5 CHU.
Lists:

49.
Annotated turing: a guided tour through alan turings historic paper on computability and the turing machine by Charles Petzold by
  • Petzold, Charles
Series: ;
Edition:
Material type: Text Book
Current publication frequency: .
Publication details: Indianapolis: Wiley India, 2008
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.352 PET.
Lists:

50.
Large networks and graph limits : vol. 60 / Laszlo Lovasz . by
  • Lovasz, Laszlo
Series: ; | Amerian mathematical Society: colloquium publications ; Vol.60.
Edition:
Material type: Text Book
Current publication frequency: .Language: English
Publication details: New York: American Mathematical Society, 2012
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.5 LOV.
Lists:

51.
Approximation theory and approximation practice : Applied mathematics / by Lloyd N. Trefethen . by
  • Trefethen, Lloyd N
Series: ; | Applied mathematics
Edition:
Material type: Text Book
Current publication frequency: .Language: English
Publication details: Philadelphia: SIAM, 2013
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.4 TRE.
Lists:

52.
Naive set theory by Paul R. Halmos by
  • Halmos, Paul R
Series: ;
Edition:
Material type: Text Book
Current publication frequency: .Language: English
Publication details: USA: Martino publishing, 2011
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.3 HAL.
Lists:

53.
Alan Turing`s systems of logic: the princeton thesis edited by Andrew W. Appel by
  • Appel, Andrew W
Series: ;
Edition:
Material type: Text Book
Current publication frequency: .Language: English
Publication details: Princeton: Princeton University Press, 2012
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.3 APP.
Lists:

54.
First course in graph theory and combinatorics : Texts and readings in mathematics ; 55 / by Sebastian M. Cioaba . by
  • Cioaba, Sebastian M
  • Murty, M. Ram
Series: ; | Texts and readings in mathematics ; 55.
Edition:
Material type: Text Book; Format: print ; Literary form: Not fiction
Current publication frequency: .Language: English
Publication details: Haryana Hindustan book agency 2009
Availability: Not available: IIT Gandhinagar: Checked out (1).
Lists:

55.
Combinatorial techniques : Texts and reading in mathematics; 64 / by Sharad S. Sane . by
  • Sane, Sharad S
Series: ; | Texts and reading in mathematics; 64
Edition:
Material type: Text Book; Format: print ; Literary form: Not fiction
Current publication frequency: .Language: English
Publication details: New Delhi Hindustan book agency 2013
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.6 SAN.
Lists:

56.
First steps in several complex variables: reinhardt domains : EMS textbooks in mathematics / by Marek Jarnicki . by
  • Jarnick, Marek
  • Pflug, Peter
Series: ; | EMS textbooks in mathematics
Edition:
Material type: Text Book; Format: print ; Literary form: Not fiction
Current publication frequency: .Language: English
Publication details: New Delhi Hindustan book agency 2008
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.35 JAR.
Lists:

57.
Lectures on insurance models : Texts and reading in mathematics; 54 / by S. Ramasubramanian . by
  • Ramasubramanian, S
Series: ; | Texts and reading in mathematics ; 54.
Edition:
Material type: Text Book; Format: print ; Literary form: Not fiction
Current publication frequency: .Language: English
Publication details: New Delhi Hindustan book agency 2009
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.8 RAM.

58.
Incomplete block designs : Texts and reading in mathematics; 57 / by Aloke Dey . by
  • Dey, Aloke
Series: ; | Texts and reading in mathematics ; 57.
Edition:
Material type: Text Book
Current publication frequency: .Language: English
Publication details: NewDelhi: Hindustan book agency, 2010
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.6 DEY.
Lists:

59.
Mathematical modeling of physical systems: an introduction by Diran Basmadjian by
  • Basmadjian, Diran
Series: ;
Edition:
Material type: Text Book
Current publication frequency: .Language: English
Publication details: New York: Oxford University Press, 2003
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.8 BAS.
Lists:

60.
Mathematical modeling and signal processing in speech and hearing sciences : Series: Modeling, simulation & applications 10. / by Jack Xin . by
  • Xin, Jack
  • Qi, Yingyong
Series: ; | Modeling, simulation & applications 10
Edition:
Material type: Text Book; Format: print ; Literary form: Not fiction
Current publication frequency: .Language: English
Publication details: New york Springer 2014
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.8 XIN.
Lists:

Pages


Copyright ©  2022 IIT Gandhinagar Library. All Rights Reserved.

Powered by Koha