Sciweavers

16541 search results - page 389 / 3309
» Ontologies and Software Engineering
Sort
View
EUROSPI
2007
Springer
16 years 1 months ago
Tailoring and Introduction of the Rational Unified Process
Geir Kjetil Hanssen, Finn Olav Bjørnson, Ha...
VLSI
2007
Springer
16 years 28 days ago
SWORD: A SAT like prover using word level information
Robert Wille, Görschwin Fey, Daniel Groß...