Resultados da pesquisa - "Computer science"

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

Assuntos: “...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...

Assuntos: “...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...

Assuntos: “...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 / Por Taillard, Éric D.

Assuntos: “...Computational Science and Engineering....”
Link to Metadata

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

Assuntos: “...Computational Science and Engineering....”
Link to Metadata

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

Assuntos: “...Computational Science and Engineering....”
Link to Metadata

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

Assuntos: “...Computational Science and Engineering....”
Link to Metadata

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

Assuntos: “...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

Assuntos: “...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

Assuntos: “...Computer science...”
DOAB: download the publication
DOAB: description of the publication

Business Objects als Gestaltungskonzept strategischer Informationssystemplanung Por Erler, Thomas

Assuntos: “...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... Por Ralf Küsters

Assuntos: “...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

Assuntos: “...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

Assuntos: “...Computer science...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Business Objects als Gestaltungskonzept strategischer Informationssystemplanung Por Erler, Thomas

Assuntos: “...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 /

Assuntos: “...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...

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

New Insights in Machine Learning and Deep Neural Networks

Assuntos: “...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...

Assuntos: “...Computer science...”
DOAB: download the publication
DOAB: description of the publication

Enhanced Living Environments Algorithms, Architectures, Platforms, and Systems

Assuntos: “...Computer science...”
DOAB: download the publication
DOAB: description of the publication