Search Results - "computability"

Socio-Cognitive and Affective Computing by Antonio Fernández-Caballero (Ed.)

Subjects: “…Socio-Cognitive Computing…”
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.…”
Link to Metadata

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.…”
Link to Metadata

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

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

Supercomputing Frontiers 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings /

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

Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

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

Digital Health Transformation, Smart Ageing, and Managing Disability 20th International Conference, ICOST 2023, Wonju, South Korea, July 7-8, 2023, Proceedings /

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

The Impact of Digital Technologies on Public Health in Developed and Developing Countries 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceeding...

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

Brain-Inspired Computing 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers /

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

Cyber-Physical Systems: A Model-Based Approach by Taha, Walid M., Taha, Abd-Elhamid M., Thunberg, Johan

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

GUI Design for Android Apps by Cohen, Ryan, Wang, Tao

Subjects: “…Mobile computing.…”
Link to Metadata

Semantic Systems. In the Era of Knowledge Graphs 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, The Netherlands, September 7-10, 2020, Proceedings /

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

Android on x86 An Introduction to Optimizing for Intel Architecture / by Krajci, Iggy, Cummings, Darren

Subjects: “…Mobile computing.…”
Link to Metadata

Learn BlackBerry 10 App Development A Cascades-Driven Approach / by Ludin, Anwar

Subjects: “…Mobile computing.…”
Link to Metadata

Chapter 12 Computer science by Hartel, Pieter

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

Chapter 12 Computer science by Hartel, Pieter

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

Haptics: Science, Technology, Applications 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6-9, 2020, Proceedings /

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

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

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

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

Subjects: “…Computers…”
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 I

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