search result

Cover von A Tour of Gallifrey, a Language for Geodistributed Programming

A Tour of Gallifrey, a Language for Geodistributed Programming

Year: 2019
Media group: LIPIcs
Cover von Rethinking Productivity in Software Engineering
Search for this author
Year: 2019
Publisher: Berkeley, Apress
Media group: MONOGRAPHIE
Cover von Bounding Quantum-Classical Separations for Classes of Nonlocal Games

Bounding Quantum-Classical Separations for Classes of Nonlocal Games

Year: 2019
Media group: LIPIcs
Cover von A Hierarchy Theorem for Interactive Proofs of Proximity

A Hierarchy Theorem for Interactive Proofs of Proximity

Year: 2017
Media group: LIPIcs
Cover von Web Technologies and Applications
APWeb 2016 Workshops, WDMA, GAP, and SDMA, Suzhou, China, September 23 - 25, 2016, Proceedings
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9865
Media group: MONOGRAPHIE
Cover von Voronoi Choice Games

Voronoi Choice Games

Year: 2016
Media group: LIPIcs
Cover von An Intensionally Fully-abstract Sheaf Model for pi

An Intensionally Fully-abstract Sheaf Model for pi

Year: 2015
Media group: LIPIcs
Cover von Wild omega-Categories for the Homotopy Hypothesis in Type Theory

Wild omega-Categories for the Homotopy Hypothesis in Type Theory

Year: 2015
Media group: LIPIcs
Cover von Coordination Models and Languages
17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2 - 4, 2015, Proceedings
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9037
Media group: MONOGRAPHIE
Cover von Evolving Software Systems
Search for this author
Year: 2014
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
OPEN V 11.1.0.0