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

Results
	141.	SDL 2001: Meeting UML [electronic resource] : 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001. Proceedings / by Reed, Rick [editor.] Reed, Jeanne [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2078 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)
	142.	Information Hiding [electronic resource] : 4th International Workshop, IH 2001, Pittsburgh, PA, USA, April 25-27, 2001. Proceedings / by Moskowitz, Ira S [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2137 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)
	143.	Reliable Software Technologies - Ada-Europe '97 [electronic resource] : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997. Proceedings / by Hardy, Keith [editor.] Briggs, Jim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1251 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)
	144.	Dependable Computing - EDDC-3 [electronic resource] : Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings / by Hlavicka, Jan [editor.] Maehle, Erik [editor.] Pataricza, Andras [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1667 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)
	145.	Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings / by Damm, Werner [editor.] Olderog, Ernst-Rüdiger [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2469 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)
	146.	Embedded Software [electronic resource] : Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings / by Sangiovanni-Vincentelli, Alberto [editor.] Sifakis, Joseph [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2491 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)
	147.	Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings / by Joseph, Mathai [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1926 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)
	148.	Computer Aided Systems Theory - EUROCAST '97 [electronic resource] : A Selection of Papers from the Sixth International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings / by Pichler, Franz [editor.] Moreno-Diaz, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1333 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)
	149.	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)
	150.	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)
	151.	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)
	152.	Cryptographic Hardware and Embedded Systems [electronic resource] : First International Workshop, CHES'99 Worcester, MA, USA, August 12-13, 1999 Proceedings / by Koc, Cetin K [editor.] Paar, Christof [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1717 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)
	153.	Computer Safety, Reliability, and Security [electronic resource] : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings / by Anderson, Stuart [editor.] Felici, Massimo [editor.] Littlewood, Bev [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2788 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)
	154.	Self-Stabilizing Systems [electronic resource] : 6th International Symposium, SSS 2003, San Francisco, CA, USA, June 24-25, 2003, Proceedings / by Huang, Shing-Tsaan [editor.] Herman, Ted [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2704 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)
	155.	Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings / by Ravn, Anders P [editor.] Rischel, Hans [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1486 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)
	156.	On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors [electronic resource] / by Pflanz, Matthias [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2270 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)
	157.	Handheld and Ubiquitous Computing [electronic resource] : First International Symposium, HUC'99, Karlsruhe, Germany, September 27-29, 1999, Proceedings / by Gellersen, Hans-W [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1707 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)
	158.	Computer Aided Verification [electronic resource] : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings / by Brinksma, Ed [editor.] Larsen, Kim G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2404 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)
	159.	Reliable Software Technologies - Ada-Europe 2001 [electronic resource] : 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings / by Craeynest, Dirk [editor.] Strohmeier, Alfred [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2043 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)
	160.	Advances in Computing Science - ASIAN'99 [electronic resource] : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings / by Thiagarajan, P.S [editor.] Yap, Roland [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1742 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 179 results.