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

Results
	621.	Mathematics of Surfaces XIII [electronic resource] : 13th IMA International Conference York, UK, September 7-9, 2009 Proceedings / by Hancock, Edwin R [editor.] Martin, Ralph R [editor.] Sabin, Malcolm A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5654 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)
	622.	Computational Science – ICCS 2008 [electronic resource] : 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II / by Bubak, Marian [editor.] van Albada, Geert Dick [editor.] Dongarra, Jack [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5102 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)
	623.	Sequences and Their Applications - SETA 2014 [electronic resource] : 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings / by Schmidt, Kai-Uwe [editor.] Winterhof, Arne [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8865 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)
	624.	Computational Geometry and Graphs [electronic resource] : Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, Revised Selected papers / by Akiyama, Jin [editor.] Kano, Mikio [editor.] Sakai, Toshinori [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8296 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)
	625.	Model Checking Software [electronic resource] : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings / by Bosnacki, Dragan [editor.] Edelkamp, Stefan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4595 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)
	626.	Functional and Constraint Logic Programming [electronic resource] : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers / by Marino, Julio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6559 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)
	627.	Implementation and Application of Automata [electronic resource] : 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers / by Domaratzki, Michael [editor.] Okhotin, Alexander [editor.] Salomaa, Kai [editor.] Yu, Sheng [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3317 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)
	628.	Model Checking Software [electronic resource] : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings / by Fischer, Bernd [editor.] Geldenhuys, Jaco [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9232 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)
	629.	Integration of AI and OR Techniques in Constraint Programming [electronic resource] : 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings / by Simonis, Helmut [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8451 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)
	630.	Coding Theory and Applications [electronic resource] : 2nd International Castle Meeting, ISMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 2008, Proceedings / by Barbero, Angela [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5228 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)
	631.	Languages and Compilers for Parallel Computing [electronic resource] : 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers / by Amaral, José Nelson [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5335 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)
	632.	Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011, Proceedings / by Défago, Xavier [editor.] Petit, Franck [editor.] Villain, Vincent [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6976 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)
	633.	Theoretical Computer Science [electronic resource] : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings / by Diaz, Josep [editor.] Lanese, Ivan [editor.] Sangiorgi, Davide [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8705 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)
	634.	Hybrid Metaheuristics [electronic resource] : 6th International Workshop, HM 2009 Udine, Italy, October 16-17, 2009 Proceedings / by Blum, Christian [editor.] Gaspero, Luca [editor.] Roli, Andrea [editor.] Sampels, Michael [editor.] Schaerf, Andrea [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5818 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)
	635.	Cellular Automata and Discrete Complex Systems [electronic resource] : 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings / by Baetens, Jan M [editor.] Kutrib, Martin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10875 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)
	636.	Advances in Swarm Intelligence [electronic resource] : 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I / by Tan, Ying [editor.] Shi, Yuhui [editor.] Tang, Qirong [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10941 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)
	637.	Model Checking Software [electronic resource] : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / by Gallardo, María del Mar [editor.] Merino, Pedro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10869 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)
	638.	Graph Transformation [electronic resource] : 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings / by Lambers, Leen [editor.] Weber, Jens [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10887 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)
	639.	Frontiers in Algorithmics [electronic resource] : 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings / by Zhu, Daming [editor.] Bereg, Sergey [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9711 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)
	640.	Evolutionary Computation in Combinatorial Optimization [electronic resource] : 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013, Proceedings / by Middendorf, Martin [editor.] Blum, Christian [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7832 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 1832 results.