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

Results
	1041.	Cryptographic Hardware and Embedded Systems -- CHES 2003 [electronic resource] : 5th International Workshop, Cologne, Germany, September 8-10, 2003, Proceedings / by Walter, Colin D [editor.] Koc, Cetin K [editor.] Paar, Christof [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2779 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)
	1042.	Lectures on Embedded Systems [electronic resource] : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 / by Rozenberg, Grzegorz [editor.] Vaandrager, Frits W [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1494 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)
	1043.	Software Engineering - ESEC-FSE '97 [electronic resource] : 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Zürich, Switzerland, September 22-25, 1997. Proceedings / by Jazayeri, Mehdi [editor.] Schauer, Helmut [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1301 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)
	1044.	Hybrid Systems: Computation and Control [electronic resource] : 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings / by Di Benedetto, Maria D [editor.] Sangiovanni-Vincentelli, Alberto L [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2034 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)
	1045.	Cryptographic Hardware and Embedded Systems - CHES 2001 [electronic resource] : Third International Workshop, Paris, France, May 14-16, 2001 Proceedings / by Koc, Cetin K [editor.] Nacchae, David [editor.] Paar, Christof [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2162 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)
	1046.	Virtual Storytelling; Using Virtual Reality Technologies for Storytelling [electronic resource] : Second International Conference, ICVS 2003, Toulouse, France, November 20-21, 2003, Proceedings / by Balet, Olivier [editor.] Subsol, Gérard [editor.] Torguet, Patrice [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2897 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)
	1047.	Abstract Compositional Analysis of Iterated Relations [electronic resource] : A Structural Approach to Complex State Transition Systems / by Geurts, Frederic [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1426 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)
	1048.	Information Security [electronic resource] : 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003, Proceedings / by Boyd, Colin [editor.] Mao, Wenbo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2851 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)
	1049.	UbiComp 2002: Ubiquitous Computing [electronic resource] : 4th International Conference, Göteborg, Sweden, September 29 - October 1, 2002. Proceedings / by Borriello, Gaetano [editor.] Holmquist, Lars E [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2498 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)
	1050.	Computer Aided Systems Theory - EUROCAST'99 [electronic resource] : A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2, 1999 Proceedings / by Pichler, Franz [editor.] Moreno-Diaz, Roberto [editor.] Kopacek, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1798 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)
	1051.	Hybrid and Real-Time Systems [electronic resource] : International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings / by Maler, Oded [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1201 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)
	1052.	Active, Real-Time, and Temporal Database Systems [electronic resource] : Second International Workshop, ARTDB'97, Como, Italy, September 8-9, 1997, Proceedings / by Andler, Sten F [editor.] Hansson, Jörgen [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1553 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)
	1053.	Computer Aided Systems Theory - EUROCAST 2001 [electronic resource] : A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers / by Moreno-Diaz, Roberto [editor.] Buchberger, Bruno [editor.] Freire, Jose-Luis [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2178 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)
	1054.	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)
	1055.	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)
	1056.	Hybrid Systems: Computation and Control [electronic resource] : 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings / by Tomlin, Claire J [editor.] Greenstreet, Mark R [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2289 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)
	1057.	Formal Methods for Real-Time and Probabilistic Systems [electronic resource] : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings / by Katoen, Jost-Pieter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1601 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)
	1058.	FM'99 - Formal Methods [electronic resource] : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II / by Wing, Jeannette M [editor.] Woodcook, Jim [editor.] Davies, Jim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1709 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)
	1059.	Hybrid Systems IV [electronic resource] / by Antsaklis, Panos [editor.] Kohn, Wolf [editor.] Nerode, Anil [editor.] Sastry, Shankar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1273 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)
	1060.	SDL 2003: System Design [electronic resource] : 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings / by Reed, Rick [editor.] Reed, Jeanne [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2708 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

Item types

Series

Topics

Your search returned 1124 results.