Results of search for 'ccl=Provider:Springer, and se:Theoretical Computer Science and General Issues' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1061.	Interactive Theorem Proving [electronic resource] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings / by Van Eekelen, Marko [editor.] Geuvers, Herman [editor.] Schmaltz, Julien [editor.] Wiedijk, Freek [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6898 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)
	1062.	Multiple Classifier Systems [electronic resource] : 9th International Workshop, MCS 2010, Cairo, Egypt, April 7-9, 2010, Proceedings / by El Gayar, Neamat [editor.] Kittler, Josef [editor.] Roli, Fabio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5997 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)
	1063.	Algorithms and Models for the Web Graph [electronic resource] : 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings / by Gleich, David F [editor.] Komjáthy, Júlia [editor.] Litvak, Nelly [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9479 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)
	1064.	Algorithms and Computation [electronic resource] : 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I / by Cheong, Otfried [editor.] Chwa, Kyung-Yong [editor.] Park, Kunsoo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6506 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)
	1065.	Formal Techniques for Computer Systems and Business Processes [electronic resource] : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings / by Bravetti, Mario [editor.] Kloul, Leila [editor.] Zavattaro, Gianluigi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3670 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)
	1066.	High-Performance Scientific Computing [electronic resource] : First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4–5, 2016, Revised Selected Papers / by Di Napoli, Edoardo [editor.] Hermanns, Marc-André [editor.] Iliev, Hristo [editor.] Lintermann, Andreas [editor.] Peyser, Alexander [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10164 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)
	1067.	Genetic Programming [electronic resource] : 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers / by Nicolau, Miguel [editor.] Krawiec, Krzysztof [editor.] Heywood, Malcolm I [editor.] Castelli, Mauro [editor.] García-Sánchez, Pablo [editor.] Merelo, Juan J [editor.] Rivas Santos, Victor Manuel [editor.] Sim, Kevin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8599 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)
	1068.	Computational Science – ICCS 2009 [electronic resource] : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II / by Allen, Gabrielle [editor.] Nabrzyski, Jaroslaw [editor.] Seidel, Edward [editor.] van Albada, Geert Dick [editor.] Dongarra, Jack [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5545 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)
	1069.	Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / by Kroening, Daniel [editor.] Păsăreanu, Corina S [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9207 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)
	1070.	Artificial Immune Systems [electronic resource] : 8th International Conference, ICARIS 2009, York, UK, August 9-12, 2009, Proceedings / by Andrews, Paul S [editor.] Timmis, Jon [editor.] Owens, Nick D. L [editor.] Aickelin, Uwe [editor.] Hart, Emma [editor.] Hone, Andrew [editor.] Tyrrell, Andy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5666 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)
	1071.	Hybrid Systems: Computation and Control [electronic resource] : 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings / by Bemporad, Alberto [editor.] Buttazzo, Giorgio C [editor.] Bicchi, Antonio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4416 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)
	1072.	Coalgebraic Methods in Computer Science [electronic resource] : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers / by Bonsangue, Marcello M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8446 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)
	1073.	Computational Topology in Image Context [electronic resource] : 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012, Proceedings / by Ferri, Massimo [editor.] Frosini, Patrizio [editor.] Landi, Claudia [editor.] Cerri, Andrea [editor.] Di Fabio, Barbara [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7309 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)
	1074.	Theoretical Aspects of Computing – ICTAC 2017 [electronic resource] : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings / by Hung, Dang Van [editor.] Kapur, Deepak [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10580 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)
	1075.	Network and Parallel Computing [electronic resource] : 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings / by Shi, Xuanhua [editor.] An, Hong [editor.] Wang, Chao [editor.] Kandemir, Mahmut [editor.] Jin, Hai [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10578 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)
	1076.	Graph-Theoretic Concepts in Computer Science [electronic resource] : 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised Selected Papers / by Bodlaender, Hans L [editor.] Woeginger, Gerhard J [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10520 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)
	1077.	Neural Information Processing [electronic resource] : 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part III / by Liu, Derong [editor.] Xie, Shengli [editor.] Li, Yuanqing [editor.] Zhao, Dongbin [editor.] El-Alfy, El-Sayed M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10636 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)
	1078.	High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation [electronic resource] : 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings / by Jarvis, Stephen [editor.] Wright, Steven [editor.] Hammond, Simon [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10724 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)
	1079.	Membrane Computing [electronic resource] : 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers / by Gheorghe, Marian [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] Zandron, Claudio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10725 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)
	1080.	WALCOM: Algorithms and Computation [electronic resource] : 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings / by Rahman, M. Sohel [editor.] Sung, Wing-Kin [editor.] Uehara, Ryuhei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10755 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 2382 results.