A

1. abs - Algorithms, Biology, Structure PDF XML
2. abstraction - Abstract Interpretation and Static Analysis PDF ePUB XML
3. aces - Ambient computing and embedded systems PDF ePUB XML
4. adam - Adaptive Distributed Applications and Middleware PDF ePUB XML
5. adept - Algorithms for Dynamic Dependable Systems PDF ePUB XML
6. alchemy - Architectures, Languages and Compilers to Harness the End of Moore Years PDF ePUB XML
7. alea - Advanced Learning Evolutionary Algorithms PDF ePUB XML
8. alf - Amdahl's Law is Forever PDF ePUB XML
9. algorille - Algorithms for the Grid PDF ePUB XML
10. algorithms - Algorithms PDF ePUB XML
11. alice - Geometry and Light PDF ePUB XML
12. alien - Algebra for Digital Identification and Estimation PDF ePUB XML
13. alpage - Large-scale deep linguistic processing PDF ePUB XML
14. amazones - Ambient Middleware Architectures: Service-Oriented, Networked, Efficient and Secured PDF ePUB XML
15. amib - Algorithms and Models for Integrative Biology PDF ePUB XML
16. anubis - Tools of automatic control for scientific computing, Models and Methods in Biomathematics PDF ePUB XML
17. aoste - Models and methods of analysis and optimization for systems with real-time and embedding constraints PDF ePUB XML
18. apics - Analysis and Problems of Inverse type in Control and Signal processing PDF ePUB XML
19. ariana - Inverse Problems in Earth Observation and Cartography PDF ePUB XML
20. arles - Software architectures and distributed systems PDF ePUB XML
21. arobas - Advanced Robotics and Autonomous Systems PDF ePUB XML
22. artis - Acquisition, representation and transformations for image synthesis PDF ePUB XML
23. arénaire - Computer arithmetic PDF ePUB XML
24. asap - As Scalable As Possible: foundations of large scale dynamic distributed systems PDF ePUB XML
25. asclepios - Analysis and Simulation of Biomedical Images PDF ePUB XML
26. ascola - Aspect and composition languages PDF ePUB XML
27. aspi - Applications of interacting particle systems to statistics PDF ePUB XML
28. ateams - Analysis and Transformation based on rEliAble tool coMpositionS PDF ePUB XML
29. athena - Computational Imaging of the Central Nervous System PDF ePUB XML
30. atlanmod - Modeling Technologies for Software Production, Operation, and Evolution PDF ePUB XML
31. atlas - Complex Data Management in Distributed Systems PDF ePUB XML
32. aviz - Analysis and Visualization PDF ePUB XML
33. axis - Usage-centered design, analysis and improvement of information systems PDF ePUB XML

B

1. bacchus - Parallel tools for Numerical Algorithms and Resolution of essentially Hyperbolic problems PDF ePUB XML
2. bamboo - An algorithmic view on genomes, cells, and environments PDF ePUB XML
3. bang - Nonlinear Analysis for Biology and Geophysical flows PDF ePUB XML
4. bipop - Nonsmooth Dynamics and Optimization PDF ePUB XML
5. bunraku - Perception, decision and action of real and virtual humans in virtual environments and impact on real environments PDF ePUB XML

C

1. cad - Computer Aided Design PDF ePUB XML
2. cairn - Energy Efficient Computing Architectures PDF ePUB XML
3. calvi - Scientific Computation and Visualization PDF ePUB XML
4. camus - Compilation pour les Architectures MUlti-coeurS PDF ePUB XML
5. caramel - Cryptology, Arithmetic: Hardware and Software PDF ePUB XML
6. carte - Theoretical adverse computations, and safety PDF ePUB XML
7. cascade - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities PDF ePUB XML
8. cassis - Combining approaches for the security of infinite state systems PDF ePUB XML
9. celtique - Software certification with semantic analysis PDF ePUB XML
10. cepage - Algorithmics for computationally intensive applications over wide scale distributed platforms PDF ePUB XML
11. classic - Computational Learning, Aggregation, Supervised Statistical, Inference, and Classification PDF ePUB XML
12. clime - Coupling environmental data and simulation models for software integration PDF ePUB XML
13. combining - COMputational BIology and data miNING PDF ePUB XML
14. comete - Concurrency, Mobility and Transactions PDF ePUB XML
15. commands - Control, Optimization, Models, Methods and Applications for Nonlinear Dynamical Systems PDF ePUB XML
16. comore - Modeling and control of renewable resources PDF ePUB XML
17. compsys - Compilation and Embedded Computing Systems PDF ePUB XML
18. concha - Complex Flow Simulation Codes based on High-order and Adaptive methods PDF ePUB XML
19. contraintes - Constraint programming PDF ePUB XML
20. coprin - Constraints solving, optimization and robust interval analysis PDF ePUB XML
21. corida - Robust control of infinite dimensional systems and applications PDF ePUB XML
22. cortex - Neuromimetic intelligence PDF ePUB XML
23. costeam - Optimal and secure management of manufacturing systems PDF ePUB XML
24. cqfd - Quality control and dynamic reliability PDF ePUB XML

