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

Results
	5341.	Databases in Telecommunications [electronic resource] : International Workshop, Co-located with VLDB-99 Edinburgh, Scotland, UK, September 6th, 1999, Proceedings / by Jonker, Willem [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1819 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)
	5342.	Languages, Compilers, and Run-Time Systems for Scalable Computers [electronic resource] : 4th International Workshop, LCR ’98 Pittsburgh, PA, USA, May 28–30, 1998 Selected Papers / by O'Hallaron, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1511 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)
	5343.	High Performance Computing [electronic resource] : Second International Symposium, ISHPC'99, Kyoto, Japan, May 26-28, 1999, Proceedings / by Polychronopoulos, Constantine [editor.] Joe, Kazuki [editor.] Fukuda, Akira [editor.] Tomita, Shinji [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1615 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)
	5344.	Compiler Construction [electronic resource] : 7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceedings / by Koskimies, Kai [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1383 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)
	5345.	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)
	5346.	Cryptography and Coding [electronic resource] : 7th IMA International Conference, Cirencester, UK, December 20-22, 1999 Proceedings / by Walker, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1746 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)
	5347.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings / by Brinksma, Ed [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1217 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)
	5348.	Database Theory - ICDT'99 [electronic resource] : 7th International Conference, Jerusalem, Israel, January 10-12, 1999, Proceedings / by Beeri, Catriel [editor.] Buneman, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1540 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)
	5349.	Genetic Programming [electronic resource] : 5th European Conference, EuroGP 2002, Kinsale, Ireland, April 3-5, 2002. Proceedings / by Foster, James A [editor.] Lutton, Evelyne [editor.] Miller, Julian F [editor.] Ryan, Conor [editor.] Tezzamanzi, Andra G.B [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2278 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)
	5350.	Mobile Data Access [electronic resource] : First International Conference, MDA'99, Hong Kong, China, December 16-17, 1999 Proceedings / by Leong, Hong Va [editor.] Lee, Wang-Chien [editor.] Li, Bo [editor.] Yin, Li [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1748 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)
	5351.	Database Theory - ICDT 2003 [electronic resource] : 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings / by Calvanese, Diego [editor.] Lenzerini, Maurizio [editor.] Motwani, Rajeev [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2572 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)
	5352.	Computational Intelligence. Theory and Applications [electronic resource] : International Conference, 7th Fuzzy Days Dortmund, Germany, October 1-3, 2001 Proceedings / by Reusch, Bernd [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2206 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)
	5353.	High Performance Computing - HiPC 2001 [electronic resource] : 8th International Conference, Hyderabad, India, December, 17-20, 2001. Proceedings / by Monien, Burkhard [editor.] Prasanna, Viktor K [editor.] Vajapeyam, Sriram [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2228 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)
	5354.	Algebraic Methodology and Software Technology [electronic resource] : 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings / by Kirchner, Helene [editor.] Ringeissen, Christophe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2422 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)
	5355.	Rewriting Techniques and Applications [electronic resource] : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings / by Nipkow, Tobias [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1379 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)
	5356.	Cryptography and Coding [electronic resource] : 6th IMA International Conference, Cirencester, UK, December 17-19, 1997, Proceedings / by Darnell, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1355 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)
	5357.	Theoretical Computer Science [electronic resource] : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings / by Restivo, Antonio [editor.] Ronchi Della Rocca, Simona [editor.] Roversi, Luca [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2202 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)
	5358.	Quantum Computing and Quantum Communications [electronic resource] : First NASA International Conference, QCQC '98, Palm Springs, California, USA, February 17-20, 1998, Selected Papers / by Williams, Colin P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1509 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)
	5359.	Multiple Classifier Systems [electronic resource] : First International Workshop, MCS 2000 Cagliari, Italy, June 21-23, 2000 Proceedings / by Kittler, Josef [editor.] Roli, Fabio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1857 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)
	5360.	Automata, Languages and Programming [electronic resource] : 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings / by Degano, Pierpaolo [editor.] Gorrieri, Roberto [editor.] Marchetti-Spaccamela, Alberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1256 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.