FEEDBACK Smiley face

Your search returned 9 results. Subscribe to this search

|
1. Automata, Languages and Programming [electronic resource] :24th International Colloquium, ICALP '97 Bologna, Italy, July 7–11, 1997 Proceedings /

by Degano, Pierpaolo [editor.] | Gorrieri, Roberto [editor.] | Marchetti-Spaccamela, Alberto [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. Foundations of Security Analysis and Design [electronic resource] :Tutorial Lectures /

by Focardi, Riccardo [editor.] | Gorrieri, Roberto [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

3. Foundations of Security Analysis and Design II [electronic resource] :FOSAD 2001/2002 Tutorial Lectures /

by Focardi, Riccardo [editor.] | Gorrieri, Roberto [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

4. Foundations of Security Analysis and Design III [electronic resource] :FOSAD 2004/2005 Tutorial Lectures /

by Aldini, Alessandro [editor.] | Gorrieri, Roberto [editor.] | Martinelli, Fabio [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

5. Formal Methods for Open Object-Based Distributed Systems [electronic resource] :8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings /

by Gorrieri, Roberto [editor.] | Wehrheim, Heike [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, 2006.Online access: Click here to access online Availability: No items available

6. Foundations of Security Analysis and Design IV [electronic resource] :FOSAD 2006/2007 Tutorial Lectures /

by Aldini, Alessandro [editor.] | Gorrieri, Roberto [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

7. Foundations of Security Analysis and Design V [electronic resource] :FOSAD 2007/2008/2009 Tutorial Lectures /

by Aldini, Alessandro [editor.] | Barthe, Gilles [editor.] | Gorrieri, Roberto [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

8. Computational Methods in Systems Biology [electronic resource] :7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings /

by Degano, Pierpaolo [editor.] | Gorrieri, Roberto [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

9. Foundations of Security Analysis and Design VI [electronic resource] :FOSAD Tutorial Lectures /

by Aldini, Alessandro [editor.] | Gorrieri, Roberto [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


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