Sebastian Mödersheim: Z-Libraryలో శోధించండి

జ్ఞానం మరియు సంస్కృతికి మీ గేట్‌వే. అందరికీ అందుబాటులో ఉంటుంది.

Don't use scam websites

వర్తింప చేసిన వడపోత సూచనలు

సరిగ్గా సరిపోలిక

సరిగ్గా సరిపోలిక

పుస్తకాలు (7)
అత్యంత ప్రజాదరణమైనవి
- ప్రకారం క్రమబద్ధీకరించు×
- అత్యంత ప్రజాదరణమైనవి
- ఉత్తమ సరిపోలిక
- ఇటీవల జోడించినవి
- శీర్షక ప్రకారం (అ-హ)
- శీర్షక ప్రకారం (హ-అ)
- సంవత్సరం ప్రకారం
- ఫైల్ పరిమాణం ↓
- ఫైల్ పరిమాణం ↑
జాబితా
- జాబితా
- పట్టిక

1

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

Springer-Verlag Berlin Heidelberg

David von Oheimb, Sebastian Mödersheim (auth.), Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue (eds.)

సంవత్సరం:

2012

భాష:

english

ఫైల్:

PDF, 5.59 MB

0 / 0

english, 2012

2

Secure IT Systems: 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings

Secure IT Systems: 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings

Springer-Verlag Berlin Heidelberg

Alessio Di Mauro, Xenofon Fafoutis, Sebastian Mödersheim, Nicola Dragoni (auth.), Hanne Riis Nielson, Dieter Gollmann (eds.)

సంవత్సరం:

2013

భాష:

english

ఫైల్:

PDF, 6.30 MB

0 / 0

english, 2013

3

Theory of Security and Applications: Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers

Theory of Security and Applications: Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Michael Backes, Cătălin Hriţcu, Matteo Maffei (auth.), Sebastian Mödersheim, Catuscia Palamidessi (eds.)

సంవత్సరం:

2012

భాష:

english

ఫైల్:

PDF, 2.41 MB

0 / 0

english, 2012

4

Theory of Security and Applications: Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers

Theory of Security and Applications: Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Michael Backes, Cătălin Hriţcu, Matteo Maffei (auth.), Sebastian Mödersheim, Catuscia Palamidessi (eds.)

సంవత్సరం:

2012

భాష:

english

ఫైల్:

PDF, 2.47 MB

0 / 0

english, 2012

5

Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday

Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday

Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul Rowe

సంవత్సరం:

2021

భాష:

english

ఫైల్:

PDF, 15.97 MB

0 / 0

english, 2021

6

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

Springer-Verlag Berlin Heidelberg

David von Oheimb, Sebastian Mödersheim (auth.), Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue (eds.)

సంవత్సరం:

2012

భాష:

english

ఫైల్:

PDF, 6.30 MB

0 / 0

english, 2012

7

Secure IT Systems: 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings

Secure IT Systems: 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings

Springer-Verlag Berlin Heidelberg

Alessio Di Mauro, Xenofon Fafoutis, Sebastian Mödersheim, Nicola Dragoni (auth.), Hanne Riis Nielson, Dieter Gollmann (eds.)

సంవత్సరం:

2013

భాష:

english

ఫైల్:

PDF, 4.91 MB

0 / 0

english, 2013