D

1. dahu - Verification in databases PDF ePUB XML
2. dart - Dataparallelism for Real-Time PDF ePUB XML
3. defi - Shape reconstruction and identification PDF ePUB XML
4. demar - Artificial movement and gait restoration PDF ePUB XML
5. digiplante - Modelling plant growth and architecture PDF ePUB XML
6. dionysos - Dependability Interoperability and perfOrmance aNalYsiS Of networkS PDF ePUB XML
7. disco - Dynamical Interconnected Systems in COmplex Environments PDF ePUB XML
8. distribcom - Distributed and Iterative Algorithms for the Management of Telecommunications Systems PDF ePUB XML
9. dnet - Dynamic Networks PDF ePUB XML
10. dolphin - Parallel Cooperative Multi-criteria Optimization PDF ePUB XML
11. dracula - Multi-scale modelling of cell dynamics : application to hematopoiesis PDF ePUB XML
12. dream - Diagnosing, REcommending Actions and Modelling PDF ePUB XML

E

1. e-motion - Geometry and Probability for Motion and Action PDF ePUB XML
2. edelweiss - Exchanges, Documents, Extraction, Languages, Web, Ergonomics, Interactions, Semantics, Servers PDF ePUB XML
3. espresso - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems PDF ePUB XML
4. estime - Parameter estimation and modeling in heterogeneous media PDF ePUB XML
5. evasion - Virtual environments for animation and image synthesis of natural objects PDF ePUB XML
6. exmo - Computer-mediated communication of structured knowledge PDF ePUB XML

F

1. flowers - Flowing Epigenetic Robots and Systems : Developmental and Social Robotics PDF ePUB XML
2. fluminance - Fluid flow Analysis, Description and Control from Image Sequences PDF ePUB XML
3. focus - Foundations of Component-based Ubiquitous Systems PDF ePUB XML
4. formes - FOrmal Methods for Embedded Systems PDF ePUB XML

G

1. galaad - Geometry, algebra, algorithms PDF ePUB XML
2. galen - Organ Modeling through Extraction, Representation and Understanding of Medical Image Content PDF ePUB XML
3. gallium - Programming languages, types, compilation and proofs PDF ePUB XML
4. gamma3 - Automatic mesh generation and advanced methods PDF ePUB XML
5. gang - Networks, Graphs and Algorithms PDF ePUB XML
6. geometrica - Geometric computing PDF ePUB XML
7. geostat - Geometry and Statistics in acquisition data PDF ePUB XML
8. graal - Algorithms and Scheduling for Distributed Heterogeneous Platforms PDF ePUB XML
9. grand-large - Global parallel and distributed computing PDF ePUB XML
10. graphik - Graphs for Inferences on Knowledge PDF ePUB XML
11. gravite - Graph Visualization and Interactive Exploration PDF ePUB XML

H

1. hiepacs - High-End Parallel Algorithms for Challenging Numerical Simulations PDF ePUB XML
2. hipercom - High performance communication PDF ePUB XML

I

1. i4s - Statistical Inference for Structural Health Monitoring PDF ePUB XML
2. ibis - Modeling, simulation, measurement, and control of bacterial regulatory networks PDF ePUB XML
3. imara - Informatics, Mathematics and Automation for La Route Automatisée PDF ePUB XML
4. imedia - Images and Multimedia: Indexing, Retrieval and Navigation PDF ePUB XML
5. in-situ - Situated interaction PDF ePUB XML
6. indes - Informatique Diffuse et Sécurisée PDF ePUB XML
7. iparla - Visualization and manipulation of complex data for mobile users PDF ePUB XML
8. ipso - Invariant Preserving SOlvers PDF ePUB XML

