Techniques industrielles de modélisation formelle pour le transport

Hermès science publications-Lavoisier

2011 -

Disponible - 629 TEC

Niveau 3 - Techniques

Résumé : Présentation d'exemples concrets de mise en oeuvre des techniques formelles (simulation, model checking, preuve) et des méthodes formelles (méthode B, SCADE) sur des projets de transport ferroviaire de type métro et grande ligne. Les techniques formelles servent à l'analyse statique de code, à la démonstration du respect de propriété et à la bonne gestion des calculs sur les flottants.

La côte, un terrain de jeu ? : de l'utilitaire au récréatif

par Evrard, Barbara (1982-....)

Presses universitaires de Rennes

2015 -

Disponible - 912.68 EVR

Niveau 2 - Géographie, urbanisme

Résumé : La 4e de couv. indique : "Les activités physiques ont pris une ampleur grandissante au cours du xxe siècle, au point que l’on peut les considérer comme un «fait social total». Elles sont, de ce fait, des révélateurs pertinents de l’évolution des sociétés modernes. Ces pratiques se sont développées, diversifiées, immiscées dans le temps quotidien et elles ont progressivement investi des espaces variés qui ont été spécialement aménagés. Le tropisme côtier fait des littoraux des espaces particulièrement attractifs pour les pratiquants. Ils portent d’ailleurs les traces de ces investissements au travers des ports de plaisance, des stations nautiques ou encore des chemins de randonnée. Leurs paysages se sont transformés, leurs usages se sont diversifiés, en même temps qu’ils sont devenus plus fragiles. Cet ouvrage cherche à comprendre, à partir de l’exemple de la Côte d’Albâtre, quelle est la relation nouvelle créée, par les activités physiques de nature, entre l’homme et le milieu littoral. Il s’agit, ici, de rendre compte des médiations territoriales à l’œuvre en multipliant les prises sur l’objet : les transformations concernent les usages comme les représentations, aussi bien que la gestion des littoraux. Il s’agit de comprendre les déterminations réciproques des cultures, des rapports sociaux et des rapports spatiaux."

Montagnes et tourisme : essai sur la concurrence des territoires, des Alpes du Nord aux Pyrénées centrales

par Suchet, André

Editions universitaires du Sud

2021 -

Disponible - 913.41 SUC

Niveau 2 - Géographie, urbanisme

Résumé : Cette étude de géographie historique, sociale et culturelle porte sur le tourisme en montagne durant une longue période de 1780 à 1950. Les Pyrénées, réputés pour le thermalisme et le climatisme, entrent en concurrence avec les Alpes, où se développent l'ascensionnisme et les sports d'hiver. Les secondes remportent le monopole grâce à la diffusion de leur culture et de leurs compétences. ©Electre 2021

Les patrimoines touristiques : naturels, historiques, culturels

par Duthion, Brice (1971-....) ; Walker, Lionel

De Boeck

2014 -

Disponible - 339.65 DUT

Niveau 3 - Economie

Résumé : Le point sur les réalités et les évolutions du secteur du patrimoine touristique en France et à l'étranger.

Stations en tension

par Vlès, Vincent ; Bouneau, Christophe

PIE-Peter Lang

2016 -

Disponible - 913.41 VLE

Niveau 2 - Géographie, urbanisme

Résumé : Les stations touristiques connaissent des conditions de production très différentes dans leur processus de développement. Les tensions de la première décennie du XXIe siècle font apparaître un doute sur le processus de développement touristique engagé depuis deux siècles. Trois questions en jeu : les processus de territorialisation, l'adaptation au changement et le management des destinations. ©Electre 2016