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

Results
	1001.	Logic-Based Program Synthesis and Transformation [electronic resource] : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers / by Vidal, Germán [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7225 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)
	1002.	Sequences and Their Applications - SETA 2010 [electronic resource] : 6th International Conference, Paris, France, September 13-17, 2010. Proceedings / by Carlet, Claude [editor.] Pott, Alexander [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6338 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)
	1003.	Structural Information and Communication Complexity [electronic resource] : 20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013, Revised Selected Papers / by Moscibroda, Thomas [editor.] Rescigno, Adele A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8179 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)
	1004.	Formal Concept Analysis [electronic resource] : 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings / by Missaoui, Rokia [editor.] Schmid, Jürg [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3874 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)
	1005.	Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings / by Larsen, Kim Guldstrand [editor.] Sokolsky, Oleg [editor.] Wang, Ji [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10606 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)
	1006.	Application and Theory of Petri Nets and Concurrency [electronic resource] : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings / by Khomenko, Victor [editor.] Roux, Olivier H [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10877 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)
	1007.	Graph-Based Representation and Reasoning [electronic resource] : 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings / by Chapman, Peter [editor.] Endres, Dominik [editor.] Pernelle, Nathalie [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10872 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)
	1008.	Graph-Based Representations in Pattern Recognition [electronic resource] : 13th IAPR-TC-15 International Workshop, GbRPR 2023, Vietri sul Mare, Italy, September 6–8, 2023, Proceedings / by Vento, Mario [editor.] Foggia, Pasquale [editor.] Conte, Donatello [editor.] Carletti, Vincenzo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14121 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)
	1009.	Research in Computational Molecular Biology [electronic resource] : 11th Annunal International Conference, RECOMB 2007, Oakland, CA, USA, April 21-25, 2007, Proceedings / by Speed, Terry [editor.] Huang, Haiyan [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 4453 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)
	1010.	Algorithms –- ESA 2012 [electronic resource] : 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012. Proceedings / by Epstein, Leah [editor.] Ferragina, Paolo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7501 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)
	1011.	Theory of Cryptography [electronic resource] : 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I / by Dodis, Yevgeniy [editor.] Nielsen, Jesper Buus [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9014 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)
	1012.	Reasoning Web. Semantic Technologies for Information Systems [electronic resource] : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures / by Tessaris, Sergio [editor.] Franconi, Enrico [editor.] Eiter, Thomas [editor.] Gutierrez, Claudio [editor.] Handschuh, Siegfried [editor.] Rousset, Marie- Christine [editor.] Schmidt, Renate [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5689 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)
	1013.	Probabilistic Graphical Models [electronic resource] : 7th European Workshop, PGM 2014, Utrecht, The Netherlands, September 17-19, 2014. Proceedings / by van der Gaag, Linda C [editor.] Feelders, Ad J [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8754 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)
	1014.	Term Rewriting and Applications [electronic resource] : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings / by Giesl, Jürgen [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3467 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)
	1015.	A 25-Year Perspective on Logic Programming [electronic resource] : Achievements of the Italian Association for Logic Programming, GULP / by Dovier, Agostino [editor.] Pontelli, Enrico [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6125 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)
	1016.	Algorithms and Discrete Applied Mathematics [electronic resource] : Second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016, Proceedings / by Govindarajan, Sathish [editor.] Maheshwari, Anil [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9602 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)
	1017.	Rewriting and Typed Lambda Calculi [electronic resource] : Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings / by Dowek, Gilles [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8560 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)
	1018.	Advances in Knowledge Discovery and Data Mining [electronic resource] : 12th Pacific-Asia Conference, PAKDD 2008 Osaka, Japan, May 20-23, 2008 Proceedings / by Washio, Takashi [editor.] Suzuki, Einoshin [editor.] Ting, Kai Ming [editor.] Inokuchi, Akihiro [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5012 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)
	1019.	Comparative Genomics [electronic resource] : International Workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009, Proceedings / by Ciccarelli, Francesca D [editor.] Miklós, István [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 5817 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)
	1020.	Latent Variable Analysis and Signal Separation [electronic resource] : 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012, Proceedings / by Theis, Fabian [editor.] Cichocki, Andrzej [editor.] Yeredor, Arie [editor.] Zibulevsky, Michael [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7191 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 2583 results.