Search Results for Logic.

5 sonuç bulundu

Arama sonuçlarına abone ol

Tümünü Seç

1

Liste görünümüne geç

Küçük resim görünümüne geç

00000DEFAULTTR

Yazdır

1.

Principles of Security and Trust 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings için kapak resmi

Principles of Security and Trust 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Principles of Security and Trust 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Yazar

Piessens, Frank. editor.

http://dx.doi.org/10.1007/978-3-662-49635-0

Format:

Electronic Resources

Alıntı:

Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study -- Towards a

2.

Intelligence and Security Informatics Pacific Asia Workshop, PAISI 2015, Ho Chi Minh City, Vietnam, May 19, 2015. Proceedings için kapak resmi

Intelligence and Security Informatics Pacific Asia Workshop, PAISI 2015, Ho Chi Minh City, Vietnam, May 19, 2015. Proceedings

Intelligence and Security Informatics Pacific Asia Workshop, PAISI 2015, Ho Chi Minh City, Vietnam, May 19, 2015. Proceedings

Yazar

Chau, Michael. editor.

http://dx.doi.org/10.1007/978-3-319-18455-5

Format:

Electronic Resources

Alıntı:

-- Chinese Word POS Tagging with Markov Logic -- In Search of Plagiarism Behaviors: An Empirical Study of

3.

Security of Industrial Control Systems and Cyber Physical Systems First Workshop, CyberICS 2015 and First Workshop, WOS-CPS 2015 Vienna, Austria, September 21–22, 2015 Revised Selected Papers için kapak resmi

Security of Industrial Control Systems and Cyber Physical Systems First Workshop, CyberICS 2015 and First Workshop, WOS-CPS 2015 Vienna, Austria, September 21–22, 2015 Revised Selected Papers

Security of Industrial Control Systems and Cyber Physical Systems First Workshop, CyberICS 2015 and First Workshop, WOS-CPS 2015 Vienna, Austria, September 21–22, 2015 Revised Selected Papers

Yazar

Bécue, Adrien. editor.

http://dx.doi.org/10.1007/978-3-319-40385-4

Format:

Electronic Resources

Alıntı:

workstations -- Substation equipment -- Programmable logic controllers -- PLCs, and other industrial control

4.

Critical Infrastructure Protection VIII 8th IFIP WG 11.10 International Conference, ICCIP 2014, Arlington, VA, USA, March 17-19, 2014, Revised Selected Papers için kapak resmi

Critical Infrastructure Protection VIII 8th IFIP WG 11.10 International Conference, ICCIP 2014, Arlington, VA, USA, March 17-19, 2014, Revised Selected Papers

Critical Infrastructure Protection VIII 8th IFIP WG 11.10 International Conference, ICCIP 2014, Arlington, VA, USA, March 17-19, 2014, Revised Selected Papers

Yazar

Butts, Jonathan. editor.

http://dx.doi.org/10.1007/978-3-662-45355-1

Format:

Electronic Resources

Alıntı:

in Programmable Logic Controllers Using Power Fingerprinting -- Timing of Cyber-Physical Attacks on

5.

On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence Themes from IACAP 2016 için kapak resmi

On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence Themes from IACAP 2016

On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence Themes from IACAP 2016

Yazar

Berkich, Don. editor.

https://doi.org/10.1007/978-3-030-01800-9

Format:

Electronic Resources

Alıntı:

or Forming? (Stefan Gruner and Francois Oberholzer) -- Part II: Logic -- Chapter 3. Modal Ω-Logic

Tümünü Seç

1

5 sonuç bulundu

Arama sonuçlarına abone ol

Arama Sonuçlarını Sınırlandır

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope

Copyright 2023 Sirsi Corporation - Enterprise Version 5.2.1.2