Recherche

logiciel lecture ebook

Dossiers

ActuaLitté

Dossier

Lecture et Littoral : une année de lectures à travers 5000 km de rencontres

Marcher, lire et faire rêver, partager, respecter, s’engager et défendre. Voici tout le projet que porte Marc Roger. Le lecteur public, parcourra 5000 kilomètres à pied de Bray-Dunes à Hendaye du 21 janvier 2023 au 16 décembre 2023. Durant un an, traverser 16 départements, 555 communes, 16 régions pour apporter la lecture et sa voix. Ou plus précisément sa Voie des livres.

ActuaLitté

Dossier

Prêt de livre en bibliothèque : l'avenir de l'ebook au sein de l'Europe

Prêt de livre en bibliothèque : l'avenir de l'ebook au sein de l'Europe

ActuaLitté

Dossier

Team AlexandriZ : pirates de livres ou distributeurs de savoir ?

La Team était spécialisée dans la diffusion d’ebooks, spécifiquement de romans transformés en version numérique. L’une de leurs grandes marottes était d’ailleurs de procéder à la numérisation d’ouvrages que les éditeurs ne commercialisaient pas en format ebook. Mais ils étaient aussi qualifiés, en regard du Code de la propriété intellectuelle, de pirates.

ActuaLitté

Dossier

La SCELF face à la lecture publique : la redevance qui indigne

Denis Bocquet, CC BY 2.0

ActuaLitté

Dossier

Entre la lecture et l'écoute : livre audio, mode d'emploi

Livre audio, livres lus, audiolivre, audiobook : les noms diffèrent, mais désignent le même objet culturel. Créé au même moment que le phonographe et que la possibilité d'enregistrer des sons sur un support, le livre audio a depuis connu bien des formats, de la K7 au CD en passant par la clé USB et le fichier MP3.

ActuaLitté

Dossier

L'intelligence artificielle au service du livre et de la lecture

On ignore si l’intelligence artificielle décidera d’écrire Guerre et Paix ou Les Misérables, mais les scientifiques y travaillent d’arrache-pied. L’évolution du livre et de l’édition passera par les travaux de chercheurs, qui demandent) des robots d’engloutir des livres... pour écrire de nouvelles histoires.

Extraits

ActuaLitté

Géopolitique

Russie, le logiciel impérial

L'offensive de la Fédération de Russie contre l'Ukraine, lancée le 24 février 2022, a surpris, par son ampleur, tous les observateurs du monde russe et post-soviétique. Les analyses de ce conflit sont multiples et contradictoires. Plusieurs grilles de lecture reviennent néanmoins : démocratie (ukrainienne) contre autoritarisme (russe), nation (ukrainienne) contre Empire (russo-soviétique), Europe-Occident (Ukraine) contre Eurasie (Russie), émancipation (ukrainienne) contre oppression coloniale (russo-soviétique), société civile (ukrainienne) contre Etat oppressif (russe)... Or, une question est toujours évacuée ou oubliée, c'est celle de l'Etat. Pour la Russie comme pour tous les pays de son ancien " empire " , la construction de l'Etat et la hantise de son effondrement sont centrales. Cet ouvrage vise à resituer ce conflit dans la longue continuité de l'Etat russe moderne (Empire russe, URSS, Fédération de Russie). Il faut revenir sur la dynamique impériale qui a présidé à sa création et à l'expansion géographique progressive de l'Etat russe depuis le XVe siècle pour analyser et comprendre le présent. Titulaire d'un doctorat et d'une HDR (Habilitation à Diriger les Recherches) en science politique à l'IEP de Paris, Jean-Robert Raviot est professeur de civilisation russe et soviétique à l'Université Paris-Ouest Nanterre La Défense depuis 2000. Au cours des années 1990, il a effectué plusieurs séjours de longue durée en URSS puis en Russie : à l'Institut de l'économie mondiale et des relations internationales de Moscou (IMEMO), à l'Institut de sociologie de la section sibérienne de l'Académie des sciences de Russie à Akademgorodok (région de Novosibirsk) ainsi que des missions plus ponctuelles dans les républiques du Tatarstan (Volga) et du Bachkortostan, ainsi que dans d'autres régions de Russie. Il a dirigé les Collèges universitaires français de Saint-Pétersbourg (1997-1998) puis de Moscou (1998-1999). Il est auteur de plusieurs ouvrages, dont "Démocratie à la russe" (Ellipses) et "Russie, vers une nouvelle guerre froide ? " (Documentation Française)

02/2024

ActuaLitté

Mathématiques

