Title: Ant Colony Optimization and Constraint Programming, Author: Christine Solnon
Title: Advanced Backend Code Optimization, Author: Sid Touati
Title: Mathematical Programming Solver Based on Local Search, Author: Frédéric Gardi
Title: Communicating Embedded Systems: Software and Design, Author: Claude Jard
Title: Assembly Language Programming: ARM Cortex-M3, Author: Vincent Mahout
Title: Model-Driven and Software Product Line Engineering, Author: Hugo Arboleda
Title: COBOL Software Modernization: From Principles to Implementation with the BLU AGE Method, Author: Franck Barbier
Title: Comparable Corpora and Computer-assisted Translation, Author: Estelle Maryline Delpech
Title: Rapid Prototyping Software for Avionics Systems: Model-oriented Approaches for Complex Systems Certification, Author: Nicolas Larrieu
Title: Testing Complex and Embedded Systems, Author: Kim H. Pries
Title: Requirements Engineering: Fundamentals, Principles, and Techniques, Author: Klaus Pohl
Title: Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models, Author: Mourad Debbabi
Title: Successful OSS Project Design and Implementation: Requirements, Tools, Social Designs and Reward Structures, Author: Hind Benbya
Title: Building Parallel, Embedded, and Real-Time Applications with Ada, Author: John W. McCormick
Title: Certifiable Software Applications 1: Main Processes, Author: Jean-Louis Boulanger
Title: Certifiable Software Applications 2: Support Processes, Author: Jean-Louis Boulanger
Title: Engineering Modeling Languages: Turning Domain Knowledge into Tools, Author: Benoit Combemale
Title: Formal Methods for Safety and Security: Case Studies for Aerospace Applications, Author: Manju Nanda
Title: Formal Methods for Safety and Security: Case Studies for Aerospace Applications, Author: Manju Nanda
Title: Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of NII Shonan Meetings, Author: Shin Nakajima

Pagination Links