-
1دورية أكاديمية
المؤلفون: Sahraei, S., Maddah-Ali, M.A., Avestimehr, A.S.
المصدر: IEEE Journal on Selected Areas in Information Theory IEEE J. Sel. Areas Inf. Theory Selected Areas in Information Theory, IEEE Journal on. 2(1):317-325 Mar, 2021
-
2مؤتمر
المؤلفون: Natarajan, Anand, Wright, John
المصدر: 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS) Foundations of Computer Science (FOCS), 2019 IEEE 60th Annual Symposium on. :510-518 Nov, 2019
Relation: 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS)
-
3كتاب إلكتروني
المؤلفون: Wäldchen, StephanAff6
المساهمون: Filipe, Joaquim, Editorial Board MemberAff1, Ghosh, Ashish, Editorial Board MemberAff2, Prates, Raquel Oliveira, Editorial Board MemberAff3, Zhou, Lizhu, Editorial Board MemberAff4, Longo, Luca, editorAff5
المصدر: Explainable Artificial Intelligence : First World Conference, xAI 2023, Lisbon, Portugal, July 26–28, 2023, Proceedings, Part III. 1903:415-427
-
4دورية أكاديمية
المؤلفون: Augot, DanielAff1, IDs1062302201134z_cor1, Bordage, Sarah, Nardi, Jade
المصدر: Designs, Codes and Cryptography: An International Journal. 91(3):1111-1151
-
5كتاب إلكتروني
المؤلفون: Dolu, ÖzdenizAff9, Ersoy, NevzatAff9, Gezer, M. UtkanAff9, Say, A. C. CemAff9
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Caron, Pascal, editorAff7, Mignot, Ludovic, editorAff8
المصدر: Implementation and Application of Automata : 26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings. 13266:212-224
-
6مؤتمر
المؤلفون: Ruhrmair, Ulrich, Martinez-Hurtado, J.L., Xu, Xiaolin, Kraeh, Christian, Hilgers, Christian, Kononchuk, Dima, Finley, Jonathan J., Burleson, Wayne P.
المصدر: 2015 IEEE Symposium on Security and Privacy Security and Privacy (SP), 2015 IEEE Symposium on. :70-85 May, 2015
Relation: 2015 IEEE Symposium on Security and Privacy (SP)
-
7كتاب إلكتروني
المساهمون: Benzmüller, Christoph, Heule, Marijn J.H., Schmidt, Renate A.
مصطلحات موضوعية: Automated reasoning, Logic, Logic and verification, Modal and temporal logics, Proof theory, Interactive proof systems, Description logics, Equational logic and rewriting, First-order logic, Higher order logic, Programming logic, Separation logic, Intuitionistic Logics, Deontic Logic, Non-classical Logics, Theorem Proving, Satisfiability Solving, Modal Logics, Rewriting, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::U Computing and Information Technology::UK Computer hardware
وصف الملف: application/pdf
Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
-
8كتاب إلكتروني
المؤلفون: Khadieva, AliyaAff10, Aff11, Yakaryılmaz, AbuzerAff10, Aff12
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Kostitsyna, Irina, editorAff8, Orponen, Pekka, editorAff9
المصدر: Unconventional Computation and Natural Computation : 19th International Conference, UCNC 2021, Espoo, Finland, October 18–22, 2021, Proceedings. 12984:84-100
-
9كتاب إلكتروني
المؤلفون: Gezer, Mehmet UtkanAff12
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Leporati, Alberto, editorAff8, Martín-Vide, Carlos, editorAff9, Shapira, Dana, editorAff10, Zandron, Claudio, editorAff11
المصدر: Language and Automata Theory and Applications : 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings. 12038:184-195
-
10كتاب إلكتروني
المؤلفون: Fraigniaud, PierreAff10, Montealegre, PedroAff11, Oshman, RotemAff12, Rapaport, IvanAff13, Todinca, IoanAff14
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Censor-Hillel, Keren, editorAff8, Flammini, Michele, editorAff9
المصدر: Structural Information and Communication Complexity : 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings. 11639:230-245