2019
CLERC Maurice
Iterative Optimizers: Difficulty Measures and Benchmarks
GHLALA Riadh
Analytic SQL in SQL Server 2014/2016
TOUNSI Wiem
Cyber-Vigilance and Digital Trust: Cyber Security in the Era of Cloud Computing and IoT
2018
ANDRO Mathieu
Digital Libraries and Crowdsourcing
(Digital Tools and Uses Set – Volume 5)
ARNALDI Bruno, GUITTON Pascal, MOREAU Guillaume
Virtual Reality and Augmented Reality: Myths and Realities
BERTHIER Thierry, TEBOUL Bruno
From Digital Traces to Algorithmic Projections
CARDON Alain
Beyond Artificial Intelligence: From Human Consciousness to Artificial Consciousness
HOMAYOUNI S. Mahdi, FONTES Dalila B.M.M.
Metaheuristics for Maritime Operations
(Optimization Heuristics Set – Volume 1)
JEANSOULIN Robert
JavaScript and Open Data
PIVERT Olivier
NoSQL Data Models: Trends and Challenges
(Databases and Big Data Set – Volume 1)
SEDKAOUI Soraya
Data Analytics and Big Data
SALEH Imad, AMMI Mehdi, SZONIECKY Samuel
Challenges of the Internet of Things: Technology, Use, Ethics
(Digital Tools and Uses Set – Volume 7)
SZONIECKY Samuel
Ecosystems Knowledge: Modeling and Analysis Method for Information and Communication
(Digital Tools and Uses Set – Volume 6)
2017
BENMAMMAR Badr
Concurrent, Real-Time and Distributed Programming in Java
HÉLIODORE Frédéric, NAKIB Amir, ISMAIL Boussaad, OUCHRAA Salma, SCHMITT Laurent
Metaheuristics for Intelligent Electrical Networks
(Metaheuristics Set – Volume 10)
MA Haiping, SIMON Dan
Evolutionary Computation with Biogeography-based Optimization
(Metaheuristics Set – Volume 8)
PÉTROWSKI Alain, BEN-HAMIDA Sana
Evolutionary Algorithms
(Metaheuristics Set – Volume 9)
PAI G A Vijayalakshmi
Metaheuristics for Portfolio Optimization
(Metaheuristics Set – Volume 11)
2016
BLUM Christian, FESTA Paola
Metaheuristics for String Problems in Bio-informatics
(Metaheuristics Set – Volume 6)
DEROUSSI Laurent
Metaheuristics for Logistics
(Metaheuristics Set – Volume 4)
DHAENENS Clarisse and JOURDAN Laetitia
Metaheuristics for Big Data
(Metaheuristics Set – Volume 5)
LABADIE Nacima, PRINS Christian, PRODHON Caroline
Metaheuristics for Vehicle Routing Problems
(Metaheuristics Set – Volume 3)
LEROY Laure
Eyestrain Reduction in Stereoscopy
LUTTON Evelyne, PERROT Nathalie, TONDA Albert
Evolutionary Algorithms for Food Science and Technology
(Metaheuristics Set – Volume 7)
MAGOULÈS Frédéric, ZHAO Hai-Xiang
Data Mining and Machine Learning in Building Energy Analysis
RIGO Michel
Advanced Graph Theory and Combinatorics
2015
BARBIER Franck, RECOUSSINE Jean-Luc
COBOL Software Modernization: From Principles to Implementation with the BLU AGE® Method
CHEN Ken
Performance Evaluation by Simulation and Analysis with Applications to Computer Networks
CLERC Maurice
Guided Randomness in Optimization
(Metaheuristics Set – Volume 1)
DURAND Nicolas, GIANAZZA David, GOTTELAND Jean-Baptiste, ALLIOT Jean-Marc
Metaheuristics for Air Traffic Management
(Metaheuristics Set – Volume 2)
MAGOULÈS Frédéric, ROUX François-Xavier, HOUZEAUX Guillaume
Parallel Scientific Computing
MUNEESAWANG Paisarn, YAMMEN Suchart
Visual Inspection Technology in the Hard Disk Drive Industry
2014
BOULANGER Jean-Louis
Formal Methods Applied to Industrial Complex Systems
BOULANGER Jean-Louis
Formal Methods Applied to Complex Systems: Implementation of the B Method
GARDI Frédéric, BENOIST Thierry, DARLAY Julien, ESTELLON Bertrand, MEGEL Romain
Mathematical Programming Solver based on Local Search
KRICHEN Saoussen, CHAOUACHI Jouhaina
Graph-related Optimization and Decision Support Systems
LARRIEU Nicolas, VARET Antoine
Rapid Prototyping of Software for Avionics Systems: Model-oriented Approaches for Complex Systems Certification
OUSSALAH Mourad Chabane
Software Architecture 1
Software Architecture 2
PASCHOS Vangelis Th
Combinatorial Optimization – 3-volume series, 2nd Edition Concepts of Combinatorial Optimization – Volume 1, 2nd Edition Problems and New Approaches – Volume 2, 2nd Edition Applications of Combinatorial Optimization – Volume 3, 2nd Edition
QUESNEL Flavien
Scheduling of Large-scale Virtualized Infrastructures: Toward Cooperative Management
RIGO Michel
Formal Languages, Automata and Numeration Systems 1:
Introduction to Combinatorics on Words
Formal Languages, Automata and Numeration Systems 2:
Applications to Recognizability and Decidability
SAINT-DIZIER Patrick
Musical Rhetoric: Foundations and Annotation Schemes
TOUATI Sid, DE DINECHIN Benoit
Advanced Backend Optimization
2013
ANDRÉ Etienne, SOULAT Romain
The Inverse Method: Parametric Verification of Real-time Embedded Systems
BOULANGER Jean-Louis
Safety Management for Software-based Equipment
DELAHAYE Daniel, PUECHMOREL Stéphane
Modeling and Optimization of Air Traffic
FRANCOPOULO Gil
LMF — Lexical Markup Framework
GHÉDIRA Khaled
Constraint Satisfaction Problems
ROCHANGE Christine, UHRIG Sascha, SAINRAT Pascal Time-Predictable Architectures
WAHBI Mohamed
Algorithms and Ordering Heuristics for Distributed Constraint Satisfaction Problems
ZELM Martin et al.
Enterprise Interoperability
2012
ARBOLEDA Hugo, ROYER Jean-Claude
Model-Driven and Software Product Line Engineering
BLANCHET Gérard, DUPOUY Bertrand Computer Architecture
BOULANGER Jean-Louis
Industrial Use of Formal Methods: Formal Verification
BOULANGER Jean-Louis
Formal Method: Industrial Use from Model to the Code
CALVARY Gaëlle, DELOT Thierry, SÈDES Florence, TIGLI Jean-Yves Computer Science and Ambient Intelligence
MAHOUT Vincent
Assembly Language Programming: ARM Cortex-M3 2.0: Organization, Innovation and Territory
MARLET Renaud
Program Specialization
SOTO Maria, SEVAUX Marc, ROSSI André, LAURENT Johann
Memory Allocation Problems in Embedded Systems: Optimization Methods
2011
BICHOT Charles-Edmond, SIARRY Patrick
Graph Partitioning
BOULANGER Jean-Louis
Static Analysis of Software: The Abstract Interpretation
CAFERRA Ricardo
Logic for Computer Science and Artificial Intelligence
HOMES Bernard
Fundamentals of Software Testing
KORDON Fabrice, HADDAD Serge, PAUTET Laurent, PETRUCCI Laure
Distributed Systems: Design and Algorithms
KORDON Fabrice, HADDAD Serge, PAUTET Laurent, PETRUCCI Laure
Models and Analysis in Distributed Systems
LORCA Xavier
Tree-based Graph Partitioning Constraint
TRUCHET Charlotte, ASSAYAG Gerard
Constraint Programming in Music
VICAT-BLANC PRIMET Pascale et al.
Computing Networks: From Cluster to Cloud Computing
2010
AUDIBERT Pierre
Mathematics for Informatics and Computer Science
BABAU Jean-Philippe et al.
Model Driven Engineering for Distributed Real-Time Embedded Systems
BOULANGER Jean-Louis
Safety of Computer Architectures
MONMARCHE Nicolas et al.
Artificial Ants
PANETTO Hervé, BOUDJLIDA Nacer
Interoperability for Enterprise Software and Applications 2010
SIGAUD Olivier et al.
Markov Decision Processes in Artificial Intelligence
SOLNON Christine
Ant Colony Optimization and Constraint Programming
AUBRUN Christophe, SIMON Daniel, SONG Ye-Qiong et al.
Co-design Approaches for Dependable Networked Control Systems
2009
FOURNIER Jean-Claude
Graph Theory and Applications
GUEDON Jeanpierre
The Mojette Transform / Theory and Applications
JARD Claude, ROUX Olivier
Communicating Embedded Systems / Software and Design
LECOUTRE Christophe
Constraint Networks / Targeting Simplicity for Techniques and Algorithms
2008
BANÂTRE Michel, MARRÓN Pedro José, OLLERO Hannibal, WOLITZ Adam
Cooperating Embedded Systems and Wireless Sensor Networks
MERZ Stephan, NAVET Nicolas
Modeling and Verification of Real-time Systems
PASCHOS Vangelis Th
Combinatorial Optimization and Theoretical Computer Science: Interfaces and Perspectives
WALDNER Jean-Baptiste
Nanocomputers and Swarm Intelligence
2007
BENHAMOU Frédéric, JUSSIEN Narendra, O’SULLIVAN Barry
Trends in Constraint Programming
JUSSIEN Narendra
A TO Z OF SUDOKU
2006
BABAU Jean-Philippe et al.
From MDD Concepts to Experiments and Illustrations – DRES 2006
HABRIAS Henri, FRAPPIER Marc
Software Specification Methods
MURAT Cecile, PASCHOS Vangelis Th
Probabilistic Combinatorial Optimization on Graphs
PANETTO Hervé, BOUDJLIDA Nacer
Interoperability for Enterprise Software and Applications 2006 / IFAC-IFIP I-ESA ’2006
2005
GÉRARD Sébastien et al.
Model Driven Engineering for Distributed Real Time Embedded Systems
PANETTO Hervé
Interoperability of Enterprise Software and Applications 2005