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

Results
	2581.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II / by Dimitrova, Rayna [editor.] Lahav, Ori [editor.] Wolff, Sebastian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14500 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2582.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I / by Dimitrova, Rayna [editor.] Lahav, Ori [editor.] Wolff, Sebastian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14499 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2583.	Computer Algebra and Geometric Algebra with Applications [electronic resource] : 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Papers / by Li, Hongbo [editor.] Olver, Peter J [editor.] Sommer, Gerald [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3519 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)
	2584.	Logic-Based Program Synthesis and Transformation [electronic resource] : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers / by Albert, Elvira [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7844 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)
	2585.	Computers and Games [electronic resource] : 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006, Revised Papers / by Herik, H. Jaap van den [editor.] Ciancarini, Paolo [editor.] Donkers, H. (Jeroen) H.L [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4630 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)
	2586.	Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30, 2006, Proceedings / by Diaz, Josep [editor.] Jansen, Klaus [editor.] Rolim, José D.P [editor.] Zwick, Uri [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4110 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)
	2587.	Algorithms and Models for the Web-Graph [electronic resource] : 5th International Workshop, WAW 2007, San Diego, CA, USA, December 11-12, 2007, Proceedings / by Bonato, Anthony [editor.] Chung, Fan R.K [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4863 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)
	2588.	Implementation and Application of Automata [electronic resource] : 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings / by Han, Yo-Sub [editor.] Salomaa, Kai [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9705 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)
	2589.	Applications of Evolutionary Computing [electronic resource] : EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog / by Giacobini, Mario [editor.] Brabazon, Anthony [editor.] Cagnoni, Stefano [editor.] Di Caro, Gianni A [editor.] Drechsler, Rolf [editor.] Ekart, Aniko [editor.] Esparcia-Alcazar, Anna I [editor.] Farooq, Muddassar [editor.] Fink, Andreas [editor.] McCormack, Jon [editor.] O'Neill, Michael [editor.] Romero, Juan [editor.] Rothlauf, Franz [editor.] Squillero, Giovanni [editor.] Uyar, Sima [editor.] Yang, Shengxiang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4974 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)
	2590.	Computer Science -- Theory and Applications [electronic resource] : 7th International Computer Science Symposium in Russia, CSR 2012, Niszhny Novgorod, Russia, July 3-7, 2012, Proceedings / by Hirsch, Edward [editor.] Karhumäki, Juhani [editor.] Lepistö, Arto [editor.] Prilutskii, Michail [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7353 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)
	2591.	Descriptional Complexity of Formal Systems [electronic resource] : 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings / by Jürgensen [editor.] Reis, Rogério [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8031 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)
	2592.	Computational Science – ICCS 2021 [electronic resource] : 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part V / by Paszynski, Maciej [editor.] Kranzlmüller, Dieter [editor.] Krzhizhanovskaya, Valeria V [editor.] Dongarra, Jack J [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12746 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2593.	Mathematical Modeling and Supercomputer Technologies [electronic resource] : 22nd International Conference, MMST 2022, Nizhny Novgorod, Russia, November 14–17, 2022, Revised Selected Papers / by Balandin, Dmitry [editor.] Barkalov, Konstantin [editor.] Meyerov, Iosif [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1750 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2594.	Statistical Atlases and Computational Models of the Heart. Regular and CMRxMotion Challenge Papers [electronic resource] : 13th International Workshop, STACOM 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Revised Selected Papers / by Camara, Oscar [editor.] Puyol-Antón, Esther [editor.] Qin, Chen [editor.] Sermesant, Maxime [editor.] Suinesiaputra, Avan [editor.] Wang, Shuo [editor.] Young, Alistair [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13593 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2595.	Artificial Intelligence Research [electronic resource] : 4th Southern African Conference, SACAIR 2023, Muldersdrift, South Africa, December 4–8, 2023, Proceedings / by Pillay, Anban [editor.] Jembere, Edgar [editor.] J. Gerber, Aurona [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1976 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)
	2596.	Data Science and Machine Learning [electronic resource] : 21st Australasian Conference, AusDM 2023, Auckland, New Zealand, December 11–13, 2023, Proceedings / by Benavides-Prado, Diana [editor.] Erfani, Sarah [editor.] Fournier-Viger, Philippe [editor.] Boo, Yee Ling [editor.] Koh, Yun Sing [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1943 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2597.	Advances in Optimization and Applications [electronic resource] : 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18–22, 2023, Revised Selected Papers / by Olenev, Nicholas [editor.] Evtushenko, Yuri [editor.] Jaćimović, Milojica [editor.] Khachay, Michael [editor.] Malkova, Vlasta [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1913 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2598.	Operations Research and Enterprise Systems [electronic resource] : 11th International Conference, ICORES 2022, Virtual Event, February 3–5, 2022, and 12th International Conference, ICORES 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers / by Liberatore, Federico [editor.] Wesolkowski, Slawo [editor.] Demange, Marc [editor.] Parlier, Greg H [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1985 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2599.	Algorithms for Computational Biology [electronic resource] : 4th International Conference, AlCoB 2017, Aveiro, Portugal, June 5-6, 2017, Proceedings / by Figueiredo, Daniel [editor.] Martín-Vide, Carlos [editor.] Pratas, Diogo [editor.] Vega-Rodríguez, Miguel A [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 10252 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)
	2600.	Numerical Methods and Applications [electronic resource] : 7th International Conference, NMA 2010, Borovets, Bulgaria, August 20-24, 2010, Revised Papers / by Ivan Dimov, Lirkov [editor.] Dimova, Stefka [editor.] Kolkovska, Natalia [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6046 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)