Results of search for 'ccl=au:"SpringerLink (Online service)" and se:Lecture Notes in Computer Science, and su-to:Engineering and su-to:Computer Science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	381.	Theorem Proving in Higher Order Logics [electronic resource] : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings / by Grundy, Jim [editor.] Newey, Malcolm [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1479 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)
	382.	Conceptual Modeling -- ER 2003 [electronic resource] : 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003, Proceedings / by Song, Il-Yeol [editor.] Liddle, Stephen W [editor.] Ling, Tok Wang [editor.] Scheuermann, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2813 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)
	383.	Group Communications and Charges; Technology and Business Models [electronic resource] : 5th COST264 International Workshop on Networked Group Communications, NGC 2003, and 3rd International Workshop on Internet Charging and QoS Technologies, ICQT 2003, Munich, Germany, September 16-19, 2003 Proceedings / by Stiller, Burkhard [editor.] Carle, Georg [editor.] Karsten, Martin [editor.] Reichl, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2816 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)
	384.	Practical Aspects of Declarative Languages [electronic resource] : First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings / by Gupta, Gopal [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1551 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)
	385.	Principles and Practice of Constraint Programming - CP'99 [electronic resource] : 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 Proceedings / by Jaffar, Joxan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1713 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)
	386.	Parallel Computing Technologies [electronic resource] : 7th International Conference, PaCT 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings / by Malyshkin, Victor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2763 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)
	387.	High Performance Computing -- HiPC 2003 [electronic resource] : 10th International Conference, Hyderabad, India, December 17-20, 2003, Proceedings / by Pinkston, Timothy Mark [editor.] Prasanna, Viktor K [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2913 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)
	388.	Fast Software Encryption [electronic resource] : 8th International Workshop, FSE 2001 Yokohama, Japan, April 2-4, 2001, Revised Papers / by Matsui, Mitsuru [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2355 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)
	389.	Formal Methods for Components and Objects [electronic resource] : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures / by Boer, Frank S.de [editor.] Bonsangue, Marcello [editor.] Graf, Susanne [editor.] de Roever, Willem-Paul [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2852 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)
	390.	Mobile Data Management [electronic resource] : 4th International Conference, MDM 2003, Melbourne, Australia, January 21-24, 2003, Proceedings / by Chen, Ming-Syan [editor.] Chrysanthis, Panos K [editor.] Sloman, Morris [editor.] Zaslavsky, Arkady [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2574 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)
	391.	Generic Programming [electronic resource] : International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers / by Jazayeri, Mehdi [editor.] Loos, Rüdiger G.K [editor.] Musser, David R [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1766 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)
	392.	Parallel Problem Solving from Nature - PPSN VII [electronic resource] : 7th International Conference, Granada, Spain, September 7-11, 2002, Proceedings / by Merelo, Juan J [editor.] Adamidis, Panagiotis [editor.] Beyer, Hans-Georg [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2439 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)
	393.	Advances in Computing Science - ASIAN'97 [electronic resource] : Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997. Proceedings / by Shyamasundar, R.K [editor.] Ueda, Kazunori [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1345 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)
	394.	Parallel and Distributed Processing [electronic resource] : 15 IPDPS 2000 Workshops Cancun, Mexico, May 1–5, 2000 Proceedings / by Rolim, Jose [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1800 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)
	395.	Grid Computing - GRID 2002 [electronic resource] : Third International Workshop, Baltimore, MD, USA, November 18, 2002, Proceedings / by Parashar, Manish [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2536 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)
	396.	Compiler Construction [electronic resource] : 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings / by Hedin, Görel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2622 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)
	397.	Artificial Evolution [electronic resource] : 5th International Conference, Evolution Artificielle, EA 2001, Le Creusot, France, October 29-31, 2001. Selected Papers / by Collet, Pierre [editor.] Fonlupt, Cyril [editor.] Hao, Jin-Kao [editor.] Lutton, Evelyne [editor.] Schoenauer, Marc [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2310 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)
	398.	Computer Aided Verification [electronic resource] : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings / by Grumberg, Orna [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1254 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)
	399.	Euro-Par 2002. Parallel Processing [electronic resource] : 8th International Euro-Par Conference Paderborn, Germany, August 27-30, 2002 Proceedings / by Monien, Burkhard [editor.] Feldmann, Rainer [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2400 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)
	400.	Advanced Information Systems Engineering [electronic resource] : 13th International Conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001. Proceedings / by Dittrich, Klaus R [editor.] Geppert, Andreas [editor.] Norrie, Moira C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2068 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 721 results.