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

Results
	2021.	Computational Science – ICCS 2023 [electronic resource] : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part I / by Mikyška, Jiří [editor.] de Mulatier, Clélia [editor.] Paszynski, Maciej [editor.] Krzhizhanovskaya, Valeria V [editor.] Dongarra, Jack J [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14073 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)
	2022.	Hypothesis Generation and Interpretation [electronic resource] : Design Principles and Patterns for Big Data Applications / by Ishikawa, Hiroshi [author.] SpringerLink (Online service) Series: Studies in Big Data ; 139 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2023.	Swarm Intelligence [electronic resource] : 7th International Conference, ANTS 2010, Brussels, Belgium,September 8-10, 2010 Proceedings / by Dorigo, Marco [editor.] Birattari, Mauro [editor.] Di Caro, Gianni A [editor.] Doursat, René [editor.] Engelbrecht, Andries P [editor.] Floreano, Dario [editor.] Gambardella, Luca Maria [editor.] Gross, Roderich [editor.] Sahin, Erol [editor.] Stützle, Thomas [editor.] Sayama, Hiroki [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6234 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)
	2024.	ZB 2005: Formal Specification and Development in Z and B [electronic resource] : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings / by Treharne, Helen [editor.] King, Steve [editor.] Henson, Martin [editor.] Schneider, Steve [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3455 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)
	2025.	Applied Cryptography and Network Security [electronic resource] : 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings / by Manulis, Mark [editor.] Sadeghi, Ahmad-Reza [editor.] Schneider, Steve [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9696 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2026.	Swarm, Evolutionary, and Memetic Computing and Fuzzy and Neural Computing [electronic resource] : 7th International Conference, SEMCCO 2019, and 5th International Conference, FANCCO 2019, Maribor, Slovenia, July 10–12, 2019, Revised Selected Papers / by Zamuda, Aleš [editor.] Das, Swagatam [editor.] Suganthan, Ponnuthurai Nagaratnam [editor.] Panigrahi, Bijaya Ketan [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1092 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)
	2027.	Artificial Life and Evolutionary Computation [electronic resource] : 14th Italian Workshop, WIVACE 2019, Rende, Italy, September 18–20, 2019, Revised Selected Papers / by Cicirelli, Franco [editor.] Guerrieri, Antonio [editor.] Pizzuti, Clara [editor.] Socievole, Annalisa [editor.] Spezzano, Giandomenico [editor.] Vinci, Andrea [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1200 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)
	2028.	Advances in Computer Graphics [electronic resource] : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 – September 1, 2023, Proceedings, Part I / by Sheng, Bin [editor.] Bi, Lei [editor.] Kim, Jinman [editor.] Magnenat-Thalmann, Nadia [editor.] Thalmann, Daniel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14495 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)
	2029.	Advances in Computational Intelligence. MICAI 2023 International Workshops [electronic resource] : WILE 2023, HIS 2023, and CIAPP 2023, Yucatán, Mexico, November 13–18, 2023, Proceedings / by Calvo, Hiram [editor.] Martínez-Villaseñor, Lourdes [editor.] Ponce, Hiram [editor.] Zatarain Cabada, Ramón [editor.] Montes Rivera, Martín [editor.] Mezura-Montes, Efrén [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14502 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)
	2030.	SOFSEM 2024: Theory and Practice of Computer Science [electronic resource] : 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19–23, 2024, Proceedings / by Fernau, Henning [editor.] Gaspers, Serge [editor.] Klasing, Ralf [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14519 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)
	2031.	WALCOM: Algorithms and Computation [electronic resource] : 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18–20, 2024, Proceedings / by Uehara, Ryuhei [editor.] Yamanaka, Katsuhisa [editor.] Yen, Hsu-Chun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14549 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2032.	Structures of Computing [electronic resource] : A Guide to Practice-Oriented Theory / by Börger, Egon [author.] Gervasi, Vincenzo [author.] SpringerLink (Online service) Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2033.	LATIN 2024: Theoretical Informatics [electronic resource] : 16th Latin American Symposium, Puerto Varas, Chile, March 18–22, 2024, Proceedings, Part I / by Soto, José A [editor.] Wiese, Andreas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14578 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)
	2034.	LATIN 2024: Theoretical Informatics [electronic resource] : 16th Latin American Symposium, Puerto Varas, Chile, March 18–22, 2024, Proceedings, Part II / by Soto, José A [editor.] Wiese, Andreas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14579 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)
	2035.	Integrated Circuit and System Design [electronic resource] : Power and Timing Modeling, Optimization and Simulation; 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004, Proceedings / by Macii, Enrico [editor.] Paliouras, Vassilis [editor.] Koufopavlou, Odysseas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3254 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2036.	Applications of Evolutionary Computing [electronic resource] : EvoWorkshops 2007:EvoCOMNET, EvoFIN, EvoIASP, EvoINTERACTION, EvoMUSART, EvoSTOC, and EvoTransLog, Valencia, Spain, April 11-13, 2007, Proceedings / by Giacobini, Mario [editor.] Brabazon, Anthony [editor.] Cagoni, Stefano [editor.] Di Caro, Gianni A [editor.] Drechsler, Rolf [editor.] Farooq, Muddassar [editor.] Fink, Andreas [editor.] Lutton, Evelyne [editor.] Machado, Penousal [editor.] Minner, Stefan [editor.] O'Neill, Michael [editor.] Romero, Juan [editor.] Rothlauf, Franz [editor.] Squillero, Giovanni [editor.] Takagi, Hideyuki [editor.] Uyar, A. Sima [editor.] Yang, Shengxiang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4448 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)
	2037.	Simulated Evolution and Learning [electronic resource] : 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, Proceedings / by Li, Xiaodong [editor.] Kirley, Michael [editor.] Zhang, Mengjie [editor.] Ciesielski, Vic [editor.] Michalewicz, Zbigniew [editor.] Hendtlass, Tim [editor.] Deb, Kalyanmoy [editor.] Tan, K. C [editor.] Branke, Jürgen [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5361 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)
	2038.	Computational Science and Its Applications - ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV / by Gervasi, Osvaldo [editor.] Gavrilova, Marina L [editor.] Kumar, Vipin [editor.] Laganà, Antonio [editor.] Lee, Heow Pueh [editor.] Mun, Youngsong [editor.] Taniar, David [editor.] Tan, Chih Jeng Kenneth [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3483 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)
	2039.	Wireless Algorithms, Systems, and Applications [electronic resource] : Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008, Proceedings / by Li, Yingshu [editor.] Huynh, Dung T [editor.] Das, Sajal K [editor.] Du, Ding-Zhu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5258 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)
	2040.	SOFSEM 2006: Theory and Practice of Computer Science [electronic resource] : 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006, Proceedings / by Wiedermann, Jirí [editor.] Tel, Gerard [editor.] Pokorný, Jaroslav [editor.] Bieliková, Mária [editor.] Štuller, Július [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3831 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)