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

Results
	361.	Advances in Cryptology - CRYPTO 2001 [electronic resource] : 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19-23, 2001, Proceedings / by Kilian, Joe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2139 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)
	362.	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)
	363.	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)
	364.	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)
	365.	Interactive Markov Chains [electronic resource] : The Quest for Quantified Quality / by Hermanns, Holger [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2428 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)
	366.	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)
	367.	Advances in Cryptology – EUROCRYPT '98 [electronic resource] : International Conference on the Theory and Application of Cryptographic Techniques, Espoo, Finland, May 31 - June 4, 1998, Proceedings / by Nyberg, Kaisa [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1403 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)
	368.	Network-Based Parallel Computing. Communication, Architecture, and Applications [electronic resource] : Second International Workshop, CANPC'98, Las Vegas, Nevada, USA, January 31 - February 1, 1998, Proceedings / by Panda, Dhabaleswar K [editor.] Stunkel, Craig B [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1362 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)
	369.	Middleware 2001 [electronic resource] : IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12-16, 2001, Proceedings / by Guerraoui, Rachid [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2218 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)
	370.	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)
	371.	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)
	372.	Parallel and Distributed Processing [electronic resource] : 11th IPPS/SPDP’99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing San Juan, Puerto Rico, USA, April 12–16, 1999 Proceedings / by Rolim, Jose [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1586 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)
	373.	Distributed Computing [electronic resource] : 16th International Conference, DISC 2002. Toulouse, France, October 28-30, 2002, Proceedings / by Malkhi, Dahlia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2508 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)
	374.	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)
	375.	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)
	376.	Computer Performance Evaluation: Modelling Techniques and Tools [electronic resource] : Modelling Techniques and Tools. 12th International Conference, TOOLS 2002 London, UK, April 14-17, 2002 Proceedings / by Field, Tony [editor.] Harrison, Peter G [editor.] Bradley, Jeremy [editor.] Harder, Uli [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2324 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)
	377.	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)
	378.	Parallel Computing Technologies [electronic resource] : 5th International Conference, PaCT-99, St. Petersburg, Russia, September 6-10, 1999 Proceedings / by Malyshkin, Victor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1662 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)
	379.	DNA Computing [electronic resource] : 7th International Workshop on DNA-Based Computers, DNA7, Tampa, FL, USA, June 10-13, 2001, Revised Papers / by Jonoska, Natasa [editor.] Seeman, Nadriaan C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2340 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)
	380.	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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 426 results.