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

Results
	5181.	Bioinformatics [electronic resource] : German Conference on Bioinformatics, GCB' 96, Leipzig, Germany, September 30 - October 2, 1996. Selected Papers / by Hofestädt, Ralf [editor.] Lengauer, Thomas [editor.] Löffler, Markus [editor.] Schomburg, Dietmar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1278 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)
	5182.	Spatial Information Theory A Theoretical Basis for GIS [electronic resource] : International Conference COSIT '97, Laurel Highlands, Pennsylvania, USA, October 15-18, 1997. Proceedings / by Hirtle, Stephen C [editor.] Frank, Andrew U [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1329 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)
	5183.	Automated Deduction in Geometry [electronic resource] : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers / by Winkler, Franz [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2930 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)
	5184.	Frontiers of Combining Systems [electronic resource] : Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings / by Kirchner, Helene [editor.] Ringeissen, Christophe [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1794 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)
	5185.	Machine Learning: ECML 2002 [electronic resource] : 13th European Conference on Machine Learning, Helsinki, Finland, August 19-23, 2002. Proceedings / by Elomaa, Tapio [editor.] Mannila, Heikki [editor.] Toivonen, Hannu [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2430 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)
	5186.	Compiler Construction [electronic resource] : 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings / by Hedin, Görel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2622 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)
	5187.	Network Calculus [electronic resource] : A Theory of Deterministic Queuing Systems for the Internet / by Le Boudec, Jean-Yves [author.] Thiran, Patrick [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2050 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)
	5188.	Artificial Evolution [electronic resource] : 5th International Conference, Evolution Artificielle, EA 2001, Le Creusot, France, October 29-31, 2001. Selected Papers / by Collet, Pierre [editor.] Fonlupt, Cyril [editor.] Hao, Jin-Kao [editor.] Lutton, Evelyne [editor.] Schoenauer, Marc [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2310 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)
	5189.	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)
	5190.	Genetic Programming [electronic resource] : 6th European Conference, EuroGP 2003, Essex, UK, April 14-16, 2003. Proceedings / by Ryan, Conor [editor.] Soule, Terence [editor.] Poli, Riccardo [editor.] Tsang, Edward [editor.] Keijzer, Maarten [editor.] Costa, Ernesto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2610 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)
	5191.	Euro-Par 2002. Parallel Processing [electronic resource] : 8th International Euro-Par Conference Paderborn, Germany, August 27-30, 2002 Proceedings / by Monien, Burkhard [editor.] Feldmann, Rainer [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2400 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)
	5192.	Advanced Information Systems Engineering [electronic resource] : 13th International Conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001. Proceedings / by Dittrich, Klaus R [editor.] Geppert, Andreas [editor.] Norrie, Moira C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2068 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)
	5193.	Neural Nets [electronic resource] : 14th Italian Workshop on Neural Nets, WIRN VIETRI 2003, Vietri sul Mare, Italy, June 4-7, 2003, Revised Papers / by Apolloni, Bruno [editor.] Marinaro, Maria [editor.] Tagliaferri, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2859 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)
	5194.	Generalized Quantifiers and Computation [electronic resource] : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures / by Väänänen, Jouko [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1754 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)
	5195.	Design and Control of Workflow Processes [electronic resource] : Business Process Management for the Service Industry / by Reijers, Hajo A [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2617 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)
	5196.	Semantics, Applications, and Implementation of Program Generation [electronic resource] : International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings / by Taha, Walid [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1924 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)
	5197.	Automata Implementation [electronic resource] : 4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers / by Boldt, Oliver [editor.] Jürgensen, Helmut [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2214 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)
	5198.	Energy Minimization Methods in Computer Vision and Pattern Recognition [electronic resource] : Third International Workshop, EMMCVPR 2001, Sophia Antipolis France, September 3-5, 2001. Proceedings / by Figueiredo, Mario [editor.] Zerubia, Josiane [editor.] Jain, Anil K [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2134 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)
	5199.	Algorithms for Memory Hierarchies [electronic resource] : Advanced Lectures / by Meyer, Ulrich [editor.] Sanders, Peter [editor.] Sibeyn, Jop [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2625 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)
	5200.	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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.