Results of search for 'ccl=su:{Theory}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	3321.	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)
	3322.	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)
	3323.	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)
	3324.	Theory and Applications of Satisfiability Testing [electronic resource] : 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings / by Bacchus, Fahiem [editor.] Walsh, Toby [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3569 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)
	3325.	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)
	3326.	Natural Language and Information Systems [electronic resource] : 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008 London, UK, June 24-27, 2008, Proceedings / by Kapetanios, Epaminondas [editor.] Sugumaran, Vijayan [editor.] Spiliopoulou, Myra [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5039 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)
	3327.	Intelligent Computer Mathematics [electronic resource] : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings / by Geuvers, Herman [editor.] England, Matthew [editor.] Hasan, Osman [editor.] Rabe, Florian [editor.] Teschke, Olaf [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10383 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)
	3328.	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)
	3329.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers / by Clarke, Edmund M [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6355 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)
	3330.	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)
	3331.	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)
	3332.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings / by Baader, Franz [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3452 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)
	3333.	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)
	3334.	Formal Methods and Software Engineering [electronic resource] : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings / by Qin, Shengchao [editor.] Qiu, Zongyan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6991 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)
	3335.	Artificial Intelligence and Soft Computing [electronic resource] : 11th International Conference, ICAISA 2012, Zakopane, Poland, April 29 - 3 May, 2012, Proceedings, Part I / by Rutkowski, Leszek [editor.] Korytkowski, Marcin [editor.] Scherer, Rafał [editor.] Tadeusiewicz, Ryszard [editor.] Zadeh, Lotfi [editor.] Zurada, Jacek [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7267 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)
	3336.	Information and Communications Security [electronic resource] : 14th International Conference, ICICS 2012, Hong Kong, China, October 29-31, 2012, Proceedings / by Chim, Tat Wing [editor.] Yuen, Tsz Hon [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7618 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)
	3337.	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)
	3338.	Learning Theory [electronic resource] : 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006, Proceedings / by Simon, Hans Ulrich [editor.] Lugosi, Gábor [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4005 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)
	3339.	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)
	3340.	Image Analysis and Recognition [electronic resource] : 14th International Conference, ICIAR 2017, Montreal, QC, Canada, July 5–7, 2017, Proceedings / by Karray, Fakhri [editor.] Campilho, Aurélio [editor.] Cheriet, Farida [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10317 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.