Science of Computer Programming

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:  
Conformance notions for the coordination of interaction components
Science of Computer Programming - Tập 75 - Trang 350-373 - 2010
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
Rotations in the plane and Prolog
Science of Computer Programming - Tập 66 - Trang 154-161 - 2007
Attila Csenki
Towards mechanized correctness proofs for cryptographic algorithms
Science of Computer Programming - Tập 74 - Trang 52-63 - 2008
Jerry den Hartog
Reasoning about continuous systems
Science of Computer Programming - Tập 14 - Trang 117-132 - 1990
K.Mani Chandy
Introduction to reversal fuzzy switch graph
Science of Computer Programming - Tập 216 - Trang 102776 - 2022
Suene Campos, Regivan Santiago, Manuel A. Martins, Daniel Figueiredo
Modelling and verifying BDI agents with bigraphs
Science of Computer Programming - Tập 215 - Trang 102760 - 2022
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
Experience of building an architecture-based generator using GenVoca for distributed systems
Science of Computer Programming - Tập 75 - Trang 672-688 - 2010
Chung-Horng Lung, Pragash Rajeswaran, Sathyanarayanan Sivadas, Theleepan Sivabalasingam
A faster solver for general systems of equations
Science of Computer Programming - Tập 35 - Trang 137-161 - 1999
Christian Fecht, Helmut Seidl
Recovering memory access patterns of executable programs
Science of Computer Programming - Tập 80 - Trang 440-456 - 2014
Alain Ketterlin, Philippe Clauss
An operational semantics of sharing in lazy evaluation
Science of Computer Programming - Tập 27 - Trang 289-322 - 1996
Jill Seaman, S.Purushothaman Iyer
Tổng số: 1,109   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10