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

Results
	5641.	Advances in Computational Intelligence [electronic resource] : 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23–28, 2016, Proceedings, Part I / by Sidorov, Grigori [editor.] Herrera-Alcántara, Oscar [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10061 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)
	5642.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / by De Nivelle, Hans [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9323 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)
	5643.	Requirements Engineering: Foundation for Software Quality [electronic resource] : 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 – March 2, 2017, Proceedings / by Grünbacher, Paul [editor.] Perini, Anna [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10153 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)
	5644.	Web Technologies and Applications [electronic resource] : 16th Asia-Pacific Web Conference, APWeb 2014, Changsha, China, September 5-7, 2014. Proceedings / by Chen, Lei [editor.] Jia, Yan [editor.] Sellis, Timos [editor.] Liu, Guanfeng [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8709 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)
	5645.	MultiMedia Modeling [electronic resource] : 22nd International Conference, MMM 2016, Miami, FL, USA, January 4-6, 2016, Proceedings, Part II / by Tian, Qi [editor.] Sebe, Nicu [editor.] Qi, Guo-Jun [editor.] Huet, Benoit [editor.] Hong, Richang [editor.] Liu, Xueliang [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9517 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)
	5646.	Theory and Practice of Natural Computing [electronic resource] : 5th International Conference, TPNC 2016, Sendai, Japan, December 12-13, 2016, Proceedings / by Martín-Vide, Carlos [editor.] Mizuki, Takaaki [editor.] Vega-Rodríguez, Miguel A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10071 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)
	5647.	Evolutionary Computation in Combinatorial Optimization [electronic resource] : 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / by Ochoa, Gabriela [editor.] Chicano, Francisco [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9026 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)
	5648.	Reliable Software Technologies – Ada-Europe 2017 [electronic resource] : 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings / by Blieberger, Johann [editor.] Bader, Markus [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10300 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)
	5649.	Analytical and Stochastic Modelling Techniques and Applications [electronic resource] : 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings / by Wittevrongel, Sabine [editor.] Phung-Duc, Tuan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9845 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)
	5650.	String Processing and Information Retrieval [electronic resource] : 23rd International Symposium, SPIRE 2016, Beppu, Japan, October 18-20, 2016, Proceedings / by Inenaga, Shunsuke [editor.] Sadakane, Kunihiko [editor.] Sakai, Tetsuya [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9954 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)
	5651.	Mathematical and Engineering Methods in Computer Science [electronic resource] : 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers / by Kofroň, Jan [editor.] Vojnar, Tomáš [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9548 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)
	5652.	PRICAI 2016: Trends in Artificial Intelligence [electronic resource] : 14th Pacific Rim International Conference on Artificial Intelligence, Phuket, Thailand, August 22-26, 2016, Proceedings / by Booth, Richard [editor.] Zhang, Min-Ling [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9810 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)
	5653.	Deductive Software Verification – The KeY Book [electronic resource] : From Theory to Practice / by Ahrendt, Wolfgang [editor.] Beckert, Bernhard [editor.] Bubel, Richard [editor.] Hähnle, Reiner [editor.] Schmitt, Peter H [editor.] Ulbrich, Mattias [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10001 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)
	5654.	Graph Transformation [electronic resource] : 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings / by de Lara, Juan [editor.] Plump, Detlef [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10373 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)
	5655.	Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part III / by Bifet, Albert [editor.] May, Michael [editor.] Zadrozny, Bianca [editor.] Gavalda, Ricard [editor.] Pedreschi, Dino [editor.] Bonchi, Francesco [editor.] Cardoso, Jaime [editor.] Spiliopoulou, Myra [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9286 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)
	5656.	AI*IA 2013: Advances in Artificial Intelligence [electronic resource] : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013, Proceedings / by Baldoni, Matteo [editor.] Baroglio, Cristina [editor.] Boella, Guido [editor.] Micalizio, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8249 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5657.	Towards Autonomous Robotic Systems [electronic resource] : 18th Annual Conference, TAROS 2017, Guildford, UK, July 19–21, 2017, Proceedings / by Gao, Yang [editor.] Fallah, Saber [editor.] Jin, Yaochu [editor.] Lekakou, Constantina [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10454 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)
	5658.	Applied Cryptography and Network Security [electronic resource] : 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings / by Gollmann, Dieter [editor.] Miyaji, Atsuko [editor.] Kikuchi, Hiroaki [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10355 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)
	5659.	Programming Languages [electronic resource] : 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings / by Quintao Pereira, Fernando Magno [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8771 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)
	5660.	Evolving Computability [electronic resource] : 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings / by Beckmann, Arnold [editor.] Mitrana, Victor [editor.] Soskova, Mariya [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9136 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 6990 results.