GEOTRUST SSL CERTIFICATE
Détail de l'éditeur
Teknea
localisé à :
Bessières (Haute Garonne)
Collections rattachées :
|
Documents disponibles chez cet éditeur (70)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![]()
texte imprimé
CONFÉRENCE NATIONALE SUR LES PROBLÈMES COMPLETS (1996), Auteur ; CENTRE DE RECHERCHE EN INFORMATIQUE, Auteur | Bessières (Haute Garonne) : Teknea | 1996Thèmes abordés : problèmes de satisfaction de contraintes, algorithmes stochastiques, problèmes de satisfaction d'expressions booléennes, procédures de Davis - Putnam, algorithme du recuit simulé, recherche Tabu, échange de Nogoods.![]()
texte imprimé
Catherine Fargeon, Metteur en scène, réalisateur ; Jean-Philippe Quin, Metteur en scène, réalisateur | Bessières (Haute Garonne) : Teknea | 1993La robotique mobile vue sous tous ses aspects : programmation, applications civiles et militaires, capteurs, automatique, pilotage et guidage, électronique embarquée... Avec de nombreux résultats expérimentaux décrivant des situations en vraie g[...]![]()
texte imprimé
En faisant une synthèse des problèmes posés par la robotisation du soudage à l'arc, cet ouvrage constitue un guide permettant d'élaborer sérieusement un projet d'investissement.![]()
texte imprimé
SALON DES SOLUTIONS INFORMATIQUES TEMPS REEL ET DES SYSTEMES EMBARQUES (2003), Auteur | Bessières (Haute Garonne) : Teknea | 2000Thèmes abordés : systèmes distribués et réseaux, exécutifs et placement, vérifications et tests, modèles formels, outils et méthodes de développement, ordonnancement, automobiles et informatique embarquée, le WAP et les systèmes embarqués.![]()
texte imprimé
SALON DES SOLUTIONS INFORMATIQUES TEMPS REEL ET DES SYSTEMES EMBARQUES (2003), Auteur | Bessières (Haute Garonne) : Teknea | 2001Thèmes abordés : modèles et outils, ordonnancement temps réel, systèmes et exécutifs temps réel, Linux et l'embarqué.![]()
texte imprimé
SALON DES SOLUTIONS INFORMATIQUES TEMPS REEL (1998), Auteur | Bessières (Haute Garonne) : Teknea | 1993Parce que la France est riche en réalisations dans des domaines où le temps réel est primordial (nucléaire, télécommunications, aéronautique, spatial, militaire, transports, électronique), une véritable culture du temps réel habite nombre d'ingé[...]![]()
texte imprimé
SALON DES SOLUTIONS INFORMATIQUES TEMPS REEL (1998), Auteur | Bessières (Haute Garonne) : Teknea | 1995Thèmes abordés : techniques de spécification formelle, réseaux temps réel, applications réparties et distribuées, sûreté de fonctionnement et tolérance aux fautes, ordonnancement, langages et génie logiciel.![]()
texte imprimé
SALON DES SOLUTIONS POUR LES SYSTEMES TEMPS REEL ET LES APPLICATIONS ENFOUIES (1997), Auteur | Bessières (Haute Garonne) : Teknea | 1997Des conférences scientifiques qui concernent, entre autres, les techniques de vérification de propriétés temporelles, le génie logiciel, la communication industrielle et embarquée et des conférences solutions sur les outils de développement, les[...]![]()
texte imprimé
SALON DES SOLUTIONS INFORMATIQUES TEMPS REEL ET DES SYSTEMES EMBARQUES (2003), Auteur | Bessières (Haute Garonne) : Teknea | 1999L'édition 1999 de ces conférences est particulièrement marquée par les systèmes embarqués utilisés dans les secteurs industriels des télécommunications et de l'automobile.![]()
texte imprimé
SALON DES SOLUTIONS INFORMATIQUES TEMPS REEL ET DES SYSTEMES EMBARQUES (2003), Auteur | Bessières (Haute Garonne) : Teknea | 2002Contributions consacrées aux plate-formes et à l'ordonnancement et exposés liés à la communication.![]()
texte imprimé
SALON DES SOLUTIONS INFORMATIQUES TEMPS REEL ET DES SYSTEMES EMBARQUES (2003), Auteur | Bessières (Haute Garonne) : Teknea | 2003Au sommaire notamment : méthodologies, langages outils, X-by-Wire et réseaux embarqués, ordonnancement temps réel 1, ordonnancement temps réel 2.![]()
texte imprimé
SALON DES SOLUTIONS INFORMATIQUES TEMPS REEL ET DES SYSTEMES EMBARQUES (2003), Auteur | Bessières (Haute Garonne) : Teknea | 1995Des sujets comme : le génie logiciel, les techniques de vérification, la gestion des ressources, les réseaux de communication, la sûreté de fonctionnement, la tolérance aux fautes, les applications, sont réunis.![]()
texte imprimé
SALON DES SOLUTIONS INFORMATIQUES TEMPS REEL (1998), Auteur | Bessières (Haute Garonne) : Teknea | 1992Thèmes abordés : extensions temps réel et normalisation pour les systèmes d'exploitation, le temps réel synchrone, le langage ADA, développement d'applications temps réel, ordonnancement dans les systèmes temps réel, systèmes et applications emb[...]![]()
texte imprimé
Le point d'eau désigne la bande de fréquences où les radioastronomes pensent avoir plus de chances de détecter un signal artificiel d'origine extraterrestre ; diverses orientations de la recherche des civilisations extraterrestres : l'inventaire[...]![]()
texte imprimé
Les sessions portent sur : la politique qualité en France, l'évolution des normes ISO 9000 et la certification, le management de la sécurité, la qualité et la gestion des ressources humaines, le management par la qualité totale, la gestion de l'[...]