Results of search for 'ccl=su:{Mathematics } and su-to:Computer science and su-to:Mathematics and itype:SPRINGER and su-to:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	901.	Data Analytics for Renewable Energy Integration [electronic resource] : 4th ECML PKDD Workshop, DARE 2016, Riva del Garda, Italy, September 23, 2016, Revised Selected Papers / by Woon, Wei Lee [editor.] Aung, Zeyar [editor.] Kramer, Oliver [editor.] Madnick, Stuart [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10097 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)
	902.	Logic, Language, Information, and Computation [electronic resource] : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings / by Beklemishev, Lev D [editor.] de Queiroz, Ruy [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6642 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)
	903.	Advances in Computer Games [electronic resource] : 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers / by Plaat, Aske [editor.] van den Herik, Jaap [editor.] Kosters, Walter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9525 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)
	904.	Parameterized and Exact Computation [electronic resource] : 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings / by Raman, Venkatesh [editor.] Saurabh, Saket [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6478 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)
	905.	DNA Computing and Molecular Programming [electronic resource] : 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012, Proceedings / by Stefanovic, Darko [editor.] Turberfield, Andrew [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7433 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)
	906.	Arithmetic of Finite Fields [electronic resource] : 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012, Proceedings / by Özbudak, Ferruh [editor.] Rodriguez-Henriquez, Francisco [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7369 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)
	907.	Fundamentals of Computation Theory [electronic resource] : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings / by Owe, Olaf [editor.] Steffen, Martin [editor.] Telle, Jan Arne [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6914 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)
	908.	Formal Concept Analysis [electronic resource] : 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010, Procedings / by Kwuida, Léonard [editor.] Sertkaya, Baris [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5986 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)
	909.	Theory of Cryptography [electronic resource] : 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II / by Dodis, Yevgeniy [editor.] Nielsen, Jesper Buus [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9015 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	910.	Logic, Language, Information, and Computation [electronic resource] / by Ong, Luke [editor.] de Queiroz, Ruy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7456 Edition: 2nd 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)
	911.	Rigorous Methods for Software Construction and Analysis [electronic resource] : Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday / by Abrial, Jean-Raymond [editor.] Glässer, Uwe [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5115 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)
	912.	Algorithmic Aspects of Cloud Computing [electronic resource] : Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers / by Alistarh, Dan [editor.] Delis, Alex [editor.] Pallis, George [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10739 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.	Algorithms for Computational Biology [electronic resource] : 5th International Conference, AlCoB 2018, Hong Kong, China, June 25–26, 2018, Proceedings / by Jansson, Jesper [editor.] Martín-Vide, Carlos [editor.] Vega-Rodríguez, Miguel A [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 10849 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)
	914.	Theory and Applications of Satisfiability Testing – SAT 2018 [electronic resource] : 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings / by Beyersdorff, Olaf [editor.] Wintersteiger, Christoph M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10929 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)
	915.	Graph Structures for Knowledge Representation and Reasoning [electronic resource] : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers / by Croitoru, Madalina [editor.] Marquis, Pierre [editor.] Rudolph, Sebastian [editor.] Stapleton, Gem [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9501 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)
	916.	Automata, Languages, and Programming [electronic resource] : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I / by Esparza, Javier [editor.] Fraigniaud, Pierre [editor.] Husfeldt, Thore [editor.] Koutsoupias, Elias [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8572 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)
	917.	SOFSEM 2014: Theory and Practice of Computer Science [electronic resource] : 40th International Conference on Current Trends in Theory and Practice of Computer Science,Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings / by Geffert, Viliam [editor.] Preneel, Bart [editor.] Rovan, Branislav [editor.] Štuller, Július [editor.] Tjoa, A Min [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8327 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)
	918.	Evolutionary Computation in Combinatorial Optimization [electronic resource] : 9th European Conference, EvoCOP 2009, Tübingen, Germany, April 15-17, 2009, Proceedings / by Cotta, Carlos [editor.] Cowling, Peter I [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5482 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)
	919.	Structural Information and Communication Complexity [electronic resource] : 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30 - July 2, 2012, Revised Selected Papers / by Even, Guy [editor.] Halldórsson, Magnús M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7355 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)
	920.	Research in Computational Molecular Biology [electronic resource] : 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005, Proceedings / by Miyano, Satoru [editor.] Mesirov, Jill [editor.] Kasif, Simon [editor.] Istrail, Sorin [editor.] Pevzner, Pavel [editor.] Waterman, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 3500 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 2392 results.