Results of search for 'ccl=su:{Symbolic and Algebraic Manipulation.}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	221.	Generic Programming [electronic resource] : International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers / by Jazayeri, Mehdi [editor.] Loos, Rüdiger G.K [editor.] Musser, David R [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1766 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)
	222.	TAPSOFT'97: Theory and Practice of Software Development [electronic resource] : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings / by Bidoit, Michel [editor.] Dauchet, Max [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1214 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)
	223.	Algorithmic Number Theory [electronic resource] : 4th International Symposium, ANTS-IV Leiden, The Netherlands, July 2-7, 2000 Proceedings / by Bosma, Wieb [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1838 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)
	224.	Algebraic Methodology and Software Technology [electronic resource] : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings / by Rattray, Charles [editor.] Maharaj, Savitri [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3116 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)
	225.	Recent Trends in Algebraic Development Techniques [electronic resource] : 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers / by Cerioli, Maura [editor.] Reggio, Gianna [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2267 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)
	226.	Principles of Data Mining and Knowledge Discovery [electronic resource] : 4th European Conference, PKDD, 2000, Lyon, France, September 13-16, 2000 Proceedings / by Zighed, Djamel A [editor.] Komorowski, Jan [editor.] Zytkow, Jan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1910 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)
	227.	Artificial Intelligence and Symbolic Computation [electronic resource] : 7th International Conference, AISC 2004 Linz, Austria, September 22–24, 2004 Proceedings / by Buchberger, Bruno [editor.] Campbell, John A [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3249 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)
	228.	Algorithmic Number Theory [electronic resource] : 6th International Symposium, ANTS-VI, Burlington, VT, USA, June 13-18, 2004, Proceedings / by Buell, Duncan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3076 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)
	229.	Rewriting Techniques and Applications [electronic resource] : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings / by Bachmair, Leo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1833 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)
	230.	Rewriting Techniques and Applications [electronic resource] : 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings / by Middeldorp, Aart [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2051 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)
	231.	Rewriting Techniques and Applications [electronic resource] : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings / by Tison, Sophie [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2378 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)
	232.	Fast Software Encryption [electronic resource] : 10th International Workshop, FSE 2003, LUND, Sweden, February 24-26, 2003, Revised Papers / by Johansson, Thomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2887 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)
	233.	Computational Logic: Logic Programming and Beyond [electronic resource] : Essays in Honour of Robert A. Kowalski, Part II / by Kakas, Antonis C [editor.] Sadri, Fariba [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2408 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)
	234.	Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 15th International Symposium, AAECC-15, Toulouse, France, May 12-16, 2003, Proceedings / by Fossorier, Marc [editor.] Hoeholdt, Tom [editor.] Poli, Alain [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2643 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)
	235.	Algorithmic Number Theory [electronic resource] : Third International Symposium, ANTS-III, Portland, Orgeon, USA, June 21-25, 1998, Proceedings / by Buhler, Joe P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1423 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)
	236.	Mathematics of Surfaces [electronic resource] : 10th IMA International Conference, Leeds, UK, September 15-17, 2003, Proceedings / by Wilson, Michael J [editor.] Martin, Ralph R [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2768 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)
	237.	Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 12th International Symposium, AAECC-12, Toulouse, France, June, 23-27, 1997, Proceedings / by Mora, Teo [editor.] Mattson, Harold F [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1255 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)
	238.	Artificial Intelligence and Symbolic Computation [electronic resource] : International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers / by Campbell, John A [editor.] Roanes-Lozano, Eugenio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1930 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)
	239.	Rewriting Techniques and Applications [electronic resource] : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings / by Comon, Hubert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1232 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)
	240.	Rewriting Techniques and Applications [electronic resource] : 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings / by Narendran, Paliath [editor.] Rusinowitch, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1631 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 244 results.