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

Results
	1061.	Hybrid Systems V [electronic resource] / by Antsaklis, Panos J [editor.] Kohn, Wolf [editor.] Lemmon, Michael [editor.] Nerode, Anil [editor.] Sastry, Shankar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1567 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)
	1062.	Computer Safety, Reliability and Security [electronic resource] : 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings / by Anderson, Stuart [editor.] Bologna, Sandro [editor.] Felici, Massimo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2434 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)
	1063.	Hybrid Systems: Computation and Control [electronic resource] : Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings / by Lynch, Nancy [editor.] Krogh, Bruce [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1790 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)
	1064.	Computer Safety, Reliability and Security [electronic resource] : 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings / by Voges, Udo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2187 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)
	1065.	Distributed Computing [electronic resource] : 15th International Conference, DISC 2001, Lisbon, Portugal, October 3-5, 2001. Proceedings / by Welch, Jennifer L [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2180 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)
	1066.	Verification: Theory and Practice [electronic resource] : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday / by Dershowitz, Nachum [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2772 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)
	1067.	Computer Safety, Reliability and Security [electronic resource] : 18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings / by Felici, Massimo [editor.] Kanoun, Karama [editor.] Pasquini, Alberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1698 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)
	1068.	Virtual Storytelling. Using Virtual Reality Technologies for Storytelling [electronic resource] : International Conference ICVS 2001 Avignon, France, September 27-28, 2001 Proceedings / by Balet, Olivier [editor.] Subsol, Gerard [editor.] Torguet, Patrice [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2197 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)
	1069.	Modular Compiler Verification [electronic resource] : A Refinement-Algebraic Approach Advocating Stepwise Abstraction / by Müller-Olm, Markus [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1283 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)
	1070.	Dependable Computing EDCC-4 [electronic resource] : 4th European Dependable Computing Conference Toulouse, France, October 23-25, 2002, Proceedings / by Grandoni, Fabrizio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2485 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)
	1071.	Information Security [electronic resource] : 5th International Conference, ISC 2002 Sao Paulo, Brazil, September 30 – October 2, 2002, Proceedings / by Chan, Agnes Hui [editor.] Gligor, Virgil [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2433 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)
	1072.	Transformation-Based Reactive Systems Development [electronic resource] : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings / by Bertran, Miquel [editor.] Rus, Teodor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1231 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)
	1073.	Reliable Software Technologies -- Ada-Europe 2003 [electronic resource] : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings / by Rosen, Jean-Pierre [editor.] Strohmeier, Alfred [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2655 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)
	1074.	Computer Vision Systems [electronic resource] : First International Conference, ICVS '99 Las Palmas, Gran Canaria, Spain, January 13-15, 1999 Proceedings / by Christensen, Henrik I [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1542 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)
	1075.	Self-Adaptive Software [electronic resource] : Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001, Revised Papers / by Laddaga, Robert [editor.] Robertson, Paul [editor.] Shrobe, Howie [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2614 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)
	1076.	Computer Safety, Reliability, and Security [electronic resource] : 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings / by Koornneef, Floor [editor.] Meulen, Meine van der [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1943 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)
	1077.	Automata, Languages and Programming [electronic resource] : 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings / by Montanari, Ugo [editor.] Rolim, Jose D.P [editor.] Welzl, Emo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1853 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)
	1078.	Computer Safety, Reliability and Security [electronic resource] : 17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings / by Ehrenberger, Wolfgang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1516 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)
	1079.	Cryptographic Hardware and Embedded Systems - CHES 2000 [electronic resource] : Second International Workshop Worcester, MA, USA, August 17-18, 2000 Proceedings / by Koc, Cetin K [editor.] Paar, Christof [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1965 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)
	1080.	FM'99 - Formal Methods [electronic resource] : World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I / by Wing, Jeannette M [editor.] Woodcook, Jim [editor.] Davies, Jim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1708 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 1124 results.