Search Results - "computing"

Biometric Systems

Subjects: “…Human-computer interaction bicssc…”
DOAB: download the publication
DOAB: description of the publication

Simulation Modeling

Subjects: “…Computer modelling & simulation bicssc…”
DOAB: download the publication
DOAB: description of the publication

Augmented Reality and Its Application

Subjects: “…Human-computer interaction bicssc…”
DOAB: download the publication
DOAB: description of the publication

Symbiotic Interaction 5th International Workshop, Symbiotic 2016, Padua, Italy, September 29-30, 2016, Revised Selected Papers /

Subjects: “…User interfaces (Computer systems).…”
Link to Metadata

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019,...

Subjects: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019,...

Subjects: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Silicon Valley Cybersecurity Conference Third Conference, SVCC 2022, Virtual Event, August 17-19, 2022, Revised Selected Papers

Subjects: “…Computer security bicssc…”
DOAB: download the publication
DOAB: description of the publication

Silicon Valley Cybersecurity Conference Third Conference, SVCC 2022, Virtual Event, August 17-19, 2022, Revised Selected Papers

Subjects: “…Computer security bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Informatics in the Future Proceedings of the 11th European Computer Science Summit (ECSS 2015), Vienna, October 2015 /

Table of Contents: “…Shifting Identities in Computing: From a Useful Tool to a New Method and Theory of Science -- On the Big Impact of "Big Computer Science" -- On Informatics, Diamonds and T -- Leadership and Balance in Research -- Rational ethics -- Ethics for the digital age: where are the moral specs? …”
Link to Metadata

Proceedings of the 2020 DigitalFUTURES The 2nd International Conference on Computational Design and Robotic Fabrication (CDRF 2020) /

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

Intertwingled: The Work and Influence of Ted Nelson

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

Intertwingled: The Work and Influence of Ted Nelson

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

Psychology, Learning, Technology First International Conference, PLT 2022, Foggia, Italy, January 19-21, 2022, Revised Selected Papers /

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

Cyber Security 19th China Annual Conference, CNCERT 2022, Beijing, China, August 16-17, 2022, Revised Selected Papers /

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

Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Cze...

Subjects: “…Computer security bicssc…”
DOAB: download the publication
DOAB: description of the publication

Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Cze...

Subjects: “…Computer security bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

CyberParks - The Interface Between People, Places and Technology New Approaches and Perspectives /

Subjects: “…User interfaces (Computer systems).…”
Link to Metadata

Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Cze...

Table of Contents: “…Foundations for parallel information ow control runtime systems -- A Formal Analysis of Timing Channel Security via Bucketing -- A Dependently Typed Library for Static Information-Flow Control in Idris -- Achieving Safety Incrementally with Checked C -- Wys*: A DSL for Verified Secure Multi-party Computations -- Generalised Differential Privacy for Text Document Processing -- Symbolic verification of distance bounding protocols -- On the formalisation of Ʃ-Protocols and Commitment Schemes -- Orchestrating Layered Attestations -- Verifying liquidity of Bitcoin contracts.…”
Link to Metadata

Smart Technologies for Precision Assembly 9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020, Virtual Event, December 14-15, 2020, Revised Selected Papers /

Subjects: “…Computers, Special purpose.…”
Link to Metadata

Pro TBB C++ Parallel Programming with Threading Building Blocks by Voss, Michael

Subjects: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication