Search Results - "Computer Science"

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

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

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

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

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

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

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

Subjects: “…Computational Science and Engineering.…”
Link to Metadata

Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models by Tveito, Aslak, Lines, Glenn T.

Subjects: “…Computational Science and Engineering.…”
Link to Metadata

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

Subjects: “…Computational Science and Engineering.…”
Link to Metadata

Space-Time Conservation Element and Solution Element Method Advances and Applications in Engineering Sciences / by Wen, Chih-Yung, Jiang, Yazhong, Shi, Lisong

Subjects: “…Computational Science and Engineering.…”
Link to Metadata

Deliberation, Representation, Equity: Research Approaches, Tools and Algorithms for Participatory Processes by Danielson, Mats

Subjects: “…risk analysis and computer sciences…”
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 II

Subjects: “…Computer science…”
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: “…Computer science…”
DOAB: download the publication
DOAB: description of the publication

Business Objects als Gestaltungskonzept strategischer Informationssystemplanung by Erler, Thomas

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

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni... by Ralf Küsters

Subjects: “…computer science…”
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: “…Computer science…”
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: “…Computer science…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Business Objects als Gestaltungskonzept strategischer Informationssystemplanung by Erler, Thomas

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

AI, Data, and Digitalization First International Symposium, SAIDD 2023, Sogndal, Norway, May 9-10, 2023, Revised Selected Papers /

Subjects: “…Data structures (Computer science).…”
Link to Metadata

Security of Networks and Services in an All-Connected World 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Swi...

Subjects: “…Data structures (Computer science).…”
Link to Metadata

New Insights in Machine Learning and Deep Neural Networks

Subjects: “…Computer science bicssc…”
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: “…Computer science…”
DOAB: download the publication
DOAB: description of the publication

Enhanced Living Environments Algorithms, Architectures, Platforms, and Systems

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