K

1. kerdata - Scalable Storage for Clouds and Beyond PDF ePUB XML

L

1. lagadic - Visual servoing in robotics, computer vision, and augmented reality PDF ePUB XML
2. lear - Learning and recognition in vision PDF ePUB XML
3. leo - Distributed and heterogeneous data and knowledge PDF ePUB XML
4. lfant - Lithe and Fast Algorithmic Number Theory PDF ePUB XML
5. licit - Legal Issues in Communication and Information Technologies PDF ePUB XML
6. lognet - Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems PDF ePUB XML

M

1. macs - Modeling, analysis and control in computational structural dynamics PDF ePUB XML
2. madynes - Management of dynamic networks and services PDF ePUB XML
3. maestro - Models for Performance Analysis and Control of Networks PDF ePUB XML
4. magique-3d - Advanced 3D Numerical Modeling in Geophysics PDF ePUB XML
5. magnome - Models and Algorithms for the Genome PDF ePUB XML
6. magrit - Visual Augmentation of Complex Environments PDF ePUB XML
7. maia - Autonomous intelligent machine PDF ePUB XML
8. marelle - Mathematical, Reasoning and Software PDF ePUB XML
9. masaie - Tools and models of nonlinear control theory for epidemiology and immunology PDF ePUB XML
10. mascotte - Algorithms, simulation, combinatorics and optimization for telecommunications PDF ePUB XML
11. mathfi - Financial mathematics PDF ePUB XML
12. maxplus - Algèbres max-plus et mathématiques de la décision/Max-plus algebras and mathematics of decision PDF ePUB XML
13. mc2 - Modeling, control and computations PDF ePUB XML
14. mere - Modélisation Et Ressources en Eau (Water Resource Modeling) PDF ePUB XML
15. mescal - Middleware Efficiently SCALable PDF ePUB XML
16. metalau - Methods, algorithms and software in automatic control PDF ePUB XML
17. metiss - Speech and sound data modeling and processing PDF ePUB XML
18. mexico - Modeling and Exploitation of Interaction and Concurrency PDF ePUB XML
19. micmac - Methods and engineering of multiscale computing from atom to continuum PDF ePUB XML
20. mint - Methods and tools for gestural interaction PDF ePUB XML
21. mistis - Modelling and Inference of Complex and Structured Stochastic Systems PDF ePUB XML
22. moais - PrograMming and scheduling design fOr Applications in Interactive Simulation PDF ePUB XML
23. moise - Modelling, Observations, Identification for Environmental Sciences PDF ePUB XML
24. moscova - Mobility, security, concurrence, verification and analysis PDF ePUB XML
25. mostrare - Modeling Tree Structures, Machine Learning, and Information Extraction PDF ePUB XML
26. myriads - Design and Implementation of Autonomous Distributed Systems PDF ePUB XML

N

1. nachos - Numerical modeling and high performance computing for evolution problems in complex domains and heterogeneous media PDF ePUB XML
2. nano-d - Algorithms for Modeling and Simulation of Nanosystems PDF ePUB XML
3. necs - Networked Controlled Systems PDF ePUB XML
4. netquest - Declarative Network Programming PDF ePUB XML
5. neuromathcomp - Mathematical and Computational Neuroscience PDF ePUB XML
6. numed - Numerical Medicine PDF ePUB XML

O

1. oasis - Active objects, semantics, Internet and security PDF ePUB XML
2. opale - Optimization and control, numerical algorithms and integration of complex multidiscipline systems governed by PDE PDF ePUB XML
3. orpailleur - Knowledge Discovery guided by Domain Knowledge PDF ePUB XML

P

1. pareo - Formal islands: foundations and applications PDF ePUB XML
2. parietal - Modelling brain structure, function and variability based on high-field MRI data. PDF ePUB XML
3. parole - Analysis, perception and recognition of speech PDF ePUB XML
4. parsifal - Proof search and reasoning with logic specifications PDF ePUB XML
5. perception - Interpretation and Modelling of Images and Videos PDF ePUB XML
6. phoenix - Programming Language Technology For Communication Services PDF ePUB XML
7. planète - Protocols and applications for the Internet PDF ePUB XML
8. poems - Wave propagation: mathematical analysis and simulation PDF ePUB XML
9. pop art - Programming languages, Operating systems, Parallelism, and Aspects for Real-Time PDF ePUB XML
10. pops - System and Networking for Portable Objects Proved to be Safe PDF ePUB XML
11. prima - Perception, recognition and integration for observation of activity PDF ePUB XML
12. proval - Proofs of programs PDF ePUB XML
13. pulsar - Perception Understanding Learning Systems for Activity Recognition PDF ePUB XML
14. pumas - Plasma, tUrbulence, Modeling, Approximation and Simulation PDF ePUB XML

