Acta Informatica

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:  
Space efficient algorithms for some graph theoretical problems
Acta Informatica - Tập 17 - Trang 411-423 - 1982
Joseph Ja'Ja', Janos Simon
On the synchronization in parallel communicating grammar systems
Acta Informatica - Tập 30 - Trang 351-367 - 1993
Gheorghe Păun
Eigenschaften der von linearen Automaten erkennbaren Worte
Acta Informatica - Tập 3 - Trang 365-383 - 1974
K. Ecker, H. Ratschek
Phân tích LL song song Dịch bởi AI
Acta Informatica - Tập 44 - Trang 1-21 - 2006
Ladislav Vagner, Bořivoj Melichar
#thuật toán phân tích LL #phân tích song song #ngữ pháp LLP #giảm song song #kiến trúc song song
Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting systems
Acta Informatica - Tập 33 - Trang 595-606 - 1996
M. R. K. Krishna Rao
Cooperative distributed dynamic load balancing
Acta Informatica - Tập 25 - Trang 663-676 - 1988
Sheldon Shen
Machine scheduling with availability constraints
Acta Informatica - - 1998
Éric Sanlaville, Günter Schmidt
A unified approach to the generation and the acception of formal languages
Acta Informatica - - 1978
P. Deussen
Net-based control versus rational control The relation between ITNC vector languages and rational relations
Acta Informatica - Tập 34 - Trang 23-57 - 1997
N. W. Keesmaat, H. C. M. Kleijn
Parametrized invariance for infinite state processes
Acta Informatica - - 2015
Alejandro Sánchez, César Sánchez
Tổng số: 1,156   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10