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

Results
	1281.	Unconventional Computation [electronic resource] : 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009, Proceedings / by Calude, Christian S [editor.] da Costa, Jose Felix Gomes [editor.] Dershowitz, Nachum [editor.] Freire, Elisabete [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5715 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)
	1282.	Algorithms in Bioinformatics [electronic resource] : 11th International Workshop, WABI 2011, Saarbrücken, Germany, September 5-7, 2011, Proceedings / by Przytycka, Teresa M [editor.] Sagot, Marie-France [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 6833 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)
	1283.	Fuzzy Logic and Applications [electronic resource] : 9th International Workshop, WILF 2011, Trani, Italy, August 29-31, 2011, Proceedings / by Petrosino, Alfredo [editor.] Fanelli, Anna Maria [editor.] Pedrycz, Witold [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6857 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)
	1284.	Data Management in Grid and Peer-to-Peer Systems [electronic resource] : Second International Conference, Globe 2009 Linz, Austria, September 1-2, 2009 Proceedings / by Hameurlain, Abdelkader [editor.] Tjoa, A Min [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5697 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)
	1285.	Coding Theory and Applications [electronic resource] : 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings / by Barbero, Ángela I [editor.] Skachek, Vitaly [editor.] Ytrehus, Øyvind [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10495 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)
	1286.	Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I / by Chockler, Hana [editor.] Weissenbacher, Georg [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10981 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)
	1287.	Intelligent Computer Mathematics [electronic resource] : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings / by Rabe, Florian [editor.] Farmer, William M [editor.] Passmore, Grant O [editor.] Youssef, Abdou [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11006 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)
	1288.	The Semantic Web: ESWC 2018 Satellite Events [electronic resource] : ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers / by Gangemi, Aldo [editor.] Gentile, Anna Lisa [editor.] Nuzzolese, Andrea Giovanni [editor.] Rudolph, Sebastian [editor.] Maleshkova, Maria [editor.] Paulheim, Heiko [editor.] Pan, Jeff Z [editor.] Alam, Mehwish [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11155 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)
	1289.	Model and Data Engineering [electronic resource] : 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings / by Abdelwahed, El Hassan [editor.] Bellatreche, Ladjel [editor.] Golfarelli, Mattéo [editor.] Méry, Dominique [editor.] Ordonez, Carlos [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11163 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)
	1290.	E-Business and Telecommunications [electronic resource] : 14th International Joint Conference, ICETE 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Paper / by Obaidat, Mohammad S [editor.] Cabello, Enrique [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 990 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)
	1291.	At the Intersection of Language, Logic, and Information [electronic resource] : ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers / by Sikos, Jennifer [editor.] Pacuit, Eric [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11667 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)
	1292.	Progress in Cryptology – INDOCRYPT 2019 [electronic resource] : 20th International Conference on Cryptology in India, Hyderabad, India, December 15–18, 2019, Proceedings / by Hao, Feng [editor.] Ruj, Sushmita [editor.] Sen Gupta, Sourav [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11898 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)
	1293.	Sets, Logic and Maths for Computing [electronic resource] / by Makinson, David [author.] SpringerLink (Online service) Series: Undergraduate Topics in Computer Science Edition: 3rd 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)
	1294.	Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 20th International Conference, CPAIOR 2023, Nice, France, May 29 –June 1, 2023, Proceedings / by Cire, Andre A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13884 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)
	1295.	Group Decision and Negotiation in the Era of Multimodal Interactions [electronic resource] : 23rd International Conference on Group Decision and Negotiation, GDN 2023, Tokyo, Japan, June 11–15, 2023, Proceedings / by Maemura, Yu [editor.] Horita, Masahide [editor.] Fang, Liping [editor.] Zaraté, Pascale [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 478 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)
	1296.	Artificial Intelligence and Soft Computing [electronic resource] : 11th International Conference, ICAISA 2012, Zakopane, Poland, April 29 - 3 May, 2012, Proceedings, Part II / by Rutkowski, Leszek [editor.] Korytkowski, Marcin [editor.] Scherer, Rafał [editor.] Tadeusiewicz, Ryszard [editor.] Zadeh, Lotfi [editor.] Zurada, Jacek [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7268 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)
	1297.	Formal Concept Analysis [electronic resource] : 12th International Conference, ICFCA 2014, Cluj-Napoca, Romania , June 10-13, 2014. Proceedings / by Glodeanu, Cynthia Vera [editor.] Kaytoue, Mehdi [editor.] Sacarea, Christian [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8478 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)
	1298.	Logic Programming [electronic resource] : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings / by Gabbrielli, Maurizio [editor.] Gupta, Gopal [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3668 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)
	1299.	Frontiers in Algorithmics and Algorithmic Aspects in Information and Management [electronic resource] : Third Joint International Conference, FAW-AAIM 2013, Dalian,China, June 26-28, 2013, Proceedings / by Fellows, Michael [editor.] Tan, Xuehou [editor.] Zhu, Binhai [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7924 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1300.	Software Language Engineering [electronic resource] : 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings / by Combemale, Benoit [editor.] Pearce, David [editor.] Barais, Olivier [editor.] Vinju, Jurgen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8706 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.