Your search returned 121 results.

Results
	61.	Surfing uncertainty: prediction, action, and the embodied mind by Clark, Andy Publication details: New York: Oxford University Press, 2015 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 128.2 CLA. Place hold Request article Add to cart (remove)
	62.	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: Mathematics. Place hold Request article Add to cart (remove)
	63.	Logic minimization algorithms for VLSI synthesis by Brayton, Robert K...[et.al.] Series: The Kluwer international series in engineering and computer science ; SECS 2. VLSI, computer architecture, and digital signal processing \| Kluwer international series in engineering and computer science ; SECS 2 \| Kluwer international series in engineering and computer science. VLSI, computer architecture, and digital signal processing Publication details: Boston : Kluwer Academic Publishers, 1984 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 621.38173 BRA. Place hold Request article Add to cart (remove)
	64.	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: Mathematics. Place hold Request article Add to cart (remove)
	65.	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: Mathematics. Place hold Request article Add to cart (remove)
	66.	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. Place hold Request article Add to cart (remove)
	67.	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 (remove)
	68.	Philosophy of logical atomism by Russell, Bertrand Series: Routledge Classics Publication details: London: Routledge, 2010 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 146.5 RUS. Place hold Request article Add to cart (remove)
	69.	Reverse mathematics: proofs from the inside out by Stillwell, John Publication details: Princeton: Princeton University Press, 2018 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.3 STI. Lists: World History. Place hold Request article Add to cart (remove)
	70.	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. Place hold Request article Add to cart (remove)
	71.	Paradox by Cuonzo, Margaret Series: MIT Press Essential Knowledge Series Publication details: Cambridge: MIT Press, 2014 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 165 CUO. Place hold Request article Add to cart (remove)
	72.	No cover image available Adaptive droop control strategy using fuzzy logic in DC microgrid by Dahle, Shweta Rajendran, S Pindoriya, Naran M Material type: Book Publication details: Gandhinagar : Indian Institute of Technology, 2018 Availability: Items available for reference: IIT Gandhinagar: Not for loan (1)Call number: 621.31 DAH. Request article Add to cart (remove)
	73.	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. Place hold Request article Add to cart (remove)
	74.	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). Place hold Request article Add to cart (remove)
	75.	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. Place hold Request article Add to cart (remove)
	76.	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.101 HUT. Place hold Request article Add to cart (remove)
	77.	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. Place hold Request article Add to cart (remove)
	78.	Concise introduction to mathematical logic by Rautenberg, Wolfgang Mathematical Logic [Symbolic Logic] Series: Universitext Edition: 3rd ed. Publication details: New York : Springer, 2010 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.3 RAU. Place hold Request article Add to cart (remove)
	79.	Irrationality: a history of the dark side of reason by Smith, Justin E. H Publication details: Princeton: Princeton University Press, 2019 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 160 SMI. Lists: World History. Place hold Request article Add to cart (remove)
	80.	Elements of causal inference: foundations and learning algorithms by Peters, Jonas Janzing, Dominik Schölkopf, Bernhard Series: Adaptive computation and machine learning Publication details: Cambridge: MIT Press, 2017 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 006.31 PET. Place hold Request article Add to cart (remove)

First
Previous
1
2
3
4
5
6
7
Next
Last

Refine your search

Availability

Authors

Collections

Item types

Locations

Series

Topics

Your search returned 121 results.