Télécharger le livre de W3 | Téléchargement gratuit des Ebooks

Fondamentaux de la théorie des automates - De l’intuition aux méthodes formelles en 400 exercices corrigés - Classes préparatoires, Licence, Master, Agrégation

Auteure: Patrice Séébold

Nombre de pages: 414

Cet ouvrage regroupe 401 exercices ou problèmes avec leurs corrections détaillées, ainsi que des rappels de cours étoffés. L'accent est mis sur la compréhension des méthodes de résolution et leur adéquation avec la nature des objets étudiés. À cette fin, des techniques de résolution intuitives accompagnent systématiquement la mise en œuvre d'algorithmes rigoureusement prouvés. Cet ouvrage s'adresse prioritairement aux étudiants et aux enseignants de licence et de master universitaires d'informatique, aux élèves des classes préparatoires et aux agrégatifs.

Les voies processionnelles de Thèbes

Auteure: Agnès Cabrol

Nombre de pages: 904

La vocation initiale de la voie processionnelle est de materialiser le cheminement et les pauses de la barque du dieu lors de certaines liturgies; ainsi prolongation du domaine divin, elle peut etre constituee d'une serie d'elements specifiques relatifs au parcours de la divinite (revetement du sol, statuaire - sphinx -, vegetation, murs de cloture) ou a ses etapes (amenagements ponctuels au sol, tribunes, etc.). Les specificites du calendrier ferial des divinites thebaines, dont, principalement, celui d'Amon de Karnak, font des voies processionnelles de Thebes un champ d'etudes d'une richesse sans precedent, et ce du Moyen Empire a l'epoque greco-romaine incluse. Ces voies, englobant le parvis du temple, ne sont pas strictement cantonnees a leur role liturgique; d'autres activites s'y deroulent qui entrainent des amenagements complementaires, concernant soit la vie culturelle quotidienne du temple (cultes populaires, activites oraculaires, magie, petits metiers, etc.), soit les expressions du pouvoir politique, de l'autorite de l'Etat et d'une certaine realite economique et sociale (affichage de decrets, nomination de membres du clerge, activites judiciaires et application des...

Éléments de la théorie des fonctions elliptiques: Introduction. Calcul différential (1. ptie) 1893

Auteure: Jules Tannery , Jules Molk

Nombre de pages: 280

Éléments de la théorie des fonctions elliptiques

Auteure: Jules Tannery , J. Molk

Nombre de pages: 580

Eléments de la théorie des fonctions elliptiques

Auteure: Jules Tannery , Jules Molk

Nombre de pages: 299

Bulletin des sciences mathématiques

Nombre de pages: 334

Services Web en J2EE et .NET

Auteure: Christian Bernard , Libero Maesano , Xavier Le Galles

Nombre de pages: 1087

Pour faire interagir de manière fiable, souple, sécurisée et transactionnelle, des applications hétérogènes au sein d'architectures orientées services, il faut intégrer les notions de contrat, de processus et de conversation métier, mais aussi maîtriser les environnements d'exécution en évitant les dérives propriétaires qui réduisent l'interopérabilité. Une référence pour les développeurs accompagnée d'études de cas. Cet ouvrage avant tout destiné aux développeurs et aux architectes explique la mise en rouvre d'architectures réparties sur des plates-formes hétérogènes et mixtes, aussi bien côté serveur (J2EE, NET) que sur le poste de travail (Internet Explorer, Mozilla, Flash, Microsoft Excel XP...), en mettant l'accent sur la description des processus métier avec BPEL. Les techniques d'infrastructure ayant trait à la sécurité, à la fiabilité et aux transactions telles que WS-Security, WS-Transaction, WS-Coordination, sont présentées en détail, non sans un rappel approfondi des normes fondatrices (SDAP 1,1 et 1,2, WSDL et UDDI), de leurs dernières implémentations et des recommandations d'interopérabilité WS-I.

Modélisation XML

Auteure: Antoine Lonjon , Jean-jacques Thomasson , Libero Maesano

Nombre de pages: 528

La 4e de couverture indique : Les architectes et développeurs logiciels qui ont en charge la conception de systèmes d'information doivent souvent recevoir et traiter d'importants volumes de données XML. Ce livre leur explique comment adapter en profondeur leurs méthodes traditionnelles de conception aux spécificités de la modélisation XML

Nouvelles annales de mathématiques

Nombre de pages: 506

Theses de mathematiques

Nombre de pages: 848

La Lumière électrique ... revue hebdomadaire des applications de l'électricité ...

Nombre de pages: 552

EPUB 3.2

Auteure: Landry Miñana

Nombre de pages: 512

