Results of search for 'ccl=Provider:Springer.,' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	12021.	Web Services and Formal Methods [electronic resource] : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers / by Laneve, Cosimo [editor.] Su, Jianwen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6194 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)
	12022.	Datalog in Academia and Industry [electronic resource] : Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012, Proceedings / by Barceló, Pablo [editor.] Pichler, Reinhard [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7494 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)
	12023.	Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings / by Lastovetsky, Alexey [editor.] Kechadi, Tahar [editor.] Dongarra, Jack [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5205 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)
	12024.	Advances in Neural Networks [electronic resource] : 5th International Symposium on Neural networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part I / by Sun, Fuchun [editor.] Zhang, Jianwei [editor.] Cao, Jinde [editor.] Yu, Wen [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5263 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)
	12025.	Wired/Wireless Internet Communications [electronic resource] : 6th International Conference, WWIC 2008 Tampere, Finland, May 28-30, 2008 Proceedings / by Harju, Jarmo [editor.] Heijenk, Geert [editor.] Langendörfer, Peter [editor.] Siris, Vasilios [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 5031 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)
	12026.	Advances in Software Engineering Techniques [electronic resource] : 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers / by Szmuc, Tomasz [editor.] Szpyrka, Marcin [editor.] Zendulka, Jaroslav [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7054 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)
	12027.	Software Architecture [electronic resource] : First European Conference, ECSA 2007, Madrid, Spain, September 24-26, 2007, Proceedings / by Oquendo, Flavio [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4758 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)
	12028.	Transactions on Computational Science XV [electronic resource] : Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems / by Phan, Cong-Vinh [editor.] SpringerLink (Online service) Series: Transactions on Computational Science ; 7050 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)
	12029.	Algorithmic Decision Theory [electronic resource] : Second International Conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011. Proceedings / by BRAFMAN, RONEN [editor.] Roberts, Fred S [editor.] Tsoukias, Alexis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6992 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)
	12030.	Natural Language Processing and Information Systems [electronic resource] : 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, Proceedings / by Montoyo, Andrés [editor.] Munoz, Rafael [editor.] Métais, Elisabeth [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3513 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)
	12031.	Languages and Compilers for Parallel Computing [electronic resource] : 25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers / by Kasahara, Hironori [editor.] Kimura, Keiji [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7760 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)
	12032.	Testing Software and Systems [electronic resource] : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings / by Wolff, Burkhart [editor.] Zaidi, Fatiha [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7019 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)
	12033.	Making Globally Distributed Software Development a Success Story [electronic resource] : International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008, Proceedings / by Wang, Qing [editor.] Pfahl, Dietmar [editor.] Raffo, David [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5007 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)
	12034.	Algorithms and Architectures for Parallel Processing [electronic resource] : 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings / by Ibrahim, Shadi [editor.] Choo, Kim-Kwang Raymond [editor.] Yan, Zheng [editor.] Pedrycz, Witold [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10393 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)
	12035.	Innovations in Applied Artificial Intelligence [electronic resource] : 17th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2004, Ottawa, Canada, May 17-20, 2004. Proceedings / by Orchard, Bob [editor.] Yang, Chunsheng [editor.] Moonis, Ali [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3029 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)
	12036.	Tests and Proofs [electronic resource] : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings / by Brucker, Achim [editor.] Julliand, Jacques [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7305 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)
	12037.	Constructive Side-Channel Analysis and Secure Design [electronic resource] : 8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017, Revised Selected Papers / by Guilley, Sylvain [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10348 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)
	12038.	Comparative Genomics [electronic resource] : RECOMB 2007, International Workshop, RECOMB-CG 2007, San Diego, CA, USA, September 16-18, 2007, Proceedings / by Tesler, Glenn [editor.] Durand, Dannie [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 4751 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)
	12039.	Numerical Analysis and Its Applications [electronic resource] : Third International Conference, NAA 2004, Rousse, Bulgaria, June 29 - July 3, 2004, Revised Selected Papers / by Li, Zhilin [editor.] Vulkov, Lubin [editor.] Wásniewski, Jerzy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3401 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)
	12040.	Model Driven Architecture - Foundations and Applications [electronic resource] : Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proceedings / by Akehurst, David [editor.] Vogel, Regis [editor.] Paige, Richard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4530 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 17575 results.