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

Results
	541.	Secure Transaction Protocol Analysis [electronic resource] : Models and Applications / by Chen, Qingfeng [author.] Zhang, Chengqi [author.] Zhang, Shichao [author.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5111 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)
	542.	Formal Modeling and Analysis of Timed Systems [electronic resource] : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings / by Pettersson, Paul [editor.] Yi, Wang [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3829 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)
	543.	Progress in Cryptology - LATINCRYPT 2010 [electronic resource] : First International Conference on Cryptology and Information Security in Latin America, Puebla, Mexico, August 8-11, 2010, Proceedings / by Abdalla, Michel [editor.] Barreto, Paulo S.L.M [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6212 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)
	544.	Operations and Management in IP-Based Networks [electronic resource] : 5th IEEE International Workshop on IP Operations and Management, IPOM 2005, Barcelona, Spain, October 26-28, 2005, Proceedings / by Dini, Petre [editor.] Jürgen, Schönwälder [editor.] Magedanz, Thomas [editor.] Madeira, Edmundo R.M [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 3751 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)
	545.	Sustaining TEL: From Innovation to Learning and Practice [electronic resource] : 5th European Conference on Technology Enhanced Learning, EC-TEL 2010, Barcelona, Spain, September 28 - October 1, 2010, Proceedings / by Wolpers, Martin [editor.] Kirschner, Paul A [editor.] Scheffel, Maren [editor.] Lindstaedt, Stefanie [editor.] Dimitrova, Vania [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6383 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)
	546.	Information Security and Privacy [electronic resource] : 10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005, Proceedings / by Boyd, Colin [editor.] González Nieto, Juan M [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3574 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)
	547.	Formal Methods for Components and Objects [electronic resource] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / by de Boer, Frank S [editor.] Bonsangue, Marcello M [editor.] Graf, Susanne [editor.] de Roever, Willem-Paul [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4111 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)
	548.	Dependability Metrics [electronic resource] : GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, October 5 - November 1, 2005, Advanced Lectures / by Eusgeld, Irene [editor.] Freiling, Felix [editor.] Reussner, Ralf H [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4909 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)
	549.	The Semantic Web - ISWC 2010 [electronic resource] : 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II / by Patel-Schneider, Peter F [editor.] Pan, Yue [editor.] Hitzler, Pascal [editor.] Mika, Peter [editor.] Zhang, Lei [editor.] Pan, Jeff Z [editor.] Horrocks, Ian [editor.] Glimm, Birte [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6497 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)
	550.	Implementation of Functional Languages [electronic resource] : 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers / by Trinder, Phil [editor.] Michaelson, Greg [editor.] Pena, Ricardo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3145 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)
	551.	Embedded Software and Systems [electronic resource] : First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers / by Wu, Zhaohui [editor.] Guo, Minyi [editor.] Chen, Chun [editor.] Bu, Jiajun [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3605 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)
	552.	Scientific and Statistical Database Management [electronic resource] : 20th International Conference, SSDBM 2008, Hong Kong, China, July 9-11, 2008, Proceedings / by Ludäscher, Bertram [editor.] Mamoulis, Nikos [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5069 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)
	553.	Internet and Network Economics [electronic resource] : Second International Workshop, WINE 2006, Patras, Greece, December 15-17, 2006, Proceedings / by Spirakis, Paul [editor.] Mavronicolas, Marios [editor.] Kontogiannis, Spyros [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4286 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)
	554.	Neural Information Processing. Theory and Algorithms [electronic resource] : 17th International Conference, ICONIP 2010, Sydney, Australia, November 21-25, 2010, Proceedings, Part I / by Wong, Kevin K.W [editor.] Mendis, B. Sumudu U [editor.] Bouzerdoum, Abdesselam [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6443 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)
	555.	Combinatorial Pattern Matching [electronic resource] : 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005, Proceedings / by Apostolico, Alberto [editor.] Crochemore, Maxime [editor.] Park, Kunsoo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3537 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)
	556.	SDL 2007: Design for Dependable Systems [electronic resource] : 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings / by Gaudin, Emmanuel [editor.] Najm, Élie [editor.] Reed, Rick [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 4745 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)
	557.	Information Security Applications [electronic resource] : 4th International Workshop, WISA 2003, Jeju Island, Korea, August 25-27, 2003, Revised Papers / by Chae, Kijoon [editor.] Yung, Moti [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2908 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)
	558.	Rough Sets and Intelligent Systems Paradigms [electronic resource] : International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007, Proceedings / by Kryszkiewicz, Marzena [editor.] Peters, James F [editor.] Rybinski, Henryk [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4585 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)
	559.	Mechanizing Mathematical Reasoning [electronic resource] : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday / by Hutter, Dieter [editor.] Stephan, Werner [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2605 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)
	560.	Biomimetic Neural Learning for Intelligent Robots [electronic resource] : Intelligent Systems, Cognitive Robotics, and Neuroscience / by Wermter, Stefan [editor.] Palm, Günther [editor.] Elshaw, Mark [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3575 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 7478 results.