Mise à jour de l'ouvrage précédent "EPUB 3.0, Concevez et réalisez des eBooks enrichis", ce livre reprend, en les développant, l'ensemble des spécifications de la toute dernière version EPUB 3.2. Les différentes techniques de mise en pages complexes, en cours de développement ou expérimentales sont expliquées et commentées afin de se faire une idée des nouvelles orientations préfigurant peut-être le futur de la version 4. Les nouveaux concepts de l'accessibilité, maintenant obligatoires par l'European Accessibility Act, sont intégrés et expliqués au travers d'exemples pratiques WCAG et WAI-ARIA ou issus des bonnes pratiques. Modernité et accessibilité, tels sont les nouveaux défis de l'édition numérique.

Bien développer pour le Web 2.0

Auteure: Christophe Porteneuve

Nombre de pages: 674

Adieu, soupes de balises et combinaisons de JavaScript propriétaires qui polluaient le Web 1.0... Place à des applications accessibles et ergonomiques, des scripts portables et du balisage sémantique : créer des interfaces bluffantes et interactives à la Web 2.0 (Gmail, Google Maps, Flickr, Netvibes...) est l'occasion d'instaurer de bonnes pratiques de développement - pour travailler mieux, plus vite, et dans le respect des normes. Une bible des meilleures pratiques de développement Web 2.0 Christophe Porteneuve livre dans cet ouvrage plus de dix années d'expérience en développement et en qualité web. Il rappelle les fondamentaux techniques du Web 2.0 (XHTML, CSS, JavaScript, DOM...), décrit l'usage des frameworks de développement dédiés Prototype et script.aculo.us dans leur version la plus récente, et explore le coeur d'Ajax, XMLHttpRequest, ainsi que la question des contenus et services externes (services web, API REST et flux de syndication RSS et Atom). Outre une réflexion sur l'accessibilité et l'ergonomie, il explique comment conjuguer toutes ces technologies dans le cadre d'une méthodologie de développement cohérente et qualitative. Cette deuxième...

Publications scientifiques et techniques

Auteure: France. Ministère De L'air

Propriétés arithmétiques déduites d'une présentation simplifiée de la formule du binôme

Auteure: Stéphane Thouvenot

Nombre de pages: 194

Algèbre et géométrie PCSI

Auteure: Daniel Guinin , Bernard Joppin

Nombre de pages: 484

La synthèse H-infini en pratique

Auteure: Gilles Duc

Nombre de pages: 240

La synthèse H-infini, qui a émergé dans les années 1990, est un ensemble de méthodes souples et efficaces pour concevoir des lois de commande assurant de bons niveaux de performance et de robustesse aux incertitudes de modélisation. Mais si la théorie est maintenant bien connue, ce n’est pas le cas pour le cheminement permettant d’en tirer parti pour concevoir des commandes optimales. Cet ouvrage, destiné aux ingénieurs en automatique et en régulation, vise à combler cette lacune, en rappelant le minimum de bases mathématiques nécessaire mais surtout en expliquant en détails comment utiliser cette méthode, en s’appuyant sur de nombreux cas d’application issus de l’aéronautique, de l’automobile ou encore de la robotique. Tous les développements concernant les applications sont effectués à l’aide de Matlab et les scripts permettant de les rejouer seront mis à la disposition du lecteur.

PASS Biostatistiques, Mathématiques, Probabilités

Auteure: Nicolas Meyer , Daniel Fredon , Myriam Maumy-bertrand , Frédéric Bertrand

Nombre de pages: 224

Tout le cours en fiches Tout le programme en 50 fiches. Toutes les notions à connaître pour assimiler l'essentiel. Des QCM corrigés Tous les QCM sont extraits d'annales des examens pour évaluer votre niveau et vérifier votre apprentissage. Tous les corrigés sont commentés pour travailler en parfaite autonomie. Des fiches méthodes Des conseils pour appliquer plus facilement le cours lors des exercices.

XML par la pratique

Auteure: Sébastien Lecomte

Nombre de pages: 366

Présente les concepts fondamentaux de XML au travers de cas pratiques à implémenter. Aborde notamment la syntaxe du langage XML, montre comment concevoir des documents et des grammaires XML simples, comment lier des documents XML entre eux, et comment mettre en forme des documents XML.

1971 Census of Canada -: Population

Auteure: Statistics Canada

Analyse microéconomique

Auteure: Hal R. Varian

Nombre de pages: 580

