Génie logiciel

Image from Gallica about Génie logiciel
Genre or work form : Software
Field : Informatique
Variants of the title : Génie du logiciel
Ingénierie du logiciel
Ingénierie informatique
Technique du logiciel

About the content (1 resources in data.bnf.fr)

Contains (1)

Documents about "Génie logiciel" (3,188 resources in data.bnf.fr)

Livres (3,179)

Logiciel et industrie du futur [Nantes] : IMT Atlantique ; Paris : Presses des Mines , DL 2019
Software methodologies Boca Raton : CRC press, Taylor & Francis group
Software technology [S.l.] : IEEE computer society ; Hoboken : Wiley
How to be a geek Cambridge ; Malden, [Massachusetts] : Polity
Le marché de la réalité augmentée et virtuelle à l'horizon 2020 Paris : Xerfi , DL 2017
Génie logiciel Paris : Techniques de l'ingénieur , impr. 2017
Computer safety, reliability, and security [Cham] : Springer , [2016]
Software Engineering and Formal Methods , 2016. - , 2016 : Springer International Publishing , 2016
NASA Formal Methods , 2016. - , 2016 : Springer International Publishing , 2016
Computational Logistics Cham : Springer International Publishing : Imprint : Springer , 2016
Tests and Proofs , 2016. - , 2016 : Springer International Publishing , 2016
Formal Methods Cham : Springer , 2016
Search-Based Software Engineering [Cham] : Springer International Publishing : Springer , 2016
Computer Performance Engineering Cham : Springer , 2016
Web Services, Formal Methods, and Behavioral Types Cham : Springer International Publishing , 2016
Controlled Natural Language Cham : Springer International Publishing , 2016
Stabilization, Safety, and Security of Distributed Systems Cham : Springer International Publishing , 2016
Service-Oriented Computing Cham : Springer International Publishing : Imprint : Springer , 2016
Tools and Algorithms for the Construction and Analysis of Systems Berlin, Heidelberg : Springer Berlin Heidelberg , 2016
Web Information Systems Engineering - WISE 2016 Cham, Switzerland : Springer , [2016]
Coordination Models and Languages , 2016. - , 2016 : Springer International Publishing , 2016
Wired/Wireless Internet Communications , 2016. - , 2016 : Springer International Publishing , 2016
Transactions on Foundations for Mastering Change I Cham : Springer , 2016
Information security applications Switzerland : Springer , [2016]
Testing Software and Systems Cham : Springer International Publishing , 2016
Human-Centered and Error-Resilient Systems Development Cham : Springer International Publishing : Imprint : Springer , 2016
Service-Oriented Computing - ICSOC 2015 Workshops Berlin, Heidelberg : Springer Berlin Heidelberg , 2016
Distributed Computing Berlin, Heidelberg : Springer , 2016
Advances in Conceptual Modeling Cham : Springer International Publishing , 2016
OpenMP Cham : Springer International Publishing : Imprint : Springer , 2016
Swarm, Evolutionary, and Memetic Computing Cham : Springer International Publishing , 2016
Programming Languages and Systems Cham : Springer International Publishing , 2016
Perspectives of System Informatics , 2016. - , 2016 : Springer International Publishing , 2016
Programming Languages and Systems Berlin, Heidelberg : Springer , 2016
Runtime Verification Cham : Springer , 2016
Service-Oriented and Cloud Computing Cham : Springer International Publishing : Imprint : Springer , 2016
SOFSEM 2016 Berlin, Heidelberg : Springer , 2016
Software Reuse , 2016. - , 2016 : Springer International Publishing , 2016
Tackling Society's Grand Challenges with Design Science , 2016. - , 2016 : Springer International Publishing , 2016
Theory and Practice of Model Transformations , 2016. - , 2016 : Springer International Publishing , 2016
Trends and applications in software engineering Cham : Springer
Web engineering Switzerland : Springer , 2016
Critical systems [Cham] : Springer , [2016]
Economics of Grids, Clouds, Systems, and Services Cham : Springer International Publishing , 2016
Computational Science and Its Applications - ICCSA 2016 Cham : Springer International Publishing , 2016
Interactive Theorem Proving Cham : Springer International Publishing : Imprint : Springer , 2016
FM 2016 Cham : Springer , 2016
Transactions on Modularity and Composition I Cham : Springer International Publishing : Imprint : Springer , 2016
Transactions on Computational Collective Intelligence XXV Berlin, Heidelberg : Springer , 2016
Theory and Applications of Satisfiability Testing - SAT 2016 , 2016. - , 2016 : Springer International Publishing , 2016
Computational Science and Its Applications - ICCSA 2016 Cham : Springer International Publishing , 2016
Formal Techniques for Distributed Objects, Components, and Systems , 2016. - , 2016 : Springer International Publishing , 2016
Augmented reality : no longer just text overlays : Nakono , 2016
Automated Technology for Verification and Analysis Cham : Springer International Publishing , 2016
Software Architecture Cham : Springer International Publishing , 2016
Foundations of Software Science and Computation Structures Berlin, Heidelberg : Springer , 2016
Hardware and Software Cham : Springer International Publishing , 2016
Reliable Software Technologies - Ada-Europe 2016 , 2016. - , 2016 : Springer International Publishing , 2016
Principles and Practice of Multi-Agent Systems Cham : Springer International Publishing , 2016
Graph Transformation , 2016. - , 2016 : Springer International Publishing , 2016
Fundamental Approaches to Software Engineering Berlin, Heidelberg : Springer , 2016
Parallel Processing and Applied Mathematics Cham : Springer International Publishing , 2016
Network and Parallel Computing Cham : Springer International Publishing , 2016
Multi-Agent Systems and Agreement Technologies Cham : Springer International Publishing , 2016
Networked systems [Cham] : Springer , [2016]
Model and data engineering [Cham] : Springer , [2016]
Graphical Models for Security Cham : Springer , 2016
Parallel Processing and Applied Mathematics Cham : Springer International Publishing , 2016
Green, Pervasive, and Cloud Computing , 2016. - , 2016 : Springer International Publishing , 2016
Product-Focused Software Process Improvement Cham : Springer International Publishing , 2016
Hybrid Systems Biology Cham : Springer International Publishing : Imprint : Springer , 2016
Rewriting Logic and Its Applications Cham : Springer International Publishing : Imprint : Springer , 2016
Scala Cham : Springer , [2016]
Semantics, Logics, and Calculi Cham : Springer International Publishing , 2016
High Performance Computing in Science and Engineering , 2016. - , 2016 : Springer International Publishing , 2016
Software engineering for resilient systems [Cham] : Springer , [2016]
Computer Safety, Reliability, and Security Cham : Springer International Publishing : Imprint : Springer , 2016
Software Technologies Cham : Springer International Publishing , 2016
Integrated Formal Methods , 2016. - , 2016 : Springer International Publishing , 2016
Systems programming Amsterdam ; Boston ; Paris : Morgan Kaufmann : Elsevier , cop. 2016
Theoretical Aspects of Computing - ICTAC 2016 Cham : Springer International Publishing , 2016
Theory and Practice of Formal Methods Cham : Springer , 2016
Transactions on Computational Science XXVII Berlin, Heidelberg : Springer Berlin Heidelberg , 2016
Transactions on Petri Nets and Other Models of Concurrency XI Berlin, Heidelberg : Springer , 2016
Universal access in human computer interaction [Cham] : Springer , 2016
Verified Software. Theories, Tools, and Experiments Cham : Springer , 2016
Web technologies and applications [Cham] : Springer , [2016]
Advanced Information Systems Engineering , 2016. - , 2016 : Springer International Publishing , 2016
Languages and Compilers for Parallel Computing Cham : Springer , 2016
Formal Methods and Software Engineering Cham : Springer International Publishing , 2016
Formal Modeling and Analysis of Timed Systems Cham : Springer International Publishing : Imprint : Springer , 2016
Introduction to software engineering Boca Raton : Taylor & Francis : CRC press , cop. 2016
Dependable Software Engineering Cham : Springer International Publishing , 2016
Autonomous Agents and Multiagent Systems Cham : Springer , 2016
Foundational and Practical Aspects of Resource Analysis Cham : Springer International Publishing : Imprint : Springer , 2016
Verified software Cham : Springer , [2016]
Trust, Privacy and Security in Digital Business Cham : Springer International Publishing : Imprint : Springer , 2016
Trends in Functional Programming , 2016. - , 2016 : Springer International Publishing , 2016
Knowledge, information and creativity support systems Cham : Springer
Computational Science and Its Applications -- ICCSA 2016 Cham : Springer International Publishing , 2016
Intelligent Computer Mathematics Cham : Springer International Publishing , 2016
Automated Reasoning Cham : Springer International Publishing , 2016
Model Checking Software Cham : Springer International Publishing , 2016
Leveraging Applications of Formal Methods, Verification and Validation Cham : Springer International Publishing , 2016
Conceptual Modeling Cham : Springer International Publishing : Imprint : Springer , 2016
Algorithms and Architectures for Parallel Processing Cham : Springer International Publishing : Imprint : Springer , 2016
Computational Science and Its Applications - ICCSA 2016 Cham : Springer International Publishing , 2016
Leveraging Applications of Formal Methods, Verification and Validation Cham : Springer International Publishing , 2016
On the Move to Meaningful Internet Systems Cham : Springer International Publishing , 2016
Foundations of software engineering Boca Raton : CRC press : Taylor & Francis group , cop. 2016
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification , 2016. - , 2016 : Springer International Publishing , 2016
Computer Aided Verification Cham : Springer International Publishing , 2016
System analysis and modeling [Cham] : Springer , [2016]
Computational Science and Its Applications -- ICCSA 2016 Cham : Springer International Publishing , 2016
Deductive software verification - the keY book Cham : Springer , cop. 2016
Architecture of Computing Systems -- ARCS 2016 Cham : Springer , 2016
Current Trends in Web Engineering Cham : Springer International Publishing , 2016
Analytical and Stochastic Modelling Techniques and Applications Cham : Springer International Publishing : Imprint : Springer , 2016
Logics in Artificial Intelligence Cham : Springer International Publishing , 2016
Distributed Applications and Interoperable Systems , 2016. - , 2016 : Springer International Publishing , 2016
Biomedical Data Management and Graph Online Querying Cham : Springer International Publishing , 2016
Computer Aided Verification Cham : Springer International Publishing , 2016
Abstract State Machines, Alloy, B, TLA, VDM, and Z , 2016. - , 2016 : Springer International Publishing , 2016
Engineering Secure Software and Systems Cham : Springer , 2016
Engineering Trustworthy Software Systems Cham : Springer , 2016
Collaboration and Technology Cham : Springer International Publishing : Imprint : Springer , 2016
Coordination, Organizations, Institutions, and Normes in Agent Systems XI Cham : Springer International Publishing , 2016
Games and Learning Alliance , 2016. - , 2016 : Springer International Publishing , 2016
Mathematical Software - ICMS 2016 Cham : Springer International Publishing , 2016
Mobile Web and Intelligent Information Systems Cham : Springer International Publishing : Imprint : Springer , 2016
Modelling foundations and applications [Cham] : Springer , [2016]
Multi-Agent Based Simulation XVI Cham : Springer , 2016
Multiagent system technologies [Cham] : Springer , [2016]
Engineering the Web in the Big Data Era Cham : Springer International Publishing , 2015
Agile Product Development Berkeley, CA : Apress , 2015
Data Science Cham : Springer International Publishing , 2015
Advances in Computer Games Cham : Springer International Publishing , 2015
Cyber Physical Systems. Design, Modeling, and Evaluation Cham : Springer International Publishing , 2015
Advances in Complex Data Modeling and Computational Methods in Statistics Cham : Springer International Publishing , 2015
Enhanced Building Information Models Cham : Springer International Publishing , 2015
From Requirements to Java in a Snap Cham : Springer International Publishing , 2015
Cryptographic hardware and embedded systems -- CHES 2015 Heidelberg : Springer , 2015
Logic for Programming, Artificial Intelligence, and Reasoning Berlin, Heidelberg : Springer Berlin Heidelberg , 2015
Current trends in web engineering Cham : Springer , 2015
Agile Processes, in Software Engineering, and Extreme Programming Cham : Springer International Publishing , 2015
Logic programming and nonmonotonic reasoning Cham : Springer , 2015
Cloud Portability and Interoperability Cham : Springer International Publishing , 2015
Crowdsourcing Berlin, Heidelberg : Springer Berlin Heidelberg , 2015
Engineering Secure Software and Systems Cham : Springer International Publishing , 2015
Logic-Based Program Synthesis and Transformation Cham : Springer International Publishing , 2015
Logic, Rewriting, and Concurrency Cham : Springer International Publishing , 2015
Management of software engineering innovation in Japan Tokyo : Springer , cop. 2015
Ambient Assisted Living. ICT-based Solutions in Real Life Situations Cham : Springer International Publishing , 2015
Learning MATLAB Cham : Springer International Publishing , 2015
Advanced Parallel Processing Technologies Cham : Springer International Publishing , 2015
Behavior Modeling -- Foundations and Applications Cham : Springer International Publishing , 2015
Algorithms and Architectures for Parallel Processing Cham : Springer International Publishing , 2015
Languages, Applications and Technologies Cham : Springer International Publishing , 2015
Advanced Information Systems Engineering Workshops Cham : Springer International Publishing , 2015
Le marché de la réalité augmentée et virtuelle Paris : Xerfi , 2015
Latent Variable Analysis and Signal Separation Cham : Springer International Publishing , 2015
Computational Science and Its Applications -- ICCSA 2015 Cham : Springer International Publishing , 2015
Fundamental Approaches to Software Engineering Berlin, Heidelberg : Springer Berlin Heidelberg , 2015
Agent Environments for Multi-Agent Systems IV Cham : Springer International Publishing , 2015
Foundations of Software Science and Computation Structures Berlin, Heidelberg : Springer Berlin Heidelberg , 2015
Computational Science and Its Applications -- ICCSA 2015 Cham : Springer International Publishing , 2015
Computational Science and Its Applications -- ICCSA 2015 Cham : Springer International Publishing , 2015
Engineering Multi-Agent Systems Cham : Springer International Publishing , 2015
Beginning software engineering Indianapolis : Wiley Online Library , [2015]
Cloud Computing and Big Data Cham : Springer , 2015
Computational Science and Its Applications -- ICCSA 2015 Cham : Springer International Publishing , 2015
Dependable Software Engineering Cham : Springer International Publishing , 2015
Logic-Based Program Synthesis and Transformation Cham : Springer International Publishing , 2015
Managing Agile Cham : Springer International Publishing , 2015
Coordination Models and Languages Cham : Springer International Publishing , 2015
Introduction to concurrency theory Cham : Springer , 2015
Introduction to Programming with Fortran Cham : Springer International Publishing , 2015
Formal Modeling and Analysis of Timed Systems Cham : Springer International Publishing , 2015
Advances in Spatial Data Handling and Analysis Cham : Springer International Publishing , 2015
Advanced Information Systems Engineering Cham : Springer International Publishing , 2015
Arduino music and audio projects [Berkeley, CA] : Apress , cop. 2015
Interoperability and Open-Source Solutions for the Internet of Things Cham : Springer International Publishing , 2015
Computational methods in systems biology Cham : Springer , 2015
Interactive theorem proving Cham : Springer , 2015
Intelligent Software Methodologies, Tools and Techniques Cham : Springer International Publishing , 2015
Formal Methods for Multicore Programming Cham : Springer International Publishing , 2015
Interaktive Systeme Berlin : Springer Berlin Heidelberg , 2015
Advances in Wireless Sensor Networks Berlin, Heidelberg : Springer Berlin Heidelberg , 2015
Advances in Service-Oriented and Cloud Computing Cham : Springer International Publishing , 2015
The art and science of analyzing software data Amsterdam : Elsevier Morgan Kaufmann , cop. 2015
Formal Methods for Industrial Critical Systems Cham : Springer International Publishing , 2015
Formal Methods and Software Engineering Cham : Springer International Publishing , 2015
Formal Techniques for Distributed Objects, Components, and Systems Cham : Springer International Publishing , 2015
Algorithms and Architectures for Parallel Processing Cham : Springer International Publishing , 2015
Cloud Computing and Services Sciences Cham : Springer International Publishing , 2015
Aspect-Oriented Security Hardening of UML Design Models Cham : Springer International Publishing , 2015
Internet and Distributed Computing Systems Cham : Springer International Publishing , 2015
Countdown to a Moon Launch Cham [u.a.] : Springer International Publishing , 2015
JavaScript Object Programming Berkeley, CA : Apress , 2015
Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability Cham : Springer International Publishing , 2015
See more livres about Génie logiciel

Documents électroniques (1)

Ingénierie et qualité du logiciel et des systèmes La Plaine-Saint-Denis : AFNOR éd. , cop. 2010

See also