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

Results
	4101.	Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7610 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)
	4102.	Learning and Intelligent Optimization [electronic resource] : 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers / by Dhaenens, Clarisse [editor.] Jourdan, Laetitia [editor.] Marmion, Marie-Eléonore [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8994 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)
	4103.	Progress in Cryptology - AFRICACRYPT 2017 [electronic resource] : 9th International Conference on Cryptology in Africa, Dakar, Senegal, May 24-26, 2017, Proceedings / by Joye, Marc [editor.] Nitaj, Abderrahmane [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10239 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)
	4104.	Intelligent Computer Mathematics [electronic resource] : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings / by Davenport, James H [editor.] Farmer, William M [editor.] Rabe, Florian [editor.] Urban, Josef [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6824 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)
	4105.	From Animals to Animats 14 [electronic resource] : 14th International Conference on Simulation of Adaptive Behavior, SAB 2016, Aberystwyth, UK, August 23-26, 2016, Proceedings / by Tuci, Elio [editor.] Giagkos, Alexandros [editor.] Wilson, Myra [editor.] Hallam, John [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9825 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)
	4106.	Trends in Applied Intelligent Systems [electronic resource] : 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part I / by García-Pedrajas, Nicolás [editor.] Herrera, Francisco [editor.] Fyfe, Colin [editor.] Benítez Sánchez, José Manuel [editor.] Ali, Moonis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6096 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)
	4107.	Computational Linguistics and Intelligent Text Processing [electronic resource] : 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005, Proceedings / by Gelbukh, Alexander [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3406 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)
	4108.	Fast Software Encryption [electronic resource] : 21st International Workshop, FSE 2014, London, UK, March 3-5, 2014. Revised Selected Papers / by Cid, Carlos [editor.] Rechberger, Christian [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8540 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)
	4109.	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010, Proceedings / by Lodi, Andrea [editor.] Milano, Michela [editor.] Toth, Paolo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6140 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)
	4110.	Fun with Algorithms [electronic resource] : 5th International Conference, FUN 2010, Ischia, Italy, June 2-4, 2010, Proceedings / by Boldi, Paolo [editor.] Gargano, Luisa [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6099 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)
	4111.	Euro-Par 2010 - Parallel Processing [electronic resource] : 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I / by D'Ambra, Pasqua [editor.] Guarracino, Mario [editor.] Talia, Domenico [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6271 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)
	4112.	Knowledge Processing and Data Analysis [electronic resource] : First International Conference, KONT 2007, Novosibirsk, Russia, September 14-16, 2007,and First International Conference, KPP 2007, Darmstadt, Germany, September 28-30, 2007. Revised Selected Papers / by Wolff, Karl Erich [editor.] Palchunov, Dmitry E [editor.] Zagoruiko, Nikolay G [editor.] Andelfinger, Urs [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6581 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)
	4113.	Service Assurance with Partial and Intermittent Resources [electronic resource] : First International Workshop, SAPIR 2004, Fortaleza, Brazil, August 1-6, 2004, Proceedings / by Dini, Petre [editor.] Lorenz, Pascal [editor.] Neuman De Souza, José [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3126 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)
	4114.	Categories and Types in Logic, Language, and Physics [electronic resource] : Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday / by Casadio, Claudia [editor.] Coecke, Bob [editor.] Moortgat, Michael [editor.] Scott, Philip [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8222 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)
	4115.	Model-Based Safety and Assessment [electronic resource] : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings / by Ortmeier, Frank [editor.] Rauzy, Antoine [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8822 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)
	4116.	Theory of Cryptography [electronic resource] : 8th Theory of Cryptography Conference, TCC 2011, Providence, RI, USA, March 28-30, 2011, Proceedings / by Ishai, Yuval [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6597 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)
	4117.	Theory and Applications of Models of Computation [electronic resource] : 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings / by Kratochvil, Jan [editor.] Li, Angsheng [editor.] Fiala, Jiri [editor.] Kolman, Petr [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6108 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)
	4118.	Controlled Natural Language [electronic resource] : 4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014, Proceedings / by Davis, Brian [editor.] Kaljurand, Kaarel [editor.] Kuhn, Tobias [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8625 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)
	4119.	Inductive Logic Programming [electronic resource] : 19th International Conference, ILP 2009, Leuven, Belgium, July 2-4, 2010, Revised Papers / by Raedt, Luc [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5989 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)
	4120.	Spatial Information Theory [electronic resource] : 8th International Conference, COSIT 2007, Melbourne, Australia, September 19-23, 2007, Proceedings / by Winter, Stephan [editor.] Duckham, Matt [editor.] Kulik, Lars [editor.] Kuipers, Ben [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4736 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.