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

Results
	5461.	Combinatorial Pattern Matching [electronic resource] : 12th Annual Symposium, CPM 2001 Jerusalem, Israel, July 1-4, 2001 Proceedings / by Amir, Amihood [editor.] Landau, Gad M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2089 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)
	5462.	Evolvable Systems: From Biology to Hardware [electronic resource] : Third International Conference, ICES 2000, Edinburgh, Scotland, UK, April 17-19, 2000 Proceedings / by Miller, Julian F [editor.] Thompson, Adrian [editor.] Thomson, Peter [editor.] Fogarty, Terence C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1801 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)
	5463.	Digital Libraries: People, Knowledge, and Technology [electronic resource] : 5th International Conference on Asian Digital Libraries, ICADL 2002, Singapore, December 11-14, 2002, Proceedings / by Lim, Ee-Peng [editor.] Foo, Schubert [editor.] Khoo, Chris [editor.] Chen, Hsinchun [editor.] Fox, Edward [editor.] Shalini, Urs [editor.] Thanos, Costanino [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2555 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)
	5464.	CONCUR 2003 - Concurrency Theory [electronic resource] : 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings / by Amadio, Roberto [editor.] Lugiez, Denis [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2761 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)
	5465.	Grid Computing - GRID 2000 [electronic resource] : First IEEE/ACM International Workshop Bangalore, India, December 17, 2000 Proceedings / by Buyya, Rajkumar [editor.] Baker, Marc [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1971 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)
	5466.	Network-Based Parallel Computing Communication, Architecture, and Applications [electronic resource] : Third International Workshop, CANPC'99, Orlando, Florida, USA, January 9th, 1999, Proceedings / by Sivasubramaniam, Anand [editor.] Lauria, Mario [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1602 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)
	5467.	String Processing and Information Retrieval [electronic resource] : 9th International Symposium, SPIRE 2002, Lisbon, Portugal, September 11-13, 2002 Proceedings / by Laender, Alberto H.F [editor.] Oliveira, Arlindo L [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2476 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)
	5468.	Computing and Combinatorics [electronic resource] : 7th Annual International Conference, COCOON 2001, Guilin, China, August 20-23, 2001, Proceedings / by Wang, Jie [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2108 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)
	5469.	Evolutionary Programming VII [electronic resource] : 7th International Conference, EP98, San Diego, California, USA, March 25–27, 1998 Proceedings / by Porto, V.W [editor.] Saravanan, N [editor.] Waagen, D [editor.] Eiben, A.E [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1447 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)
	5470.	Engineering Applications of Bio-Inspired Artificial Neural Networks [electronic resource] : International Work-Conference on Artificial and Natural Neural Networks, IWANN'99, Alicante, Spain, June 2-4, 1999, Proceedings, Volume II / by Mira, Jose [editor.] Sanchez-Andres, Juan V [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1607 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)
	5471.	Performance Evaluation of Complex Systems: Techniques and Tools [electronic resource] : Performance 2002. Tutorial Lectures / by Calzarossa, Maria Carla [editor.] Tucci, Salvatore [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2459 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)
	5472.	FME 2001: Formal Methods for Increasing Software Productivity [electronic resource] : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings / by Oliveira, Jose N [editor.] Zave, Pamela [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2021 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)
	5473.	Interactive Systems. Design, Specification, and Verification [electronic resource] : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers / by Jorge, Joaquim [editor.] Jardim Nunes, Nuno [editor.] Falcao e Cunha, Joao [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2844 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)
	5474.	Technologies for E-Services [electronic resource] : 4th International Workshop, TES 2003, Berlin, Germany, September 8, 2003, Proceedings / by Benatallah, Boualem [editor.] Shan, Min-Chien [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2819 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)
	5475.	Automata, Languages and Programming [electronic resource] : 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings / by Orejas, Fernando [editor.] Spirakis, Paul G [editor.] Leeuwen, Jan van [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2076 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)
	5476.	Computer Science Logic [electronic resource] : 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings / by Clote, Peter G [editor.] Schwichtenberg, Helmut [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1862 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)
	5477.	Artificial Immune Systems [electronic resource] : Second International Conference, ICARIS 2003, Edinburgh, UK, September 1-3, 2003, Proceedings / by Timmis, Jon [editor.] Bentley, Peter [editor.] Hart, Emma [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2787 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)
	5478.	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)
	5479.	Lectures on Proof Verification and Approximation Algorithms [electronic resource] / by Mayr, Ernst W [editor.] Prömel, Hans Jürgen [editor.] Steger, Angelika [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1367 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)
	5480.	Advances in Cryptology - ASIACRYPT 2002 [electronic resource] : 8th International Conference on the Theory and Application of Cryptology and Information Security, Queenstown, New Zealand, December 1-5, 2002, Proceedings / by Zheng, Yuliang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2501 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.