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

Results
	1161.	Trustworthy Global Computing [electronic resource] : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers / by Palamidessi, Catuscia [editor.] Ryan, Mark D [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8191 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)
	1162.	Automata, Languages, and Programming [electronic resource] : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II / by Czumaj, Artur [editor.] Mehlhorn, Kurt [editor.] Pitts, Andrew [editor.] Wattenhofer, Roger [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7392 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)
	1163.	Computational Science – ICCS 2008 [electronic resource] : 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III / 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 ; 5103 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)
	1164.	Artificial Neural Networks - ICANN 2010 [electronic resource] : 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part III / by Diamantaras, Konstantinos [editor.] Duch, Wlodek [editor.] Iliadis, Lazaros S [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6354 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)
	1165.	Logic-Based Program Synthesis and Transformation [electronic resource] : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers / by Hermenegildo, Manuel V [editor.] Lopez-Garcia, Pedro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10184 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)
	1166.	Graph Transformations [electronic resource] : 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings / by Ehrig, Hartmut [editor.] Heckel, Reiko [editor.] Rozenberg, Grzegorz [editor.] Taentzer, Gabriele [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5214 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)
	1167.	Genetic Programming [electronic resource] : 15th European Conference, EuroGP 2012, Málaga, Spain, April 11-13, 2012, Proceedings / by Moraglio, Alberto [editor.] Silva, Sara [editor.] Krawiec, Krzysztof [editor.] Machado, Penousal [editor.] Cotta, Carlos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7244 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)
	1168.	Implementation and Application of Functional Languages [electronic resource] : 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers / by Butterfield, Andrew [editor.] Grelck, Clemens [editor.] Huch, Frank [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4015 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)
	1169.	Mathematics of Surfaces XI [electronic resource] : 11th IMA International Conference, Loughborough, UK, September 5-7, 2005, Proceedings / by Sabin, Malcolm [editor.] Martin, Ralph [editor.] Bez, Helmut [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3604 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)
	1170.	Coalgebraic Methods in Computer Science [electronic resource] : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / by Hasuo, Ichiro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9608 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)
	1171.	Complexity of Constraints [electronic resource] : An Overview of Current Research Themes / by Creignou, Nadia [editor.] Kolaitis, Phokion G [editor.] Vollmer, Heribert [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5250 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)
	1172.	Computational Geometry [electronic resource] : XIV Spanish Meeting on Computational Geometry, EGC 2011, Dedicated to Ferran Hurtado on the Occasion of His 60th Birthday, Alcalá de Henares, Spain, June 27-30, 2011, Revised Selected Papers / by Márquez, Alberto [editor.] Ramos, Pedro [editor.] Urrutia, Jorge [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7579 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)
	1173.	Theoretical Aspects of Computing -- ICTAC 2011 [electronic resource] : 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings / by Cerone, Antonio [editor.] Pihlajasaari, Pekka [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6916 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)
	1174.	Applications and Theory of Petri Nets [electronic resource] : 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings / by van Hee, Kees [editor.] Valk, Rüdiger [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5062 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)
	1175.	Logic, Language, and Computation [electronic resource] : 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers / by Hansen, Helle Hvid [editor.] Murray, Sarah E [editor.] Sadrzadeh, Mehrnoosh [editor.] Zeevat, Henk [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10148 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1176.	High Performance Computing - HiPC 2008 [electronic resource] : 15th International Conference, Bangalore, India, December 17-20, 2008, Proceedings / by Sadayappan, P [editor.] Parashar, Manish [editor.] Badrinath, Ramamurthy [editor.] Prasanna, Viktor K [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5374 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)
	1177.	Genetic Programming [electronic resource] : 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007, Proceedings / by Ebner, Marc [editor.] O'Neill, Michael [editor.] Ekárt, Anikó [editor.] Vanneschi, Leonardo [editor.] Esparcia-Alcázar, Anna Isabel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4445 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)
	1178.	Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers / by Filliatre, Jean-Christophe [editor.] Paulin-Mohring, Christine [editor.] Werner, Benjamin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3839 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)
	1179.	Information Processing in Cells and Tissues [electronic resource] : 9th International Conference, IPCAT 2012, Cambridge, UK, March 31 -- April 2, 2012, Proceedings / by Lones, Michael A [editor.] Smith, Stephen L [editor.] Teichmann, Sarah [editor.] Naef, Felix [editor.] Oliver, Jonathan [editor.] Trefzer, Martin Albrecht [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7223 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)
	1180.	Rewriting Techniques and Applications [electronic resource] : 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings / by Treinen, Ralf [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5595 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1832 results.