Results of search for 'ccl=copydate:"©2021" and se:Theoretical Computer Science and General Issues' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	81.	Network and Parallel Computing [electronic resource] : 17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28–30, 2020, Revised Selected Papers / by He, Xin [editor.] Shao, En [editor.] Tan, Guangming [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12639 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)
	82.	Unconventional Computation and Natural Computation [electronic resource] : 19th International Conference, UCNC 2021, Espoo, Finland, October 18–22, 2021, Proceedings / by Kostitsyna, Irina [editor.] Orponen, Pekka [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12984 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)
	83.	Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13036 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)
	84.	High Performance Computing in Science and Engineering [electronic resource] : 4th International Conference, HPCSE 2019, Karolinka, Czech Republic, May 20–23, 2019, Revised Selected Papers / by Kozubek, Tomáš [editor.] Arbenz, Peter [editor.] Jaroš, Jiří [editor.] Říha, Lubomír [editor.] Šístek, Jakub [editor.] Tichý, Petr [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12456 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)
	85.	Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends [electronic resource] : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12479 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)
	86.	Computing and Combinatorics [electronic resource] : 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24–26, 2021, Proceedings / by Chen, Chi-Yeh [editor.] Hon, Wing-Kai [editor.] Hung, Ling-Ju [editor.] Lee, Chia-Wei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13025 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)
	87.	Cellular Automata [electronic resource] : 14th International Conference on Cellular Automata for Research and Industry, ACRI 2020, Lodz, Poland, December 2–4, 2020, Proceedings / by Gwizdałła, Tomasz M [editor.] Manzoni, Luca [editor.] Sirakoulis, Georgios Ch [editor.] Bandini, Stefania [editor.] Podlaski, Krzysztof [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12599 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)
	88.	Parallel and Distributed Computing, Applications and Technologies [electronic resource] : 21st International Conference, PDCAT 2020, Shenzhen, China, December 28–30, 2020, Proceedings / by Zhang, Yong [editor.] Xu, Yicheng [editor.] Tian, Hui [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12606 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)
	89.	Rigorous State-Based Methods [electronic resource] : 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings / by Raschke, Alexander [editor.] Méry, Dominique [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12709 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)
	90.	Logic, Language, Information, and Computation [electronic resource] : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings / by Silva, Alexandra [editor.] Wassermann, Renata [editor.] de Queiroz, Ruy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13038 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)
	91.	Relational and Algebraic Methods in Computer Science [electronic resource] : 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings / by Fahrenberg, Uli [editor.] Gehrke, Mai [editor.] Santocanale, Luigi [editor.] Winter, Michael [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13027 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)
	92.	Combinatorial Algorithms [electronic resource] : 32nd International Workshop, IWOCA 2021, Ottawa, ON, Canada, July 5–7, 2021, Proceedings / by Flocchini, Paola [editor.] Moura, Lucia [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12757 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)
	93.	Reachability Problems [electronic resource] : 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings / by Bell, Paul C [editor.] Totzke, Patrick [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13035 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)
	94.	Model Checking, Synthesis, and Learning [electronic resource] : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday / by Olderog, Ernst-Rüdiger [editor.] Steffen, Bernhard [editor.] Yi, Wang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13030 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)
	95.	Neural Information Processing [electronic resource] : 28th International Conference, ICONIP 2021, Sanur, Bali, Indonesia, December 8–12, 2021, Proceedings, Part III / by Mantoro, Teddy [editor.] Lee, Minho [editor.] Ayu, Media Anugerah [editor.] Wong, Kok Wai [editor.] Hidayanto, Achmad Nizar [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13110 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)
	96.	Neural Information Processing [electronic resource] : 28th International Conference, ICONIP 2021, Sanur, Bali, Indonesia, December 8–12, 2021, Proceedings, Part IV / by Mantoro, Teddy [editor.] Lee, Minho [editor.] Ayu, Media Anugerah [editor.] Wong, Kok Wai [editor.] Hidayanto, Achmad Nizar [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13111 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)
	97.	Learning and Intelligent Optimization [electronic resource] : 15th International Conference, LION 15, Athens, Greece, June 20–25, 2021, Revised Selected Papers / by Simos, Dimitris E [editor.] Pardalos, Panos M [editor.] Kotsireas, Ilias S [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12931 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)
	98.	Combinatorial Optimization and Applications [electronic resource] : 15th International Conference, COCOA 2021, Tianjin, China, December 17–19, 2021, Proceedings / by Du, Ding-Zhu [editor.] Du, Donglei [editor.] Wu, Chenchen [editor.] Xu, Dachuan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13135 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)
	99.	SOFSEM 2021: Theory and Practice of Computer Science [electronic resource] : 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25–29, 2021, Proceedings / by Bureš, Tomáš [editor.] Dondi, Riccardo [editor.] Gamper, Johann [editor.] Guerrini, Giovanna [editor.] Jurdziński, Tomasz [editor.] Pahl, Claus [editor.] Sikora, Florian [editor.] Wong, Prudence W.H [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12607 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)
	100.	Computational Science and Its Applications – ICCSA 2021 [electronic resource] : 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part VI / by Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Garau, Chiara [editor.] Blečić, Ivan [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Rocha, Ana Maria A. C [editor.] Tarantino, Eufemia [editor.] Torre, Carmelo Maria [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12954 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 124 results.