Results of search for 'ccl=su:{science}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	2041.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I / by Biere, Armin [editor.] Parker, David [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12078 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2042.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II / by Biere, Armin [editor.] Parker, David [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12079 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2043.	Treewidth, Kernels, and Algorithms [electronic resource] : Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday / by Fomin, Fedor V [editor.] Kratsch, Stefan [editor.] van Leeuwen, Erik Jan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12160 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2044.	Research in Computational Molecular Biology [electronic resource] : 24th Annual International Conference, RECOMB 2020, Padua, Italy, May 10–13, 2020, Proceedings / by Schwartz, Russell [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 12074 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2045.	Security in Computing and Communications [electronic resource] : 7th International Symposium, SSCC 2019, Trivandrum, India, December 18–21, 2019, Revised Selected Papers / by Thampi, Sabu M [editor.] Martinez Perez, Gregorio [editor.] Ko, Ryan [editor.] Rawat, Danda B [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1208 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2046.	Computer Information Systems and Industrial Management [electronic resource] : 19th International Conference, CISIM 2020, Bialystok, Poland, October 16–18, 2020, Proceedings / by Saeed, Khalid [editor.] Dvorský, Jiří [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12133 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2047.	A Matrix Algebra Approach to Artificial Intelligence [electronic resource] / by Zhang, Xian-Da [author.] SpringerLink (Online service) Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2048.	Developments in Language Theory [electronic resource] : 24th International Conference, DLT 2020, Tampa, FL, USA, May 11–15, 2020, Proceedings / by Jonoska, Nataša [editor.] Savchuk, Dmytro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12086 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2049.	Computational Linguistics [electronic resource] : 16th International Conference of the Pacific Association for Computational Linguistics, PACLING 2019, Hanoi, Vietnam, October 11–13, 2019, Revised Selected Papers / by Nguyen, Le-Minh [editor.] Phan, Xuan-Hieu [editor.] Hasida, Kôiti [editor.] Tojo, Satoshi [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1215 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2050.	Network and Communication [electronic resource] : Research on the Development of Electronic Information Engineering Technology in China. by China Info & Comm Tech Grp Corp [author.] SpringerLink (Online service) Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2051.	Applied Cryptography and Network Security [electronic resource] : 18th International Conference, ACNS 2020, Rome, Italy, October 19–22, 2020, Proceedings, Part I / by Conti, Mauro [editor.] Zhou, Jianying [editor.] Casalicchio, Emiliano [editor.] Spognardi, Angelo [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12146 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2052.	Curves and Surfaces [electronic resource] : 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers / by Boissonnat, Jean-Daniel [editor.] Cohen, Albert [editor.] Gibaru, Olivier [editor.] Gout, Christian [editor.] Lyche, Tom [editor.] Mazure, Marie-Laurence [editor.] Schumaker, Larry L [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9213 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2053.	Digital Libraries: Social Media and Community Networks [electronic resource] : 15th International Conference on Asia-Pacific Digital Libraries, ICADL 2013, Bangalore, India, December 9-11, 2013. Proceedings / by Urs, Shalini R [editor.] Na, Jin-Cheon [editor.] Buchanan, George [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8279 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2054.	Trusted Systems [electronic resource] : 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings / by Bloem, Roderick [editor.] Lipp, Peter [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8292 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2055.	Multilingual Information Access Evaluation II - Multimedia Experiments [electronic resource] : 10th Workshop of the Cross-Language Evaluation Forum, CLEF 2009, Corfu, Greece, September 30 - October 2, 2009, Revised Selected Papers, Part II / by Peters, Carol [editor.] Caputo, Barbara [editor.] Gonzalo, Julio [editor.] Jones, Gareth [editor.] Kalpathy-Cramer, Jayashree [editor.] Müller, Henning [editor.] Tsikrika, Theodora [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6242 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)
	2056.	Programming Languages and Systems [electronic resource] : 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings / by Shan, Chung-chien [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8301 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2057.	Intelligent Computer Mathematics [electronic resource] : CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings / by Watt, Stephen M [editor.] Sexton, Alan [editor.] Davenport, James H [editor.] Sojka, Petr [editor.] Urban, Josef [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8543 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)
	2058.	Computational Science and Its Applications - ICCSA 2006 [electronic resource] : International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III / by Gervasi, Osvaldo [editor.] Kumar, Vipin [editor.] Tan, C.J. Kenneth [editor.] Taniar, David [editor.] Laganà, Antonio [editor.] Mun, Youngsong [editor.] Choo, Hyunseung [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3982 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2059.	Computational Science and Its Applications - ICCSA 2006 [electronic resource] : International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part II / by Gervasi, Osvaldo [editor.] Kumar, Vipin [editor.] Tan, C.J. Kenneth [editor.] Taniar, David [editor.] Laganà, Antonio [editor.] Mun, Youngsong [editor.] Choo, Hyunseung [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3981 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2060.	Latent Variable Analysis and Signal Separation [electronic resource] : 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings / by Vincent, Emmanuel [editor.] Yeredor, Arie [editor.] Koldovský, Zbyněk [editor.] Tichavský, Petr [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9237 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 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 9091 results.