281- 283 of 283 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings, Author: Maurice H. ter Beek
QUICK ADD
Formal Methods for Industrial…
by Maurice H. ter Beek (Editor), Dejan Nickovic (Editor)
#12327 in Series
Paperback $54.99
Title: Practical MATLAB Modeling with Simulink: Programming and Simulating Ordinary and Partial Differential Equations, Author: Sulaymon L. Eshkabilov
QUICK ADD
Practical MATLAB Modeling with…
by Sulaymon L. Eshkabilov
Paperback $69.99
Title: Declarative Agent Languages and Technologies III: Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers, Author: Matteo Baldoni
QUICK ADD
Declarative Agent Languages…
by Matteo Baldoni (Editor), Ulle Endriss (Editor), Andrea Omicini (Editor), Paolo Torroni (Editor)
#3904 in Series
Paperback $54.99

Pagination Links