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

Results
	3341.	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)
	3342.	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)
	3343.	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)
	3344.	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)
	3345.	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)
	3346.	Software Composition [electronic resource] : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings / by Binder, Walter [editor.] Bodden, Eric [editor.] Löwe, Welf [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8088 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)
	3347.	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)
	3348.	Abdominal Imaging. Computational and Clinical Applications [electronic resource] : 6th International Workshop, ABDI 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 14, 2014. / by Yoshida, Hiroyuki [editor.] Näppi, Janne J [editor.] Saini, Sanjay [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 8676 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)
	3349.	Future Multimedia Networking [electronic resource] : Third International Workshop, FMN 2010, Krakow, Poland, June 17-18, 2010. Proceedings / by Zeadally, Sherali [editor.] Cerqueira, Eduardo [editor.] Curado, Marília [editor.] Leszczuk, Mikolaj [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 6157 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)
	3350.	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)
	3351.	Unconventional Programming Paradigms [electronic resource] : International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers / by Banâtre, Jean-Pierre [editor.] Fradet, Pascal [editor.] Giavitto, Jean-Louis [editor.] Michel, Olivier [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3566 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)
	3352.	Theory of Cryptography [electronic resource] : 10th Theory of Cryptography Conference, TCC 2013, Tokyo, Japan, March 3-6, 2013. Proceedings / by Sahai, Amit [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7785 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)
	3353.	Computational Science and Its Applications - ICCSA 2007 [electronic resource] : International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II / by Gervasi, Osvaldo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4706 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)
	3354.	Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011, Proceedings / by Al-Begain, Khalid [editor.] Balsamo, Simonetta [editor.] Fiems, Dieter [editor.] Marin, Andrea [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6751 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)
	3355.	Automata, Languages and Programming [electronic resource] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceedings, Part I / by Aceto, Luca [editor.] Henzinger, Monika [editor.] Sgall, Jiří [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6755 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)
	3356.	Computing and Combinatorics [electronic resource] : 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012, Proceedings / by Gudmundsson, Joachim [editor.] Mestre, Julián [editor.] Viglas, Taso [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7434 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)
	3357.	Artificial Immune Systems [electronic resource] : 4th International Conference, ICARIS 2005, Banff, Alberta, Canada, August 14-17, 2005, Proceedings / by Jacob, Christian [editor.] Pilat, Marcin [editor.] Bentley, Peter [editor.] Timmis, Jonathan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3627 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)
	3358.	Transactions on Computational Collective Intelligence XIX [electronic resource] / by Nguyen, Ngoc Thanh [editor.] Kowalczyk, Ryszard [editor.] Xhafa, Fatos [editor.] SpringerLink (Online service) Series: Transactions on Computational Collective Intelligence ; 9380 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3359.	Algorithms in Bioinformatics [electronic resource] : 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007, Proceedings / by Giancarlo, Raffaele [editor.] Hannenhalli, Sridhar [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 4645 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)
	3360.	Logic, Language, Information, and Computation [electronic resource] : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings / by Väänänen, Jouko [editor.] Hirvonen, Åsa [editor.] de Queiroz, Ruy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9803 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 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.