Reactive Systems: Modelling, Specification and

Reactive Systems: Modelling, Specification and Verification...

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Modelling, Analysis, Verification, and. .. November 14-16, 2017, Proceedings: 10598...

TAME: A Specialized Specification and Verification System for Timed Automata...

Modelling and Verification of Secure Exams...

Safety Instrumented Systems Verification - Practical Probabilistic Calculations (English Edition)...

Safety Instrumented Systems Verification: Practical Probabilistic Calculation...

Systems and Software Verification: Model-Checking Techniques and Tools Used Book in Good Condition...

Systems modelling (English Edition)...

Engineering Systems: Modelling and Control...

Stochastic Modelling for Systems Biology...

Agent-Based Modelling of Socio-Technical Systems: 9...

Modelling, Analysis and Design of Hybrid Systems: 279...

Modelling Computing Systems: Mathematics for Computer Science...

Environmental Technology Verification Report: Physical Removal of Microbial Contamination Agents in Drinking Water: EcoWater Systems, Inc. Sears Kenmore Ultrafilter 500 Drinking Water Treatment System...

Econometric Modelling with Time Series: Specification, Estimation and Testing...

Strategic Modelling and Business Dynamics: A feedback systems approach...

Agent-Based Modelling & Geographical Information Systems: A Practical Primer...

Logic In Computer Science: Modelling And Reasoning About Systems...

Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017,. .. Science Book 10466) (English Edition)...

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,. .. May 22-27, 2006, Advances Lectures: 3965...

Neural Networks for Modelling and Control of Dynamic Systems: A Practitioner's Handbook...

Advanced Maintenance Modelling for Asset Management: Techniques and Methods for Complex Industrial Systems (English Edition)...

Specification...

Modelling software with pictures: UML diagramming for real-time embedded systems (The engineering of real-time embedded systems) (English Edition)...

Off-road Vehicle Dynamics: Analysis, Modelling and Optimization (Studies in Systems, Decision and Control Book 70) (English Edition)...

An Introduction to Reactive Power Control and Voltage Stability in Power Transmission Systems...

MIVAR learning systems, virtual reality and 3D - visualization of scientific modelling results (English Edition)...

Esquilino Pigneto. Due sistemi urbani a confronto-Modelling Neighbourhood Systems. Ediz. bilingue. Con DVD...

FRAM: The Functional Resonance Analysis Method: Modelling Complex Socio-technical Systems (English Edition)...

FRAM: The Functional Resonance Analysis Method: Modelling Complex Socio-technical Systems...

Feature Based Product Life-Cycle Modelling: IFIP TC5 / WG5.2 & WG5.3 Conference on Feature Modelling and Advanced Design-for-the-Life-Cycle Systems (FEATS. .. Technology Book 109) (English Edition)...

Scale Verification Log Book...

Hands-On Reactive Programming in Spring 5: Build cloud-ready, reactive systems with Spring 5 and Project Reactor (English Edition)...

Hands-On Reactive Programming in Spring 5: Build cloud-ready, reactive systems with Spring 5 and Project Reactor [Lingua inglese]...

Code of Practice for Grid Connected Solar Photovoltaic Systems: Design, specification, installation, commissioning, operation and maintenance...

Logic in Computer Science: Modelling and Reasoning about Systems Nuovo Condizione menta lo stesso giorno per ordine ricevuto prima delle 12:00 Imballaggio Nessun riciclo restituisce...

Mathematical Modelling...

Terrain Modelling...

Aircraft Modelling...

Professional Modelling...