1
Sommario: ... -- Combining Decision Procedures -- Arrays -- Invariant Generation -- Further Reading....
Testo
Elettronico eBook
2
Pubblicazione 2008
Sommario: ...Methods -- A Complex Systems Perspective on Collaborative Design -- RAn (Robustness Analyser...
Testo
Elettronico eBook
3
Pubblicazione 2015
Sommario: ... And Nanotechnology For Point-of-Decision Diagnosis Of Animal Pathogens -- Molecular Typing Tools: From Pattern...
Testo
Elettronico eBook