Sciweavers

26496 search results - page 106 / 5300
» An Approach to Computing Ethics
Sort
View
121
Voted
BIRTHDAY
2000
Springer
15 years 10 months ago
A fixedpoint approach to (co)inductive and (co)datatype definitions
Lawrence C. Paulson
141
Voted
DAC
1999
ACM
15 years 10 months ago
An Approach for Extracting RT Timing Information to Annotate Algorithmic VHDL Specifications
Cordula Hansen, Francisco Nascimento, Wolfgang Ros...