Electronic Notes in Theoretical Computer Science

Công bố khoa học tiêu biểu

* Dữ liệu chỉ mang tính chất tham khảo

Sắp xếp:  
Intensional Semantics of System T of Gödel
Electronic Notes in Theoretical Computer Science - Tập 35 - Trang 230-243 - 2000
Pierre Valarcher
Semantics of Visual Models in a Rule-based Setting
Electronic Notes in Theoretical Computer Science - Tập 148 - Trang 75-88 - 2006
Hans-Jörg Kreowski, Karsten Hölscher, Peter Knirsch
Topological Construction of Parameterized Bisimulation Limit
Electronic Notes in Theoretical Computer Science - Tập 257 - Trang 55-70 - 2009
Yanfang Ma, Min Zhang
Projections for Infinitary Rewriting
Electronic Notes in Theoretical Computer Science - Tập 332 - Trang 131-148 - 2017
Carlos Lombardi
Generating Processes from Specifications using the Relation Manipulation System RelView
Electronic Notes in Theoretical Computer Science - Tập 44 - Trang 194-220 - 2003
Michael Winter
Discounting in Time
Electronic Notes in Theoretical Computer Science - Tập 253 - Trang 25-31 - 2009
Uli Fahrenberg, Kim G. Larsen
Unfolding of Parametric Boolean Networks
Electronic Notes in Theoretical Computer Science - Tập 335 - Trang 67-90 - 2018
Juraj Kolčák, David Šafránek, Stefan Haar, Loïc Paulevé
WAVer: A Model Checking-based Tool to Verify Web Application Design
Electronic Notes in Theoretical Computer Science - Tập 157 - Trang 61-76 - 2006
D. Castelluccia, M. Mongiello, M. Ruta, R. Totaro
Dynamic Incremental Hashing in Program Model Checking
Electronic Notes in Theoretical Computer Science - Tập 149 - Trang 51-69 - 2006
Tilman Mehler
Migrating Traditional Web Applications to CMS-based Web Applications
Electronic Notes in Theoretical Computer Science - Tập 314 - Trang 23-44 - 2015
Feliu Trias, Valeria de Castro, Marcos Lopez-Sanz, Esperanza Marcos
Tổng số: 2,724   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10