FEEDBACK Smiley face

Your search returned 3 results. Subscribe to this search

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

2. Trustworthly Global Computing [electronic resource] :5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers /

by Wirsing, Martin [editor.] | Hofmann, Martin [editor.] | Rauschmayer, Axel [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

3. Foundations of Software Science and Computational Structures [electronic resource] :14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. 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, 2011.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