Complete Symbolic Simulation of Systemc Models:

Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs

Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs (BestMasters) by Vladimir Herdt
2016 | ISBN: 3658126795 | English | 162 pages | PDF | 2 MB
Simulation of ODE/PDE Models with MATLAB®, OCTAVE and SCILAB: Scientific and Engineering Applications (repost)

Simulation of ODE/PDE Models with MATLAB®, OCTAVE and SCILAB: Scientific and Engineering Applications
by Alain Vande Wouwer
English | 2014 | ISBN: 3319067893 | 424 pages | PDF | 12.6 MB
Computational Modelling and Simulation of Aircraft and the Environment (repost)

Computational Modelling and Simulation of Aircraft and the Environment
English | ISBN: 0470018402 | edition 2009 | PDF | 382 pages | 16,4 mb

This first volume of Computational Modelling of Aircraft and the Environment provides a comprehensive guide to the derivation of computational models from basic physical & mathematical principles, giving the reader sufficient information to be able to represent the basic architecture of the synthetic environment. Highly relevant to practitioners, it takes into account the multi-disciplinary nature of the aerospace environment and the integrated nature of the models needed to represent it. Coupled with the forthcoming Volume 2: Aircraft Models and Flight Dynamics it represents a complete reference to the modelling and simulation of aircraft and the environment.
Scalable Hardware Verification with Symbolic Simulation (repost)

Scalable Hardware Verification with Symbolic Simulation
Springer; 1 edition | December 21, 2005 | ISBN-10: 0387244115 | 180 pages | PDF | 10.92 Mb

Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions which radically improve scalability.
Simulation of Dynamic Systems with MATLAB and Simulink (Repost)

Simulation of Dynamic Systems with MATLAB and Simulink
Publisher: CRC Press | ISBN: 1420044184 | edition 2007 | PDF | 605 pages | 2.2 MB

Focusing on mathematical models of continuous-time systems and the discrete-time system models created to simulate them, Simulation of Dynamic Systems with MATLAB and Simulink introduces the fundamentals of continuous system simulation, including an extensive treatment of linear systems and numerical integration. This book features real-world examples from engineering, biology, ecology, and business. Analytical solutions of differential equation models are presented when appropriate to demonstrate the accuracy of a simulation solution. Exercises and a solutions manual are also provided, making this an ideal textbook for undergraduate and graduate modeling and simulation courses
Computational Modelling and Simulation of Aircraft and the Environment (Repost)

Computational Modelling and Simulation of Aircraft and the Environment
Publisher: Wiley | ISBN: 0470018402 | edition 2009 | PDF | 382 pages | 13,4 mb

This first volume of Computational Modelling of Aircraft and the Environment provides a comprehensive guide to the derivation of computational models from basic physical & mathematical principles, giving the reader sufficient information to be able to represent the basic architecture of the synthetic environment. Highly relevant to practitioners, it takes into account the multi-disciplinary nature of the aerospace environment and the integrated nature of the models needed to represent it. Coupled with the forthcoming Volume 2: Aircraft Models and Flight Dynamics it represents a complete reference to the modelling and simulation of aircraft and the environment.

Simulation of Transport in Nanodevices  eBooks & eLearning

Posted by Underaglassmoon at Dec. 3, 2016
Simulation of Transport in Nanodevices

Simulation of Transport in Nanodevices
Wiley-ISTE | MEMS | January 2017 | ISBN-10: 1848215665 | 396 pages | pdf | 16.5 mb

By François Triozon (Editor), Philippe Dollfus (Editor)

Computer Simulation of Polymeric Materials: Applications of the OCTA System  eBooks & eLearning

Posted by ksveta6 at Nov. 26, 2016
Computer Simulation of Polymeric Materials: Applications of the OCTA System

Computer Simulation of Polymeric Materials: Applications of the OCTA System by Japan Association for Chemical Innovation
2016 | ISBN: 9811008140 | English | 400 pages | PDF | 19 MB

Encyclopaedia of Military Models 1/72 (Repost)  eBooks & eLearning

Posted by Oleksandr74 at Nov. 26, 2016
Encyclopaedia of Military Models 1/72 (Repost)

Claude Boileau - Encyclopaedia of Military Models 1/72
Tab Books | 1988 | ISBN: 083068283X, 0830683836 | English | 201 Pages | PDF | 87.33 MB

2-D Electromagnetic Simulation of Passive Microstrip Circuits (repost)  eBooks & eLearning

Posted by MoneyRich at Nov. 16, 2016
2-D Electromagnetic Simulation of Passive Microstrip Circuits (repost)

2-D Electromagnetic Simulation of Passive Microstrip Circuits by Alejandro D. Jimenez
English | 3 Nov. 2008 | ISBN: 1420087053 | 288 Pages | PDF | 16 MB

The explosion of wireless communications has generated a tidal wave of interest and development in computational techniques for electromagnetic simulation as well as the design and analysis of RF and microwave circuits.