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

Results
	681.	Low power and reliable SRAM memory cell and array design by Ishibashi, Koichiro Osada, Kenichi [editor ] Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©2011 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 621.395 ISH-L. Add to cart (remove)
	682.	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)
	683.	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)
	684.	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)
	685.	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)
	686.	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)
	687.	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)
	688.	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)
	689.	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)
	690.	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)
	691.	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)
	692.	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)
	693.	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)
	694.	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)
	695.	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)
	696.	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)
	697.	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)
	698.	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)
	699.	No cover image available Econometric Analysis of Panel Data by Badi H. Baltagi Publication details: Springer Availability: No items available. Add to cart (remove)
	700.	No cover image available The Calculus of Computation : Decision Procedures with Applications to Verification by Bradley/Manna Publication details: Springer Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 17571 results.