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

Results
	1221.	Knowledge Graph and Semantic Computing. Knowledge Computing and Language Understanding [electronic resource] : Third China Conference, CCKS 2018, Tianjin, China, August 14–17, 2018, Revised Selected Papers / by Zhao, Jun [editor.] Harmelen, Frank van [editor.] Tang, Jie [editor.] Han, Xianpei [editor.] Wang, Quan [editor.] Li, Xianyong [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 957 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1222.	Digital Forensics and Watermarking [electronic resource] : 17th International Workshop, IWDW 2018, Jeju Island, Korea, October 22-24, 2018, Proceedings / by Yoo, Chang D [editor.] Shi, Yun-Qing [editor.] Kim, Hyoung Joong [editor.] Piva, Alessandro [editor.] Kim, Gwangsu [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11378 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)
	1223.	Formal Methods [electronic resource] : An Appetizer / by Nielson, Flemming [author.] Riis Nielson, Hanne [author.] SpringerLink (Online service) 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)
	1224.	Representation Theorems in Computer Science [electronic resource] : A Treatment in Logic Engineering / by Özçep, Özgür Lütfü [author.] SpringerLink (Online service) 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)
	1225.	Progress in Cryptology – LATINCRYPT 2017 [electronic resource] : 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers / by Lange, Tanja [editor.] Dunkelman, Orr [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11368 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)
	1226.	Developments in Language Theory [electronic resource] : 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings / by Hofman, Piotrek [editor.] Skrzypczak, Michał [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11647 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)
	1227.	Rules and Reasoning [electronic resource] : Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings / by Fodor, Paul [editor.] Montali, Marco [editor.] Calvanese, Diego [editor.] Roman, Dumitru [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11784 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)
	1228.	Artificial Intelligence in Music, Sound, Art and Design [electronic resource] : 9th International Conference, EvoMUSART 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings / by Romero, Juan [editor.] Ekárt, Anikó [editor.] Martins, Tiago [editor.] Correia, João [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12103 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)
	1229.	The Semantic Web – ISWC 2020 [electronic resource] : 19th International Semantic Web Conference, Athens, Greece, November 2–6, 2020, Proceedings, Part II / by Pan, Jeff Z [editor.] Tamma, Valentina [editor.] d’Amato, Claudia [editor.] Janowicz, Krzysztof [editor.] Fu, Bo [editor.] Polleres, Axel [editor.] Seneviratne, Oshani [editor.] Kagal, Lalana [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12507 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)
	1230.	Innovation for Systems Information and Decision [electronic resource] : Second International Meeting, INSID 2020, Recife, Brazil, December 2–4, 2020, Proceedings / by de Almeida, Adiel Teixeira [editor.] Morais, Danielle Costa [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 405 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)
	1231.	Advances in Cryptology – EUROCRYPT 2022 [electronic resource] : 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30 – June 3, 2022, Proceedings, Part II / by Dunkelman, Orr [editor.] Dziembowski, Stefan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13276 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)
	1232.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings / by Dragoi, Cezara [editor.] Emmi, Michael [editor.] Wang, Jingbo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13881 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)
	1233.	Graph Drawing and Network Visualization [electronic resource] : 30th International Symposium, GD 2022, Tokyo, Japan, September 13–16, 2022, Revised Selected Papers / by Angelini, Patrizio [editor.] von Hanxleden, Reinhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13764 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)
	1234.	Data Mining and Big Data [electronic resource] : 7th International Conference, DMBD 2022, Beijing, China, November 21–24, 2022, Proceedings, Part I / by Tan, Ying [editor.] Shi, Yuhui [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1744 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1235.	Intelligent Computer Mathematics [electronic resource] : 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings / by Dubois, Catherine [editor.] Kerber, Manfred [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14101 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)
	1236.	New Trends in Database and Information Systems [electronic resource] : ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4–7, 2023, Proceedings / by Abelló, Alberto [editor.] Vassiliadis, Panos [editor.] Romero, Oscar [editor.] Wrembel, Robert [editor.] Bugiotti, Francesca [editor.] Gamper, Johann [editor.] Vargas Solar, Genoveva [editor.] Zumpano, Ester [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1850 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)
	1237.	Biologically Inspired Approaches to Advanced Information Technology [electronic resource] : Second International Workshop, BioADIT 2006, Osaka, Japan 26-27, 2006, Proceedings / by Ijspeert, Auke Jan [editor.] Masuzawa, Toshimitsu [editor.] Kusumoto, Shinji [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3853 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)
	1238.	Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 6th International Meeting, CIBB 2009, Genoa, Italy, October 15-17, 2009, Revised Selected Papers / by Masulli, Francesco [editor.] Peterson, Leif [editor.] Tagliaferri, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 6160 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1239.	Compiler Construction [electronic resource] : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings / by Bodik, Rastislav [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3443 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)
	1240.	High Performance Computing for Computational Science - VECPAR 2006 [electronic resource] : 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers / by Daydé, Michel [editor.] Palma, José M.L.M [editor.] Couthino, Álvaro L.G.A [editor.] Pacitti, Esther [editor.] Correia Lopes, João [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4395 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 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.