Sökresultat - "Computational Science"

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

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

Enhanced Living Environments Algorithms, Architectures, Platforms, and Systems

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

Human Computer Interaction and Emerging Technologies Workshop Proceedings from the INTERACT 2019 Workshops

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

Bell Nonlocality av Scarani, Valerio

Ämnen: “…Computer science bicssc…”
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 /

Ämnen: “…Expert systems (Computer science).…”
Link to Metadata

Supercomputing Frontiers 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, Proceedings

Ämnen: “…Computer science…”
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...

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

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

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

Hybrid Advanced Techniques for Forecasting in Energy Sector av Wei-Chiang Hong (Ed.)

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

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

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

Supercomputing Frontiers 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, Proceedings

Ämnen: “…Computer science…”
OAPEN Library: download the publication
OAPEN Library: 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...

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

Mathematical Aspects of Logic Programming Semantics av Hitzler, Pascal

Ämnen: “…Computer Science (General)…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Anisotropy Across Fields and Scales

Ämnen: “…Computational Science and Engineering…”
DOAB: download the publication
DOAB: description of the publication

Anisotropy Across Fields and Scales

Ämnen: “…Computational Science and Engineering…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Datafizierung (in) der Bildung Kritische Perspektiven auf digitale Vermessung in pädagogischen Kontexten

Ämnen: “…Computer Sciences…”
DOAB: download the publication
DOAB: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...

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

Rational Cybersecurity for Business The Security Leaders' Guide to Business Alignment av Blum, Dan

Ämnen: “…Computer Science…”
DOAB: download the publication
DOAB: description of the publication

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,... av Ahmed, Amal

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

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...

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