Results of search for 'ccl=au:"SpringerLink (Online service)"' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	10181.	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)
	10182.	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)
	10183.	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)
	10184.	Medical Content-Based Retrieval for Clinical Decision Support [electronic resource] : Third MICCAI International Workshop, MCBR-CDS 2012, Nice, France, October 1st, 2012, Revised Selected Papers / by Greenspan, Hayit [editor.] Müller, Henning [editor.] Syeda-Mahmood, Tanveer [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 7723 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)
	10185.	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)
	10186.	Advanced Computing, Networking and Security [electronic resource] : International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011, Revised Selected Papers / by Thilagam, P. Santhi [editor.] Roshan Pais, Alwyn [editor.] Chandrasekaran, K [editor.] Balakrishnan, N [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7135 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)
	10187.	Knowledge Engineering: Practice and Patterns [electronic resource] : 16th International Conference, EKAW 2008, Acitrezza, Sicily, Italy September 29 - October 3, 2008, Proceedings / by Gangemi, Aldo [editor.] Euzenat, Jérôme [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5268 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)
	10188.	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)
	10189.	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)
	10190.	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)
	10191.	Pattern Recognition [electronic resource] : 9th Mexican Conference, MCPR 2017, Huatulco, Mexico, June 21-24, 2017, Proceedings / by Carrasco-Ochoa, Jesús Ariel [editor.] Martínez-Trinidad, José Francisco [editor.] Olvera-López, José Arturo [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10267 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	10192.	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)
	10193.	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)
	10194.	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)
	10195.	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)
	10196.	Advanced Web and Network Technologies, and Applications [electronic resource] : APWeb 2008 International Workshops: BIDM, IWHDM, and DeWeb Shenyang, China, April 26-28, 2008, Shenyang, China Revised Papers / by Ishikawa, Yoshiharu [editor.] He, Jing [editor.] Xu, Guandong [editor.] Shi, Yong [editor.] Huang, Guangyan [editor.] Pang, Chaoyi [editor.] Zhang, Qing [editor.] Wang, Guoren [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4977 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)
	10197.	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)
	10198.	Pattern Recognition in Bioinformatics [electronic resource] : 5th IAPR International Conference, PRIB 2010, Nijmegen, The Netherlands, September 22-24, 2010, Proceedings / by Dijkstra, Tjeerd M.H [editor.] Tsivtsivadze, Evgeni [editor.] Marchiori, Elena [editor.] Heskes, Tom [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 6282 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)
	10199.	Computer Information Systems and Industrial Management [electronic resource] : 12th IFIP TC 8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013, Proceedings / by Saeed, Khalid [editor.] Chaki, Rituparna [editor.] Cortesi, Agostino [editor.] Wierzchoń, Sławomir [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8104 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)
	10200.	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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 16792 results.