Jump to main content

yr 〜
yr

Search results 6

Algorithms : pbk 2nd ed.

Algorithms : pbk 2nd ed.
Paper図書
by John Paul Mueller and Luca MassaronJohn Wiley & Sons, Inc.c2022.
Other Libraries in Japan
  • Subject HeadingComputer algorithms Computer algorithms. fast (OCoLC)fst00872010
  • Subject Heading (ID)Computer algorithms Computer algorithms. fast (OCoLC)fst00872010

Fundamentals of optimization techniques with algorithms

Fundamentals of optimization techniques with algorithms
Paper図書
Sukanta NayakAcademic Press2020
Other Libraries in Japan
  • Subject Heading...ter algorithms Computer algorithms. fast (OCoLC)fst00872010 Mathematical optimization. fa...
  • Subject Heading (ID)...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
Paper図書
Anthony ElliottPolity2023
Other Libraries in Japan

Approximate circuits : methodologies and CAD

Approximate circuits : methodologies and CAD
Paper図書
Sherief Reda, Muhammad Shafique, editorsSpringerc2019
Other Libraries in Japan
  • Subject Heading...LC)fst00811829 Computer algorithms. fast (OCoLC)fst00872010 Embedded computer systems. fa...
  • Subject Heading (ID)...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
Paper図書
edited by Armin Biere ... [et al.]IOS Pressc2021
Other Libraries in Japan
  • Subject Heading...LC)fst00804924 Computer algorithms. fast (OCoLC)fst00872010 Decision making. fast (OCoLC)...
  • Subject Heading (ID)...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
Paper図書
Olaf Beyersdorff, Christoph M. Wintersteiger (eds.)Springerc2018
Other Libraries in Japan
  • Subject Heading...ata Structures Computer algorithms. fast (OCoLC)fst00872010 Computer software -- Verifica...
  • Subject Heading (ID)...ata Structures Computer algorithms. fast (OCoLC)fst00872010 Computer software -- Verifica...

Reached to the end of result.

RSS