FEEDBACK Smiley face

Your search returned 7 results. Subscribe to this search

|
1. Logic in computer science : modelling and reasoning about systems

by Huth, Michael | Ryan, Mark.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Cambridge University Press, ©2004Availability: Items available for loan: IIITD [005.101 HUT-L] (2).
Items available for reference: IIITD [REF 005.101 HUT-L] (1).

2. Modeling and Verification of Parallel Processes [electronic resource] :4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures /

by Cassez, Franck [editor.] | Jard, Claude [editor.] | Rozoy, Brigitte [editor.] | Ryan, Mark Dermot [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. Objects, Agents, and Features [electronic resource] :International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers /

by Ryan, Mark D [editor.] | Meyer, John-Jules Ch [editor.] | Ehrich, Hans-Dieter [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. Information and Communications Security [electronic resource] :10th International Conference, ICICS 2008 Birmingham, UK, October 20 - 22, 2008 Proceedings /

by Chen, Liqun [editor.] | Ryan, Mark D [editor.] | Wang, Guilin [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

5. Information Security Practice and Experience [electronic resource] :8th International Conference, ISPEC 2012, Hangzhou, China, April 9-12, 2012. Proceedings /

by Ryan, Mark D [editor.] | Smyth, Ben [editor.] | Wang, Guilin [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

6. Trustworthy Global Computing [electronic resource] :7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers /

by Palamidessi, Catuscia [editor.] | Ryan, Mark 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 : Imprint: Springer, 2013.Online access: Click here to access online Availability: No items available

7. Principles of Security and Trust [electronic resource] :6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /

by Maffei, Matteo [editor.] | Ryan, Mark [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, 2017.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