Results of search for 'ccl=au:"SpringerLink (Online service)" and se:Lecture Notes in Computer Science, and su-to:Computer science and su-to:Theory of Computation' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	61.	Advances in Computer Games [electronic resource] : 17th International Conference, ACG 2021, Virtual Event, November 23–25, 2021, Revised Selected Papers / by Browne, Cameron [editor.] Kishimoto, Akihiro [editor.] Schaeffer, Jonathan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13262 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)
	62.	Large-Scale Scientific Computing [electronic resource] : 13th International Conference, LSSC 2021, Sozopol, Bulgaria, June 7–11, 2021, Revised Selected Papers / by Lirkov, Ivan [editor.] Margenov, Svetozar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13127 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)
	63.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I / by Fisman, Dana [editor.] Rosu, Grigore [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13243 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)
	64.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II / by Fisman, Dana [editor.] Rosu, Grigore [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13244 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)
	65.	Applications of Evolutionary Computation [electronic resource] : 26th European Conference, EvoApplications 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023, Proceedings / by Correia, João [editor.] Smith, Stephen [editor.] Qaddoura, Raneem [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13989 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)
	66.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings / by Petrucci, Laure [editor.] Sproston, Jeremy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14138 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)
	67.	Algorithmic Aspects of Cloud Computing [electronic resource] : 7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022, Revised Selected Papers / by Foschini, Luca [editor.] Kontogiannis, Spyros [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13799 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)
	68.	Foundations of Software Science and Computation Structures [electronic resource] : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings / by Bouyer, Patricia [editor.] Schröder, Lutz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13242 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)
	69.	Programming Languages and Systems [electronic resource] : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings / by Sergey, Ilya [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13240 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)
	70.	Fundamental Approaches to Software Engineering [electronic resource] : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings / by Johnsen, Einar Broch [editor.] Wimmer, Manuel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13241 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)
	71.	NASA Formal Methods [electronic resource] : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings / by Rozier, Kristin Yvonne [editor.] Chaudhuri, Swarat [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13903 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)
	72.	Advanced Information Systems Engineering [electronic resource] : 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12–16, 2023, Proceedings / by Indulska, Marta [editor.] Reinhartz-Berger, Iris [editor.] Cetina, Carlos [editor.] Pastor, Oscar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13901 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)
	73.	Computational Science – ICCS 2023 [electronic resource] : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part III / by Mikyška, Jiří [editor.] de Mulatier, Clélia [editor.] Paszynski, Maciej [editor.] Krzhizhanovskaya, Valeria V [editor.] Dongarra, Jack J [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 10475 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)
	74.	Computational Science – ICCS 2023 [electronic resource] : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part IV / by Mikyška, Jiří [editor.] de Mulatier, Clélia [editor.] Paszynski, Maciej [editor.] Krzhizhanovskaya, Valeria V [editor.] Dongarra, Jack J [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 10476 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)
	75.	Computational Science – ICCS 2023 [electronic resource] : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part II / by Mikyška, Jiří [editor.] de Mulatier, Clélia [editor.] Paszynski, Maciej [editor.] Krzhizhanovskaya, Valeria V [editor.] Dongarra, Jack J [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14074 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)
	76.	Advances in Swarm Intelligence [electronic resource] : 14th International Conference, ICSI 2023, Shenzhen, China, July 14–18, 2023, Proceedings, Part I / by Tan, Ying [editor.] Shi, Yuhui [editor.] Luo, Wenjian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13968 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)
	77.	Fundamentals of Software Engineering [electronic resource] : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers / by Hojjat, Hossein [editor.] Ábrahám, Erika [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14155 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)
	78.	Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2004, Wuhan, China, October 18-20, 2004. Proceedings / by Jin, Hai [editor.] Gao, Guangrong [editor.] Xu, Zhiwei [editor.] Chen, Hao [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3222 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	79.	Applications of Evolutionary Computation [electronic resource] : 25th European Conference, EvoApplications 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings / by Jiménez Laredo, Juan Luis [editor.] Hidalgo, J. Ignacio [editor.] Babaagba, Kehinde Oluwatoyin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13224 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)
	80.	Artificial Intelligence in Music, Sound, Art and Design [electronic resource] : 11th International Conference, EvoMUSART 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings / by Martins, Tiago [editor.] Rodríguez-Fernández, Nereida [editor.] Rebelo, Sérgio M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13221 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 668 results.