search result

Cover von Exploring a Quantum Programming Language with Concurrency

Exploring a Quantum Programming Language with Concurrency

Year: 2025
Media group: OASICS
Cover von Dynamic Logic
New Trends and Applications : First International Workshop, DALI 2017, Brasilia, Brazil, September 23 - 24, 2017, Proceedings
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10669
Media group: MONOGRAPHIE
Cover von Software Engineering and Formal Methods
22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Search for this author
Year: 2025
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Formal Methods; 15280
Media group: MONOGRAPHIE
Cover von Recent Trends in Algebraic Development Techniques
26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28 - 30, 2022, Revised Selected Papers
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13710
Media group: MONOGRAPHIE
OPEN V 11.1.0.0