Jump to main content

yr 〜
yr

Search results 5

Algorithmic game theory : 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018 : proceedings

Algorithmic game theory : 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018 : proceedings
Paper図書
Xiaotie Deng (ed.)Springerc2018
Other Libraries in Japan
  • Subject Heading...tology. bicssc Discrete mathematics. bicssc Computer simulation Computer ...
  • Subject Heading (ID)...tology. bicssc Discrete mathematics. bicssc Computer simulation Computer ...

Structural information and communication complexity : 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018 : revised selected papers

Structural information and communication complexity : 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018 : revised selected papers
Paper図書
Zvi Lotker, Boaz Patt-Shamir (eds.)Springerc2018
Other Libraries in Japan
  • Subject Heading...ctures. bicssc Discrete mathematics. bicssc Computer software Computer ne...
  • Subject Heading (ID)...ctures. bicssc Discrete mathematics. bicssc Computer software Computer ne...

Theory and applications of satisfiability testing - SAT 2018 : 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings

Theory and applications of satisfiability testing - SAT 2018 : 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings
Paper図書
Olaf Beyersdorff, Christoph M. Wintersteiger (eds.)Springerc2018
Other Libraries in Japan
  • Subject Heading...opment. bicssc Discrete mathematics. bicssc Algorithms & data structures....
  • Subject Heading (ID)...opment. bicssc Discrete mathematics. bicssc Algorithms & data structures....

Descriptional complexity of formal systems : 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018 : proceedings

Descriptional complexity of formal systems : 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018 : proceedings
Paper図書
Stavros Konstantinidis, Giovanni Pighizzini (eds.)Springerc2018
Other Libraries in Japan
  • Subject Heading...lation. bicssc Discrete mathematics. bicssc Algorithms & data structures....
  • Subject Heading (ID)...lation. bicssc Discrete mathematics. bicssc Algorithms & data structures....

Number-theoretic methods in cryptology : first International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017 : revised selected papers

Number-theoretic methods in cryptology : first International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017 : revised selected papers
Paper図書
Jerzy Kaczorowski, Josef Pieprzyk, Jacek Pomykała (eds.)Springerc2018
Other Libraries in Japan
  • Subject Heading...ction. bisacsh Discrete mathematics. bicssc Numerical analysis. bicssc Nu...
  • Subject Heading (ID)...ction. bisacsh Discrete mathematics. bicssc Numerical analysis. bicssc Nu...

Reached to the end of result.

RSS