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. Programming Languages and Systems [electronic resource] :12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings /

by Degano, Pierpaolo [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

3. Concurrency, Graphs and Models [electronic resource] :Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /

by Degano, Pierpaolo [editor.] | Nicola, Rocco De [editor.] | Meseguer, José [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

4. Formal Methods for Computational Systems Biology [electronic resource] :8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures /

by Bernardo, Marco [editor.] | Degano, Pierpaolo [editor.] | Zavattaro, Gianluigi [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

5. Formal Aspects in Security and Trust [electronic resource] :5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers /

by Degano, Pierpaolo [editor.] | Guttman, Joshua [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, 2009.Online access: Click here to access online Availability: No items available

6. Foundations and Applications of Security Analysis [electronic resource] :Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers /

by Degano, Pierpaolo [editor.] | Viganò, Luca [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

7. Formal Aspects in Security and Trust [electronic resource] :6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers /

by Degano, Pierpaolo [editor.] | Guttman, Joshua D [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

8. Formal Aspects of Security and Trust [electronic resource] :7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers /

by Degano, Pierpaolo [editor.] | Etalle, Sandro [editor.] | Guttman, Joshua [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

9. Principles of Security and Trust [electronic resource] :First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings /

by Degano, Pierpaolo [editor.] | Guttman, Joshua D [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