Results of search for 'ccl=su:{Symbolic and Algebraic Manipulation.}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1.	Intelligent Computer Mathematics [electronic resource] : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings / by Carette, Jacques [editor.] Aspinall, David [editor.] Lange, Christoph [editor.] Sojka, Petr [editor.] Windsteiger, Wolfgang [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7961 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)
	2.	Algorithms and Complexity [electronic resource] : 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13–16, 2023, Proceedings / by Mavronicolas, Marios [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13898 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)
	3.	Formal Grammar [electronic resource] : 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings / by Morrill, Glyn [editor.] Muskens, Reinhard [editor.] Osswald, Rainer [editor.] Richter, Frank [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8612 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)
	4.	Logic, Language, Information, and Computation [electronic resource] : 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings / by Kohlenbach, Ulrich [editor.] Barceló, Pablo [editor.] de Queiroz, Ruy J G B [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8652 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)
	5.	Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers / by Ida, Tetsuo [editor.] Fleuriot, Jacques [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7993 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)
	6.	Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory [electronic resource] / by Blümlein, Johannes [editor.] Schneider, Carsten [editor.] Paule, Peter [editor.] SpringerLink (Online service) Series: Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria 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)
	7.	Approximation and Online Algorithms [electronic resource] : 18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers / by Kaklamanis, Christos [editor.] Levin, Asaf [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12806 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)
	8.	Arithmetic of Finite Fields [electronic resource] : 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 – September 2, 2022, Revised Selected Papers / by Mesnager, Sihem [editor.] Zhou, Zhengchun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13638 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)
	9.	Cryptography and Coding [electronic resource] : 12th IMA International Conference, IMACC 2009, Cirencester, UK, December 15-17, 2009, Proceedings / by Parker, Matthew G [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5921 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)
	10.	Approximation and Online Algorithms [electronic resource] : 20th International Workshop, WAOA 2022, Potsdam, Germany, September 8–9, 2022, Proceedings / by Chalermsook, Parinya [editor.] Laekhanukit, Bundit [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13538 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)
	11.	WALCOM: Algorithms and Computation [electronic resource] : 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011, Proceedings / by KATOH, NAOKI [editor.] Kumar, Amit [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6552 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)
	12.	Selected Areas in Cryptography [electronic resource] : 15th Annual International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, 2008 / by Avanzi, Roberto [editor.] Keliher, Liam [editor.] Sica, Francesco [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5381 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)
	13.	An Introduction to Computational Origami [electronic resource] / by Ida, Tetsuo [author.] SpringerLink (Online service) Series: Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria 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)
	14.	Algorithms and Computation [electronic resource] : 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014, Proceedings / by Pal, Sudebkumar Prasant [editor.] Sadakane, Kunihiko [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8344 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)
	15.	Approximation and Online Algorithms [electronic resource] : 17th International Workshop, WAOA 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers / by Bampis, Evripidis [editor.] Megow, Nicole [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11926 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)
	16.	Finite Difference Methods. Theory and Applications [electronic resource] : 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers / by Dimov, Ivan [editor.] Faragó, István [editor.] Vulkov, Lubin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11386 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)
	17.	Logic, Language, Information, and Computation [electronic resource] : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings / by Libkin, Leonid [editor.] Kohlenbach, Ulrich [editor.] de Queiroz, Ruy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8071 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)
	18.	Language and Automata Theory and Applications [electronic resource] : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings / by Dediu, Adrian-Horia [editor.] Martín-Vide, Carlos [editor.] Sierra-Rodríguez, José-Luis [editor.] Truthe, Bianca [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8370 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)
	19.	Computing and Combinatorics [electronic resource] : 28th International Conference, COCOON 2022, Shenzhen, China, October 22–24, 2022, Proceedings / by Zhang, Yong [editor.] Miao, Dongjing [editor.] Möhring, Rolf [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13595 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)
	20.	Relational and Algebraic Methods in Computer Science [electronic resource] : 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings / by Kahl, Wolfram [editor.] Winter, Michael [editor.] Oliveira, José [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9348 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

Item types

Series

Topics

Your search returned 244 results.