Results of search for 'ccl=pl:"Berlin ;"' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	3181.	Algorithms and Computation [electronic resource] : 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings / by Cai, Leizhen [editor.] Cheng, Siu-Wing [editor.] Lam, Tak-Wah [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8283 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)
	3182.	Formal Methods and Software Engineering [electronic resource] : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings / by Aoki, Toshiaki [editor.] Taguchi, Kenji [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7635 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)
	3183.	Rewriting Logic and Its Applications [electronic resource] : 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers / by Ölveczky, Peter Csaba [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6381 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)
	3184.	Theory and Practice of Model Transformations [electronic resource] : 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011, Proceedings / by Cabot, Jordi [editor.] Visser, Eelco [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6707 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)
	3185.	Advanced Information Systems Engineering [electronic resource] : 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings / by Pastor, Oscar [editor.] Falcão e Cunha, João [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3520 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)
	3186.	Implementation and Application of Functional Languages [electronic resource] : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers / by Hinze, Ralf [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8241 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)
	3187.	NETWORKING 2011 Workshops [electronic resource] : International IFIP TC 6 Workshops, PE-CRN, NC-Pro, WCNS, and SUNSET 2011, Held at NETWORKING 2011, Valencia, Spain, May 13, 2011, Revised Selected Papers / by Casares-Giner, Vicente [editor.] Manzoni, Pietro [editor.] Pont, Ana [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 6827 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)
	3188.	Algorithms -- ESA 2011 [electronic resource] : 19th Annual European Symposium, Saarbrücken, Germany, September 5-9, 2011, Proceedings / by Demetrescu, Camil [editor.] Halldorsson, Magnus M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6942 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)
	3189.	Practical Aspects of Declarative Languages [electronic resource] : 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings / by van Hentenryck, Pascal [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3819 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)
	3190.	E-Voting and Identity [electronic resource] : 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings / by Heather, James [editor.] Schneider, Steve [editor.] Teague, Vanessa [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7985 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)
	3191.	Graph Drawing [electronic resource] : 15th International Symposium, GD 2007, Sydney, Australia, September 24-26, 2007, Revised Papers / by Hong, Seok-Hee [editor.] Nishizeki, Takao [editor.] Quan, Wu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4875 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)
	3192.	Image Analysis and Recognition [electronic resource] : Second International Conference, ICIAR 2005, Toronto, Canada, September 28-30, 2005, Proceedings / by Kamel, Mohamed [editor.] Campilho, Aurélio [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 3656 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)
	3193.	Critical Information Infrastructures Security [electronic resource] : 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009, Revised Papers / by Rome, Erich [editor.] Bloomfield, Robin [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6027 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)
	3194.	Combinatorial Optimization and Applications [electronic resource] : First International Conference, COCOA 2007, Xi'an, China, August 14-16, 2007, Proceedings / by Dress, Andreas [editor.] Xu, Yinfeng [editor.] Zhu, Binhai [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4616 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)
	3195.	STACS 2007 [electronic resource] : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings / by Thomas, Wolfgang [editor.] Weil, Pascal [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4393 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)
	3196.	Transactions on Rough Sets III [electronic resource] / by Peters, James F [editor.] Skowron, Andrzej [editor.] SpringerLink (Online service) Series: Transactions on Rough Sets ; 3400 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)
	3197.	Component-Based Software Development for Embedded Systems [electronic resource] : An Overview of Current Research Trends / by Atkinson, Colin [editor.] Bunse, Christian [editor.] Gross, Hans-Gerhard [editor.] Peper, Christian [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3778 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)
	3198.	Multiparadigm Programming in Mozart/Oz [electronic resource] : Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers / by Van Roy, Peter [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3389 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)
	3199.	The Semantic Web -- ISWC 2011 [electronic resource] : 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, Proceedings, Part II / by Aroyo, Lora [editor.] Welty, Chris [editor.] Alani, Harith [editor.] Taylor, Jamie [editor.] Bernstein, Abraham [editor.] Kagal, Lalana [editor.] Noy, Natasha [editor.] Blomqvist, Eva [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7032 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)
	3200.	High Performance Computing Systems and Applications [electronic resource] : 23rd International Symposium, HPCS 2009, Kingston, Ontario, Canada, June 14-17, 2009, Revised Selected Papers / by Mewhort, Douglas J. K [editor.] Cann, Natalie M [editor.] Slater, Gary W [editor.] Naughton, Thomas J [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5976 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 7478 results.