Logiciel et industrie du futur

En l'espace de quelques années, préparer l'industrie du futur est devenu l'un des enjeux majeurs des entreprises et territoires industrialisés. L'industrie du futur s'intègre dans un contexte général de numérisation de la société et de nombreux gouvernements y voient un facteur possible de relance ou de maintien de la compétitivité et de la rentabilité des industries. L'ouverture à la concurrence a également encouragé différents pays à mettre en place un ensemble de plans stratégiques nationaux et internationaux ces dernières années. Les définitions données à l'industrie du futur sont multiples et divergent parfois d'un pays ou d'une institution à une autre. Cet ouvrage vise à présenter l'analyse et la vision de chercheurs français travaillant dans plusieurs domaines en lien avec l'informatique et le logiciel. Le constat observé est l'absence quasi systématique de débats et de questionnements sur le logiciel et sur son apport dans l'industrie du futur. Il est pourtant primordial de ramener ce problème au centre du discours pour être en mesure de construire une industrie du futur de façon évolutive, maintenable, sécurisée, efficace, etc.

11/2019

ActuaLitté

Sciences politiques

La politique : changement de logiciel

Faire de la politique locale ou nationale nécessite que l'on change radicalement d'approches. Ce livre permettra de guider pour ce changement de façon de faire de la politique.

09/2023

ActuaLitté

Informatique

Application des techniques formelles au logiciel

Les méthodes dans le cycle de vie. Pourquoi des méthodes formelles ? Eléments de classification des méthodes formelles. Les expériences industrielles. Application de la méthode B dans l'industrie ferroviaire. Spécifications formelles à Aerospatiale. SAO+/Lustre : utilisation d'une technique formelle en environnement ferroviaire non critique. LDS appliqué à la modélisation et à la validation des processus communicants. Plan de défense - Formalisation du cahier des charges du point central à l'aide de spécifications algébriques. Techniques formelles pour le développement d'une passerelle de sécurité au niveau ITSEC-E41. Vérification formelle de protocoles de commerce électronique : une expérience. Utilisation et développement des méthodes formelles à l'étranger. Les expériences et recherches prometteuses. Evaluation des méthodes formelles chez Dassault aviation. Application des méthodes formelles au développement des logiciels automobiles embarqués. Utilisation d'un environnement de logique temporelle pour la validation et le test d'un système de commandes électriques d'avion. Approche pour la validation et la vérification formelles de systèmes d'interaction homme-machine. Méthodes formelles pour la vérification de logiciels critiques. Descartes et l'enjeu de la programmation automatique. L'architecture informatique du lanceur Ariane 5.

07/1997

ActuaLitté

Philosophie

Gottlob Frege, logicien, philosophe

Ce livre retrace le parcours de ce logicien philosophe de l'idéographie (1879), aux Ecrits posthumes. L'invention d'une écriture conceptuelle, la définition logique du nombre ainsi que la croyance en un monde des pensées, objectives, communicables et éternelles sont les trois volets présentés ici.

04/1997

ActuaLitté

Code et compilateur

Artisanat logiciel propre. Disciplines, normes et éthique

Clean Craftsmanship commence là où Coder proprement s'arrête. Ce guide technique, pragmatique et éthique des disciplines fondamentales de l'artisanat logiciel aborde les normes, en montrant comment les attentes envers les développeurs diffèrent souvent de la réalité. Oncle Bob propose une charte éthique de la profession de programmeur, en décrivant les promesses fondamentales que tous les développeurs devraient faire à leurs collègues, à leurs utilisateurs et, surtout, à eux-mêmes et fournir un code qui renforce la confiance au lieu de la miner. N'oublions pas que la survie des logiciels dépend de la confiance entre les utilisateurs et les sociétés. R.C. Martin, l'auteur de Coder proprement, rassemble tous les éléments nécessaires pour fournir un code robuste et efficace : un guide technique à travers différents types de tests, à appliquer par petites touches, pour vérifier la qualité de son code tout au long de son développement les normes de productivité, de qualité et de courage à respecter pour fournir le code le plus adapté à l'usage des commanditaires et des utilisateurs l'éthique à mettre en place pour éviter les dommages, être intègre et travailler en équipe afin de travailler dans les meilleures conditions et s'accomplir grâce dans son métier. Clean Craftsmanship est le dernier opus de R.C. Martin. Il complète la série en réunissant ses différents chevaux de bataille : la discipline à mettre en place dans le développement du code, la prise de conscience des contraintes de la réalité, et l'éthique vis-à-vis de soi et des autres.

12/2022

Tous les articles

ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté