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

Results
	5521.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings / by McMillan, Kenneth [editor.] Rival, Xavier [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8318 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)
	5522.	Diagrammatic Representation and Inference [electronic resource] : 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010, Proceedings / by Goel, Ashok K [editor.] Jamnik, Mateja [editor.] Narayanan, N Hari [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6170 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)
	5523.	Knowledge Representation for Health-Care. Data, Processes and Guidelines [electronic resource] : AIME 2009 Workshop KR4HC 2009, Verona, Italy, July 19, 2009, Revised Selected Papers / by Riano, David [editor.] ten Teije, Annette [editor.] Miksch, Silvia [editor.] Peleg, Mor [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5943 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)
	5524.	Passive and Active Network Measurement [electronic resource] : 10th International Conference, PAM 2009, Seoul, Korea, April 1-3, 2009, Proceedings / by Teixeira, Renata [editor.] Moon, Sue B [editor.] Uhlig, Steve [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 5448 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)
	5525.	Information Security [electronic resource] : 12th International Conference, ISC 2009 Pisa, Italy, September 7-9, 2009 Proceedings / by Samarati, Pierangela [editor.] Yung, Moti [editor.] Martinelli, Fabio [editor.] Ardagna, Claudio Agostino [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5735 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)
	5526.	Scientific Engineering of Distributed Java Applications. [electronic resource] : Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers / by Guelfi, Nicoals [editor.] Astesiano, Egidio [editor.] Reggio, Gianna [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2952 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)
	5527.	Validation of Stochastic Systems [electronic resource] : A Guide to Current Research / by Baier, Christel [editor.] Haverkort, Boudewijn R [editor.] Hermanns, Holger [editor.] Katoen, Joost-Pieter [editor.] Siegle, Markus [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2925 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)
	5528.	Topics in Cryptology - CT-RSA 2010 [electronic resource] : The 10th Cryptographers' Track at the RSA Conference 2010, San Francisco, CA, USA, March 1-5, 2010. Proceedings / by Pieprzyk, Josef [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5985 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)
	5529.	Program Analysis and Compilation, Theory and Practice [electronic resource] : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday / by Reps, Thomas [editor.] Sagiv, Mooly [editor.] Bauer, Jörg [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4444 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)
	5530.	Empirical Software Engineering Issues. Critical Assessment and Future Directions [electronic resource] : International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006, Revised Papers / by Basili, Victor [editor.] Rombach, Dieter [editor.] Schneider, Kurt [editor.] Kitchenham, Barbara [editor.] Pfahl, Dietmar [editor.] Selby, Richard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4336 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)
	5531.	On the Move to Meaningful Internet Systems: OTM 2013 Conferences [electronic resource] : Confederated International Conferences: CoopIS, DOA-Trusted Cloud and ODBASE 2013, Graz, Austria, September 9-13, 2013. Proceedings. / by Meersman, Robert [editor.] Panetto, Herve [editor.] Dillon, Tharam [editor.] Eder, Johann [editor.] Bellahsene, Zohra [editor.] Ritter, Norbert [editor.] De Leenheer, Pieter [editor.] Dou, Deijing [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8185 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)
	5532.	Reasoning Web [electronic resource] : Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures / by Barahona, Pedro [editor.] Bry, François [editor.] Franconi, Enrico [editor.] Henze, Nicola [editor.] Sattler, Ulrike [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4126 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)
	5533.	Incentives, Overlays, and Economic Traffic Control [electronic resource] : Third International Workshop, ETM 2010, Amsterdam, The Netherlands, September 6, 2010. Proceedings / by Stiller, Burkhard [editor.] Hoßfeld, Tobias [editor.] Stamoulis, George D [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 6236 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)
	5534.	From Animals to Animats 9 [electronic resource] : 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006, Proceedings / by Nolfi, Stefano [editor.] Baldassare, Gianluca [editor.] Calabretta, Raffaele [editor.] Hallam, John [editor.] Marocco, Davide [editor.] Miglino, Orazio [editor.] Meyer, Jean-Arcady [editor.] Parisi, Domenico [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4095 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)
	5535.	Advances in Visual Computing [electronic resource] : 5th International Symposium, ISVC 2009, Las Vegas, NV, USA, November 30 - December 2, 2009, Proceedings, Part II / by Boyle, Richard [editor.] Parvin, Bahram [editor.] Koracin, Darko [editor.] Kuno, Yoshinori [editor.] Wang, Junxian [editor.] Renato, Pajarola [editor.] Lindstrom, Peter [editor.] Hinkenjann, Andre [editor.] Encarnacao, Miguel L [editor.] Silva, Claudio T [editor.] Coming, Daniel [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 5876 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)
	5536.	Computational Intelligence and Security [electronic resource] : International Conference, CIS 2005, Xi'an, China, December 15-19, 2005, Proceedings, Part II / by Hao, Yue [editor.] Liu, Jiming [editor.] Wang, Yuping [editor.] Cheung, Yiu-ming [editor.] Yin, Hujun [editor.] Jiao, Licheng [editor.] Ma, Jianfeng [editor.] Jiao, Yong-Chang [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3802 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)
	5537.	Computer Vision - ACCV 2012 Workshops [electronic resource] : ACCV 2012 International Workshops, Daejeon, Korea, November 5-6, 2012. Revised Selected Papers, Part I / by Park, Jong-Il [editor.] Kim, Junmo [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 7728 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)
	5538.	Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II / by Daelemans, Walter [editor.] Morik, Katharina [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5212 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)
	5539.	Computer Vision and Graphics [electronic resource] : Second International Conference, ICCVG 2010, Warsaw, Poland, September 20-22, 2010, Proceedings, Part II / by Bolc, Leonard [editor.] Tadeusiewicz, Ryszard [editor.] Chmielewski, Leszek J [editor.] Wojciechowski, Konrad [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 6375 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)
	5540.	Conceptual Modeling - ER 2004 [electronic resource] : 23rd International Conference on Conceptual Modeling, Shanghai, China, November 8-12, 2004. Proceedings / by Atzeni, Paolo [editor.] Chu, Wesley [editor.] Lu, Hongjun [editor.] Zhou, Shuigeng [editor.] Ling, Tok Wang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3288 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 7478 results.