Sciweavers

15824 search results - page 177 / 3165
» Specialising in Software Engineering
Sort
View
184
Voted
AMAST
1997
Springer
15 years 11 months ago
Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract)
Patrick Cousot, Radhia Cousot
147
Voted
ARCS
1997
Springer
15 years 11 months ago
Kapselung mobiler Programme
Lars Reuther, Hermann Härtig
142
Voted
BTLAB
1997
Springer
15 years 11 months ago
Machine Intelligibility and the Duality Principle
Stephen Muggleton, Donald Michie