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

Results
	2061.	Making Musical Time [electronic resource] / by Mazzola, Guerino [author.] Lubet, Alex [author.] Pang, Yan [author.] Goebel, Jordon [author.] Rochester, Christopher [author.] Dey, Sangeeta [author.] SpringerLink (Online service) Series: Computational Music Science 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)
	2062.	Progress in Cryptology – INDOCRYPT 2021 [electronic resource] : 22nd International Conference on Cryptology in India, Jaipur, India, December 12–15, 2021, Proceedings / by Adhikari, Avishek [editor.] Küsters, Ralf [editor.] Preneel, Bart [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 13143 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)
	2063.	Cryptology and Network Security [electronic resource] : 20th International Conference, CANS 2021, Vienna, Austria, December 13-15, 2021, Proceedings / by Conti, Mauro [editor.] Stevens, Marc [editor.] Krenn, Stephan [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 13099 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)
	2064.	Combinatorial Optimization and Applications [electronic resource] : 15th International Conference, COCOA 2021, Tianjin, China, December 17–19, 2021, Proceedings / by Du, Ding-Zhu [editor.] Du, Donglei [editor.] Wu, Chenchen [editor.] Xu, Dachuan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13135 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)
	2065.	Logic-Based Program Synthesis and Transformation [electronic resource] : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings / by De Angelis, Emanuele [editor.] Vanhoof, Wim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13290 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)
	2066.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I / by Fisman, Dana [editor.] Rosu, Grigore [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13243 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)
	2067.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II / by Fisman, Dana [editor.] Rosu, Grigore [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13244 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)
	2068.	Multilayer Networks: Analysis and Visualization [electronic resource] : Introduction to muxViz with R / by De Domenico, Manlio [author.] SpringerLink (Online service) 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)
	2069.	Pedigree Polytopes [electronic resource] : New Insights on Computational Complexity of Combinatorial Optimisation Problems / by Arthanari, Tirukkattuppalli Subramanyam [author.] SpringerLink (Online service) 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)
	2070.	Applications of Evolutionary Computation [electronic resource] : 26th European Conference, EvoApplications 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023, Proceedings / by Correia, João [editor.] Smith, Stephen [editor.] Qaddoura, Raneem [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13989 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)
	2071.	Knowledge Science, Engineering and Management [electronic resource] : 16th International Conference, KSEM 2023, Guangzhou, China, August 16–18, 2023, Proceedings, Part II / by Jin, Zhi [editor.] Jiang, Yuncheng [editor.] Buchmann, Robert Andrei [editor.] Bi, Yaxin [editor.] Ghiran, Ana-Maria [editor.] Ma, Wenjun [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14118 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)
	2072.	Advances in Databases and Information Systems [electronic resource] : 27th European Conference, ADBIS 2023, Barcelona, Spain, September 4–7, 2023, Proceedings / by Abelló, Alberto [editor.] Vassiliadis, Panos [editor.] Romero, Oscar [editor.] Wrembel, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13985 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)
	2073.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings / by Petrucci, Laure [editor.] Sproston, Jeremy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14138 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)
	2074.	Logic, Language and Meaning [electronic resource] : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers / by Aloni, Maria [editor.] Bastiaanse, Harald [editor.] de Jager, Tikitu [editor.] Schulz, Katrin [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6042 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)
	2075.	Artificial Neural Networks and Machine Learning -- ICANN 2014 [electronic resource] : 24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014, Proceedings / by Wermter, Stefan [editor.] Weber, Cornelius [editor.] Duch, Wlodzislaw [editor.] Honkela, Timo [editor.] Koprinkova-Hristova, Petia [editor.] Magg, Sven [editor.] Palm, Günther [editor.] Villa, Allessandro E.P [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8681 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)
	2076.	Multi-Agent-Based Simulation XI [electronic resource] : International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers / by Bosse, Tibor [editor.] Geller, Armando [editor.] Jonker, Catholijn M [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6532 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)
	2077.	Recent Trends in Algebraic Development Techniques [electronic resource] : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers / by Fiadeiro, José Luiz [editor.] Schobbens, Pierre-Yves [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4409 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)
	2078.	Computational Processing of the Portuguese Language [electronic resource] : 11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings / by Baptista, Jorge [editor.] Mamede, Nuno [editor.] Candeias, Sara [editor.] Paraboni, Ivandré [editor.] Pardo, Thiago A.S [editor.] Volpe Nunes, Maria das Gracas [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8775 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)
	2079.	Neural Information Processing [electronic resource] : 14th International Confernce, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part II / by Ishikawa, Masumi [editor.] Doya, Kenji [editor.] Miyamoto, Hiroyuki [editor.] Yamakawa, Takeshi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4985 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2080.	Hybrid Metaheuristics [electronic resource] : 9th International Workshop, HM 2014, Hamburg, Germany, June 11-13, 2014, Proceedings / by Blesa, Maria J [editor.] Blum, Christian [editor.] Voß, Stefan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8457 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.