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

Results
	5521.	Fun with Algorithms [electronic resource] : 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012, Proceedings / by Kranakis, Evangelos [editor.] KRIZANC, DANNY [editor.] Luccio, Flaminia [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7288 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)
	5522.	Trends in Functional Programming [electronic resource] : 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers / by McCarthy, Jay [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8322 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)
	5523.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings / by Grumberg, Orna [editor.] Huth, Michael [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4424 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5524.	Integrated Formal Methods [electronic resource] : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings / by Johnsen, Einar Broch [editor.] Petre, Luigia [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7940 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)
	5525.	Medical Imaging and Augmented Reality [electronic resource] : 5th International Workshop, MIAR 2010, Beijing, China, September 19-20, 2010, Proceedings / by Liao, Hongen [editor.] Edwards, P.J. Eddie [editor.] Pan, Xiaochuan [editor.] Fan, Yong [editor.] Yang, Guang-Zhong [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 6326 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5526.	Advances in Computer Science - ASIAN 2004, Higher Level Decision Making [electronic resource] : 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 2004 / by Maher, Michael J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3321 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5527.	Advanced Informatics for Computing Research [electronic resource] : Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part II / by Luhach, Ashish Kumar [editor.] Jat, Dharm Singh [editor.] Hawari, Kamarul Bin Ghazali [editor.] Gao, Xiao-Zhi [editor.] Lingras, Pawan [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1076 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5528.	Adolescent Brain Cognitive Development Neurocognitive Prediction [electronic resource] : First Challenge, ABCD-NP 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings / by Pohl, Kilian M [editor.] Thompson, Wesley K [editor.] Adeli, Ehsan [editor.] Linguraru, Marius George [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11791 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5529.	Driving Networked Service Productivity [electronic resource] / by Daiberl, Christofer F [author.] SpringerLink (Online service) Series: Markt- und Unternehmensentwicklung Markets and Organisations Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Gabler, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5530.	High-Performance Algorithms for Mass Spectrometry-Based Omics [electronic resource] / by Saeed, Fahad [author.] Haseeb, Muhammad [author.] SpringerLink (Online service) Series: Computational Biology Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5531.	Trends in Data Protection and Encryption Technologies [electronic resource] / by Mulder, Valentin [editor.] Mermoud, Alain [editor.] Lenders, Vincent [editor.] Tellenbach, Bernhard [editor.] SpringerLink (Online service) Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5532.	Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVII [electronic resource] : Special Issue on Big Data for Complex Urban Systems / by Hameurlain, Abdelkader [editor.] Küng, Josef [editor.] Wagner, Roland [editor.] Anjomshoaa, Amin [editor.] Hung, Patrick C. K [editor.] Kalisch, Dominik [editor.] Sobolevsky, Stanislav [editor.] SpringerLink (Online service) Series: Transactions on Large-Scale Data- and Knowledge-Centered Systems ; 9860 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)
	5533.	Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, Proceedings / by Berekovic, Mladen [editor.] Dimopoulos, Nikitas [editor.] Wong, Stephan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5114 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5534.	Advances in Computational Intelligence [electronic resource] : 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II / by Rojas, Ignacio [editor.] Joya, Gonzalo [editor.] Catala, Andreu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10306 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5535.	Transactions on Rough Sets II [electronic resource] : Rough Sets and Fuzzy Sets / by Peters, James F [editor.] Dubois, Didier [editor.] Grzymala-Busse, Jerzy [editor.] Inuiguchi, Masahiro [editor.] Polkowski, Lech [editor.] SpringerLink (Online service) Series: Transactions on Rough Sets ; 3135 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5536.	Learning and Intelligent Optimization [electronic resource] : 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers / by Pardalos, Panos M [editor.] Resende, Mauricio G.C [editor.] Vogiatzis, Chrysafis [editor.] Walteros, Jose L [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8426 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)
	5537.	Modeling Decisions for Artificial Intelligence [electronic resource] : 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009, Proceedings / by Narukawa, Yasuo [editor.] Inuiguchi, Masahiro [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5861 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5538.	Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings / by Vassiliadis, Stamatis [editor.] Berekovic, Mladen [editor.] Hämäläinen, Timo D [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4599 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5539.	Biomedical Image Registration [electronic resource] : 6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014, Proceedings / by Ourselin, Sebastien [editor.] Modat, Marc [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 8545 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)
	5540.	Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV [electronic resource] : Special Issue on Database- and Expert-Systems Applications / by Hameurlain, Abdelkader [editor.] Küng, Josef [editor.] Wagner, Roland [editor.] Decker, Hendrik [editor.] Lhotska, Lenka [editor.] Link, Sebastian [editor.] SpringerLink (Online service) Series: Transactions on Large-Scale Data- and Knowledge-Centered Systems ; 9510 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.