Results of search for 'ccl=su:{Theory of Computation.}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	561.	Formal Methods. FM 2019 International Workshops [electronic resource] : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I / by Sekerinski, Emil [editor.] Moreira, Nelma [editor.] Oliveira, José N [editor.] Ratiu, Daniel [editor.] Guidotti, Riccardo [editor.] Farrell, Marie [editor.] Luckcuck, Matt [editor.] Marmsoler, Diego [editor.] Campos, José [editor.] Astarte, Troy [editor.] Gonnord, Laure [editor.] Cerone, Antonio [editor.] Couto, Luis [editor.] Dongol, Brijesh [editor.] Kutrib, Martin [editor.] Monteiro, Pedro [editor.] Delmas, David [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12232 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)
	562.	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)
	563.	NASA Formal Methods [electronic resource] : 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings / by Dutle, Aaron [editor.] Moscato, Mariano M [editor.] Titolo, Laura [editor.] Muñoz, César A [editor.] Perez, Ivan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12673 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)
	564.	Discrete and Computational Geometry, Graphs, and Games [electronic resource] : 21st Japanese Conference, JCDCGGG 2018, Quezon City, Philippines, September 1-3, 2018, Revised Selected Papers / by Akiyama, Jin [editor.] Marcelo, Reginaldo M [editor.] Ruiz, Mari-Jo P [editor.] Uno, Yushi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13034 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)
	565.	Theory and Practice of Natural Computing [electronic resource] : 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings / by Aranha, Claus [editor.] Martín-Vide, Carlos [editor.] Vega-Rodríguez, Miguel A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13082 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)
	566.	Formal Methods [electronic resource] : 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings / by Huisman, Marieke [editor.] Păsăreanu, Corina [editor.] Zhan, Naijun [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13047 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)
	567.	Theoretical Computer Science [electronic resource] : 39th National Conference of Theoretical Computer Science, NCTCS 2021, Yinchuan, China, July 23–25, 2021, Revised Selected Papers / by Cai, Zhiping [editor.] Li, Jian [editor.] Zhang, Jialin [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1494 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	568.	WALCOM: Algorithms and Computation [electronic resource] : 16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 24–26, 2022, Proceedings / by Mutzel, Petra [editor.] Rahman, Md. Saidur [editor.] Slamin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13174 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)
	569.	Parallel and Distributed Computing, Applications and Technologies [electronic resource] : 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17–19, 2021, Proceedings / by Shen, Hong [editor.] Sang, Yingpeng [editor.] Zhang, Yong [editor.] Xiao, Nong [editor.] Arabnia, Hamid R [editor.] Fox, Geoffrey [editor.] Gupta, Ajay [editor.] Malek, Manu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13148 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)
	570.	Web and Big Data. APWeb-WAIM 2022 International Workshops [electronic resource] : KGMA 2022, SemiBDMA 2022, DeepLUDA 2022, Nanjing, China, November 25-27, 2022, Proceedings / by Yang, Shiyu [editor.] Islam, Saiful [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1784 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	571.	Knowledge Graphs and Semantic Web [electronic resource] : Third Iberoamerican Conference and Second Indo-American Conference, KGSWC 2021, Kingsville, Texas, USA, November 22–24, 2021, Proceedings / by Villazón-Terrazas, Boris [editor.] Ortiz-Rodríguez, Fernando [editor.] Tiwari, Sanju [editor.] Goyal, Ayush [editor.] Jabbar, MA [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1459 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)
	572.	Artificial Life and Evolutionary Computation [electronic resource] : 15th Italian Workshop, WIVACE 2021, Winterthur, Switzerland, September 15–17, 2021, Revised Selected Papers / by Schneider, Johannes Josef [editor.] Weyland, Mathias Sebastian [editor.] Flumini, Dandolo [editor.] Füchslin, Rudolf Marcel [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1722 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)
	573.	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)
	574.	Web Reasoning and Rule Systems [electronic resource] : 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings / by Ortiz, Magdalena [editor.] Schlobach, Stefan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9898 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)
	575.	Rules and Reasoning [electronic resource] : 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13–15, 2021, Proceedings / by Moschoyiannis, Sotiris [editor.] Peñaloza, Rafael [editor.] Vanthienen, Jan [editor.] Soylu, Ahmet [editor.] Roman, Dumitru [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12851 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)
	576.	Software Engineering and Formal Methods [electronic resource] : 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings / by Calinescu, Radu [editor.] Păsăreanu, Corina S [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13085 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)
	577.	Algorithmic Aspects of Cloud Computing [electronic resource] : 6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6–7, 2021, Revised Selected Papers / by D’Angelo, Gianlorenzo [editor.] Michail, Othon [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13084 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)
	578.	Algorithmic Aspects in Information and Management [electronic resource] : 15th International Conference, AAIM 2021, Virtual Event, December 20–22, 2021, Proceedings / by Wu, Weili [editor.] Du, Hongwei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13153 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)
	579.	Graph Drawing and Network Visualization [electronic resource] : 29th International Symposium, GD 2021, Tübingen, Germany, September 14–17, 2021, Revised Selected Papers / by Purchase, Helen C [editor.] Rutter, Ignaz [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12868 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)
	580.	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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 2608 results.