Search Results - "computable"

Demystifying Intelligent Multimode Security Systems An Edge-to-Cloud Cybersecurity Solutions Guide / by Booth, Jody, Metz, Werner, Tarkhanyan, Anahit, Cheruvu, Sunil

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

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, 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 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

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

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

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

Energy Babble by Andy Boucher, Bill Gaver, Tobie Kerridge, Mike Michael, Liliana Ovalle, Matthew Plummer-Fernandez, and Alex Wilkie

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

Ray Tracing Gems II Next Generation Real-Time Rendering with DXR, Vulkan, and OptiX /

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

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