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

Results
	4961.	Structural Information and Communication Complexity [electronic resource] : 15th International Colloquium, SIROCCO 2008, Villars-sur-Ollon, Switzerland, June 17-20, 2008, Proceedings / by Felber, Pascal [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5058 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)
	4962.	Euro-Par 2011 Parallel Processing [electronic resource] : 17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II / by Jeannot, Emmanuel [editor.] Namyst, Raymond [editor.] Roman, Jean [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6853 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)
	4963.	Interactive Storytelling [electronic resource] : Third Joint Conference on Interactive Digital Storytelling, ICIDS 2010, Edinburgh, UK, November 1-3, 2010, Proceedings / by Aylett, Ruth [editor.] Lim, Mei Yii [editor.] Louchart, Sandy [editor.] Petta, Paolo [editor.] Riedl, Mark [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6432 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)
	4964.	Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems [electronic resource] : First IFIP TC6 / WG 8.8 / WG 11.2 International Workshop, WISTP 2007, Heraklion, Crete, Greece, May 9-11, 2007 / by Sauveron, Damien [editor.] Markantonakis, Konstantinos [editor.] Bilas, Angelos [editor.] Quisquater, Jean-Jacques [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 4462 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)
	4965.	Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : Third International Conference, DIMVA 2006, Berlin, Germany, July 13-14, 2006, Proceedings / by Büschkes, Roland [editor.] Laskov, Pavel [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 4064 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)
	4966.	Statistical Language and Speech Processing [electronic resource] : 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings / by Král, Pavel [editor.] Martín-Vide, Carlos [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9918 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)
	4967.	DNA Computing [electronic resource] : 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers / by Mao, Chengde [editor.] Yokomori, Takashi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4287 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)
	4968.	Algorithmic Decision Theory [electronic resource] : First International Conference, ADT 2009, Venice, Italy, October 2009, Proceedings / by Rossi, Francesca [editor.] Tsoukias, Alexis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5783 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)
	4969.	Web Services and Formal Methods [electronic resource] : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers / by ter Beek, Maurice H [editor.] Lohmann, Niels [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7843 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)
	4970.	Reachability Problems [electronic resource] : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011, Proceedings / by Delzanno, Giorgio [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6945 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)
	4971.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings / by Flanagan, Cormac [editor.] König, Barbara [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7214 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)
	4972.	Computer Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / by Ball, Thomas [editor.] Jones, Robert B [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4144 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)
	4973.	Formal Methods and Software Engineering [electronic resource] : 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings / by Liu, Shaoying [editor.] Maibaum, Tom [editor.] Araki, Keijiro [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5256 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)
	4974.	Algorithmic Learning Theory [electronic resource] : 20th International Conference, ALT 2009, Porto, Portugal, October 3-5, 2009, Proceedings / by Gavaldà, Ricard [editor.] Lugosi, Gabor [editor.] Zeugmann, Thomas [editor.] Zilles, Sandra [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5809 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)
	4975.	Interactive Systems. Design, Specification, and Verification [electronic resource] : 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers / by Doherty, Gavin [editor.] Blandford, Ann [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4323 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)
	4976.	Combinatorial Pattern Matching [electronic resource] : 20th Annual Symposium, CPM 2009 Lille, France, June 22-24, 2009 Proceedings / by Kucherov, Gregory [editor.] Ukkonen, Esko [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5577 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)
	4977.	Computational Intelligence [electronic resource] : International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006, Proceedings, Part II / by Huang, De-Shuang [editor.] Irwin, George William [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4114 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)
	4978.	Requirements Engineering: Foundation for Software Quality [electronic resource] : 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings / by Salinesi, Camille [editor.] van de Weerd, Inge [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8396 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)
	4979.	Advanced Methodologies for Bayesian Networks [electronic resource] : Second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015. Proceedings / by Suzuki, Joe [editor.] Ueno, Maomi [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9505 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)
	4980.	Service Availability [electronic resource] : 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007, Proceedings / by Malek, Miroslaw [editor.] Reitenspieß, Manfred [editor.] Moorsel, Aad van [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4526 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 8328 results.