Search Results - "computation"

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

Subjects: “…computer science…”
DOAB: download the publication
DOAB: description of the publication

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

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

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...

Subjects: “…computer programming…”
DOAB: download the publication
DOAB: description of the publication

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...

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

Semantic Systems. The Power of AI and Knowledge Graphs 15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9-12, 2019, Proceedings

Subjects: “…Computer science…”
DOAB: download the publication
DOAB: description of the publication

Architecture of Advanced Numerical Analysis Systems Designing a Scientific Computing System using OCaml by Wang, Liang

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

Semantic Systems. The Power of AI and Knowledge Graphs 15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9-12, 2019, Proceedings

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

Architecture of Advanced Numerical Analysis Systems Designing a Scientific Computing System using OCaml by Wang, Liang

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

Innopolis University - From Zero to Hero Ten Years of Challenges and Victories / by Mazzara, Manuel, Succi, Giancarlo, Tormasov, Alexander

Subjects: “…Computers.…”
Link to Metadata

Open Source Systems: Towards Robust Practices 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings /

Subjects: “…Computers Law and legislation.…”
Link to Metadata

Autonomous Driving Technical, Legal and Social Aspects /

Subjects: “…Human-computer interaction.…”
Link to Metadata

Advances in Discrete Differential Geometry

Subjects: “…Computer graphics.…”
Link to Metadata

Security in Distributed, Grid, Mobile, and Pervasive Computing by Xiao, Yang

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

Security in Distributed, Grid, Mobile, and Pervasive Computing by Xiao, Yang

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

Security in Computer and Information Sciences Second International Symposium, EuroCybersec 2021, Nice, France, October 25-26, 2021, Revised Selected Papers

Subjects: “…Computer security bicssc…”
DOAB: download the publication
DOAB: description of the publication

Security in Computer and Information Sciences Second International Symposium, EuroCybersec 2021, Nice, France, October 25-26, 2021, Revised Selected Papers

Subjects: “…Computer security bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Models, Methods and Tools for Product Service Design The Manutelligence Project /

Subjects: “…Computational intelligence.…”
Link to Metadata

Memes e educação na cibercultura

Subjects: “…Educational equipment & technology, computer-aided learning (CAL) bicssc…”
DOAB: download the publication
DOAB: description of the publication

Numerical Simulations in Engineering and Science

Subjects: “…Computer modelling & simulation bicssc…”
DOAB: download the publication
DOAB: description of the publication

Hierarchical Object Representations in the Visual Cortex and Computer Vision by Antonio Rodriguez-Sanchez

Subjects: “…Computer Vision…”
DOAB: download the publication
DOAB: description of the publication