Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

“…Lecture Notes in Computer Science,…”
Link to Metadata

The Datacenter as a Computer Designing Warehouse-Scale Machines, Third Edition / by Barroso, Luiz André, Hölzle, Urs, Ranganathan, Parthasarathy

“…Synthesis Lectures on Computer Architecture,…”
Link to Metadata

A Primer on Memory Consistency and Cache Coherence, Second Edition by Nagarajan, Vijay, Sorin, Daniel J., Hill, Mark D., Wood, David A.

“…Synthesis Lectures on Computer Architecture,…”
Link to Metadata

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

“…Lecture Notes in Computer Science,…”
Link to Metadata

xxAI - Beyond Explainable AI International Workshop, Held in Conjunction with ICML 2020, July 18, 2020, Vienna, Austria, Revised and Extended Papers /

“…Lecture Notes in Artificial Intelligence,…”
Link to Metadata

Haptics: Science, Technology, Applications 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, Hamburg, Germany, May 22...

“…Lecture Notes in Computer Science,…”
Link to Metadata

Participative Urban Health and Healthy Aging in the Age of AI 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings /

“…Lecture Notes in Computer Science,…”
Link to Metadata

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

“…Lecture Notes in Computer Science,…”
Link to Metadata

Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /

“…Lecture Notes in Artificial Intelligence,…”
Link to Metadata

Digital Interaction and Machine Intelligence Proceedings of MIDI'2021 - 9th Machine Intelligence and Digital Interaction Conference, December 9-10, 2021, Warsaw, Poland /

“…Lecture Notes in Networks and Systems,…”
Link to Metadata

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

“…Lecture Notes in Computer Science,…”
Link to Metadata

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

“…Lecture Notes in Computer Science,…”
Link to Metadata

Electronic Voting 7th International Joint Conference, E-Vote-ID 2022, Bregenz, Austria, October 4-7, 2022, Proceedings /

“…Lecture Notes in Computer Science,…”
Link to Metadata

Flexible Automation and Intelligent Manufacturing: The Human-Data-Technology Nexus Proceedings of FAIM 2022, June 19-23, 2022, Detroit, Michigan, USA /

“…Lecture Notes in Mechanical Engineering,…”
Link to Metadata

Algorithms for Big Data DFG Priority Program 1736 /

“…Lecture Notes in Computer Science,…”
Link to Metadata

BUiD Doctoral Research Conference 2022 Multidisciplinary Studies /

“…Lecture Notes in Civil Engineering,…”
Link to Metadata

Manufacturing Driving Circular Economy Proceedings of the 18th Global Conference on Sustainable Manufacturing, October 5-7, 2022, Berlin /

“…Lecture Notes in Mechanical Engineering,…”
Link to Metadata

Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023,...

“…Lecture Notes in 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...

“…Lecture Notes in 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...

“…Lecture Notes in Computer Science,…”
Link to Metadata