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

Results
	261.	Real-time object uniform design methodology with UML by Duc, Bui Minh Material type: Text; Format: print ; Literary form: Not fiction Publication details: Netherland : Springer, ©2007 Availability: Items available for loan: IIITD (1)Call number: REF 005.2732 DUC-R. Place hold Add to cart (remove)
	262.	Computer vision : algorithms and applications by Szeliski, Richard Gries, David [editor] Schneider, Fred B [editor] Series: Texts in computer science 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 006.37 SZE-C. Items available for reference: IIITD: Not for loan (1)Call number: REF 006.37 SZE-C. Place hold Add to cart (remove)
	263.	Software product lines in action : the best industrial practice in product line engineering by Linden, Frank van der Schmid, Klaus Rommes, Eelco Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©2007 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 005.1 LIN-S. Add to cart (remove)
	264.	Advanced test methods for SRAMs : effective solutions for dynamic fault detection in nanoscaled technologies by Bosio, Alberto Luigi Dilillo Patrick Girard Serge Pravossoudovitch Arnaud V Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©2010 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 621.397 BOS-A. Add to cart (remove)
	265.	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)
	266.	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)
	267.	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)
	268.	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)
	269.	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)
	270.	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)
	271.	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)
	272.	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)
	273.	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)
	274.	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)
	275.	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)
	276.	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)
	277.	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)
	278.	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)
	279.	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)
	280.	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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 316 results.