Search Results - "Lecture Notes in Computer Science"

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

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

Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...

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

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

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

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

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

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

“…Lecture Notes in Computer Science,…”
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

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

Algorithms for Big Data DFG Priority Program 1736 /

“…Lecture Notes in Computer Science,…”
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

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

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