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

Results
	901.	Integer Programming and Combinatorial Optimization [electronic resource] : 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings / by Louveaux, Quentin [editor.] Skutella, Martin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9682 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	902.	SOFSEM 2012: Theory and Practice of Computer Science [electronic resource] : 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012, Proceedings / by Bielikova, Maria [editor.] Friedrich, Gerhard [editor.] Gottlob, Georg [editor.] Katzenbeisser, Stefan [editor.] Turán, György [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7147 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)
	903.	Logic Programming [electronic resource] : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings / by Hill, Patricia M [editor.] Warren, David S [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5649 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)
	904.	Integer Programming and Combinatorial Optimization [electronic resource] : 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings / by Lodi, Andrea [editor.] Panconesi, Alessandro [editor.] Rinaldi, Giovanni [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5035 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)
	905.	Algorithms in Bioinformatics [electronic resource] : 11th International Workshop, WABI 2011, Saarbrücken, Germany, September 5-7, 2011, Proceedings / by Przytycka, Teresa M [editor.] Sagot, Marie-France [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 6833 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	906.	Coding Theory and Applications [electronic resource] : 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings / by Barbero, Ángela I [editor.] Skachek, Vitaly [editor.] Ytrehus, Øyvind [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10495 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)
	907.	Sets, Logic and Maths for Computing [electronic resource] / by Makinson, David [author.] SpringerLink (Online service) Series: Undergraduate Topics in Computer Science Edition: 3rd 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)
	908.	Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 20th International Conference, CPAIOR 2023, Nice, France, May 29 –June 1, 2023, Proceedings / by Cire, Andre A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13884 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)
	909.	Frontiers in Algorithmics and Algorithmic Aspects in Information and Management [electronic resource] : Third Joint International Conference, FAW-AAIM 2013, Dalian,China, June 26-28, 2013, Proceedings / by Fellows, Michael [editor.] Tan, Xuehou [editor.] Zhu, Binhai [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7924 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)
	910.	Engineering Secure Software and Systems [electronic resource] : 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings / by Piessens, Frank [editor.] Caballero, Juan [editor.] Bielova, Nataliia [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8978 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)
	911.	Foundations of Software Science and Computation Structures [electronic resource] : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings / by Baier, Christel [editor.] Dal Lago, Ugo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10803 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	912.	Developments in Language Theory [electronic resource] : 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings / by Hoshi, Mizuho [editor.] Seki, Shinnosuke [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11088 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	913.	Proceedings of the Third International Conference on Computing, Mathematics and Statistics (iCMS2017) [electronic resource] : Transcending Boundaries, Embracing Multidisciplinary Diversities / by Kor, Liew-Kee [editor.] Ahmad, Abd-Razak [editor.] Idrus, Zanariah [editor.] Mansor, Kamarul Ariffin [editor.] SpringerLink (Online service) 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)
	914.	Theory and Applications of Models of Computation [electronic resource] : 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings / by Gopal, T.V [editor.] Watada, Junzo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11436 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)
	915.	Artificial Intelligence in Medicine [electronic resource] : 17th Conference on Artificial Intelligence in Medicine, AIME 2019, Poznan, Poland, June 26–29, 2019, Proceedings / by Riaño, David [editor.] Wilk, Szymon [editor.] ten Teije, Annette [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11526 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)
	916.	Structural Information and Communication Complexity [electronic resource] : 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings / by Censor-Hillel, Keren [editor.] Flammini, Michele [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11639 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)
	917.	Fundamentals of Computation Theory [electronic resource] : 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings / by Gąsieniec, Leszek Antoni [editor.] Jansson, Jesper [editor.] Levcopoulos, Christos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11651 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)
	918.	Historical Studies in Computing, Information, and Society [electronic resource] : Insights from the Flatiron Lectures / by Aspray, William [editor.] SpringerLink (Online service) Series: History of Computing 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)
	919.	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)
	920.	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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 3037 results.