Suggested Topics within your search.
Showing 1 - 19 results of 19 for search '', query time: 0.05s Refine Results
  1. 1
    Pro TBB C++ Parallel Programming with Threading Building Blocks /

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

    Published 2019
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  2. 2
    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 of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II /

    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...

    Published 2019
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  3. 3
    The Amazing Journey of Reason from DNA to Artificial Intelligence /

    The Amazing Journey of Reason from DNA to Artificial Intelligence / by Alemi, Mario

    Published 2020
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  4. 4
    Forecasting and Assessing Risk of Individual Electricity Peaks

    Forecasting and Assessing Risk of Individual Electricity Peaks by Jacob, Maria, Neves, Cláudia, Vukadinović Greetham, Danica

    Published 2020
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  5. 5
    Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /

    Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /

    Published 2022
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  6. 6
    Design of Heuristic Algorithms for Hard Optimization With Python Codes for the Travelling Salesman Problem /

    Design of Heuristic Algorithms for Hard Optimization With Python Codes for the Travelling Salesman Problem / by Taillard, Éric D.

    Published 2023
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  7. 7
    Algorithms for Big Data DFG Priority Program 1736 /

    Algorithms for Big Data DFG Priority Program 1736 /

    Published 2022
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  8. 8
    Topological Obstructions to Stability and Stabilization History, Recent Advances and Open Problems /

    Topological Obstructions to Stability and Stabilization History, Recent Advances and Open Problems / by Jongeneel, Wouter, Moulay, Emmanuel

    Published 2023
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  9. 9
    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II /

    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II /

    Published 2023
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  10. 10
    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I /

    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I /

    Published 2023
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  11. 11
    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III /

    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III /

    Published 2023
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  12. 12
    Error-Correction Coding and Decoding Bounds, Codes, Decoders, Analysis and Applications /

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

    Published 2017
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  13. 13
    Solving PDEs in Python The FEniCS Tutorial I /

    Solving PDEs in Python The FEniCS Tutorial I / by Langtangen, Hans Petter, Logg, Anders

    Published 2016
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  14. 14
    Elements of Robotics

    Elements of Robotics by Ben-Ari, Mordechai, Mondada, Francesco

    Published 2018
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  15. 15
    Foundations of Trusted Autonomy

    Foundations of Trusted Autonomy

    Published 2018
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  16. 16
    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 /

    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 /

    Published 2018
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  17. 17
    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 /

    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 /

    Published 2018
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  18. 18
    Sublinear Computation Paradigm Algorithmic Revolution in the Big Data Era /

    Sublinear Computation Paradigm Algorithmic Revolution in the Big Data Era /

    Published 2022
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:
  19. 19
    Sine Cosine Algorithm for Optimization

    Sine Cosine Algorithm for Optimization by Bansal, Jagdish Chand, Bajpai, Prathu, Rawat, Anjali, Nagar, Atulya K.

    Published 2023
    Link to Metadata
    Electronic eBook
    Save to List
    Saved in:

Search Tools: