Results of search for 'ccl=au:"SpringerLink (Online service)" and se:Theoretical Computer Science and General Issues' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	141.	Algorithms and Architectures for Parallel Processing [electronic resource] : 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9–11, 2019, Proceedings, Part II / by Wen, Sheng [editor.] Zomaya, Albert [editor.] Yang, Laurence T [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11945 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)
	142.	Algorithms and Architectures for Parallel Processing [electronic resource] : 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9–11, 2019, Proceedings, Part I / by Wen, Sheng [editor.] Zomaya, Albert [editor.] Yang, Laurence T [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11944 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)
	143.	Programming Languages and Systems [electronic resource] : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / by Müller, Peter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12075 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)
	144.	Supercomputing Frontiers [electronic resource] : 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings / by Panda, Dhabaleswar K [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12082 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)
	145.	Leveraging Applications of Formal Methods, Verification and Validation: Applications [electronic resource] : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12478 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)
	146.	Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles [electronic resource] : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12476 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)
	147.	Language and Automata Theory and Applications [electronic resource] : 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings / by Leporati, Alberto [editor.] Martín-Vide, Carlos [editor.] Shapira, Dana [editor.] Zandron, Claudio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12638 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)
	148.	Advances in Swarm Intelligence [electronic resource] : 12th International Conference, ICSI 2021, Qingdao, China, July 17–21, 2021, Proceedings, Part I / by Tan, Ying [editor.] Shi, Yuhui [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12689 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)
	149.	Trends in Functional Programming [electronic resource] : 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers / by Zsók, Viktória [editor.] Hughes, John [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12834 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)
	150.	Computer Science -- Theory and Applications [electronic resource] : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings / by Beklemishev, Lev D [editor.] Musatov, Daniil V [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9139 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)
	151.	Euro-Par 2013: Parallel Processing [electronic resource] : 19th International Conference, Aachen, Germany, August 26-30, 2013, Proceedings / by Wolf, Felix [editor.] Mohr, Bernd [editor.] an Mey, Dieter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8097 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)
	152.	Combinatorial Optimization and Applications [electronic resource] : 10th International Conference, COCOA 2016, Hong Kong, China, December 16–18, 2016, Proceedings / by Chan, T-H. Hubert [editor.] Li, Minming [editor.] Wang, Lusheng [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10043 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)
	153.	Algorithmic Aspects of Cloud Computing [electronic resource] : Second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016, Revised Selected Papers / by Sellis, Timos [editor.] Oikonomou, Konstantinos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10230 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)
	154.	Advances in Swarm Intelligence [electronic resource] : 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part I / by Tan, Ying [editor.] Shi, Yuhui [editor.] Coello Coello, Carlos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8794 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)
	155.	A List of Successes That Can Change the World [electronic resource] : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday / by Lindley, Sam [editor.] McBride, Conor [editor.] Trinder, Phil [editor.] Sannella, Don [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9600 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)
	156.	Algorithmic Aspects in Information and Management [electronic resource] : 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings / by Tang, Shaojie [editor.] Du, Ding-Zhu [editor.] Woodruff, David [editor.] Butenko, Sergiy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11343 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)
	157.	Genetic Programming [electronic resource] : 22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings / by Sekanina, Lukas [editor.] Hu, Ting [editor.] Lourenço, Nuno [editor.] Richter, Hendrik [editor.] García-Sánchez, Pablo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11451 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)
	158.	Molecular Logic and Computational Synthetic Biology [electronic resource] : First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers / by Chaves, Madalena [editor.] Martins, Manuel A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11415 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)
	159.	Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I / by Dillig, Isil [editor.] Tasiran, Serdar [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11561 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)
	160.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings / by André, Étienne [editor.] Stoelinga, Mariëlle [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11750 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 2382 results.