Search Results for - Narrowed by: Systems and Data Security. - Mathematical Logic and Formal Languages.

Knowledge Management in Organizations 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings

2024-05-19T16:10:46Z

Yazar Uden, Lorna. editor.
https://doi.org/10.1007/978-3-030-21451-7
Format: Electronic Resources

Advanced Information Systems Engineering 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings

2024-05-19T16:10:46Z

Yazar Giorgini, Paolo. editor.
https://doi.org/10.1007/978-3-030-21290-2
Format: Electronic Resources

Handbook of Software Engineering

2024-05-19T16:10:46Z

Yazar Cha, Sungdeok. editor.
https://doi.org/10.1007/978-3-030-00262-6
Format: Electronic Resources

VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers

2024-05-19T16:10:46Z

Yazar Sengupta, Anirban. editor.
https://doi.org/10.1007/978-981-32-9767-8
Format: Electronic Resources

Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

2024-05-19T16:10:46Z

Yazar Dubois, Catherine. editor.
https://doi.org/10.1007/978-3-319-92994-1
Format: Electronic Resources

Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings

2024-05-19T16:10:46Z

Yazar Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017
https://doi.org/10.1007/978-3-319-73579-5
Format: Electronic Resources

Data Management Technologies and Applications 6th International Conference, DATA 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

2024-05-19T16:10:46Z

Yazar Filipe, Joaquim. editor.
https://doi.org/10.1007/978-3-319-94809-6
Format: Electronic Resources

Modeling Decisions for Artificial Intelligence 15th International Conference, MDAI 2018, Mallorca, Spain, October 15–18, 2018, Proceedings

2024-05-19T16:10:46Z

Yazar Torra, Vicenç. editor. (orcid)0000-0002-0368-8037
https://doi.org/10.1007/978-3-030-00202-2
Format: Electronic Resources

Multi-Agent Systems and Agreement Technologies 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017, Revised Selected Papers

2024-05-19T16:10:46Z

Yazar Belardinelli, Francesco. editor. (orcid)0000-0002-7768-1794
https://doi.org/10.1007/978-3-030-01713-2
Format: Electronic Resources

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

2024-05-19T16:10:46Z

Yazar Lahiri, Shuvendu K. editor.
https://doi.org/10.1007/978-3-030-01090-4
Format: Electronic Resources

Database and Expert Systems Applications 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part II

2024-05-19T16:10:46Z

Yazar Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060
https://doi.org/10.1007/978-3-319-64471-4
Format: Electronic Resources

String Analysis for Software Verification and Security

2024-05-19T16:10:46Z

Yazar Bultan, Tevfik. author.
https://doi.org/10.1007/978-3-319-68670-7
Format: Electronic Resources

Database and Expert Systems Applications 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I

2024-05-19T16:10:46Z

Yazar Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060
https://doi.org/10.1007/978-3-319-64468-4
Format: Electronic Resources

Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

2024-05-19T16:10:46Z

Yazar Blömer, Johannes. editor.
https://doi.org/10.1007/978-3-319-72453-9
Format: Electronic Resources

Trustworthy Global Computing 10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers

2024-05-19T16:10:46Z

Yazar Ganty, Pierre. editor.
http://dx.doi.org/10.1007/978-3-319-28766-9
Format: Electronic Resources

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII Selected Papers from FDSE 2014

2024-05-19T16:10:46Z

Yazar Hameurlain, Abdelkader. editor.
http://dx.doi.org/10.1007/978-3-662-49175-1
Format: Electronic Resources

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

2024-05-19T16:10:46Z

Yazar Lecomte, Thierry. editor.
http://dx.doi.org/10.1007/978-3-319-33951-1
Format: Electronic Resources

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

2024-05-19T16:10:46Z

Yazar Urban, Christian. editor.
http://dx.doi.org/10.1007/978-3-319-22102-1
Format: Electronic Resources

Trustworthy Global Computing 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers

2024-05-19T16:10:46Z

Yazar Maffei, Matteo. editor.
http://dx.doi.org/10.1007/978-3-662-45917-1
Format: Electronic Resources

Cyberpatterns Unifying Design Patterns with Security and Attack Patterns

2024-05-19T16:10:46Z

Yazar Blackwell, Clive. editor.
http://dx.doi.org/10.1007/978-3-319-04447-7
Format: Electronic Resources

Trustworthy Global Computing 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers

2024-05-19T16:10:46Z

Yazar Abadi, Martín. editor.
http://dx.doi.org/10.1007/978-3-319-05119-2
Format: Electronic Resources

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

2024-05-19T16:10:46Z

Yazar Klein, Gerwin. editor.
http://dx.doi.org/10.1007/978-3-319-08970-6
Format: Electronic Resources