Search Results for - Narrowed by: English - Springer E-Book Collection - 2014 - Computer security. - Mathematical Logic and Formal Languages.
SirsiDynix Enterprise
https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLANGUAGE$002509Dil$002509ENG$002509English$0026qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dPUBDATE$002509Bas$0025C4$0025B1m$002bY$0025C4$0025B1l$0025C4$0025B1$0025092014$0025092014$0026qf$003dSUBJECT$002509Konu$002509Computer$002bsecurity.$002509Computer$002bsecurity.$0026qf$003dSUBJECT$002509Konu$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$0026ps$003d300?
2024-06-20T11:08:07Z
Trustworthy Global Computing 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:24687
2024-06-20T11:08:07Z
2024-06-20T11:08:07Z
Yazar Maffei, Matteo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45917-1">http://dx.doi.org/10.1007/978-3-662-45917-1</a><br/>Format: Electronic Resources<br/>
Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:21267
2024-06-20T11:08:07Z
2024-06-20T11:08:07Z
Yazar Klein, Gerwin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08970-6">http://dx.doi.org/10.1007/978-3-319-08970-6</a><br/>Format: Electronic Resources<br/>
Cyberpatterns Unifying Design Patterns with Security and Attack Patterns
ent://SD_ILS/0/SD_ILS:20477
2024-06-20T11:08:07Z
2024-06-20T11:08:07Z
Yazar Blackwell, Clive. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04447-7">http://dx.doi.org/10.1007/978-3-319-04447-7</a><br/>Format: Electronic Resources<br/>
Trustworthy Global Computing 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:20608
2024-06-20T11:08:07Z
2024-06-20T11:08:07Z
Yazar Abadi, Martín. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-05119-2">http://dx.doi.org/10.1007/978-3-319-05119-2</a><br/>Format: Electronic Resources<br/>