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

Results
	281.	Transactions on Computational Collective Intelligence XXX [electronic resource] / by Thanh Nguyen, Ngoc [editor.] Kowalczyk, Richard [editor.] SpringerLink (Online service) Series: Transactions on Computational Collective Intelligence ; 11120 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)
	282.	Mathematical Optimization Theory and Operations Research [electronic resource] : 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020, Proceedings / by Kononov, Alexander [editor.] Khachay, Michael [editor.] Kalyagin, Valery A [editor.] Pardalos, Panos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12095 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)
	283.	New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI International Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, Yokohama, Japan, November 10–12, 2019, Revised Selected Papers / by Sakamoto, Maki [editor.] Okazaki, Naoaki [editor.] Mineshima, Koji [editor.] Satoh, Ken [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12331 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)
	284.	Advanced Information Systems Engineering [electronic resource] : 34th International Conference, CAiSE 2022, Leuven, Belgium, June 6–10, 2022, Proceedings / by Franch, Xavier [editor.] Poels, Geert [editor.] Gailly, Frederik [editor.] Snoeck, Monique [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13295 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)
	285.	Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings / by Schaus, Pierre [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13292 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)
	286.	Metaheuristics [electronic resource] : 14th International Conference, MIC 2022, Syracuse, Italy, July 11–14, 2022, Proceedings / by Di Gaspero, Luca [editor.] Festa, Paola [editor.] Nakib, Amir [editor.] Pavone, Mario [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13838 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)
	287.	Algorithms for Constructing Computably Enumerable Sets [electronic resource] / by Supowit, Kenneth J [author.] SpringerLink (Online service) Series: Computer Science Foundations and Applied Logic Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Birkhäuser, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	288.	Many-Criteria Optimization and Decision Analysis [electronic resource] : State-of-the-Art, Present Challenges, and Future Perspectives / by Brockhoff, Dimo [editor.] Emmerich, Michael [editor.] Naujoks, Boris [editor.] Purshouse, Robin [editor.] SpringerLink (Online service) Series: Natural Computing Series 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)
	289.	Foundations of Genetic Algorithms [electronic resource] : 8th International Workshop, FOGA 2005, Aizu-Wakamatsu City, Japan, January 5-9, 2005, Revised Selected Papers / by Wright, Alden H [editor.] Vose, Michael D [editor.] De Jong, Kenneth A [editor.] Schmitt, Lothar M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3469 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	290.	Biomimetic and Biohybrid Systems [electronic resource] : 6th International Conference, Living Machines 2017, Stanford, CA, USA, July 26–28, 2017, Proceedings / by Mangan, Michael [editor.] Cutkosky, Mark [editor.] Mura, Anna [editor.] Verschure, Paul F.M.J [editor.] Prescott, Tony [editor.] Lepora, Nathan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10384 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)
	291.	Advances in Bioinformatics and Computational Biology [electronic resource] : Third Brazilian Symposium on Bioinformatics, BSB 2008, Sao Paulo, Brazil, August 28-30, 2008, Proceedings / by Bazzan, Ana L.C [editor.] Craven, Mark [editor.] Martins, Natalia F [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 5167 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	292.	Advances in Cryptology -- ASIACRYPT 2015 [electronic resource] : 21st International Conference on the Theory and Application of Cryptology and Information Security,Auckland, New Zealand, November 29 -- December 3, 2015, Proceedings, Part I / by Iwata, Tetsu [editor.] Cheon, Jung Hee [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9452 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	293.	Programming Languages and Systems [electronic resource] : 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings / by Chang, Bor-Yuh Evan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10695 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)
	294.	Transactions on Petri Nets and Other Models of Concurrency XIV [electronic resource] / by Koutny, Maciej [editor.] Pomello, Lucia [editor.] Kristensen, Lars Michael [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 11790 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	295.	Formal Aspects of Component Software [electronic resource] : 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings / by Arbab, Farhad [editor.] Jongmans, Sung-Shik [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12018 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)
	296.	Artificial Intelligence. IJCAI 2019 International Workshops [electronic resource] : Macao, China, August 10–12, 2019, Revised Selected Best Papers / by El Fallah Seghrouchni, Amal [editor.] Sarne, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12158 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)
	297.	Applications of Evolutionary Computation [electronic resource] : 24th International Conference, EvoApplications 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / by Castillo, Pedro A [editor.] Jiménez Laredo, Juan Luis [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12694 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)
	298.	Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings / by Mousavi, Mohammad Reza [editor.] Philippou, Anna [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13273 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)
	299.	Coping with Selfishness in Congestion Games [electronic resource] : Analysis and Design via LP Duality / by Bilò, Vittorio [author.] Vinci, Cosimo [author.] SpringerLink (Online service) Series: Monographs in Theoretical Computer Science. An EATCS Series 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)
	300.	Formal Methods for Industrial Critical Systems [electronic resource] : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings / by Stoelinga, Mariëlle [editor.] Pinger, Ralf [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7437 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 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.