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

Results
	4821.	Computer Aided Verification [electronic resource] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / by Chaudhuri, Swarat [editor.] Farzan, Azadeh [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9779 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)
	4822.	Evolvable Systems: From Biology to Hardware [electronic resource] : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010, Proceedings / by Tempesti, Gianluca [editor.] Tyrrell, Andy [editor.] Miller, Julian F [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6274 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)
	4823.	Machine Learning and Knowledge Discovery in Databases, Part III [electronic resource] : European Conference, ECML PKDD 2010, Athens, Greece, September 5-9, 2011, Proceedings, Part III / by Gunopulos, Dimitrios [editor.] Hofmann, Thomas [editor.] Malerba, Donato [editor.] Vazirgiannis, Michalis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6913 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)
	4824.	Mathematics of Program Construction [electronic resource] : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings / by Gibbons, Jeremy [editor.] Nogueira, Pablo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7342 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)
	4825.	Applications of Graph Transformations with Industrial Relevance [electronic resource] : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers / by Schürr, Andy [editor.] Varró, Dániel [editor.] Varró, Gergely [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7233 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)
	4826.	Theoretical Aspects of Computing -- ICTAC 2013 [electronic resource] : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings / by Liu, Zhiming [editor.] Woodcock, Jim [editor.] Zhu, Huibiao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8049 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)
	4827.	Task Models and Diagrams for Users Interface Design [electronic resource] : 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006, Revised Papers / by Coninx, Karin [editor.] Luyten, Kris [editor.] Schneider, Kevin A [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4385 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)
	4828.	Accessing Multilingual Information Repositories [electronic resource] : 6th Workshop of the Cross-Language Evaluation Forum, CLEF 2005, Vienna, Austria, 21-23 September, 2005, Revised Selected Papers / by Gey, Fredric [editor.] Gonzalo, Julio [editor.] Mueller, Henning [editor.] Jones, Gareh [editor.] Kluck, Michael [editor.] Magnini, Bernardo [editor.] de Rijke, Maarten [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4022 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)
	4829.	Algorithmic Game Theory [electronic resource] : 7th International Symposium, SAGT 2014, Haifa, Israel, September 30 -- October 2, 2014, Proceedings / by Lavi, Ron [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8768 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)
	4830.	Mobile Ad-hoc and Sensor Networks [electronic resource] : Second International Conference, MSN 2006, Hong Kong, China, December 13-15, 2006, Proceedings / by Cao, Jiannong [editor.] Stojmenovic, Ivan [editor.] Jia, Xiaohua [editor.] Das, Sajal K [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 4325 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)
	4831.	Algebraic Informatics [electronic resource] : 3rd International Conference on Algebraic Informatics, CAI 2009, Thessaloniki, Greece, Mai 19-22, 2009 / by Bozapalidis, Symeon [editor.] Rahonis, George [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5725 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)
	4832.	Trust, Privacy and Security in Digital Business [electronic resource] : 9th International Conference, TrustBus 2012, Vienna, Austria, September 3-7, 2012, Proceedings / by Fischer-Hübner, Simone [editor.] Katsikas, Sokratis [editor.] Quirchmayr, Gerald [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7449 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)
	4833.	Biomimetic and Biohybrid Systems [electronic resource] : Second International Conference, Living Machines 2013, London, UK, July 29 -- August 2, 2013, Proceedings / by Lepora, Nathan F [editor.] Mura, Anna [editor.] Krapp, Holger G [editor.] Verschure, Paul F.M.J [editor.] Prescott, Tony J [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8064 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)
	4834.	Selected Areas in Cryptography [electronic resource] : 18th International Workshop, SAC 2011, Toronto, Canada, August 11-12, 2011, Revised Selected Papers / by Miri, Ali [editor.] Vaudenay, Serge [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7118 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)
	4835.	Transactions on Data Hiding and Multimedia Security VI [electronic resource] / by Shi, Yun Q [editor.] SpringerLink (Online service) Series: Transactions on Data Hiding and Multimedia Security ; 6730 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)
	4836.	Automated Deduction - CADE-21 [electronic resource] : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings / by Pfenning, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4603 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)
	4837.	Conceptual Modeling – ER 2011 [electronic resource] : 30th International Conference on Conceptual Modeling, Brussels, Belgium, October 31 - November 3, 2011. Proceedings / by Jeusfeld, Manfred [editor.] Delcambre, Lois [editor.] Ling, Tok Wang [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6998 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)
	4838.	Computer Performance Engineering [electronic resource] : 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings / by Bradley, Jeremy T [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5652 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)
	4839.	Advances in Cryptology – EUROCRYPT 2013 [electronic resource] : 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013, Proceedings / by Johansson, Thomas [editor.] Nguyen, Phong Q [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7881 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)
	4840.	Formal Concept Analysis [electronic resource] : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings / by Baixeries, Jaume [editor.] Sacarea, Christian [editor.] Ojeda-Aciego, Manuel [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9113 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 9091 results.