中文
相关论文

相关论文: Proceedings of the 24th International Symposium on…

200 篇论文

This is the arXiv index for the electronic proceedings of the 25th International Symposium on Graph Drawing and Network Visualization (GD 2017), which was held in Boston, U.S.A., September 25-27 2017. It contains the peer-reviewed and…

计算几何 · 计算机科学 2017-09-14 Fabrizio Frati , Kwan-Liu Ma

These are the revised accepted papers from the 26th International Symposium on Graph Drawing and Network Visualization (GD 2018), Barcelona, Spain, September 26 - September 28, 2018. Proceedings are also to be published by Springer in the…

计算几何 · 计算机科学 2018-09-24 Therese Biedl , Andreas Kerren

This is the arXiv index for the electronic proceedings of GD 2022, which is held at the Tokyo Institute of Technology, Tokyo, Japan, on September 13 - 16, 2022. It contains the peer-reviewed and revised accepted papers with an optional…

计算几何 · 计算机科学 2022-09-12 Patrizio Angelini , Reinhard von Hanxleden

This is the arXiv index for the electronic proceedings of GD 2019, which contains the peer-reviewed and revised accepted papers with an optional appendix. Proceedings (without appendices) are also to be published by Springer in the Lecture…

计算几何 · 计算机科学 2019-09-17 Daniel Archambault , Csaba D. Tóth

This is the arXiv index for the electronic proceedings of GD 2021, which contains the peer-reviewed and revised accepted papers with an optional appendix. Proceedings (without appendices) are also to be published by Springer in the Lecture…

计算几何 · 计算机科学 2021-09-13 Helen Purchase , Ignaz Rutter

This is the arXiv index for the electronic proceedings of GD 2023, which contains the peer-reviewed and revised accepted papers with an optional appendix. Proceedings (without appendices) are also to be published by Springer in the Lecture…

计算几何 · 计算机科学 2023-09-15 Michael A. Bekos , Markus Chimani

Proceedings of GD2020: This volume contains the papers presented at GD~2020, the 28th International Symposium on Graph Drawing and Network Visualization, held on September 18-20, 2020 online. Graph drawing is concerned with the geometric…

计算几何 · 计算机科学 2021-01-05 David Auber , Pavel Valtr

This volume contains the proceedings of TERMGRAPH 2016, the Ninth International Workshop on Computing with Terms and Graphs which was held on April 8, 2016 in Eindhoven, The Netherlands, as a satellite event of the European Joint…

计算机科学中的逻辑 · 计算机科学 2016-09-13 Andrea Corradini , Hans Zantema

This volume contains the post-proceedings of the Fourteenth and the Fifteenth International Workshops on Graph Computation Models (GCM 2023 and 2024). The workshops took place in Leicester, UK on 18th July 2023 and Enschede, the Netherlands…

计算机科学中的逻辑 · 计算机科学 2025-03-26 Jörg Endrullis , Dominik Grzelak , Tobias Heindel , Jens Kosiol

These are the proceedings of the Third Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014), which took place on April 5, 2014 in Grenoble, France, as a satellite event of the 17th European Joint Conferences on Theory and…

计算机科学中的逻辑 · 计算机科学 2014-07-30 Dragan Bošnački , Stefan Edelkamp , Alberto Lluch Lafuente , Anton Wijs

This volume contains the post-proceedings of the Twelfth International Workshop on Graph Computation Models (GCM 2021). The workshop was part of STAF 2021 (Software Technologies: Applications and Foundations) as an online-workshop on 22nd…

形式语言与自动机理论 · 计算机科学 2021-12-21 Berthold Hoffmann , Mark Minas

This volume contains the proceedings of the (first) Graphs as Models (GaM) 2015 workshop, held on 10-11 April 2015 in London, U.K., as a satellite workshop of ETAPS 2015, the European Joint Conferences on Theory and Practice of Software.…

软件工程 · 计算机科学 2015-04-10 Arend Rensink , Eduardo Zambon

This volume contains the post-proceedings of the Thirteenth International Workshop on Graph Computation Models (GCM 2022). The workshop took place in Nantes, France on 6th July 2022 as part of STAF 2022 (Software Technologies: Applications…

计算机科学中的逻辑 · 计算机科学 2022-12-22 Reiko Heckel , Christopher M. Poskitt

This volume contains the post-proceedings of the Tenth International Workshop on Graph Computation Models (GCM 2019: http://gcm2019.imag.fr). The workshop was held in Eindhoven, The Netherlands, on July 17th, 2019, as part of STAF 2019…

计算机科学中的逻辑 · 计算机科学 2019-12-20 Rachid Echahed , Detlef Plump

This volume contains the post-proceedings of the Sixteenth International Workshop on Graph Computation Models (GCM 2025). The workshops took place in Koblenz, Germany on June 10 as part of STAF (Software Technologies: Applications and…

计算机科学中的逻辑 · 计算机科学 2026-01-07 Leen Lambers , Oszkár Semeráth

These are the proceedings of the Second Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2013), which took place on March 24, 2013 in Rome, Italy, as a satellite event of the 16th European Joint Conferences on Theory and…

数据结构与算法 · 计算机科学 2013-12-30 Anton Wijs , Dragan Bošnački , Stefan Edelkamp

The present volume contains the proceedings of the First International Workshop on Graphical Models for Security (GraMSec'14). The workshop was held in Grenoble, France, on April 12, 2014, as one of the satellite events of the European…

密码学与安全 · 计算机科学 2014-04-08 Barbara Kordy , Sjouke Mauw , Wolter Pieters

This volume contains the post-proceedings of the 8th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2014). The workshop took place in Vienna on July 13, 2014 and was affiliated with the joint RTA and TLCA conference,…

计算机科学中的逻辑 · 计算机科学 2015-05-27 Aart Middeldorp , Femke van Raamsdonk

These are the proceedings of the First Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2012), which took place on April 1, 2012 in Tallinn, Estonia, as a satellite event of the 15th European Joint Conferences on Theory and…

数据结构与算法 · 计算机科学 2012-10-24 Anton Wijs , Dragan Bošnački , Stefan Edelkamp

ADG is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction. The conference is held every two years. The previous…

计算机科学中的逻辑 · 计算机科学 2024-01-22 Pedro Quaresma , Zoltán Kovács
‹ 上一页 1 2 3 10 下一页 ›