Results of search for 'ccl=Provider:Springer, and holdingbranch:IIIT' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	661.	Nanometer variation-tolerant SRAM : circuits and statistical design for yield by Abu-Rahma, Mohamed H Anis, Mohab Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©2013 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 621.397 ABU-N. Add to cart (remove)
	662.	Real-time systems : design principles for distributed embedded applications by Kopetz, Hermann Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©2011 Availability: Items available for loan: IIITD (1)Call number: REF 004.33 KOP-R. Place hold Add to cart (remove)
	663.	Scheduling : theory, algorithms, and systems by Pinedo, Michael L Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©2016 Availability: Items available for loan: IIITD (1)Call number: REF 658.53 PIN-S. Place hold Add to cart (remove)
	664.	An introduction to model-based cognitive neuroscience by Forstmann, Birte U [editor] Wagenmakers, Eric-Jan [editor] Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©2015 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 612.8233 FOR-I. Add to cart (remove)
	665.	Probability in banach spaces : isoperimetry and processes by Ledoux, Michel Talagrand, Michel Series: Classics in mathemathics Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©1991 Availability: Items available for loan: IIITD (1)Call number: REF 519.2 LED-P. Place hold Add to cart (remove)
	666.	Turing computability by Soare, Robert Irving Edition: 4th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Chicago : Springer, ©2016 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 511.352 SOA-T. Add to cart (remove)
	667.	System design with system C by Grötker, Thorsten Liao, Stan Martin, Grant Swan, Stuart Material type: Text; Format: print ; Literary form: Not fiction Publication details: [s.l.] Springer, ©2002 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 004.21 GRO-S. Add to cart (remove)
	668.	System verilog assertions and functional coverage : guide to language, methodology and applications by Mehta, Ashok B Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Los Gatos : Springer, ©2020 Availability: Not available: IIITD: Checked out (1). Add to cart (remove)
	669.	SystemVerilog for verification : a guide to learning the testbench language features by Spear, Chris Tumbush, Greg Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©2012 Availability: Not available: IIITD: Checked out (1). Add to cart (remove)
	670.	The calculus of computation : decision procedures with applications to verification by Bradley, Aaron R Manna, Zohar Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©2007 Availability: Items available for loan: IIITD (2)Call number: 004.015 BRA-C, ... Items available for reference: IIITD: Not for loan (1)Call number: 004.015 BRA-C. Place hold Add to cart (remove)
	671.	Decision procedures : an algorithmic point of view by Kroening, Daniel Strichman, Ofer Series: Texts in theoretical computer science an EATCS Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin : Springer, ©2016 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 519.542 KRO-D. Add to cart (remove)
	672.	Statistical analysis of next generation sequencing data by Datta, Somnath [editor] Nettleton, Dan [editor] Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Springer, ©2014 Availability: Items available for loan: IIITD (2)Call number: CB 570.151 DAT-S, ... Place hold Add to cart (remove)
	673.	Neuroeconomics by Reuter, Martin [editor] Montag, Christian [editor] Series: Studies in neuroscience, psychology and behavioral economics Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany : Springer, ©2016 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 612.823 REU-N. Add to cart (remove)
	674.	Implementing spectral methods for partial differential equations : algorithms for scientists and engineers by Kopriva, David A Series: Scientific computation Material type: Text; Format: print ; Literary form: Not fiction Publication details: Netherlands : Springer, ©2010 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 515.72 KOP-I. Add to cart (remove)
	675.	Spectral methods : fundamentals in single domains by Canuto, C Hussaini, M. Y Quarteroni, A Zang, T. A Series: Scientific computation Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin : Springer, ©2006 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 515.722 CAN-S. Add to cart (remove)
	676.	Linear algebra done right by Axler, Sheldon Series: Undergradute text in mathematics Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, © 2015 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 512.5 AXL-L. Add to cart (remove)
	677.	The hardware trojan war : attacks, myths, and defenses by Bhunia, Swarup [Editor] Tehranipoor, Mark M [Editor] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Switzerland : Springer, ©2018 Availability: Not available: IIITD: Loan on demand (1). Add to cart (remove)
	678.	Recursively enumerable sets and degrees : a study of computable functions and computably generated sets by Soare, Robert I Series: Perspectives in Mathematical Logic Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©1987 Availability: Items available for loan: IIITD (1)Call number: REF 511.3 SOA-R. Place hold Add to cart (remove)
	679.	Machine intelligence and signal processing by Kumar, Ajay [editor.] Majumdar, Angshul [editor.] Singh, Richa [editor.] Vatsa, Mayank [editor.] Series: Advances in Intelligent Systems and Computing ; 390 \| Advances in Intelligent Systems and Computing ; 390 Material type: Text; Format: available online ; Literary form: Not fiction Publication details: New Delhi : Springer, ©2016 Availability: Items available for loan: IIITD (1)Call number: 006.3 SIN-M. Place hold Add to cart (remove)
	680.	Killer cell dynamics : mathematical and computational approaches to immunology by Wodarz, Dominik Series: Interdisciplinary applied mathematics Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©2007 Availability: Items available for loan: IIITD (1)Call number: CB 616.079 WOD-K. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 755 results.