FEEDBACK Smiley face

Your search returned 31 results. Subscribe to this search

|
1. Automated Deduction in Geometry [electronic resource] :International Workshop on Automated Deduction in Geometry Toulouse, France, September 27–29, 1996 Selected Papers /

by Wang, Dongming [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

2. Automated Deduction in Geometry [electronic resource] :Second International Workshop, ADG’98 Beijing, China, August 1–3, 1998 Proceedings /

by Gao, Xiao-Shan [author.] | Wang, Dongming [author.] | Yang, Lu [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

3. Fundamentals of Computation Theory [electronic resource] :13th International Symposium, FCT 2001 Riga, Latvia, August 22–24, 2001 Proceedings /

by Freivalds, Rūsiņš [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available

4. Automated Deduction in Geometry [electronic resource] :Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers /

by Richter-Gebert, Jürgen [editor.] | Wang, Dongming [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available

5. Algorithms and Complexity [electronic resource] :5th Italian Conference, CIAC 2003, Rome, Italy, May 28–30, 2003. Proceedings /

by Petreschi, Rossella [editor.] | Persiano, Giuseppe [editor.] | Silvestri, Riccardo [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.Online access: Click here to access online Availability: No items available

6. Fuzzy Sets and Systems — IFSA 2003 [electronic resource] :10th International Fuzzy Systems Association World Congress Istanbul, Turkey, June 30 – July 2, 2003 Proceedings /

by Bilgiç, Taner [editor.] | Baets, Bernard De [editor.] | Kaynak, Okyay [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.Online access: Click here to access online Availability: No items available

7. Fundamentals of Computation Theory [electronic resource] :14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003. Proceedings /

by Lingas, Andrzej [editor.] | Nilsson, Bengt J [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.Online access: Click here to access online Availability: No items available

8. 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).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available

9. Fundamentals of Computation Theory [electronic resource] :15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005. Proceedings /

by Liśkiewicz, Maciej [editor.] | Reischuk, Rüdiger [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: No items available

10. Automated Deduction in Geometry [electronic resource] :5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers /

by Hong, Hoon [editor.] | Wang, Dongming [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: No items available

11. Geometric Modeling and Processing - GMP 2006 [electronic resource] :4th International Conference, Pittsburgh, PA, USA, July 26-28, 2006. Proceedings /

by Kim, Myung-Soo [editor.] | Shimada, Kenji [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: No items available

12. Fundamentals of Computation Theory [electronic resource] :16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings /

by Csuhaj-Varjú, Erzsébet [editor.] | Ésik, Zoltán [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: No items available

13. Automated Deduction in Geometry [electronic resource] :6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers /

by Botana, Francisco [editor.] | Recio, Tomas [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: No items available

14. Advances in Geometric Modeling and Processing [electronic resource] :5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 2008. Proceedings /

by Chen, Falai [editor.] | Jüttler, Bert [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available

15. Graph Theory, Computational Intelligence and Thought [electronic resource] :Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday /

by Lipshteyn, Marina [editor.] | Levit, Vadim E [editor.] | McConnell, Ross M [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.Online access: Click here to access online Availability: No items available

16. Automated Deduction in Geometry [electronic resource] :7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers /

by Sturm, Thomas [editor.] | Zengler, Christoph [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.Online access: Click here to access online Availability: No items available

17. Functional and Constraint Logic Programming [electronic resource] :20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings /

by Kuchen, Herbert [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.Online access: Click here to access online Availability: No items available

18. Automated Deduction in Geometry [electronic resource] :8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers /

by Schreck, Pascal [editor.] | Narboux, Julien [editor.] | Richter-Gebert, Jürgen [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.Online access: Click here to access online Availability: No items available

19. Logical Aspects of Computational Linguistics [electronic resource] :7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings /

by Béchet, Denis [editor.] | Dikovsky, Alexander [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.Online access: Click here to access online Availability: No items available

20. Logic, Language and Meaning [electronic resource] :18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011, Revised Selected Papers /

by Aloni, Maria [editor.] | Kimmelman, Vadim [editor.] | Roelofsen, Floris [editor.] | Sassoon, Galit W [editor.] | Schulz, Katrin [editor.] | Westera, Matthijs [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in