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

Results
	6741.	Pattern Recognition [electronic resource] : 25th DAGM Symposium, Magdeburg, Germany, September 10-12, 2003, Proceedings / by Michaelis, Bernd [editor.] Krell, Gerard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2781 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6742.	Automated Technology for Verification and Analysis [electronic resource] : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings / by Wang, Farn [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3299 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)
	6743.	Public Key Cryptography [electronic resource] : Third International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2000, Melbourne, Victoria, Australia, January 18-20, 2000, Proceedings / by Imai, Hideki [editor.] Zheng, Yuliang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1751 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6744.	Automata, Languages and Programming [electronic resource] : 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings / by Orejas, Fernando [editor.] Spirakis, Paul G [editor.] Leeuwen, Jan van [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2076 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6745.	Job Scheduling Strategies for Parallel Processing [electronic resource] : IPPS '97 Workshop, Geneva, Switzerland, April 5, 1997, Proceedings / by Feitelson, Dror G [editor.] Rudolph, Larry [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1291 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6746.	Advanced Symbolic Analysis for Compilers [electronic resource] : New Techniques and Algorithms for Symbolic Program Analysis and Optimization / by Fahringer, Thomas [author.] Scholz, Bernhard [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2628 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6747.	Information Processing in Medical Imaging [electronic resource] : 16th International Conference, IPMI'99, Visegrad, Hungary, June 28 - July 2, 1999, Proceedings / by Kuba, Attila [editor.] Samal, Martin [editor.] Todd-Pokropek, Andrew [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1613 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6748.	Computer Science Logic [electronic resource] : 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings / by Clote, Peter G [editor.] Schwichtenberg, Helmut [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1862 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6749.	Information Processing in Medical Imaging [electronic resource] : 17th International Conference, IPMI 2001, Davis, CA, USA, June 18-22, 2001. Proceedings / by Insana, Michael F [editor.] Leahy, Richard M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2082 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6750.	Java on Smart Cards: Programming and Security [electronic resource] : First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers / by Attali, Isabelle [editor.] Jensen, Thomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2041 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6751.	Artificial Immune Systems [electronic resource] : Second International Conference, ICARIS 2003, Edinburgh, UK, September 1-3, 2003, Proceedings / by Timmis, Jon [editor.] Bentley, Peter [editor.] Hart, Emma [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2787 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6752.	Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 12th International Workshop, PATMOS 2002, Seville, Spain, September 11 - 13, 2002 / by Hochet, Bertrand [editor.] Acosta, Antonio J [editor.] Bellido, Manuel J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2451 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6753.	Mobile Agents [electronic resource] : Second International Workshop, MA'98, Stuttgart, Germany, September 9-11, 1998 / by Rothermel, Kurt [editor.] Hohl, Fritz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1477 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6754.	Computer Security - ESORICS 98 [electronic resource] : 5th European Symposium on Research in Computer Security, Louvain-la-Neuve, Belgium, September 16-18, 1998, Proceedings / by Quisquater, Jean-Jacques [editor.] Deswarte, Yves [editor.] Meadows, Catherine [editor.] Gollmann, Dieter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1485 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6755.	Computer Aided Verification [electronic resource] : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings / by Hunt, Jr., Warren A [editor.] Somenzi, Fabio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2725 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6756.	Selected Areas in Cryptography [electronic resource] : 5th Annual International Workshop, SAC'98, Kingston, Ontario, Canada, August 17-18, 1998, Proceedings / by Tavares, Stafford [editor.] Meijer, Henk [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1556 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6757.	Financial Cryptography [electronic resource] : Third International Conference, FC’99 Anguilla, British West Indies, February 22–25, 1999 Proceedings / by Franklin, Matthew [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1648 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6758.	Lectures on Proof Verification and Approximation Algorithms [electronic resource] / by Mayr, Ernst W [editor.] Prömel, Hans Jürgen [editor.] Steger, Angelika [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1367 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6759.	Advances in Cryptology - ASIACRYPT 2002 [electronic resource] : 8th International Conference on the Theory and Application of Cryptology and Information Security, Queenstown, New Zealand, December 1-5, 2002, Proceedings / by Zheng, Yuliang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2501 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6760.	Model Checking Software [electronic resource] : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings / by Ball, Thomas [editor.] Rajamani, Sriram K [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2648 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 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.