R

1. r 2 - Design, study and implementation of languages for proofs and programs PDF ePUB XML
2. rap - Réseaux, Algorithmes et Probabilités PDF XML
3. realopt - Reformulations based algorithms for Combinatorial Optimization PDF ePUB XML
4. regal - Large-Scale Distributed Systems and Applications PDF ePUB XML
5. regularity - Probabilistic modelling of irregularity and application to uncertainties management PDF ePUB XML
6. reo - Numerical simulation of biological flows PDF ePUB XML
7. reso - Protocols and softwares for very high-performance network PDF ePUB XML
8. reves - Rendering and virtual environments with sound PDF ePUB XML
9. rmod - Analyses and Languages Constructs for Object-Oriented Application Evolution PDF ePUB XML
10. runtime - Efficient runtime systems for parallel architectures PDF ePUB XML

S

1. s4 - System Synthesis and Supervision, Scenarios PDF ePUB XML
2. sage - Simulations and Algorithms on Grids for Environment PDF ePUB XML
3. salsa - Solvers for Algebraic Systems and Applications PDF ePUB XML
4. sardes - System architecture for reflective distributed computing environments PDF ePUB XML
5. score - Services and Cooperation PDF ePUB XML
6. secret - Security, Cryptology and Transmissions PDF ePUB XML
7. secsi - Security of information systems PDF ePUB XML
8. select - Model selection in statistical learning PDF ePUB XML
9. sequel - Sequential Learning PDF ePUB XML
10. sequoia2 - Algorithms for large scale sequence analysis PDF ePUB XML
11. serpico - Space-timE RePresentation, Imaging and cellular dynamics of molecular COmplexes PDF ePUB XML
12. shaman - Simulation in Healthcare for Advanced Medical ApplicatioNs PDF ePUB XML
13. signes - Linguistic signs, grammar and meaning: computational logic for natural language PDF ePUB XML
14. simpaf - SImulations and Modeling for PArticles and Fluids PDF ePUB XML
15. sisyphe - SIgnals and SYstems in PHysiology and Engineering PDF ePUB XML
16. smash - Simulation, Modeling and Analysis of Heterogeneous Systems in continuum mechanics PDF ePUB XML
17. smis - Secured and Mobile Information Systems PDF ePUB XML
18. swing - Smart Wireless Networking PDF ePUB XML
19. symbiose - Biological systems and models, bioinformatics and sequences PDF ePUB XML

T

1. talaris - Natural Language Processing: representation, inference and semantics PDF ePUB XML
2. tanc - Algorithmic number theory for cryptology PDF ePUB XML
3. tao - Machine Learning and Optimisation PDF ePUB XML
4. temics - TraitEment, Modélisation d'Images et CommunicationS PDF ePUB XML
5. texmex - Efficient Exploitation of Multimedia Documents: Exploring, Indexing and Searching in Very Large Databases PDF ePUB XML
6. tosca - TO Simulate and CAlibrate stochastic models PDF ePUB XML
7. trec - Theory of networks and communications PDF ePUB XML
8. trio - Real time and interoperability PDF ePUB XML
9. triskell - Model-Driven Engineering for Component-Based Software PDF ePUB XML
10. tropics - Program transformations for scientific computing PDF ePUB XML
11. typical - Types, Logic and computing PDF ePUB XML

V

1. vasy - Validation of Systems PDF ePUB XML
2. vegas - Effective Geometric Algorithms for Surfaces and Visibility PDF ePUB XML
3. veridis - VERIfication of DIstributed Systems PDF ePUB XML
4. vertecs - Verification models and techniques applied to testing and control of reactive systems PDF ePUB XML
5. virtual plants - Modeling plant morphogenesis at different scales, from genes to phenotypes PDF ePUB XML
6. visages - Vision, Action and information manaGement System in health PDF ePUB XML

W

1. wam - Web, Adaptation and Multimedia PDF ePUB XML
2. willow - Models of visual object recognition and scene understanding PDF ePUB XML