Analyse microéconomique est un des piliers de l'enseignement de l'économie dans les programmes de maîtrise. Il en est ainsi car il possède l'autorité, la clarté et l'envergure d'un ouvrage classique. Cette troisième édition américaine, traduite pour la première fois en français, présente à nouveau la colone vertébrale de l'annalyse microéconomique, à savoir un exposé rigoureux des méthodes d'optimisation et d'équilibre, complété de nombreux exemples d'application. Cette troisième édition va cependant au-delà des éditions précédentes de deux manières. D'abord les matières traitées ont été réécrites et leur exposé modifié. Ensuite elle contient plusieurs chapitres entièrement neufs mettant en évidence les développements les plus intéressants enregistrés par la théorie microéconomique depuis 10 ans. Ils concernent la théorie des jeux, l'oligopole, le marché des actifs et l'économie de l'information. l'ouvrage se distingue particulièrement par - le développement de l'approche duale du comportement du consomateur et de la firme. - l'intégration de l'approche analythique moderne et de la théorie classique des prix. - l'analyse des...

Mémoires de l'Académie royale des sciences et belles-lettres depuis l'avénement de Fréderic Guillaume III au trône avec l'histoire pour le même temps

Nombre de pages: 558

Nouveaux mémoires de l'Académie royale des sciences et belles-lettres... avec l'histoire pour la même année

Groupes Discrets

Auteure: V. Poenaru

Nombre de pages: 216

Python en licence

Auteure: Sophie Schüpp

Nombre de pages: 308

Cet ouvrage permet l’apprentissage du langage de programmation Python, assorti d’une initiation à l’algorithmique. Il se concentre sur la création d’interface, le calcul numérique et la visualisation des résultats. Des exemples et des exercices sont présentés tout au long de l’ouvrage. Il s'adresse aux étudiants de licence et plus largement, aux scientifiques souhaitant s’initier au langage Python et à l’algorithmique de base.

Topologie algébrique

Auteure: Yves Félix , Daniel Tanré

Nombre de pages: 256

L'ouvrage présente les éléments essentiels nécessaires à l'utilisation des méthodes de la topologie algébrique : théorie des revêtements et homologie singulières. De nombreuses applications sont présentées (en économie, en théorie des jeux, en robotique, en analyse des données) et des exercices dont les solutions sont détaillées complètent le cours.

Sémantique formelle

Auteure: Laurent Roussarie

Nombre de pages: 498

Depuis près d'un demi-siècle, la sémantique formelle, à l'intersection féconde de la linguistique, la logique et la philosophie, occupe une place de premier plan dans le domaine de la linguistique théorique. Ce manuel, le premier en français de cette ampleur, en propose une présentation à la fois introductive et approfondie. La sémantique formelle est parfois appréhendée avec hésitation (voire redoutée) du fait de sa rigueur mathématique et de l'apparente complexité de son symbolisme ; le présent ouvrage vise à en donner une approche pédagogique, stimulante et dédramatisée. Il est conçu pour offrir un apprentissage et une maîtrise autonomes et progressifs des principaux aspects conceptuels et formels de la théorie, en accordant une attention particulière aux innovations marquantes qui ont structuré le domaine depuis les travaux fondateurs de R. Montague. Il a également pour objectif de proposer, au fil des pages, une introduction à des éléments de méthodologie scientifique afin de donner un aperçu des pratiques d'analyse propres à la sémantique formelle. Les six chapitres, accompagnés de nombreux exercices corrigés, y abordent les notions de...

1971 Census of Canada

Auteure: Statistics Canada

Nombre de pages: 870

Bulletin Spécial, Recensement Du Canada 1971, Population

Statistique

Auteure: Yadolah Dodge

Nombre de pages: 680

La statistique joue un rle de tout premier plan dans dinnombrables domaines, en sciences pures comme en sciences appliques: des mathmatiques la physique, de la chimie la biologie ou de lconomie la sociologie, cest un outil devenu indispensable. Pour avoir un accs pratique et rapide aux concepts et aux mthodes de la statistique, la formule la plus efficace est celle du dictionnaire: quil soit consult ponctuellement ou bien utilis dans le cadre dune recherche approfondie, cet ouvrage contient linformation ncessaire - mieux, il procure plusieurs degrs dexplication adapts chaque besoin. chaque entre correspondent un historique de la notion traite, des explications mathmatiques, des domaines de validit et limitations, des exemples et des mots cls avec leur quivalent en anglais. La biographie de nombreux chercheurs illustres invite suivre lvolution de la statistique de ses dbuts jusqu la priode contemporaine, o elle a atteint sa pleine maturit. Un systme de renvois permet de prolonger lexplication des termes considrs et dacqurir une vue densemble de chaque sujet tudi. Instrument de travail, ce dictionnaire est aussi un livre de rfrence pour qui veut connatre le langage et les mthodes...