Search Results - "lecture"

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

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

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

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

Ethics and Responsible Research and Innovation in Practice The ETHNA System Project /

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

New Metropolitan Perspectives Transition with Resilience for Evolutionary Development /

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

3rd International Conference on Thermal Issues in Machine Tools (ICTIMT2023)

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

3D Research Challenges in Cultural Heritage III Complexity and Quality in Digitisation /

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

Digital Interaction and Machine Intelligence Proceedings of MIDI'2022 - 10th Machine Intelligence and Digital Interaction - Conference, December 12-15, 2022, Warsaw, Poland (Online...

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

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II /

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

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I /

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

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III /

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