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

Results
	6141.	Compiler Construction [electronic resource] : 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / by Franke, Björn [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9031 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)
	6142.	Combinatorial Optimization and Applications [electronic resource] : 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I / by Wu, Weili [editor.] Daescu, Ovidiu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6508 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)
	6143.	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)
	6144.	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)
	6145.	Text, Speech and Dialogue [electronic resource] : 7th International Conference, TSD 2004, Brno, Czech Republic, September 8-11, 2004, Proceedings / by Sojka, Petr [editor.] Kopecek, Ivan [editor.] Pala, Karel [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3206 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)
	6146.	Information Systems Security [electronic resource] : Second International Conference, ICISS 2006, Kolkata, India, December 19-21, 2006, Proceedings / by Bagchi, Aditya [editor.] Atluri, Vijayalakshmi [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 4332 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)
	6147.	Trust and Privacy in Digital Business [electronic resource] : Third International Conference, TrustBus 2006, Krakow, Poland, September 4-8, 2006, Proceedings / by Fischer-Hübner, Simone [editor.] Furnell, Steven [editor.] Lambrinoudakis, Costas [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 4083 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)
	6148.	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)
	6149.	Radio Frequency Identification: Security and Privacy Issues [electronic resource] : 6th International Workshop, RFIDSec 2010, Istanbul, Turkey, June 8-9, 2010, Revised Selected Papers / by Ors Yalcin, Siddika Berna [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6370 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)
	6150.	Advanced Infocomm Technology [electronic resource] : 5th IEEE International Conference, ICAIT 2012, Paris, France, July 25-27, 2012, Revised Selected papers / by Guyot, Vincent [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 7593 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)
	6151.	Replication [electronic resource] : Theory and Practice / by Charron-Bost, Bernadette [editor.] Pedone, Fernando [editor.] Schiper, Andre [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5959 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)
	6152.	Model Checking Software [electronic resource] : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings / by Godefroid, Patrick [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3639 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)
	6153.	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)
	6154.	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)
	6155.	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)
	6156.	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)
	6157.	Communications and Multimedia Security [electronic resource] : 13th IFIP TC 6/TC 11 International Conference, CMS 2012, Canterbury, UK, September 3-5, 2012, Proceedings / by De Decker, Bart [editor.] Chadwick, David W [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7394 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)
	6158.	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)
	6159.	Machine Learning and Interpretation in Neuroimaging [electronic resource] : International Workshop, MLINI 2011, Held at NIPS 2011, Sierra Nevada, Spain, December 16-17, 2011, Revised Selected and Invited Contributions / by Langs, Georg [editor.] Rish, Irina [editor.] Grosse-Wentrup, Moritz [editor.] Murphy, Brian [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7263 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)
	6160.	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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 9105 results.