René David était professeur à l'université de Savoie.


Cet ouvrage, actualisé et augmenté pour cette troisième  édition, présente la théorie de la démonstration en tant que discipline et en tant qu'outil. Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énoncés....
Editeur : Dunod
Parution : 2025-09-10
Collection : Sciences Sup
Format(s) : PDF
29,99

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  grands systèmes de droit contemporains (Les). 12e éd.

A un moment où les échanges internationaux prennent une ampleur sans précédent et où le débat sur l'harmonisation des droits européens cède le pas à des projets de codes européens, la connaissance des grands systèmes de droits étrangers est plus qu'indispensable au...
Editeur : Dalloz
Parution : 2016-09-07

Format(s) : epub sans DRM
29,99

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Du Grafcet au réseau de Pétri

Le Grafcet est un outil de spécification des automatismes logiques. Une présentation formelle et cohérente y est faite ici. Les réseaux de Petri permettent la description de systèmes dynamiques à événements discrets de toute nature. Ils possèdent de nombreuses...
Editeur : Hermés science
Parution : 1992-11-15

Format(s) : PDF sans DRM
77,99

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Les avatars d'un comparatiste

Cet ouvrage est une réédition numérique d’un livre paru au XXe siècle, désormais indisponible dans son format d’origine.
Editeur : Fenixx Réédition Numérique (Economica)
Parution : 1982-01-01

Format(s) : PDF sans DRM, epub sans DRM
7,99

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Le droit comparé : droits d'hier, droits de demain

Cet ouvrage est une réédition numérique d’un livre paru au XXe siècle, désormais indisponible dans son format d’origine.
Editeur : Fenixx Réédition Numérique (Economica)
Parution : 1982-01-01

Format(s) : PDF sans DRM, epub sans DRM
10,99

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Discrete, Continuous, and Hybrid Petri Nets

Petri nets do not designate a single modeling formalism. In fact, newcomers to the field confess sometimes to be a little puzzled by the diversity of formalisms that are recognized under this "umbrella". Disregarding some extensions to the theoretical modeling...
Editeur : Springer
Parution : 2005-09-08

Format(s) : PDF
126,59

Téléchargement immédiat
Dès validation de votre commande