Simulation of Dynamic Systems with MATLAB and Simulink, 2nd Edition
Coupled thermo-hydro-mechanical-chemical processes in geo-systems: fundamentals, modelling, experiments and applications, GeoProc2003 conference held at the Royal Institute of Technology in Stockholm, Sweden, in October 2003
Coupled thermo-hydro-mechanical-chemical processes in geo-systems: fundamentals, modelling, experiments and applications, GeoProc2003 conference held at the Royal Institute of Technology in Stockholm, Sweden, in October 2003
CISA Certified Information Systems Auditor 2nd Edition - David L. Cannon
CISA Certified Information Systems Auditor 2nd Edition - David L. Cannon
Agent Computing and Multi-Agent Systems: 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers
Agent Computing and Multi-Agent Systems: 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers
Introduction to Operating System Design and Implementation - Michael Kifer and Scott A. Smolka
Introduction to Operating System Design and Implementation - Michael Kifer and Scott A. Smolka
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P
Operating Systems Internals and Design Principles 9th Edition Global Edition - William Stallings