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

Results
	1381.	Developments in Language Theory [electronic resource] : 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings / by Ibarra, Oscar H [editor.] Dang, Zhe [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4036 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)
	1382.	Model Checking Software [electronic resource] : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings / by van der Pol, Jaco [editor.] Weber, Michael [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6349 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)
	1383.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings / by Asarin, Eugene [editor.] Bouyer, Patricia [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4202 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)
	1384.	Graph-Theoretic Concepts in Computer Science [electronic resource] : 37th International Workshop, WG 2011, Teplá Monastery, Czech Republic, June 21-24, 2011, Revised Papers / by Kolman, Petr [editor.] Kratochvíl, Jan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6986 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)
	1385.	Advances in Neural Networks - ISNN 2008 [electronic resource] : 5th International Composium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part II / by Sun, Fuchun [editor.] Zhang, Jianwei [editor.] Cao, Jinde [editor.] Yu, Wen [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5264 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)
	1386.	Computer Science - Theory and Applications [electronic resource] : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings / by Diekert, Volker [editor.] Volkov, Mikhail [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4649 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)
	1387.	Genetic Programming [electronic resource] : 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005, Proceedings / by Keijzer, Maarten [editor.] Tettamanzi, Andrea [editor.] Collet, Pierre [editor.] van Hemert, Jano [editor.] Tomassini, Marco [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3447 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)
	1388.	Principles of Distributed Systems [electronic resource] : 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings / by Lu, Chenyang [editor.] Masuzawa, Toshimitsu [editor.] Mosbah, Mohamed [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6490 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)
	1389.	WALCOM: Algorithms and Computation [electronic resource] : 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, Proceedings / by Rahman, M. Sohel [editor.] Tomita, Etsuji [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8973 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)
	1390.	Parallel Problem Solving from Nature - PPSN X [electronic resource] : 10th International Conference Dortmund, Germany, September 13-17, 2008 Proceedings / by Rudolph, Günter [editor.] Jansen, Thomas [editor.] Lucas, Simon M [editor.] Poloni, Carlo [editor.] Beume, Nicola [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5199 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)
	1391.	Cellular Automata [electronic resource] : 8th International Conference on Cellular Automata for Research and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008, Proceedings / by Umeo, Hiroshi [editor.] Morishita, Shin [editor.] Nishinari, Katsuhiro [editor.] Komatsuzaki, Toshihiko [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5191 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)
	1392.	DNA Computing and Molecular Programming [electronic resource] : 16th International Conference, DNA 16, Hong Kong, China, June 14-17, 2010, Revised Selected Papers / by SAKAKIBARA, YASUBUMI [editor.] Mi, Yongli [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6518 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)
	1393.	Neural Information Processing [electronic resource] : 16th International Conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009, Proceedings, Part I / by Leung, Chi-Sing [editor.] Lee, Minho [editor.] Chan, Jonathan H [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5863 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)
	1394.	New Computational Paradigms [electronic resource] : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings / by Cooper, Barry S [editor.] Löwe, Benedikt [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3526 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)
	1395.	Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers / by Altenkirch, Thorsten [editor.] McBride, Conor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4502 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)
	1396.	Compiler Construction [electronic resource] : 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings / by de Moor, Oege [editor.] Schwartzbach, Michael I [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5501 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)
	1397.	Programming Languages and Systems [electronic resource] : 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings / by Sagiv, Mooly [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3444 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)
	1398.	Logic-Based Program Synthesis and Transformation [electronic resource] : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers / by King, Andy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4915 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)
	1399.	Euro-Par 2012 Parallel Processing [electronic resource] : 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings / by Kaklamanis, Christos [editor.] Papatheodorou, Theodore [editor.] Spirakis, Paul G [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7484 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)
	1400.	Computational Linguistics and Intelligent Text Processing [electronic resource] : 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008, Proceedings / by Gelbukh, Alexander [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4919 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 2382 results.