-
1كتاب إلكتروني
المؤلفون: Park, SewonAff9
المساهمون: 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, Fernau, Henning, editorAff7, Jansen, Klaus, editorAff8
المصدر: Fundamentals of Computation Theory : 24th International Symposium, FCT 2023, Trier, Germany, September 18–21, 2023, Proceedings. 14292:363-377
-
2كتاب إلكتروني
المؤلفون: Selivanova, SvetlanaAff12, Steinberg, FlorianAff13, Thies, HolgerAff14, Ziegler, MartinAff12
المساهمون: 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, Boulier, François, editorAff8, England, Matthew, editorAff9, Sadykov, Timur M., editorAff10, Vorozhtsov, Evgenii V., editorAff11
المصدر: Computer Algebra in Scientific Computing : 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings. 12865:370-390
-
3كتاب إلكتروني
المؤلفون: Rahkooy, HamidAff13, Sturm, ThomasAff12, Aff13, Aff14
المساهمون: 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, Boulier, François, editorAff8, England, Matthew, editorAff9, Sadykov, Timur M., editorAff10, Vorozhtsov, Evgenii V., editorAff11
المصدر: Computer Algebra in Scientific Computing : 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings. 12865:314-333
-
4مؤتمر
المؤلفون: Ackerman, Nathanael L., Freer, Cameron E., Roy, Daniel M.
المصدر: 2011 IEEE 26th Annual Symposium on Logic in Computer Science Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on. :107-116 Jun, 2011
Relation: 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011)
-
5كتاب إلكتروني
المؤلفون: Cho, JunheeAff16, Park, SewonAff16, Ziegler, MartinAff16
المساهمون: Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Pandu Rangan, C., Series editorAff8, Steffen, Bernhard, Series editorAff9, Terzopoulos, Demetri, Series editorAff10, Tygar, Doug, Series editorAff11, Weikum, Gerhard, Series editorAff12, Rahman, M. Sohel, editorAff13, Sung, Wing-Kin, editorAff14, Uehara, Ryuhei, editorAff15
المصدر: WALCOM: Algorithms and Computation : 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings. 10755:132-143
-
6كتاب إلكتروني
المؤلفون: Makarov, EvgenyAff19, Spitters, BasAff19
المساهمون: Hutchison, David, editorAff1, Kanade, Takeo, editorAff2, Kittler, Josef, editorAff3, Kleinberg, Jon M., editorAff4, Mattern, Friedemann, editorAff5, Mitchell, John C., editorAff6, Naor, Moni, editorAff7, Nierstrasz, Oscar, editorAff8, Pandu Rangan, C., editorAff9, Steffen, Bernhard, editorAff10, Sudan, Madhu, editorAff11, Terzopoulos, Demetri, editorAff12, Tygar, Doug, editorAff13, Vardi, Moshe Y., editorAff14, Weikum, Gerhard, editorAff15, Blazy, Sandrine, editorAff16, Paulin-Mohring, Christine, editorAff17, Pichardie, David, editorAff18
المصدر: Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings. 7998:463-468
-
7كتاب إلكتروني
المؤلفون: Lathrop, James I.Aff19, Lutz, Jack H.Aff19, Patterson, BrianAff19
المساهمون: Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Nierstrasz, Oscar, Series editorAff8, Pandu Rangan, C., Series editorAff9, Steffen, Bernhard, Series editorAff10, Sudan, Madhu, Series editorAff11, Terzopoulos, Demetri, Series editorAff12, Tygar, Doug, Series editorAff13, Vardi, Moshe Y., Series editorAff14, Weikum, Gerhard, Series editorAff15, Löwe, Benedikt, editorAff16, Normann, Dag, editorAff17, Soskov, Ivan, editorAff18, Soskova, Alexandra, editorAff18
المصدر: Models of Computation in Context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings. 6735:181-190
-
8كتاب إلكتروني
المؤلفون: Yap, CheeAff1
المساهمون: Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Hertling, Peter, editor, Hoffmann, Christoph M., editor, Luther, Wolfram, editor, Revol, Nathalie, editor
المصدر: Reliable Implementation of Real Number Algorithms: Theory and Practice : International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers. 5045:193-237
-
9دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
10كتاب إلكتروني
المؤلفون: Hou, TieAff20
المساهمون: Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Nierstrasz, Oscar, Series editorAff8, Pandu Rangan, C., Series editorAff9, Steffen, Bernhard, Series editorAff10, Sudan, Madhu, Series editorAff11, Terzopoulos, Demetri, Series editorAff12, Tygar, Dough, Series editorAff13, Vardi, Moshe Y., Series editorAff14, Weikum, Gerhard, Series editorAff15, Beckmann, Arnold, editorAff16, Berger, Ulrich, editorAff17, Löwe, Benedikt, editorAff18, Tucker, John V., editorAff19
المصدر: Logical Approaches to Computational Barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings. 3988:221-230