RechercheLivres (aka DieBuchSuche) - le moteur de recherche pour tous les livres.
Nous recherchons dans plus de 100 boutiques pour votre meilleure offre - s’il vous plaît attendre…
- Frais de port à Canada (modifier À GBR, USA, AUS, ISL, FRA)
Créer un préréglage

Tous les livres de 9786131552595 - comparer chaque offre

Entrée de l’archive:
9786131552595 - JEAN-MICHEL CONTET: MODÈLES MULTI-AGENTS RÉACTIFS POUR LA NAVIGATION MULTI-VÉHICULES:: Spécification Formelle et Vérification - Livre

JEAN-MICHEL CONTET (?):

MODÈLES MULTI-AGENTS RÉACTIFS POUR LA NAVIGATION MULTI-VÉHICULES:: Spécification Formelle et Vérification (2010) (?)

Livraison à partir de : FranceLivres d’occasion, pas un nouveau livre.
ISBN:

9786131552595 (?) ou 6131552592

, en français, 208 pages, Omniscriptum, Utilisé
Expédition sous 1 à 2 jours ouvrés
Broché, Label: Omniscriptum, Omniscriptum, Produktgruppe: Book, Publiziert: 2010-12-08, Studio: Omniscriptum
Mots-clés: Agriculture - Agroalimentaire, Artisanat, Astronomie, Bâtiment - Travaux publics - Matériaux, Chaos, Chimie, Dictionnaires techniques, Histoire des sciences, Mathématiques, Médecine, Personnages scientifiques, Physique - Sciences de la matière, Sciences de l'information, Sciences de la terre - Eau - Environnement, Sciences de la vie - Biologie - Génétique, Sciences pour tous, Sciences vétérinaires, Techniques industrielles, Livres, Sciences, Techniques et Médecine
Données de 16-03-2016 07:38h
ISBN (notations alternatives): 613-1-55259-2, 978-613-1-55259-5
Entrée de l’archive:
9786131552595 - JEAN-MICHEL CONTET: MODÈLES MULTI-AGENTS RÉACTIFS POUR LA NAVIGATION MULTI-VÉHICULES:: Spécification Formelle et Vérification - Livre

JEAN-MICHEL CONTET (?):

MODÈLES MULTI-AGENTS RÉACTIFS POUR LA NAVIGATION MULTI-VÉHICULES:: Spécification Formelle et Vérification (2010) (?)

Livraison à partir de : FranceNouveau livre
ISBN:

9786131552595 (?) ou 6131552592

, en français, 208 pages, Omniscriptum, Nouveau
Expédition sous 1 à 2 jours ouvrés
Broché, Label: Omniscriptum, Omniscriptum, Produktgruppe: Book, Publiziert: 2010-12-08, Studio: Omniscriptum
Mots-clés: Agriculture - Agroalimentaire, Artisanat, Astronomie, Bâtiment - Travaux publics - Matériaux, Chaos, Chimie, Dictionnaires techniques, Histoire des sciences, Mathématiques, Médecine, Personnages scientifiques, Physique - Sciences de la matière, Sciences de l'information, Sciences de la terre - Eau - Environnement, Sciences de la vie - Biologie - Génétique, Sciences pour tous, Sciences vétérinaires, Techniques industrielles, Livres, Sciences, Techniques et Médecine
Données de 16-03-2016 07:38h
ISBN (notations alternatives): 613-1-55259-2, 978-613-1-55259-5
Entrée de l’archive:
9786131552595 - JEAN-MICHEL CONTET: MODÈLES MULTI-AGENTS RÉACTIFS POUR LA NAVIGATION MULTI-VÉHICULES:: Spécification Formelle et Vérification - Livre

JEAN-MICHEL CONTET (?):

MODÈLES MULTI-AGENTS RÉACTIFS POUR LA NAVIGATION MULTI-VÉHICULES:: Spécification Formelle et Vérification (2010) (?)

Livraison à partir de : AllemagneIl s’agit d’un livre de pocheNouveau livre
ISBN:

9786131552595 (?) ou 6131552592

