| |
Cet ouvrage débute par une introduction à la logique des prédicats du premier ordre : syntaxe, sémantique et preuves formelles. Il guide ensuite le lecteur vers quelques uns de ses aspects plus avancés : théorème de complétude, théorème d'indécidabilité. Se tournant...
Editeur :
ELLIPSES
Parution :
2020-11-03
Collection :
Références sciences
PDF
|
Le numérique en général, et Internet en particulier, offrent des possibilités infinies pour déployer une communication professionnelle : utiliser un site web comme vitrine, collecter les données personnelles des clients, démarcher des prospects, recourir aux services...
Editeur :
Eyrolles
Parution :
2020-10-22
PDF sans DRM, epub sans DRM
|
Le livre ultime pour rendre toutes les applications machine learning encore plus efficaces
Ce livre s'adresse à tous les développeurs d'applications de type machine learning qui souhaitent optimiser les performances de leurs applications avant de les mettre en...
Editeur :
First Interactive
Parution :
2020-10-22
epub sans DRM
|
Cet ouvrage s’adresse à tout apprenant en lycée professionnel et CFA, mais aussi aux candidats libres désireux de se réorienter ou par défi personnel, et qui souhaitent réussir leur examen.
Il prépare aux 2...
Editeur :
Delagrave
Parution :
2020-10-22
Collection :
Réussir pas à pas
ePub
|
Des mathématiques à la révolution numérique, Jacques Stern, père de la cryptologie française moderne, présente ici son parcours et sa discipline. "Si l'informatique est l'étude des processus qui permettent la manipulation, le stockage et la communication d'informations...
Editeur :
De Vive Voix
Parution :
2020-10-20
MP3
|
jQuery est devenue un must pour développer des applications dynamiques avec HTML5, JavaScript et CSS.
Elle est la bibliothèque JavaScript la plus populaire, appréciée tant pour sa fiabilité que pour son efficacité dans la création de sites web à la pointe de la...
Editeur :
Eyrolles
Parution :
2020-10-15
PDF sans DRM, epub sans DRM
|
Un livre tout en couleurs idéal pour manipuler votre smartphone Android comme un virtuose ! Que vous possédiez un smartphone Android Motorola, HTC, Google Nexus ou Samsung, ce livre va vous apprendre à maîtriser votre nouvel outil sur le bout des doigts.
Ce livre a été...
Editeur :
Pour les nuls
Parution :
2020-10-15
epub sans DRM
|
Pionnier dans la réflexion pour une agriculture raisonnable et durable, Marcel Mézy a créé il y a plus de trente-cinq ans un procédé de fertilisation employé aujourd’hui par plus de 10 000 agriculteurs ayant décidé de sortir de la spirale du chimique. Il a passé sa vie...
Editeur :
Éditions du Rouergue
Parution :
2020-10-14
Collection :
Rouergue Littérature
PDF sans DRM, epub sans DRM
|
Kotlin est un langage de programmation orienté objet conçu principalement par une équipe de programmeurs chez JetBrains basée en Russie (son nom vient de l'île de Kotline, près de St. Petersbourg).Google a annoncé en 2017 queKotlin devenait le second langage de...
Editeur :
Dunod
Parution :
2020-10-14
Collection :
InfoPro
ePub
|
Cet ouvrage fournit une introduction facile à la théorie de l'information et aux méthodes de codage de sources. De nombreux exemples entièrement calculés illustrent les concepts ainsi que les algorithmes de codage de sources. Il présente les thèmes suivants :Sources...
Editeur :
ELLIPSES
Parution :
2020-10-13
Collection :
Références sciences
PDF
|
Les œuvres d'art font les règles" Une machine peut-elle peindre, composer de la musique ou écrire un roman ? Si elle parvenait à distinguer l'art de la banalité et de la platitude, une machine pourrait-elle apprendre à être créative ? Plus encore, serait-elle en mesure...
Editeur :
Héloïse d'Ormesson
Parution :
2020-10-08
Collection :
Essais
epub sans DRM
|
Comment affronter en couple un intrus nommé Parkinson?
" Ca devient quoi, l'amour, quand l'un des amants tombe malade ? D'un mal incurable dont on ne peut espérer – au mieux – qu'une évolution lente ? Qui est le mieux placé pour répondre à cette question ? Les...
Editeur :
Plon
Parution :
2020-10-08
epub sans DRM
|
L'élaboration d'un cahier des charges conditionne bien souvent la réussite d'un projet en informatique. Mais comment recueillir et formaliser les besoins réels de manière claire et précise ? Comment se mettre d'accord sur la spécification des exigences ?...
Editeur :
Eyrolles
Parution :
2020-10-08
PDF sans DRM, epub sans DRM
|
Après avoir rappelé les buts et les fonctions de la sanction pénale, ce Précis décrit l'organisation du système pénitentiaire et les modalités du régime général de l'exécution des peines (milieux fermé, ouvert ou libre). Il traite ensuite des régimes particuliers...
Editeur :
Dalloz
Parution :
2020-10-07
Collection :
Précis
epub sans DRM
|
S’adressant à un panel de publics divers, cet ouvrage balaie un large panorama de sujets structurants liés à la sécurité numérique. Prenant comme point de départ la compréhension du cyberespace, il en décrit quelques propriétés importantes : tendances, enjeux,...
Editeur :
ELLIPSES
Parution :
2020-10-06
ePub
|
" Une pincée de désordre dans un ensemble ordonné est souvent créative. "Quel lien existe-t-il entre la sardine et le diamant ? Celui qui les associe à un vol d'oiseaux migrateurs, à une marguerite, au givre sur la fenêtre, au système solaire, à l'ADN... : c'est...
Editeur :
Cherche Midi
Parution :
2020-10-01
epub sans DRM
|
Un livre à la fois théorique et pratique
Cet ouvrage a pour ambition de couvrir un large spectre du domaine des data sciences. Il va plus loin qu'un simple tour sur les algorithmes d'apprentissage automatique et s'attaque aux autres aspects, malheureusement négligés...
Editeur :
Eyrolles
Parution :
2020-10-01
PDF sans DRM, epub sans DRM
|
LÖVE est l'outil idéal pour s'initier à la programmation de jeux vidéo. Il repose sur la bibliothèque SDL et utilise Lua comme langage de programmation. Vous vous formez ainsi aux fondamentaux du développement de jeu sans avoir à vous heurter à la complexité du C.LÖVE...
Editeur :
Éditions D-BookeR
Parution :
2020-09-24
PDF sans DRM
|
Cet ouvrage essentiellement pratique s'adresse à tous ceux qui veulent construire leurs enceintes et aux esprits curieux qui désirent connaître leur fonctionnement. Après quelques rappels sur le son et la musique, le livre entre dans le vif du sujet :Les haut-parleurs...
Editeur :
Dunod
Parution :
2020-09-23
Collection :
Audio-Photo-Vidéo
PDF
|
Graphiste est un mot épicène.
Épicène : adj. dont la forme ne varie pas selon le genre.
Épicène comme le prénom Cassandre, le nom de scène que se choisira un des fondateurs du design graphique.
Variations épicènes se concentre sur les processus d’émergence des projets,...
Editeur :
Fondation des Artistes
Parution :
2020-09-22
epub sans DRM
|