Results of search for 'ccl=su:{Theory of Computation.} and su-to:Computer science and se:Theoretical Computer Science and General Issues' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	921.	Logical Approaches to Computational Barriers [electronic resource] : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings / by Beckmann, Arnold [editor.] Berger, Ulrich [editor.] Löwe, Benedikt [editor.] Tucker, John V [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3988 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)
	922.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings / by McMillan, Kenneth [editor.] Rival, Xavier [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8318 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	923.	Computational Science – ICCS 2019 [electronic resource] : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I / by Rodrigues, João M. F [editor.] Cardoso, Pedro J. S [editor.] Monteiro, Jânio [editor.] Lam, Roberto [editor.] Krzhizhanovskaya, Valeria V [editor.] Lees, Michael H [editor.] Dongarra, Jack J [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11536 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)
	924.	Genetic Programming [electronic resource] : 23rd European Conference, EuroGP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings / by Hu, Ting [editor.] Lourenço, Nuno [editor.] Medvet, Eric [editor.] Divina, Federico [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12101 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)
	925.	Computational Science – ICCS 2020 [electronic resource] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part IV / by Krzhizhanovskaya, Valeria V [editor.] Závodszky, Gábor [editor.] Lees, Michael H [editor.] Dongarra, Jack J [editor.] Sloot, Peter M. A [editor.] Brissos, Sérgio [editor.] Teixeira, João [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12140 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)
	926.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II / by Groote, Jan Friso [editor.] Larsen, Kim Guldstrand [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12652 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)
	927.	Automata, Languages and Programming [electronic resource] : 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings / by Caires, Luis [editor.] Italiano, Guiseppe F [editor.] Monteiro, Luis [editor.] Palamidessi, Catuscia [editor.] Yung, Moti [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3580 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)
	928.	Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings / by Sirisuk, Phaophak [editor.] Morgan, Fearghal [editor.] El-Ghazawi, Tarek [editor.] Amano, Hideharu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5992 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)
	929.	Artificial Neural Networks and Machine Learning – ICANN 2016 [electronic resource] : 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part II / by Villa, Alessandro E.P [editor.] Masulli, Paolo [editor.] Pons Rivero, Antonio Javier [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9887 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)
	930.	Neural Information Processing [electronic resource] : 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings, Part I / by Arik, Sabri [editor.] Huang, Tingwen [editor.] Lai, Weng Kin [editor.] Liu, Qingshan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9489 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)
	931.	Algorithms and Models for the Web-Graph [electronic resource] : 5th International Workshop, WAW 2007, San Diego, CA, USA, December 11-12, 2007, Proceedings / by Bonato, Anthony [editor.] Chung, Fan R.K [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4863 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)
	932.	Implementation and Application of Automata [electronic resource] : 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings / by Han, Yo-Sub [editor.] Salomaa, Kai [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9705 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)
	933.	Unconventional Computation [electronic resource] : 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings / by Calude, Cristian S [editor.] Dinneen, Michael J [editor.] Paun, Gheorghe [editor.] Pérez-Jiménez, Mario de Jesus [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3699 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)
	934.	Applications of Evolutionary Computing [electronic resource] : EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog / by Giacobini, Mario [editor.] Brabazon, Anthony [editor.] Cagnoni, Stefano [editor.] Di Caro, Gianni A [editor.] Drechsler, Rolf [editor.] Ekart, Aniko [editor.] Esparcia-Alcazar, Anna I [editor.] Farooq, Muddassar [editor.] Fink, Andreas [editor.] McCormack, Jon [editor.] O'Neill, Michael [editor.] Romero, Juan [editor.] Rothlauf, Franz [editor.] Squillero, Giovanni [editor.] Uyar, Sima [editor.] Yang, Shengxiang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4974 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)
	935.	Advances in Self-Organizing Maps [electronic resource] : 8th International Workshop, WSOM 2011, Espoo, Finland, June 13-15, 2011. Proceedings / by Laaksonen, Jorma [editor.] Honkela, Timo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6731 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)
	936.	Parallel Problem Solving from Nature - PPSN IX [electronic resource] : 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Proceedings / by Runarsson, Thomas Philip [editor.] Beyer, Hans-Georg [editor.] Burke, Edmund [editor.] Merelo-Guervós, Juan J [editor.] Whitley, L. Darrell [editor.] Yao, Xin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4193 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)
	937.	Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings / by Hämäläinen, Timo D [editor.] Pimentel, Andy D [editor.] Takala, Jarmo [editor.] Vassiliadis, Stamatis [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3553 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)
	938.	Swarm Intelligence [electronic resource] : 10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016, Proceedings / by Dorigo, Marco [editor.] Birattari, Mauro [editor.] Li, Xiaodong [editor.] López-Ibáñez, Manuel [editor.] Ohkura, Kazuhiro [editor.] Pinciroli, Carlo [editor.] Stützle, Thomas [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9882 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)
	939.	Computer Science -- Theory and Applications [electronic resource] : 7th International Computer Science Symposium in Russia, CSR 2012, Niszhny Novgorod, Russia, July 3-7, 2012, Proceedings / by Hirsch, Edward [editor.] Karhumäki, Juhani [editor.] Lepistö, Arto [editor.] Prilutskii, Michail [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7353 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)
	940.	Descriptional Complexity of Formal Systems [electronic resource] : 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings / by Jürgensen [editor.] Reis, Rogério [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8031 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 956 results.