Search Results

Rethinking the Internet of Things A Scalable Approach to Connecting Everything / by daCosta, Francis, Henderson, Byron

Link to Metadata

Intel Xeon Phi Coprocessor Architecture and Tools The Guide for Application Developers / by Rahman, Rezaur

Link to Metadata

Sensor Technologies Healthcare, Wellness and Environmental Applications / by McGrath, Michael J., Ni Scanaill, Cliodhna, Nafus, Dawn

Link to Metadata

Intel Galileo and Intel Galileo Gen 2 API Features and Arduino Projects for Linux Programmers / by Ramon, Manoel

Link to Metadata

Fashion Figures How Missy the Mathlete Made the Cut / by Borza, Melissa A.

Link to Metadata

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

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

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

Link to Metadata

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

Link to Metadata

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

Link to Metadata

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

Link to Metadata

Advances in Intelligent Data Analysis XVIII 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings /

Link to Metadata

Software for Exascale Computing - SPPEXA 2016-2019

Link to Metadata

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I /

Link to Metadata

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II /

Link to Metadata

Preparing for Digital Disruption by Schrijvers, Erik, Prins, Corien, Passchier, Reijer

Link to Metadata

Perspectives on Digital Humanism

Link to Metadata

Biometric Identification, Law and Ethics by Smith, Marcus, Miller, Seumas

Link to Metadata

Innopolis University - From Zero to Hero Ten Years of Challenges and Victories / by Mazzara, Manuel, Succi, Giancarlo, Tormasov, Alexander

Link to Metadata

Cybersecurity of Digital Service Chains Challenges, Methodologies, and Tools /

Link to Metadata