Results of search for 'ccl=su:{Computers.}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	4781.	Computer Aided Verification [electronic resource] : 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings / by Emerson, E. Allen [editor.] Sistla, A. Prasad [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1855 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)
	4782.	Hybrid Systems: Computation and Control [electronic resource] : First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings / by Henzinger, Thomas A [editor.] Sastry, Shankar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1386 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)
	4783.	Application and Theory of Petri Nets 1998 [electronic resource] : 19th International Conference, ICATPN’98, Lisbon, Portugal, June 22–26, 1998 Proceedings / by Desel, Jörg [editor.] Silva, Manuel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1420 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)
	4784.	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)
	4785.	Compiler Construction [electronic resource] : 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings / by Watt, David A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1781 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)
	4786.	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)
	4787.	Architecting Dependable Systems II [electronic resource] / by Lemos, Rogério de [editor.] Gacek, Cristina [editor.] Romanovsky, Alexander [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3069 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)
	4788.	Topics in Electronic Commerce [electronic resource] : Second International Symposium, ISEC 2001 Hong Kong, China, April 26-28, 2001 Proceedings / by Kou, Weidong [editor.] Yesha, Yelena [editor.] Tan, Chung J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2040 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)
	4789.	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)
	4790.	Audio- and Video-Based Biometric Person Authentication [electronic resource] : Third International Conference, AVBPA 2001 Halmstad, Sweden, June 6-8, 2001. Proceedings / by Bigun, Josef [editor.] Smeraldi, Fabrizio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2091 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)
	4791.	Information Security and Cryptology - ICISC 2002 [electronic resource] : 5th International Conference, Seoul, Korea, November 28-29, 2002, Revised Papers / by Lee, Pil Joong [editor.] Lim, Chae Hoon [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2587 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)
	4792.	Financial Cryptography [electronic resource] : 6th International Conference, FC 2002, Southampton, Bermuda, March 11-14, 2002, Revised Papers / by Blaze, Matt [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2357 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)
	4793.	Product Focused Software Process Improvement [electronic resource] : Third International Conference, PROFES 2001, Kaiserslautern, Germany, September 10-13, 2001. Proceedings / by Bomarius, Frank [editor.] Komi-Sirviö, Seija [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2188 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)
	4794.	Worldwide Computing and Its Applications [electronic resource] : International Conference, WWCA '97, Tsukuba, Japan, March 10-11, 1997 Proceedings. / by Masuda, Takashi [editor.] Masunaga, Yoshifumi [editor.] Tsukamoto, Michiharu [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1274 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)
	4795.	Advances in Cryptology – EUROCRYPT 2004 [electronic resource] : International Conference on the Theory and Applications of Cryptographic Techniques, Interlaken, Switzerland, May 2-6, 2004. Proceedings / by Cachin, Christian [editor.] Camenisch, Jan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3027 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)
	4796.	Advances in Web-Based Learning [electronic resource] : First International Conference, ICWL 2002, Hong Kong, China, August 17-19, 2002. Proceedings / by Fong, Joseph [editor.] Cheung, Chu Ting [editor.] Leong, Hong Va [editor.] Li, Qing [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2436 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)
	4797.	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)
	4798.	Power-Aware Computer Systems [electronic resource] : Second International Workshop, PACS 2002 Cambridge, MA, USA, February 2, 2002, Revised Papers / by Falsafi, Babak [editor.] Vijaykumar, T.N [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2325 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)
	4799.	Correct Hardware Design and Verification Methods [electronic resource] : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings / by Margaria, Tiziana [editor.] Melham, Tom [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2144 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)
	4800.	Computer Performance Evaluation [electronic resource] : Modelling Techniques and Tools / by Puigjaner, Ramon [editor.] Savino, Nunzio N [editor.] Serra, Bartomeu [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1469 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 4964 results.