FEEDBACK Smiley face

Your search returned 47 results. Subscribe to this search

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

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. Computational Logic and Proof Theory [electronic resource] :5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings /

by Gottlob, Georg [editor.] | Leitsch, Alexander [editor.] | Mundici, Daniele [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

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

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

4. Logic for Programming and Automated Reasoning [electronic resource] :7th International Conference, LPAR 2000 Reunion Island, France, November 6–10, 2000 Proceedings /

by Parigot, Michel [editor.] | Voronkov, Andrei [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, 2000.Online access: Click here to access online Availability: No items available

5. FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science [electronic resource] :20th Conference New Delhi, India, December 13–15, 2000 Proceedings /

by Kapoor, Sanjiv [editor.] | Prasad, Sanjiva [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, 2000.Online access: Click here to access online Availability: No items available

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

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

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

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

8. Typed Lambda Calculi and Applications [electronic resource] :5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings /

by Abramsky, Samson [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

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

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

10. Typed Lambda Calculi and Applications [electronic resource] :6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings /

by Hofmann, Martin [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

11. Rewriting Techniques and Applications [electronic resource] :15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings /

by Oostrom, Vincent van [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

12. Formal Methods in Software and Systems Modeling [electronic resource] :Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /

by Kreowski, Hans-Jörg [editor.] | Montanari, Ugo [editor.] | Orejas, Fernando [editor.] | Rozenberg, Grzegorz [editor.] | Taentzer, Gabriele [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

13. Term Rewriting and Applications [electronic resource] :16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings /

by Giesl, 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, 2005.Online access: Click here to access online Availability: No items available

14. Types for Proofs and Programs [electronic resource] :International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /

by Filliâtre, Jean-Christophe [editor.] | Paulin-Mohring, Christine [editor.] | Werner, Benjamin [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

15. Term Rewriting and Applications [electronic resource] :17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings /

by Pfenning, Frank [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

16. Term Rewriting and Applications [electronic resource] :18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings /

by Baader, 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, 2007.Online access: Click here to access online Availability: No items available

17. Types for Proofs and Programs [electronic resource] :International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /

by Altenkirch, Thorsten [editor.] | McBride, Conor [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

18. Types for Proofs and Programs [electronic resource] :International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers /

by Miculan, Marino [editor.] | Scagnetto, Ivan [editor.] | Honsell, Furio [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

19. Rewriting Techniques and Applications [electronic resource] :19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings /

by Voronkov, Andrei [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

20. Conceptual Structures: Knowledge Visualization and Reasoning [electronic resource] :16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings /

by Eklund, Peter [editor.] | Haemmerlé, Ollivier [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


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