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

Results
	3781.	Diagrammatic Representation and Inference [electronic resource] : 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014, Proceedings / by Dwyer, Tim [editor.] Purchase, Helen [editor.] Delaney, Aidan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8578 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)
	3782.	Graph Structures for Knowledge Representation and Reasoning [electronic resource] : Second Interntional Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers / by Croitoru, Madalina [editor.] Rudolph, Sebastian [editor.] Wilson, Nic [editor.] Howse, John [editor.] Corby, Olivier [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7205 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)
	3783.	Computational Science and Its Applications - ICCSA 2006 [electronic resource] : International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV / by Gervasi, Osvaldo [editor.] Kumar, Vipin [editor.] Tan, C.J. Kenneth [editor.] Taniar, David [editor.] Laganà, Antonio [editor.] Mun, Youngsong [editor.] Choo, Hyunseung [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3983 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)
	3784.	Automated Deduction in Geometry [electronic resource] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers / by Schreck, Pascal [editor.] Narboux, Julien [editor.] Richter-Gebert, Jürgen [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6877 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)
	3785.	Computing with Instinct [electronic resource] : Rediscovering Artificial Intelligence / by Cai, Yang [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5897 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)
	3786.	Advances in Swarm Intelligence [electronic resource] : 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I / by Tan, Ying [editor.] Shi, Yuhui [editor.] Mo, Hongwei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7928 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)
	3787.	Information Security and Cryptology [electronic resource] : Third SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007, Revised Selected Papers / by Pei, Dingyi [editor.] Yung, Moti [editor.] Lin, Dongdai [editor.] Wu, Chuankun [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 4990 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)
	3788.	Tests and Proofs [electronic resource] : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / by Veanes, Margus [editor.] Vigano, Luca [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7942 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)
	3789.	ECOOP 2008 - Object-Oriented Programming [electronic resource] : 22nd European Conference Paphos, Cyprus, July 7-11, 2008, Proceedings / by Vitek, Jan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5142 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)
	3790.	Foundations of Intelligent Systems [electronic resource] : 19th International Symposium, ISMIS 2011, Warsaw, Poland, June 28-30, 2011, Proceedings / by Kryszkiewics, Marzena [editor.] Rybinski, Henryk [editor.] Skowron, Andrzej [editor.] Raś, Zbigniew W [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6804 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)
	3791.	Artificial Life: Borrowing from Biology [electronic resource] : 4th Australian Conference, ACAL 2009, Melbourne, Australia, December 1-4, 2009, Proceedings / by Korb, Kevin B [editor.] Randall, Marcus [editor.] Hendtlass, Tim [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5865 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)
	3792.	Applied Cryptography and Network Security [electronic resource] : 12th International Conference, ACNS 2014, Lausanne, Switzerland, June 10-13, 2014. Proceedings / by Boureanu, Ioana [editor.] Owesarski, Philippe [editor.] Vaudenay, Serge [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8479 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)
	3793.	WALCOM: Algorithm and Computation [electronic resource] : 6th International Workshop, WALCOM 2012, Dhaka, Bangladesh, February 15-17, 2012. Proceedings / by Rahman, Md. Saidur [editor.] Nakano, Shin-ichi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7157 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)
	3794.	CONCUR 2007 - Concurrency Theory [electronic resource] : 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings / by Caires, Luís [editor.] Vasconcelos, Vasco T [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4703 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)
	3795.	Information Security Technology for Applications [electronic resource] : 16th Nordic Conference on Security IT Systems, NordSec 2011, Talinn, Estonia, 26-28 October 2011, Revised Selected Papers / by Laud, Peeter [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7161 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)
	3796.	Advances in Databases and Information Systems [electronic resource] : 11th East European Conference, ADBIS 2007, Varna, Bulgaria, September 29-October 3, 2007, Proceedings / by Ioannidis, Yannis [editor.] Novikov, Boris [editor.] Rachev, Boris [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4690 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)
	3797.	Topics in Cryptology - CT- RSA 2013 [electronic resource] : The Cryptographer`s Track at RSA Conference 2013, San Francisco, CA, USA, February 25- March 1, 2013, Proceedings / by Dawson, Ed [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7779 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)
	3798.	Advances in Artificial Intelligence [electronic resource] : 17th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2016, Salamanca, Spain, September 14-16, 2016. Proceedings / by Luaces, Oscar [editor.] Gámez, José A [editor.] Barrenechea, Edurne [editor.] Troncoso, Alicia [editor.] Galar, Mikel [editor.] Quintián, Héctor [editor.] Corchado, Emilio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9868 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)
	3799.	Topics in Cryptology – CT-RSA 2007 [electronic resource] : The Cryptographers' Track at the RSA Conference 2007, San Fancisco, CA, USA, February 5-9, 2007, Proceedings / by Abe, Masayuki [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 4377 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)
	3800.	Runtime Verification [electronic resource] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers / by Bensalem, Saddek [editor.] Peled, Doron A [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5779 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 8328 results.