Results of search for 'ccl=Provider:Springer, and su-ut:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	4621.	Types for Proofs and Programs [electronic resource] : International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers / by Miculan, Marino [editor.] Scagnetto, Ivan [editor.] Honsell, Furio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4941 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)
	4622.	Fundamentals of Computation Theory [electronic resource] : 15th International Symposium, FCT 2005, Lübeck, Gemany, August 17-20, 2005, Proceedings / by Liskiewicz, Maciej [editor.] Reischuk, Rüdiger [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3623 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)
	4623.	Diagrammatic Representation and Inference [electronic resource] : 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings / by Jamnik, Mateja [editor.] Uesaka, Yuri [editor.] Elzer Schwartz, Stephanie [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9781 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)
	4624.	Nonlinear Speech Modeling and Applications [electronic resource] : Advanced Lectures and Revised Selected Papers / by Chollet, Gerard [editor.] Esposito, Anna [editor.] Faundez-Zanuy, Marcos [editor.] Marinaro, Maria [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3445 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)
	4625.	Intelligent Computing Theories and Methodologies [electronic resource] : 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part II / by Huang, De-Shuang [editor.] Jo, Kang-Hyun [editor.] Hussain, Abir [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9226 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)
	4626.	ECOOP 2014 -- Object-Oriented Programming [electronic resource] : 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings / by Jones, Richard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8586 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)
	4627.	Machine Translation: From Real Users to Research [electronic resource] : 6th Conference of the Association for Machine Translation in the Americas, AMTA 2004, Washington, DC, USA, September 28-October 2, 2004, Proceedings / by Frederking, Robert E [editor.] Taylor, Kathryn B [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3265 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)
	4628.	Structured Object-Oriented Formal Language and Method [electronic resource] : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers / by Liu, Shaoying [editor.] Duan, Zhenhua [editor.] Tian, Cong [editor.] Nagoya, Fumiko [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10189 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)
	4629.	Mathematical Software - ICMS 2010 [electronic resource] : Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings / by Fukuda, Komei [editor.] van der Hoeven, Joris [editor.] Joswig, Michael [editor.] Takayama, Nobuki [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6327 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)
	4630.	Evolvable Systems: From Biology to Hardware [electronic resource] : 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008, Proceedings / by Hornby, Gregory S [editor.] Sekanina, Lukas [editor.] Haddow, Pauline C [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5216 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)
	4631.	Principles and Practice of Constraint Programming - CP 2007 [electronic resource] : 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings / by Bessiere, Christian [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4741 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)
	4632.	Fuzzy Systems and Knowledge Discovery [electronic resource] : Third International Conference, FSKD 2006, Xi'an, China, September 24-28, 2006, Proceedings / by Wang, Lipo [editor.] Jiao, Licheng [editor.] Shi, Guanming [editor.] Lu, Xue [editor.] Liu, Jing [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4223 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)
	4633.	Security and Cryptography for Networks [electronic resource] : 6th International Conference, SCN 2008, Amalfi, Italy, September 10-12, 2008, Proceedings / by Ostrovsky, Rafail [editor.] de Prisco, Roberto [editor.] Visconti, Ivan [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5229 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)
	4634.	Pattern Recognition and Machine Intelligence [electronic resource] : 6th International Conference, PReMI 2015, Warsaw, Poland, June 30 - July 3, 2015, Proceedings / by Kryszkiewicz, Marzena [editor.] Bandyopadhyay, Sanghamitra [editor.] Rybinski, Henryk [editor.] Pal, Sankar K [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9124 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)
	4635.	Programming Languages and Systems [electronic resource] : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European / by Sestoft, Peter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3924 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)
	4636.	Federation over the Web [electronic resource] : International Workshop, Dagstuhl Castle, Germany, May 1-6, 2005, Revised Selected Papers / by Jantke, Klaus P [editor.] Lunzer, Aran [editor.] Spyratos, Nicolas [editor.] Tanaka, Yuzuru [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3847 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)
	4637.	Grand Timely Topics in Software Engineering [electronic resource] : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures / by Cunha, Jácome [editor.] Fernandes, João P [editor.] Lämmel, Ralf [editor.] Saraiva, João [editor.] Zaytsev, Vadim [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10223 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)
	4638.	Design Science at the Intersection of Physical and Virtual Design [electronic resource] : 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12,2013, Proceedings / by vom Brocke, Jan [editor.] Hekkala, Riitta [editor.] Ram, Sudha [editor.] Rossi, Matti [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7939 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)
	4639.	DNA Computing [electronic resource] : 14th International Meeting on DNA Computing, DNA 14, Prague, Czech Republic, June 2-9, 2008. Revised Selected Papers / by Goel, Ashish [editor.] Simmel, Friedrich C [editor.] Sosik, Petr [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5347 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)
	4640.	Trends and Applications in Knowledge Discovery and Data Mining [electronic resource] : PAKDD 2016 Workshops, BDM, MLSDA, PACC, WDMBF, Auckland, New Zealand, April 19, 2016, Revised Selected Papers / by Cao, Huiping [editor.] Li, Jinyan [editor.] Wang, Ruili [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9794 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 7935 results.