, en français, 208 pages, Editions universitaires europeennes, Livre de poche, Nouveau
Expédié en 1-2 jours
Taschenbuch, Label: Editions universitaires europeennes, Editions universitaires europeennes, Produktgruppe: Book, Publiziert: 2010-12-08, Studio: Editions universitaires europeennes
Mots-clés: Fremdsprachige Bücher, Fachbücher, Technologie, Nachschlagewerke
Données de 16-03-2016 07:38h
ISBN (notations alternatives): 613-1-55259-2, 978-613-1-55259-5
Entrée de l’archive:
9786131552595 - CONTET-J: Modèles multi-agents réactifs pour la navigation multi-véhicules - Livre

CONTET-J (?):

Modèles multi-agents réactifs pour la navigation multi-véhicules (2015) (?)

Livraison à partir de : EspagneNouveau livre
ISBN:

9786131552595 (?) ou 6131552592

, en français, 208 pages, OmniScriptum, Nouveau
Normalmente se despacha en 24 horas
Tapa blanda, Label: OmniScriptum, OmniScriptum, Produktgruppe: Libro, Publiziert: 2015-08-24, Studio: OmniScriptum
Mots-clés: Libros en idiomas extranjeros, Ciencias, tecnología y medicina, Tecnología e ingeniería, Cuestiones generales
Données de 16-03-2016 07:38h
ISBN (notations alternatives): 613-1-55259-2, 978-613-1-55259-5
Entrée de l’archive:
9786131552595 - JEAN-MICHEL CONTET: MODÈLES MULTI-AGENTS RÉACTIFS POUR LA NAVIGATION MULTI-VÉHICULES:: Spécification Formelle et Vérification (French Edition) - Livre

JEAN-MICHEL CONTET (?):

MODÈLES MULTI-AGENTS RÉACTIFS POUR LA NAVIGATION MULTI-VÉHICULES:: Spécification Formelle et Vérification (French Edition) (2010) (?)

Livraison à partir de : États-Unis d’AmériqueIl s’agit d’un livre de pocheLivres d’occasion, pas un nouveau livre.
ISBN:

9786131552595 (?) ou 6131552592

, en français, 208 pages, Editions universitaires europeennes, Livre de poche, Utilisé
Usually ships in 1-2 business days
Ce livre propose des modèles multi-agents réactifs fondés sur un cadre formel pour la vérification de propriétés et leurs validations par la simulation et l'expérimentation en considérant la navigation multi-véhicules comme domaine d'application. La navigation multi-véhicules soulève plusieurs problématiques: navigation autonome, interaction véhicule-véhicule,... Dans ce contexte, nous avons abordé plus particulièrement les aspects suivants: la conduite en convoi (platooning linéaire) et la navigation autonome. Pour cela, nous utilisons le paradigme des systèmes multi-agents réactifs, en utilisant un modèle d'interactions inspiré de la physique. Nous plaçons les systèmes multi-agents réactifs dans un cadre formel pour la vérification des propriétés, compte-tenu des contraintes de sécurité imposées par la classe d'applications cible. Pour faire face à la complexité des modèles, nous proposons une règle et une méthode de vérification compositionnelle. Nous abordons également la question de la validation du système multi-agents par la simulation et l'expérimentation. Paperback, Label: Editions universitaires europeennes, Editions universitaires europeennes, Produktgruppe: Book, Publiziert: 2010-12-08, Studio: Editions universitaires europeennes
Plus…
Mots-clés: Aerospace, Automotive, Bioengineering, Chemical, Civil & Environmental, Computer Modelling, Construction, Design, Electrical & Electronics, Energy Production & Extraction, Industrial, Manufacturing & Operational Systems, Marine Engineering, Materials & Material Science, Mechanical, Military Technology, Reference, Telecommunications & Sensors, Books, Engineering & Transportation, Science & Math
Données de 16-03-2016 07:38h
ISBN (notations alternatives): 613-1-55259-2, 978-613-1-55259-5

9786131552595

Trouver tous les livres disponibles pour votre numéro d’ISBN 9786131552595 comparer les prix rapidement et facilement et commandez immédiatement.

Disponibles livres rares, de livres d’occasion et de livres de seconde main du titre "MODÈLES MULTI-AGENTS RÉACTIFS POUR LA NAVIGATION MULTI-VÉHICULES:: Spécification Formelle et Vérification (French Edition)" De CONTET, JEAN-MICHEL sont complètement répertoriés.

fußball tricks neunundzwanzigsechs