年 〜
年

検索結果 6 件

Algorithms : pbk 2nd ed.

Algorithms : pbk 2nd ed.
紙図書
by John Paul Mueller and Luca MassaronJohn Wiley & Sons, Inc.c2022.
全国の図書館
  • 件名Computer algorithms Computer algorithms. fast (OCoLC)fst00872010
  • 件名（識別子）Computer algorithms Computer algorithms. fast (OCoLC)fst00872010

Fundamentals of optimization techniques with algorithms

Fundamentals of optimization techniques with algorithms
紙図書
Sukanta NayakAcademic Press2020
全国の図書館
  • 件名...ter algorithms Computer algorithms. fast (OCoLC)fst00872010 Mathematical optimization. fa...
  • 件名（識別子）...ter algorithms Computer algorithms. fast (OCoLC)fst00872010 Mathematical optimization. fa...

Algorithmic intimacy : the digital revolution in personal relationships : pb

Algorithmic intimacy : the digital revolution in personal relationships : pb
紙図書
Anthony ElliottPolity2023
全国の図書館

Approximate circuits : methodologies and CAD

Approximate circuits : methodologies and CAD
紙図書
Sherief Reda, Muhammad Shafique, editorsSpringerc2019
全国の図書館
  • 件名...LC)fst00811829 Computer algorithms. fast (OCoLC)fst00872010 Embedded computer systems. fa...
  • 件名（識別子）...LC)fst00811829 Computer algorithms. fast (OCoLC)fst00872010 Embedded computer systems. fa...

Handbook of satisfiability pt. 2 2nd ed

Handbook of satisfiability pt. 2 2nd ed
紙図書
edited by Armin Biere ... [et al.]IOS Pressc2021
全国の図書館
  • 件名...LC)fst00804924 Computer algorithms. fast (OCoLC)fst00872010 Decision making. fast (OCoLC)...
  • 件名（識別子）...LC)fst00804924 Computer algorithms. fast (OCoLC)fst00872010 Decision making. fast (OCoLC)...

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
紙図書
Olaf Beyersdorff, Christoph M. Wintersteiger (eds.)Springerc2018
全国の図書館
  • 件名...ata Structures Computer algorithms. fast (OCoLC)fst00872010 Computer software -- Verifica...
  • 件名（識別子）...ata Structures Computer algorithms. fast (OCoLC)fst00872010 Computer software -- Verifica...

検索結果は以上です。