Results of search for 'ccl=Provider:Springer, and su-ut:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	41.	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)
	42.	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)
	43.	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)
	44.	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)
	45.	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)
	46.	Fundamentals of computerized tomography : image reconstruction from projections by Herman, Gabor T Edition: 2nd ed. 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 616.07 HER-F. Add to cart (remove)
	47.	A primer on memory consistency and cache coherence by Nagarajan, Vijay Sorin, Daniel J Hill, Mark D Wood, David A Series: Synthesis lectures on computer architecture ; 49 Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Switzerland : Springer, ©2022 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 005.43 NAG-P. Add to cart (remove)
	48.	Measure theory and probability theory by Athreya, Krishna B Lahiri, Soumendra N Series: Springer texts in statistics (STS) Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©2006 Availability: Items available for reference: IIITD: Not for loan (1)Call number: 515.42 ATH-M. Add to cart (remove)
	49.	Fourier analysis : a signal processing approach by Sundararajan, D Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Singapore : Springer, ©2018 Availability: Items available for loan: IIITD (1)Call number: 004.015 SUN-F. Place hold Add to cart (remove)
	50.	Intelligent Computer Mathematics [electronic resource] : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings / by Carette, Jacques [editor.] Aspinall, David [editor.] Lange, Christoph [editor.] Sojka, Petr [editor.] Windsteiger, Wolfgang [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7961 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	51.	Information Access Evaluation -- Multilinguality, Multimodality, and Interaction [electronic resource] : 5th International Conference of the CLEF Initiative, CLEF 2014, Sheffield, UK, September 15-18, 2014, Proceedings / by Kanoulas, Evangelos [editor.] Lupu, Mihai [editor.] Clough, Paul [editor.] Sanderson, Mark [editor.] Hall, Mark [editor.] Hanbury, Allan [editor.] Toms, Elaine [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8685 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	52.	Pristine Perspectives on Logic, Language and Computation [electronic resource] : ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers / by Colinet, Margot [editor.] Katrenko, Sophia [editor.] Rendsvig, Rasmus K [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8607 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	53.	Privacy Enhancing Technologies [electronic resource] : 12th International Symposium, PETS 2012, Vigo, Spain, July 11-13, 2012, Proceedings / by Fischer-Hübner, Simone [editor.] Wright, Matthew [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7384 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	54.	Conceptual Structures for Discovering Knowledge [electronic resource] : 20th International Conference on Conceptual Structures, ICCS 2013, Mumbay, India, January 10-12, 2013, Proceedings / by Pfeiffer, Heather D [editor.] Ignatov, Dmitry [editor.] Poelmans, Jonas [editor.] Nagarjuna, G [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7735 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	55.	Small-Scale Robotics From Nano-to-Millimeter-Sized Robotic Systems and Applications [electronic resource] : First International Workshop, microICRA 2013, Karlsruhe, Germany, May 6-10, 2013, Revised and Extended Papers / by Paprotny, Igor [editor.] Bergbreiter, Sarah [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8336 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	56.	Genetic Programming [electronic resource] : 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013, Proceedings / by Krawiec, Krzysztof [editor.] Moraglio, Alberto [editor.] Hu, Ting [editor.] Etaner-Uyar, A. Sima [editor.] Hu, Bin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7831 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	57.	Simulated Evolution and Learning [electronic resource] : 9th International Conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012, Proceedings / by Bui, Lam Thu [editor.] Ong, Yew Soon [editor.] Hoai, Nguyen Xuan [editor.] Ishibuchi, Hisao [editor.] Suganthan, Ponnuthurai Nagaratnam [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7673 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	58.	Algorithms – ESA 2013 [electronic resource] : 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings / by Bodlaender, Hans L [editor.] Italiano, Giuseppe F [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8125 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	59.	Data and Applications Security and Privacy XXVII [electronic resource] : 27th Annual IFIP WG 11.3 Conference, DBSec 2013, Newark, NJ, USA, July 15-17, 2013, Proceedings / by Wang, Lingyu [editor.] Shafiq, Basit [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7964 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	60.	Descriptive Set Theoretic Methods in Automata Theory [electronic resource] : Decidability and Topological Complexity / by Skrzypczak, Michał [author.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9802 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online 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 7935 results.