FEEDBACK Smiley face

Your search returned 38 results. Subscribe to this search

|
1. Typed Lambda Calculi and Applications [electronic resource] :Third International Conference on Typed Lambda Calculi and Applications TLCA '97 Nancy, France, April 2–4, 1997 Proceedings /

by Groote, Philippe de [editor.] | Roger Hindley, 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, 1997.Online access: Click here to access online Availability: No items available

2. Typed Lambda Calculi and Applications [electronic resource] :4th International Conference, TLCA’99 L’Aquila, Italy, April 7–9, 1999 Proceedings /

by Girard, Jean-Yves [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

3. DNA Computing [electronic resource] :6th InternationalWorkshop 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).

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. Computability and Complexity in Analysis [electronic resource] :4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers /

by Blanck, Jens [editor.] | Brattka, Vasco [editor.] | Hertling, Peter [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. 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

6. Algorithmic Learning Theory [electronic resource] :12th International Conference, ALT 2001 Washington, DC, USA, November 25–28, 2001 Proceedings /

by Abe, Naoki [editor.] | Khardon, Roni [editor.] | Zeugmann, Thomas [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

7. Logic Programming [electronic resource] :18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 Proceedings /

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

8. Logic Programming [electronic resource] :19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings /

by Palamidessi, Catuscia [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

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

10. Program Development in Computational Logic [electronic resource] :A Decade of Research Advances in Logic-Based Program Development /

by Bruynooghe, Maurice [editor.] | Lau, Kung-Kiu [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

11. Logic Programming [electronic resource] :20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings /

by Demoen, Bart [editor.] | Lifschitz, Vladimir [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. Rewriting, Computation and Proof [electronic resource] :Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday /

by Comon-Lundh, Hubert [editor.] | Kirchner, Claude [editor.] | Kirchner, Hélène [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. Logic, Language, Information and Computation [electronic resource] :15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /

by Hodges, Wilfrid [editor.] | Queiroz, Ruy de [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

14. Algebraic Methodology and Software Technology [electronic resource] :12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /

by Meseguer, José [editor.] | Roşu, Grigore [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. Logic Programming [electronic resource] :24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

by Garcia de la Banda, Maria [editor.] | Pontelli, Enrico [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, 2008.Online access: Click here to access online Availability: No items available

16. Quantum Interaction [electronic resource] :Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings /

by Bruza, Peter [editor.] | Sofge, Donald [editor.] | Lawless, William [editor.] | Rijsbergen, Keith van [editor.] | Klusch, Matthias [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, 2009.Online access: Click here to access online Availability: No items available

17. Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] :10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings /

by Sossai, Claudio [editor.] | Chemello, Gaetano [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

18. Transactions on Petri Nets and Other Models of Concurrency III [electronic resource] /

by Jensen, Kurt [editor.] | Billington, Jonathan [editor.] | Koutny, Maciej [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, 2009.Online access: Click here to access online Availability: No items available

19. Rigorous Methods for Software Construction and Analysis [electronic resource] :Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday /

by Abrial, Jean-Raymond [editor.] | Glässer, Uwe [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, 2009.Online access: Click here to access online Availability: No items available

20. Logic, Language, Information and Computation [electronic resource] :17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings /

by Dawar, Anuj [editor.] | Queiroz, Ruy de [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, 2010.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