Zoekresultaten - "Computational Science"
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
- Computer science 459
- Artificial intelligence 197
- Software Engineering 156
- Computer Science 135
- Information technology industries 101
- Computer networking & communications 80
- Algorithms & data structures 67
- Information technology: general issues 67
- Mathematics 62
- Computer networks 54
- Software engineering 54
- Artificial Intelligence 52
- Computer programming / software development 52
- Mathematical theory of computation 52
- Computer modelling & simulation 46
- Network hardware 44
- Systems analysis & design 43
- Data processing 38
- Expert systems / knowledge-based systems 36
- History of engineering & technology 36
- Computer Engineering and Networks 35
- Computer engineering 35
- User interface design & usability 35
- Media studies 34
- Information retrieval 30
- Computer vision 28
- Image processing 28
- Computer security 27
- Information technology 27
- Theory of Computation 27
-
801
Architecture of Advanced Numerical Analysis Systems Designing a Scientific Computing System using OCaml
Gepubliceerd in 2023Onderwerpen: “…Computer science bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
802
Semantic Systems. The Power of AI and Knowledge Graphs 15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9-12, 2019, Proceedings
Gepubliceerd in 2019Onderwerpen: “…Computer science…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
803
Architecture of Advanced Numerical Analysis Systems Designing a Scientific Computing System using OCaml
Gepubliceerd in 2023Onderwerpen: “…Computer science bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
804
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...
Gepubliceerd in 2021Onderwerpen: “…Computer science bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
805
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...
Gepubliceerd in 2021Onderwerpen: “…Computer science bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
806
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
Gepubliceerd in 2018Onderwerpen: “…Computer science…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
807
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
Gepubliceerd in 2018Onderwerpen: “…Computer science…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
808
Business Objects als Gestaltungskonzept strategischer Informationssystemplanung
Gepubliceerd in 2001Onderwerpen: “…Computer science…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
809
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...
Gepubliceerd in 2018Onderwerpen: “…computer science…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
810
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
Gepubliceerd in 2018Onderwerpen: “…Computer science…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
811
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
Gepubliceerd in 2018Onderwerpen: “…Computer science…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
812
Business Objects als Gestaltungskonzept strategischer Informationssystemplanung
Gepubliceerd in 2001Onderwerpen: “…Computer science…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
813
AI, Data, and Digitalization First International Symposium, SAIDD 2023, Sogndal, Norway, May 9-10, 2023, Revised Selected Papers /
Gepubliceerd in 2024Onderwerpen: “…Data structures (Computer science).…”
Link to Metadata
Elektronisch E-boek -
814
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...
Gepubliceerd in 2017Onderwerpen: “…Data structures (Computer science).…”
Link to Metadata
Elektronisch E-boek -
815
New Insights in Machine Learning and Deep Neural Networks
Gepubliceerd in 2023Onderwerpen: “…Computer science bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
816
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...
Gepubliceerd in 2019Onderwerpen: “…Computer science…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
817
Enhanced Living Environments Algorithms, Architectures, Platforms, and Systems
Gepubliceerd in 2019Onderwerpen: “…Computer science…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
818
Human Computer Interaction and Emerging Technologies Workshop Proceedings from the INTERACT 2019 Workshops
Gepubliceerd in 2020Onderwerpen: “…Computer science bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
819
Kernel Methods and Hybrid Evolutionary Algorithms in Energy Forecasting
Gepubliceerd in 2018Onderwerpen: “…Computer science bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
820
Bell Nonlocality
Gepubliceerd in 2019Onderwerpen: “…Computer science bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk