Công bố khoa học
Công cụ trích dẫn
Công bố khoa học
Trích dẫn
Tạp chí khoa học
Cơ quan đơn vị
Quản lý tài khoản
Danh mục đã lưu
Đăng xuất
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
Đi đến bài báo
Trích dẫn
Lưu lại
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
Đi đến bài báo
Trích dẫn
Lưu lại
Topological Construction of Parameterized Bisimulation Limit
Electronic Notes in Theoretical Computer Science
-
Tập 257
- Trang 55-70
- 2009
Yanfang Ma
,
Min Zhang
Đi đến bài báo
Trích dẫn
Lưu lại
Projections for Infinitary Rewriting
Electronic Notes in Theoretical Computer Science
-
Tập 332
- Trang 131-148
- 2017
Carlos Lombardi
Đi đến bài báo
Trích dẫn
Lưu lại
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
Đi đến bài báo
Trích dẫn
Lưu lại
Discounting in Time
Electronic Notes in Theoretical Computer Science
-
Tập 253
- Trang 25-31
- 2009
Uli Fahrenberg
,
Kim G. Larsen
Đi đến bài báo
Trích dẫn
Lưu lại
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é
Đi đến bài báo
Trích dẫn
Lưu lại
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
Đi đến bài báo
Trích dẫn
Lưu lại
Dynamic Incremental Hashing in Program Model Checking
Electronic Notes in Theoretical Computer Science
-
Tập 149
- Trang 51-69
- 2006
Tilman Mehler
Đi đến bài báo
Trích dẫn
Lưu lại
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
Đi đến bài báo
Trích dẫn
Lưu lại
Tổng số: 2,724
1
2
3
4
5
6
10