المؤلفون: Park, Sewon^Aff9

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Fernau, Henning, editor^Aff7, Jansen, Klaus, editor^Aff8

المصدر: Fundamentals of Computation Theory : 24th International Symposium, FCT 2023, Trier, Germany, September 18–21, 2023, Proceedings. 14292:363-377

المؤلفون: Selivanova, Svetlana^Aff12, Steinberg, Florian^Aff13, Thies, Holger^Aff14, Ziegler, Martin^Aff12

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Boulier, François, editor^Aff8, England, Matthew, editor^Aff9, Sadykov, Timur M., editor^Aff10, Vorozhtsov, Evgenii V., editor^Aff11

المصدر: Computer Algebra in Scientific Computing : 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings. 12865:370-390

المؤلفون: Rahkooy, Hamid^Aff13, Sturm, Thomas^{Aff12, Aff13, Aff14}

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Boulier, François, editor^Aff8, England, Matthew, editor^Aff9, Sadykov, Timur M., editor^Aff10, Vorozhtsov, Evgenii V., editor^Aff11

المصدر: Computer Algebra in Scientific Computing : 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings. 12865:314-333

المؤلفون: 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)

المؤلفون: Cho, Junhee^Aff16, Park, Sewon^Aff16, Ziegler, Martin^Aff16

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Rahman, M. Sohel, editor^Aff13, Sung, Wing-Kin, editor^Aff14, Uehara, Ryuhei, editor^Aff15

المصدر: WALCOM: Algorithms and Computation : 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings. 10755:132-143

المؤلفون: Makarov, Evgeny^Aff19, Spitters, Bas^Aff19

المساهمون: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Blazy, Sandrine, editor^Aff16, Paulin-Mohring, Christine, editor^Aff17, Pichardie, David, editor^Aff18

المصدر: Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings. 7998:463-468

المؤلفون: Lathrop, James I.^Aff19, Lutz, Jack H.^Aff19, Patterson, Brian^Aff19

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Doug, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Löwe, Benedikt, editor^Aff16, Normann, Dag, editor^Aff17, Soskov, Ivan, editor^Aff18, Soskova, Alexandra, editor^Aff18

المصدر: Models of Computation in Context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings. 6735:181-190

المؤلفون: Yap, Chee^Aff1

المساهمون: 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

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Hou, Tie^Aff20

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Dough, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Beckmann, Arnold, editor^Aff16, Berger, Ulrich, editor^Aff17, Löwe, Benedikt, editor^Aff18, Tucker, John V., editor^Aff19

المصدر: Logical Approaches to Computational Barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings. 3988:221-230