1
Innehållsförteckning: ... -- Combining Decision Procedures -- Arrays -- Invariant Generation -- Further Reading....
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2008
Innehållsförteckning: ...Methods -- A Complex Systems Perspective on Collaborative Design -- RAn (Robustness Analyser...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2015
Innehållsförteckning: ... And Nanotechnology For Point-of-Decision Diagnosis Of Animal Pathogens -- Molecular Typing Tools: From Pattern...
Hämta fulltext
Elektronisk E-bok