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

Results
	3861.	DNA Computing [electronic resource] : 11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers. / by Carbone, Alessandra [editor.] Pierce, Niles A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3892 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)
	3862.	Recent Trends in Algebraic Development Techniques [electronic resource] : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers / by Martí-Oliet, Narciso [editor.] Palomino, Miguel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7841 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)
	3863.	Pattern Recognition and Machine Intelligence [electronic resource] : Second International Conference, PReMI 2007, Kolkata, India, December 18-22, 2007, Proceedings / by Ghosh, Ashish [editor.] De, Rajat K [editor.] Pal, Sankar K [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 4815 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)
	3864.	Information Security and Privacy [electronic resource] : 18th Australasian Conference, ACISP 2013, Brisbane, Australia, July 1-3, 2013, Proceedings / by Boyd, Colin [editor.] Simpson, Leonie [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7959 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)
	3865.	The Mathematics of Language [electronic resource] : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011, Proceedings / by Kanazawa, Makoto [editor.] Kracht, Marcus [editor.] Seki, Hiroyuki [editor.] Kornai, András [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6878 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)
	3866.	Foundations of Software Science and Computational Structures [electronic resource] : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings / by Aceto, Luca [editor.] Ingólfsdóttir, Anna [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3921 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)
	3867.	Inductive Logic Programming [electronic resource] : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings / by Kramer, Stefan [editor.] Pfahringer, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3625 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)
	3868.	Formal Concept Analysis [electronic resource] : Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings / by Ganter, Bernhard [editor.] Godin, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3403 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)
	3869.	Current Topics in Artificial Intelligence [electronic resource] : 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009, Selected Papers / by Meseguer, Pedro [editor.] Mandow, Lawrence [editor.] Gasca, Rafael M [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5988 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)
	3870.	Integrated Formal Methods [electronic resource] : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings / by Méry, Dominique [editor.] Merz, Stephan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6396 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)
	3871.	Abstract State Machines, Alloy, B, VDM, and Z [electronic resource] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / by Derrick, John [editor.] Fitzgerald, John [editor.] Gnesi, Stefania [editor.] Khurshid, Sarfraz [editor.] Leuschel, Michael [editor.] Reeves, Steve [editor.] Riccobene, Elvinia [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7316 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)
	3872.	Computing and Combinatorics [electronic resource] : 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings / by Lin, Guohui [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4598 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)
	3873.	Evolving Computability [electronic resource] : 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings / by Beckmann, Arnold [editor.] Mitrana, Victor [editor.] Soskova, Mariya [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9136 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)
	3874.	Runtime Verification [electronic resource] : Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers / by Sen, Koushik [editor.] Khurshid, Sarfaz [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7186 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)
	3875.	Modeling Decisions for Artificial Intelligence [electronic resource] : First International Conference, MDAI 2004, Barcelona, Spain, August 2-4, 2004, Proceedings / by Torra, Vicenc [editor.] Narukawa, Yasuo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3131 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3876.	Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings / by Jin, Hai [editor.] Reed, Daniel [editor.] Jiang, Wenbin [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 3779 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)
	3877.	Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications [electronic resource] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8803 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)
	3878.	Theoretical Aspects of Computing [electronic resource] : 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings / by Cavalcanti, Ana [editor.] Deharbe, David [editor.] Gaudel, Marie-Claude [editor.] Woodcock, Jim [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6255 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)
	3879.	Computer Aided Verification [electronic resource] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / by Chaudhuri, Swarat [editor.] Farzan, Azadeh [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9780 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)
	3880.	Conflict Resolution in Decision Making [electronic resource] : Second International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 29-30, 2016, Revised Selected Papers / by Aydoğan, Reyhan [editor.] Baarslag, Tim [editor.] Gerding, Enrico [editor.] Jonker, Catholijn M [editor.] Julian, Vicente [editor.] Sanchez-Anguix, Victor [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10238 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.