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

Results
	5641.	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)
	5642.	Combinatorial Pattern Matching [electronic resource] : 21st Annual Symposium, CPM 2010, New York, NY, USA, June 21-23, 2010, Proceedings, / by Amir, Amihood [editor.] Parida, Laxmi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6129 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)
	5643.	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)
	5644.	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)
	5645.	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)
	5646.	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)
	5647.	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)
	5648.	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)
	5649.	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)
	5650.	Similarity Search and Applications [electronic resource] : 8th International Conference, SISAP 2015, Glasgow, UK, October 12-14, 2015, Proceedings / by Amato, Giuseppe [editor.] Connor, Richard [editor.] Falchi, Fabrizio [editor.] Gennaro, Claudio [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9371 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)
	5651.	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)
	5652.	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)
	5653.	Pattern Recognition and Image Analysis [electronic resource] : Second Iberian Conference, IbPRIA 2005, Estoril, Portugal, June 7-9, 2005, Proceeding, Part II / by Marques, Jorge S [editor.] Pérez de la Blanca, Nicolás [editor.] Pina, Pedro [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 3523 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)
	5654.	Computer Science - Theory and Applications [electronic resource] : Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009, Proceedings / by Frid, Anna [editor.] Morozov, Andrei S [editor.] Rybalchenko, Andrey [editor.] Wagner, Klaus W [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5675 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)
	5655.	Graph Transformations and Model-Driven Engineering [electronic resource] : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday / by Engels, Gregor [editor.] Lewerentz, Claus [editor.] Schäfer, Wilhelm [editor.] Schürr, Andy [editor.] Westfechtel, Bernhard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5765 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)
	5656.	Neural Information Processing [electronic resource] : 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V / by Huang, Tingwen [editor.] Zeng, Zhigang [editor.] Li, Chuandong [editor.] Leung, Chi Sing [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7667 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)
	5657.	Static Analysis [electronic resource] : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings / by Logozzo, Francesco [editor.] Fähndrich, Manuel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7935 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)
	5658.	Algorithms for Computational Biology [electronic resource] : First International Conference, AlCoB 2014, Tarragona, Spain, July 1-3, 2014, Proceedings / by Dediu, Adrian-Horia [editor.] Martín-Vide, Carlos [editor.] Truthe, Bianca [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 8542 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)
	5659.	Combinatorial Algorithms [electronic resource] : 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers / by Jan, Kratochvíl [editor.] Miller, Mirka [editor.] Froncek, Dalibor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8986 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)
	5660.	Advances in Brain, Vision, and Artificial Intelligence [electronic resource] : Second International Symposium, BVAI 2007, Naples, Italy, October 10-12, 2007, Proceedings / by Mele, Francesco [editor.] Ramella, Giuliana [editor.] Santillo, Silvia [editor.] Ventriglia, Francesco [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 4729 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 9105 results.