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

Results
	181.	Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13702 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)
	182.	Computational Science – ICCS 2023 [electronic resource] : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part I / 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 ; 14073 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)
	183.	Advances in Computer Graphics [electronic resource] : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 – September 1, 2023, Proceedings, Part I / by Sheng, Bin [editor.] Bi, Lei [editor.] Kim, Jinman [editor.] Magnenat-Thalmann, Nadia [editor.] Thalmann, Daniel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14495 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)
	184.	SOFSEM 2024: Theory and Practice of Computer Science [electronic resource] : 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19–23, 2024, Proceedings / by Fernau, Henning [editor.] Gaspers, Serge [editor.] Klasing, Ralf [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14519 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)
	185.	WALCOM: Algorithms and Computation [electronic resource] : 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18–20, 2024, Proceedings / by Uehara, Ryuhei [editor.] Yamanaka, Katsuhisa [editor.] Yen, Hsu-Chun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14549 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)
	186.	LATIN 2024: Theoretical Informatics [electronic resource] : 16th Latin American Symposium, Puerto Varas, Chile, March 18–22, 2024, Proceedings, Part I / by Soto, José A [editor.] Wiese, Andreas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14578 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)
	187.	LATIN 2024: Theoretical Informatics [electronic resource] : 16th Latin American Symposium, Puerto Varas, Chile, March 18–22, 2024, Proceedings, Part II / by Soto, José A [editor.] Wiese, Andreas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14579 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)
	188.	Integrated Circuit and System Design [electronic resource] : Power and Timing Modeling, Optimization and Simulation; 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004, Proceedings / by Macii, Enrico [editor.] Paliouras, Vassilis [editor.] Koufopavlou, Odysseas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3254 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)
	189.	Computational Science and Its Applications -- ICCSA 2004 [electronic resource] : International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part I / by Laganà, Antonio [editor.] Gavrilova, Marina L [editor.] Kumar, Vipin [editor.] Mun, Youngsong [editor.] Tan, C.J. Kenneth [editor.] Gervasi, Osvaldo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3043 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)
	190.	Graph Drawing and Network Visualization [electronic resource] : 31st International Symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20–22, 2023, Revised Selected Papers, Part II / by Bekos, Michael A [editor.] Chimani, Markus [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14466 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)
	191.	Practical Aspects of Declarative Languages [electronic resource] : 26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings / by Gebser, Martin [editor.] Sergey, Ilya [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14512 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)
	192.	Graph Drawing and Network Visualization [electronic resource] : 31st International Symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20–22, 2023, Revised Selected Papers, Part I / by Bekos, Michael A [editor.] Chimani, Markus [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14465 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)
	193.	Advances in Computer Graphics [electronic resource] : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 – September 1, 2023, Proceedings, Part III / by Sheng, Bin [editor.] Bi, Lei [editor.] Kim, Jinman [editor.] Magnenat-Thalmann, Nadia [editor.] Thalmann, Daniel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14497 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)
	194.	The Semantic Web – ISWC 2022 [electronic resource] : 21st International Semantic Web Conference, Virtual Event, October 23–27, 2022, Proceedings / by Sattler, Ulrike [editor.] Hogan, Aidan [editor.] Keet, Maria [editor.] Presutti, Valentina [editor.] Almeida, João Paulo A [editor.] Takeda, Hideaki [editor.] Monnin, Pierre [editor.] Pirrò, Giuseppe [editor.] d’Amato, Claudia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13489 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)
	195.	Advances in Computer Games [electronic resource] : 18th International Conference, ACG 2023, Virtual Event, November 28–30, 2023, Revised Selected Papers / by Hartisch, Michael [editor.] Hsueh, Chu-Hsuan [editor.] Schaeffer, Jonathan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14528 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)
	196.	The Semantic Web – ISWC 2023 [electronic resource] : 22nd International Semantic Web Conference, Athens, Greece, November 6–10, 2023, Proceedings, Part I / by Payne, Terry R [editor.] Presutti, Valentina [editor.] Qi, Guilin [editor.] Poveda-Villalón, María [editor.] Stoilos, Giorgos [editor.] Hollink, Laura [editor.] Kaoudi, Zoi [editor.] Cheng, Gong [editor.] Li, Juanzi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14265 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)
	197.	Human and Artificial Rationalities [electronic resource] : Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings / by Baratgin, Jean [editor.] Jacquet, Baptiste [editor.] Yama, Hiroshi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14522 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)
	198.	Taming the Infinities of Concurrency [electronic resource] : Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday / by Kiefer, Stefan [editor.] Křetínský, Jan [editor.] Kučera, Antonín [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14660 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)
	199.	Applications of Evolutionary Computation [electronic resource] : 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3–5, 2024, Proceedings, Part I / by Smith, Stephen [editor.] Correia, João [editor.] Cintrano, Christian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14634 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)
	200.	Applications of Evolutionary Computation [electronic resource] : 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3–5, 2024, Proceedings, Part II / by Smith, Stephen [editor.] Correia, João [editor.] Cintrano, Christian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14635 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 668 results.