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

Results
	5781.	Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 13th International Symposium, AAECC-13 Honolulu, Hawaii, USA, November 15-19, 1999 Proceedings / by Fossorier, Marc [editor.] Imai, Hideki [editor.] Lin, Shu [editor.] Poli, Alain [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1719 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)
	5782.	Logical Foundations of Computer Science [electronic resource] : 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings / by Adian, Sergei [editor.] Nerode, Anil [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1234 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)
	5783.	Artificial Neural Networks and Neural Information Processing — ICANN/ICONIP 2003 [electronic resource] : Joint International Conference ICANN/ICONIP 2003, Istanbul, Turkey, June 26–29, 2003, Proceedings / by Kaynak, Okyay [editor.] Alpaydin, Ethem [editor.] Oja, Erkki [editor.] Xu, Lei [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2714 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)
	5784.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings / by Katoen, Joost-Pieter [editor.] Stevens, Perdita [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2280 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)
	5785.	Mathematical Foundations of Computer Science 2002 [electronic resource] : 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002. Proceedings / by Diks, Krzystof [editor.] Rytter, Wojciech [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2420 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)
	5786.	Digital Cities II: Computational and Sociological Approaches [electronic resource] : Second Kyoto Workshop on Digital Cities, Kyoto, Japan, October 18-20, 2001. Revised Papers / by Tanabe, Makoto [editor.] Besselaar, Peter van den [editor.] Ishida, Toru [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2362 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)
	5787.	Euro-Par 2000 Parallel Processing [electronic resource] : 6th International Euro-Par Conference Munich, Germany, August 29 – September 1, 2000 Proceedings / by Bode, Arndt [editor.] Ludwig, Thomas [editor.] Karl, Wolfgang [editor.] Wismüller, Roland [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1900 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)
	5788.	Cryptography and Lattices [electronic resource] : International Conference, CaLC 2001, Providence, RI, USA, March 29-30, 2001. Revised Papers / by Silverman, Joseph H [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2146 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)
	5789.	Cellular Automata [electronic resource] : 6th International Conference on Cellular Automata for Research and Industry, ACRI 2004, Amsterdam, The Netherlands, October 25-28, 2004. Proceedings / by Sloot, Peter M.A [editor.] Chopard, Bastien [editor.] Hoekstra, Alfons G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3305 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5790.	Selected Areas in Cryptography [electronic resource] : 6th Annual International Workshop, SAC'99 Kingston, Ontario, Canada, August 9-10, 1999 Proceedings / by Heys, Howard [editor.] Adams, Carlisle [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1758 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)
	5791.	The Human Society and the Internet: Internet Related Socio-Economic Issues [electronic resource] : First International Conference, Human.Society.Internet 2001, Seoul, Korea, July 4-6 2001. Proceedings / by Kim, Won [editor.] Ling, Tok-Wang [editor.] Lee, Yoon-Joon [editor.] Park, Seung-Soo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2105 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)
	5792.	Evolvable Systems: From Biology to Hardware [electronic resource] : 4th International Conference, ICES 2001 Tokyo, Japan, October 3-5, 2001 Proceedings / by Tanaka, Kiyoshi [editor.] Iwata, Masaya [editor.] Higuchi, Tetsuya [editor.] Yasunaga, Moritoshi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2210 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)
	5793.	Computer Science Logic [electronic resource] : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers / by Nielsen, Mogens [editor.] Thomas, Wolfgang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1414 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)
	5794.	Automata, Languages and Programming [electronic resource] : 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002. Proceedings / by Widmayer, Peter [editor.] Triguero, Francisco [editor.] Morales, Rafael [editor.] Hennessy, Matthew [editor.] Eidenbenz, Stephan [editor.] Conejo, Ricardo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2380 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)
	5795.	Programming Languages and Systems [electronic resource] : 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings / by Le Metayer, Daniel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2305 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)
	5796.	Computer Science Logic [electronic resource] : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September / by Bradfield, Julian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2471 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)
	5797.	Electronic Publishing, Artistic Imaging, and Digital Typography [electronic resource] : 7th International Conference on Electronic Publishing, EP'98 Held Jointly with the 4th International Conference on Raster Imaging and Digital Typography, RIDT '98, St. Malo France, March 30 - April 3, 1998 / by Hersch, Roger [editor.] Andre, Jacques [editor.] Brown, Heather [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1375 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)
	5798.	A Generative Theory of Shape [electronic resource] / by Leyton, Michael [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2145 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)
	5799.	Deductive and Object-Oriented Databases [electronic resource] : 5th International Conference, DOOD'97, Montreux, Switzerland, December 8-12, 1997. Proceedings / by Bry, Francois [editor.] Ramakrishnan, Raghu [editor.] Ramamohanarao, Kotagiri [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1341 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)
	5800.	Foundation of Software Science and Computation Structures [electronic resource] : Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings / by Tiuryn, Jerzy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1784 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.