Results of search for 'ccl=Provider:Springer, and su-ut:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	7741.	Foundations of Computer Science [electronic resource] : Potential-Theory-Cognition / by Freksa, Christian [editor.] Jantzen, Matthias [editor.] Valk, Rüdiger [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1337 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)
	7742.	Theorem Proving in Higher Order Logics [electronic resource] : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings / by Carreno, Victor A [editor.] Munoz, Cesar A [editor.] Tahar, Sofiene [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2410 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)
	7743.	Graph-Theoretic Concepts in Computer Science [electronic resource] : 22nd International Workshop, WG '96, Cadenabbia, Italy, June 12-14, 1996, Proceedings / by D'Amore, Fabrizio [editor.] Franciosa, Paolo Giulio [editor.] Marchetti-Spaccamela, Alberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1197 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)
	7744.	Implementation and Application of Automata [electronic resource] : 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers / by Yu, Sheng [editor.] Paun, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2088 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)
	7745.	Principles of Data Mining and Knowledge Discovery [electronic resource] : 6th European Conference, PKDD 2002, 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 ; 2431 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)
	7746.	Graph Drawing [electronic resource] : 8th International Symposium, GD 2000, Colonial Williamsburg, VA, USA, September 20-23, 2000, Proceedings / by Marks, Joe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1984 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)
	7747.	Graph Based Representations in Pattern Recognition [electronic resource] : 4th IAPR International Workshop, GbRPR 2003, York, UK, June 30 - July 2, 2003. Proceedings / by Hancock, Edwin [editor.] Vento, Mario [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2726 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)
	7748.	Dependable Computing [electronic resource] : First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings / by Lemos, Rogério le [editor.] Silva Weber, Taisy [editor.] Camargo Jr., Joao Batista [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2847 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)
	7749.	Languages, Compilers, and Tools for Embedded Systems [electronic resource] : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings / by Davidson, Jack [editor.] Min, Sang Lyul [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1985 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)
	7750.	Computers and Games [electronic resource] : Third International Conference, CG 2002, Edmonton, Canada, July 25-27, 2002, Revised Papers / by Schaeffer, Jonathan [editor.] Müller, Martin [editor.] Björnsson, Yngvi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2883 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)
	7751.	DNA Computing [electronic resource] : 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers / by Condon, Anne [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2054 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)
	7752.	Intelligent Data Engineering and Automated Learning - IDEAL 2000. Data Mining, Financial Engineering, and Intelligent Agents [electronic resource] : Second International Conference Shatin, N.T., Hong Kong, China, December 13-15, 2000. Proceedings / by Leung, Kwong S [editor.] Chan, Lai-wan [editor.] Meng, Helen [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1983 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)
	7753.	Rules and Rule Markup Languages for the Semantic Web [electronic resource] : Second International Workshop, RuleML 2003, Sanibel Island, FL, USA, October 20, 2003, Proceedings / by Schroeder, Michael [editor.] Wagner, Gerd [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2876 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)
	7754.	Rules in Database Systems [electronic resource] : Third International Workshop, RIDS '97, Skövde, Sweden, June 26-28, 1997 Proceedings / by Geppert, Andreas [editor.] Berndtsson, Mikael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1312 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)
	7755.	Embedded Processor Design Challenges [electronic resource] : Systems, Architectures, Modeling, and Simulation - SAMOS / by Deprettere, Ed F [editor.] Vassiliadis, Stamatis [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2268 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)
	7756.	Comparative Evaluation of Multilingual Information Access Systems [electronic resource] : 4th Workshop of the Cross-Language Evaluation Forum, CLEF 2003, Trondheim, Norway, August 21-22, 2003, Revised Selected Papers / by Gonzalo, Julio [editor.] Braschler, Martin [editor.] Kluck, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3237 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)
	7757.	Computational Science — ICCS 2003 [electronic resource] : International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2–4, 2003. Proceedings, Part III / by Sloot, Peter M.A [editor.] Abramson, David [editor.] Bogdanov, Alexander V [editor.] Dongarra, Jack J [editor.] Zomaya, Albert Y [editor.] Gorbachev, Yuriy E [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2659 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)
	7758.	Artificial Neural Networks — ICANN ’97 [electronic resource] : 7th International Conference Lausanne, Switzerland, October 8–10, 1997 Proceedings / by Gerstner, Wulfram [editor.] Germond, Alain [editor.] Hasler, Martin [editor.] Nicoud, Jean-Daniel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1327 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)
	7759.	Progress in Discovery Science [electronic resource] : Final Report of the Japanese Discovery Science Project / by Arikawa, Setsuo [editor.] Shinohara, Ayumi [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2281 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)
	7760.	Petri Net Technology for Communication-Based Systems [electronic resource] : Advances in Petri Nets / by Ehrig, Hartmut [editor.] Reisig, Wolfgang [editor.] Rozenberg, Grzegorz [editor.] Weber, Herbert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2472 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

Places

Topics

Titles

Your search returned 7935 results.