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

Results
	4541.	Programming Languages and Systems [electronic resource] : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings / by Yang, Hongseok [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7078 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4542.	Digital Nations – Smart Cities, Innovation, and Sustainability [electronic resource] : 16th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2017, Delhi, India, November 21–23, 2017, Proceedings / by Kar, Arpan Kumar [editor.] Ilavarasan, P. Vigneswara [editor.] Gupta, M.P [editor.] Dwivedi, Yogesh K [editor.] Mäntymäki, Matti [editor.] Janssen, Marijn [editor.] Simintiras, Antonis [editor.] Al-Sharhan, Salah [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10595 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)
	4543.	Responsible Design, Implementation and Use of Information and Communication Technology [electronic resource] : 19th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2020, Skukuza, South Africa, April 6–8, 2020, Proceedings, Part I / by Hattingh, Marié [editor.] Matthee, Machdel [editor.] Smuts, Hanlie [editor.] Pappas, Ilias [editor.] Dwivedi, Yogesh K [editor.] Mäntymäki, Matti [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12066 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)
	4544.	Conceptual Modeling [electronic resource] : 42nd International Conference, ER 2023, Lisbon, Portugal, November 6–9, 2023, Proceedings / by Almeida, João Paulo A [editor.] Borbinha, José [editor.] Guizzardi, Giancarlo [editor.] Link, Sebastian [editor.] Zdravkovic, Jelena [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14320 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)
	4545.	Machine Translation [electronic resource] : 19th China Conference, CCMT 2023, Jinan, China, October 19–21, 2023, Proceedings / by Feng, Yang [editor.] Feng, Chong [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1922 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)
	4546.	The Semantic Web – ISWC 2023 [electronic resource] : 22nd International Semantic Web Conference, Athens, Greece, November 6–10, 2023, Proceedings, Part II / by Payne, Terry R [editor.] Presutti, Valentina [editor.] Qi, Guilin [editor.] Poveda-Villalón, María [editor.] Stoilos, Giorgos [editor.] Hollink, Laura [editor.] Kaoudi, Zoi [editor.] Cheng, Gong [editor.] Li, Juanzi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14266 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)
	4547.	Databases Theory and Applications [electronic resource] : 34th Australasian Database Conference, ADC 2023, Melbourne, VIC, Australia, November 1-3, 2023, Proceedings / by Bao, Zhifeng [editor.] Borovica-Gajic, Renata [editor.] Qiu, Ruihong [editor.] Choudhury, Farhana [editor.] Yang, Zhengyi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14386 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4548.	Scheduling and Reconfiguration of Real-Time Systems [electronic resource] : A Supervisory Control Approach / by Wang, Xi [author.] Li, ZhiWu [author.] SpringerLink (Online service) 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)
	4549.	Codes, Cryptology and Information Security [electronic resource] : Second International Conference, C2SI 2017, Rabat, Morocco, April 10–12, 2017, Proceedings - In Honor of Claude Carlet / by El Hajji, Said [editor.] Nitaj, Abderrahmane [editor.] Souidi, El Mamoun [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10194 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)
	4550.	Modelling and Simulation for Autonomous Systems [electronic resource] : First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers / by Hodicky, Jan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8906 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4551.	Large-Scale Scientific Computing [electronic resource] : 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papers / by Lirkov, Ivan [editor.] Margenov, Svetozar D [editor.] Waśniewski, Jerzy [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9374 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4552.	Intelligent Computing Theory [electronic resource] : 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014, Proceedings / by Huang, De-Shuang [editor.] Bevilacqua, Vitoantonio [editor.] Premaratne, Prashan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8588 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4553.	Information Security and Cryptology [electronic resource] : 9th International Conference, Inscrypt 2013, Guangzhou, China, November 27-30, 2013, Revised Selected Papers / by Lin, Dongdai [editor.] Xu, Shouhuai [editor.] Yung, Moti [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8567 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4554.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / by Calimeri, Francesco [editor.] Ianni, Giovambattista [editor.] Truszczynski, Miroslaw [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9345 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4555.	Information Technology in Bio- and Medical Informatics [electronic resource] : 6th International Conference, ITBAM 2015, Valencia, Spain, September 3-4, 2015, Proceedings / by Renda, M. Elena [editor.] Bursa, Miroslav [editor.] Holzinger, Andreas [editor.] Khuri, Sami [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9267 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4556.	Principles and Practice of Semantic Web Reasoning [electronic resource] : 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers / by Alferes, José Júlio [editor.] Bailey, James [editor.] May, Wolfgang [editor.] Schwertel, Uta [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4187 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)
	4557.	Post-Quantum Cryptography [electronic resource] : 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings / by Lange, Tanja [editor.] Steinwandt, Rainer [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10786 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)
	4558.	Internet of Things – ICIOT 2018 [electronic resource] : Third International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings / by Georgakopoulos, Dimitrios [editor.] Zhang, Liang-Jie [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10972 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)
	4559.	Beyond Interactions [electronic resource] : INTERACT 2019 IFIP TC 13 Workshops, Paphos, Cyprus, September 2–6, 2019, Revised Selected Papers / by Abdelnour Nocera, José [editor.] Parmaxi, Antigoni [editor.] Winckler, Marco [editor.] Loizides, Fernando [editor.] Ardito, Carmelo [editor.] Bhutkar, Ganesh [editor.] Dannenmann, Peter [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11930 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)
	4560.	Electronic Participation [electronic resource] : 12th IFIP WG 8.5 International Conference, ePart 2020, Linköping, Sweden, August 31 – September 2, 2020, Proceedings / by Hofmann, Sara [editor.] Csáki, Csaba [editor.] Edelmann, Noella [editor.] Lampoltshammer, Thomas [editor.] Melin, Ulf [editor.] Parycek, Peter [editor.] Schwabe, Gerhard [editor.] Tambouris, Efthimios [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12220 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.