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

Results
	761.	Algorithms in Bioinformatics [electronic resource] : 16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016. Proceedings / by Frith, Martin [editor.] Storm Pedersen, Christian Nørgaard [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 9838 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)
	762.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings / by Finkbeiner, Bernd [editor.] Wies, Thomas [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13182 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)
	763.	Diabetic Foot Ulcers Grand Challenge [electronic resource] : Second Challenge, DFUC 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021, Proceedings / by Yap, Moi Hoon [editor.] Cassidy, Bill [editor.] Kendrick, Connah [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 13183 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)
	764.	R-Calculus, II: Many-Valued Logics [electronic resource] / by Li, Wei [author.] Sui, Yuefei [author.] SpringerLink (Online service) Series: Perspectives in Formal Induction, Revision and Evolution Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	765.	Impact of Scientific Computing on Science and Society [electronic resource] / by Neittaanmäki, Pekka [editor.] Rantalainen, Marja-Leena [editor.] SpringerLink (Online service) Series: Computational Methods in Applied Sciences ; 58 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	766.	Advances in Neural Networks- ISNN 2013 [electronic resource] : 10th International Symposium on Neural Networks, ISNN 2013, Dalian, China, July 4-6, 2013, Proceedings, Part I / by Guo, Chengan [editor.] Hou, Zeng-Guang [editor.] Zeng, Zhigang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7951 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)
	767.	Experimental Algorithms [electronic resource] : 8th International Symposium SEA 2009, Dortmund, Germany, June 4-6, 2009, Proceedings / by Vahrenhold, Jan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5526 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)
	768.	Intelligent Computer Mathematics [electronic resource] : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Proceedings / by Jeuring, Johan [editor.] Campbell, John [editor.] Carette, Jacques [editor.] Dos Reis, Gabriel [editor.] Sojka, Petr [editor.] Wenzel, Makarius [editor.] Sorge, Volker [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7362 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)
	769.	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)
	770.	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)
	771.	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)
	772.	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)
	773.	Transactions on Computational Systems Biology XIV [electronic resource] : Special Issue on Computational Models for Cell Processes / by Petre, Ion [editor.] de Vink, Erik [editor.] SpringerLink (Online service) Series: Transactions on Computational Systems Biology ; 7625 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)
	774.	Stochastic Algorithms: Foundations and Applications [electronic resource] : Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005 / by Lupanov, Oleg B [editor.] Kasim-Zade, Oktay M [editor.] Chaskin, Alexander V [editor.] Steinhöfel, Kathleen [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3777 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)
	775.	Computer Science Logic [electronic resource] : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings / by Kaminski, Michael [editor.] Martini, Simone [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5213 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)
	776.	Data Mining for Biomedical Applications [electronic resource] : PAKDD 2006 Workshop, BioDM 2006, Singapore, April 9, 2006, Proceedings / by Li, Jinyan [editor.] Yang, Qiang [editor.] Tan, Ah-Hwee [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 3916 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)
	777.	Mathematics of Surfaces XIII [electronic resource] : 13th IMA International Conference York, UK, September 7-9, 2009 Proceedings / by Hancock, Edwin R [editor.] Martin, Ralph R [editor.] Sabin, Malcolm A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5654 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)
	778.	Algorithmic Game Theory [electronic resource] : 10th International Symposium, SAGT 2017, L’Aquila, Italy, September 12–14, 2017, Proceedings / by Bilò, Vittorio [editor.] Flammini, Michele [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10504 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)
	779.	Integration of AI and OR Techniques in Constraint Programming [electronic resource] : 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings / by Simonis, Helmut [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8451 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)
	780.	Research in Computational Molecular Biology [electronic resource] : 19th Annual International Conference, RECOMB 2015, Warsaw, Poland, April 12-15, 2015, Proceedings / by Przytycka, Teresa M [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 9029 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 1234 results.