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

Results
	3401.	Logic Based Program Synthesis and Transformation [electronic resource] : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers / by Etalle, Sandro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3573 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)
	3402.	Research in Computational Molecular Biology [electronic resource] : 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012. Proceedings / by Chor, Benny [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 7262 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)
	3403.	Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers / by Beckert, Bernhard [editor.] Marché, Claude [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6528 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)
	3404.	Types for Proofs and Programs [electronic resource] : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers / by Berardi, Stefano [editor.] Damiani, Ferruccio [editor.] de Liguoro, Ugo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5497 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)
	3405.	Theory and Applications of Relational Structures as Knowledge Instruments II [electronic resource] : International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers / by Swart, Harrie de [editor.] Orlowska, Ewa [editor.] Schmidt, Gunther [editor.] Roubens, Marc [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4342 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)
	3406.	On the Move to Meaningful Internet Systems: OTM 2009 [electronic resource] : Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009, Proceedings, Part I / by Meersman, Robert [editor.] Dillon, Tharam [editor.] Herrero, Pilar [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5870 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)
	3407.	Digital Watermarking [electronic resource] : 7th International Workshop, IWDW 2008, Busan, Korea, November 10-12, 2008, Selected Papers / by Kim, Hyoung-Joong [editor.] Katzenbeisser, Stefan [editor.] Ho, Anthony T. S [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5450 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)
	3408.	Membrane Computing [electronic resource] : 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers / by Freund, Rudolph [editor.] Paun, Gheorghe [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3850 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)
	3409.	PRICAI 2012: Trends in Artificial Intelligence [electronic resource] : 12th Pacific Rim International Conference, Kuching, Malaysia, September 3-7, 2012. Proceedings / by Anthony, Patricia [editor.] Ishizuka, Mitsuru [editor.] Lukose, Dickson [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7458 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)
	3410.	Software Engineering and Formal Methods [electronic resource] : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings / by Eleftherakis, George [editor.] Hinchey, Mike [editor.] Holcombe, Mike [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7504 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)
	3411.	Algorithms in Bioinformatics [electronic resource] : 6th International Workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006, Proceedings / by Bücher, Philipp [editor.] Moret, Bernard M.E [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 4175 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)
	3412.	Developments in Language Theory [electronic resource] : 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings / by Shur, Arseny M [editor.] Volkov, Mikhail V [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8633 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)
	3413.	Applications of Evolutionary Computation [electronic resource] : EvoApplications 2011: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino, Italy, April 27-29, 2011, Proceedings, Part II / by Di Chio, Cecilia [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6625 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)
	3414.	Lectures on Logic and Computation [electronic resource] : ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes / by Bezhanishvili, Nick [editor.] Goranko, Valentin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7388 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)
	3415.	Languages and Compilers for High Performance Computing [electronic resource] : 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers / by Eigenmann, Rudolf [editor.] Li, Zhiyuan [editor.] Midkiff, Samuel P [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3602 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)
	3416.	Artificial Neural Networks in Pattern Recognition [electronic resource] : 6th IAPR TC 3 International Workshop, ANNPR 2014, Montreal, QC, Canada, October 6-8, 2014, Proceedings / by El Gayar, Neamat [editor.] Schwenker, Friedhelm [editor.] Suen, Cheng [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8774 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)
	3417.	Principles and Practice of Constraint Programing-CP 2013 [electronic resource] : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings / by Schulte, Christian [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8124 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)
	3418.	Learning Theory [electronic resource] : 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, Proceedings / by Auer, Peter [editor.] Meir, Ron [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3559 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)
	3419.	Argumentation in Multi-Agent Systems [electronic resource] : 8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 2011, Revised Selected Papers / by McBurney, Peter [editor.] Parsons, Simon [editor.] Rahwan, Iyad [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7543 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)
	3420.	Information Theoretic Security [electronic resource] : Third International Conference, ICITS 2008, Calgary, Canada, August 10-13, 2008, Proceedings / by Safavi-Naini, Reihaneh [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5155 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

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.