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

Results
	1621.	Algorithms and Architectures for Parallel Processing [electronic resource] : 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2–4, 2020, Proceedings, Part II / by Qiu, Meikang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12453 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)
	1622.	Information and Communications Security [electronic resource] : 22nd International Conference, ICICS 2020, Copenhagen, Denmark, August 24–26, 2020, Proceedings / by Meng, Weizhi [editor.] Gollmann, Dieter [editor.] Jensen, Christian D [editor.] Zhou, Jianying [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12282 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)
	1623.	The Next Wave of Sociotechnical Design [electronic resource] : 16th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2021, Kristiansand, Norway, August 4–6, 2021, Proceedings / by Chandra Kruse, Leona [editor.] Seidel, Stefan [editor.] Hausvik, Geir Inge [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12807 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)
	1624.	Culture and Computing [electronic resource] : 10th International Conference, C&C 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings / by Rauterberg, Matthias [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13324 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)
	1625.	Applied Cryptography and Network Security [electronic resource] : 20th International Conference, ACNS 2022, Rome, Italy, June 20–23, 2022, Proceedings / by Ateniese, Giuseppe [editor.] Venturi, Daniele [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13269 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)
	1626.	Structural Information and Communication Complexity [electronic resource] : 30th International Colloquium, SIROCCO 2023, Alcalá de Henares, Spain, June 6–9, 2023, Proceedings / by Rajsbaum, Sergio [editor.] Balliu, Alkida [editor.] Daymude, Joshua J [editor.] Olivetti, Dennis [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13892 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)
	1627.	Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems [electronic resource] : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures / by Bernardo, Marco [editor.] De Nicola, Rocco [editor.] Hillston, Jane [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9700 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)
	1628.	Automata, Languages and Programming [electronic resource] : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II / by Bugliesi, Michele [editor.] Preneel, Bart [editor.] Sassone, Vladimiro [editor.] Wegener, Ingo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4052 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1629.	Fundamental Approaches to Software Engineering [electronic resource] : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings / by Chechik, Marsha [editor.] Wirsing, Martin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5503 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1630.	Combinatorial Algorithms [electronic resource] : 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers / by Lipták, Zsuzsanna [editor.] Smyth, William F [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9538 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)
	1631.	Adventures Between Lower Bounds and Higher Altitudes [electronic resource] : Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday / by Böckenhauer, Hans-Joachim [editor.] Komm, Dennis [editor.] Unger, Walter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11011 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)
	1632.	Metadata and Semantic Research [electronic resource] : 12th International Conference, MTSR 2018, Limassol, Cyprus, October 23-26, 2018, Revised Selected Papers / by Garoufallou, Emmanouel [editor.] Sartori, Fabio [editor.] Siatri, Rania [editor.] Zervas, Marios [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 846 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1633.	Artificial Intelligence Applications and Innovations [electronic resource] : 15th IFIP WG 12.5 International Conference, AIAI 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings / by MacIntyre, John [editor.] Maglogiannis, Ilias [editor.] Iliadis, Lazaros [editor.] Pimenidis, Elias [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 559 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1634.	Algorithms and Architectures for Parallel Processing [electronic resource] : 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2–4, 2020, Proceedings, Part III / by Qiu, Meikang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12454 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)
	1635.	Multivariate Public Key Cryptosystems [electronic resource] / by Ding, Jintai [author.] Petzoldt, Albrecht [author.] Schmidt, Dieter S [author.] SpringerLink (Online service) Series: Advances in Information Security ; 80 Edition: 2nd ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer US : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1636.	Algorithms and Architectures for Parallel Processing [electronic resource] : 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2–4, 2020, Proceedings, Part I / by Qiu, Meikang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12452 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)
	1637.	Computational Methods in Systems Biology [electronic resource] : 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings / by Abate, Alessandro [editor.] Petrov, Tatjana [editor.] Wolf, Verena [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 12314 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)
	1638.	Beyond Planar Graphs [electronic resource] : Communications of NII Shonan Meetings / by Hong, Seok-Hee [editor.] Tokuyama, Takeshi [editor.] SpringerLink (Online service) Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1639.	The Data Science Framework [electronic resource] : A View from the EDISON Project / by Cuadrado-Gallego, Juan J [editor.] Demchenko, Yuri [editor.] SpringerLink (Online service) 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)
	1640.	Case-Based Reasoning Research and Development [electronic resource] : 28th International Conference, ICCBR 2020, Salamanca, Spain, June 8–12, 2020, Proceedings / by Watson, Ian [editor.] Weber, Rosina [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12311 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.