Search Results - "algorithme"

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Subjects: “…Algorithms…”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Subjects: “…Algorithms…”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Subjects: “…Algorithms…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Subjects: “…Algorithms…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Numerical and Evolutionary Optimization by Lara, Adriana

Subjects: “…genetic algorithm…”
DOAB: download the publication
DOAB: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

Subjects: “…Algorithms…”
DOAB: download the publication
DOAB: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

Subjects: “…Algorithms…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Pro TBB C++ Parallel Programming with Threading Building Blocks / by Voss, Michael, Asenjo, Rafael, Reinders, James

Subjects: “…Algorithms.…”
Link to Metadata

Industrielle Datenanalyse Entwicklung einer Datenanalyse-Plattform für die wertschaffende, kompetenzorientierte Kollaboration in dynamischen Wertschöpfungsnetzwerken

Subjects: “…Algorithms & data structures bicssc…”
DOAB: download the publication
DOAB: description of the publication

Catene di Markov e applicazioni algoritmiche by Goldwurm, Massimiliano

Subjects: “…probabilistic algorithms…”
DOAB: download the publication
DOAB: description of the publication

Building Evacuation with Mobile Devices by Merkel, Sabrina

Subjects: “…algorithms…”
DOAB: download the publication
DOAB: description of the publication

New Methods to Improve Large-Scale Microscopy Image Analysis with Prior Knowledge and Uncertainty by Stegmaier, Johannes

Subjects: “…Algorithms…”
DOAB: download the publication
DOAB: description of the publication

Water Optics and Water Colour Remote Sensing by Yunlin Zhang (Ed.)

Subjects: “…remote sensing algorithm…”
DOAB: download the publication
DOAB: description of the publication

RNA-Seq Analysis: Methods, Applications and Challenges

Subjects: “…algorithm…”
DOAB: download the publication
DOAB: description of the publication

Elements of dynamic and 2-SAT programming: paths, trees, and cuts by Bentert, Matthias

Subjects: “…Algorithms & data structures bicssc…”
DOAB: download the publication
DOAB: description of the publication

Digital Platform Regulation Global Perspectives on Internet Governance

Subjects: “…algorithmic governance…”
DOAB: download the publication
DOAB: description of the publication

Elements of dynamic and 2-SAT programming: paths, trees, and cuts by Bentert, Matthias

Subjects: “…Algorithms & data structures bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Digital Platform Regulation Global Perspectives on Internet Governance

Subjects: “…algorithmic governance…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Error-Correction Coding and Decoding Bounds, Codes, Decoders, Analysis and Applications / by Tomlinson, Martin, Tjhai, Cen Jung, Ambroze, Marcel A., Ahmed, Mohammed, Jibril, Mubarak

Subjects: “…Algorithms.…”
Link to Metadata

Swarm Intelligence Recent Advances and Current Applications

Subjects: “…genetic algorithm…”
DOAB: download the publication
DOAB: description of the publication