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

Results
	1041.	Progress in Cryptology – LATINCRYPT 2019 [electronic resource] : 6th International Conference on Cryptology and Information Security in Latin America, Santiago de Chile, Chile, October 2–4, 2019, Proceedings / by Schwabe, Peter [editor.] Thériault, Nicolas [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11774 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)
	1042.	Internet of Things, Smart Spaces, and Next Generation Networks and Systems [electronic resource] : 19th International Conference, NEW2AN 2019, and 12th Conference, ruSMART 2019, St. Petersburg, Russia, August 26–28, 2019, Proceedings / by Galinina, Olga [editor.] Andreev, Sergey [editor.] Balandin, Sergey [editor.] Koucheryavy, Yevgeni [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 11660 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)
	1043.	Advances in Conceptual Modeling [electronic resource] : ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings / by Guizzardi, Giancarlo [editor.] Gailly, Frederik [editor.] Suzana Pitangueira Maciel, Rita [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11787 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)
	1044.	Formal Methods and Software Engineering [electronic resource] : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings / by Ait-Ameur, Yamine [editor.] Qin, Shengchao [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11852 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)
	1045.	Innovations and Interdisciplinary Solutions for Underserved Areas [electronic resource] : Third EAI International Conference, InterSol 2019, Cairo, Egypt, February 14–15, 2019, Proceedings / by Bassioni, Ghada [editor.] Kebe, Cheikh M.F [editor.] Gueye, Assane [editor.] Ndiaye, Ababacar [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 296 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)
	1046.	Theory of Evolutionary Computation [electronic resource] : Recent Developments in Discrete Optimization / by Doerr, Benjamin [editor.] Neumann, Frank [editor.] SpringerLink (Online service) Series: Natural Computing Series 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)
	1047.	Model-Driven Engineering and Software Development [electronic resource] : 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019, Revised Selected Papers / by Hammoudi, Slimane [editor.] Pires, Luís Ferreira [editor.] Selić, Bran [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1161 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)
	1048.	Selected Areas in Cryptography – SAC 2019 [electronic resource] : 26th International Conference, Waterloo, ON, Canada, August 12–16, 2019, Revised Selected Papers / by Paterson, Kenneth G [editor.] Stebila, Douglas [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11959 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)
	1049.	Communications and Networking [electronic resource] : 14th EAI International Conference, ChinaCom 2019, Shanghai, China, November 29 – December 1, 2019, Proceedings, Part II / by Gao, Honghao [editor.] Feng, Zhiyong [editor.] Yu, Jun [editor.] Wu, Jun [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 313 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)
	1050.	Algorithms and Models for the Web Graph [electronic resource] : 17th International Workshop, WAW 2020, Warsaw, Poland, September 21–22, 2020, Proceedings / by Kamiński, Bogumił [editor.] Prałat, Paweł [editor.] Szufel, Przemysław [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12091 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)
	1051.	Mathematical Software – ICMS 2020 [electronic resource] : 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings / by Bigatti, Anna Maria [editor.] Carette, Jacques [editor.] Davenport, James H [editor.] Joswig, Michael [editor.] de Wolff, Timo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12097 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)
	1052.	Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / by Lahiri, Shuvendu K [editor.] Wang, Chao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12225 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)
	1053.	Diagrammatic Representation and Inference [electronic resource] : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings / by Pietarinen, Ahti-Veikko [editor.] Chapman, Peter [editor.] Bosveld-de Smet, Leonie [editor.] Giardino, Valeria [editor.] Corter, James [editor.] Linker, Sven [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12169 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)
	1054.	Parallel Problem Solving from Nature – PPSN XVI [electronic resource] : 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part I / by Bäck, Thomas [editor.] Preuss, Mike [editor.] Deutz, André [editor.] Wang, Hao [editor.] Doerr, Carola [editor.] Emmerich, Michael [editor.] Trautmann, Heike [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12269 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)
	1055.	Integrated Uncertainty in Knowledge Modelling and Decision Making [electronic resource] : 8th International Symposium, IUKM 2020, Phuket, Thailand, November 11–13, 2020, Proceedings / by Huynh, Van-Nam [editor.] Entani, Tomoe [editor.] Jeenanunta, Chawalit [editor.] Inuiguchi, Masahiro [editor.] Yenradee, Pisal [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12482 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)
	1056.	Resource Management and Performance Analysis of Wireless Communication Networks [electronic resource] / by Jin, Shunfu [author.] Yue, Wuyi [author.] SpringerLink (Online service) 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)
	1057.	Electronic Participation [electronic resource] : 13th IFIP WG 8.5 International Conference, ePart 2021, Granada, Spain, September 7–9, 2021, Proceedings / by Edelmann, Noella [editor.] Csáki, Csaba [editor.] Hofmann, Sara [editor.] Lampoltshammer, Thomas J [editor.] Alcaide Muñoz, Laura [editor.] Parycek, Peter [editor.] Schwabe, Gerhard [editor.] Tambouris, Efthimios [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12849 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)
	1058.	Belief Functions: Theory and Applications [electronic resource] : 7th International Conference, BELIEF 2022, Paris, France, October 26–28, 2022, Proceedings / by Le Hégarat-Mascle, Sylvie [editor.] Bloch, Isabelle [editor.] Aldea, Emanuel [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13506 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)
	1059.	Concise Guide to Numerical Algorithmics [electronic resource] : The Foundations and Spirit of Scientific Computing / by Nazareth, John Lawrence [author.] SpringerLink (Online service) Series: SpringerBriefs in Computer Science 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)
	1060.	Foundations of Intelligent Systems [electronic resource] : 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings / by Kryszkiewicz, Marzena [editor.] Appice, Annalisa [editor.] Ślęzak, Dominik [editor.] Rybinski, Henryk [editor.] Skowron, Andrzej [editor.] Raś, Zbigniew W [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10352 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.