Springer tous les livres
Eléments de théorie des graphes
Ce livre a pour objectif d'introduire le lecteur à la théorie des graphes. En quelques décennies, cette théorie est devenue l'un des domaines les plus féconds et les plus dynamiques des mathématiques et de l'informatique. Elle permet de représenter un ens...
(paru le 15/05/2012, consulté 253 fois)
Computational Intelligence Principles, Techniques and Applications
Computational Intelligence: Principles, Techniques and Applications presents both theories and applications of computational intelligence in a clear, precise and highly comprehensive style. The textbook addresses the fundamental aspects of fuzzy sets and ...
(paru le 09/06/2005, consulté 182 fois)
Enseigner l'informatique
Ce livre a pour but d'expliquer ce qu'un enseignement de l'informatique devrait être, ce qu'il n'est pas et ce qu'il ne doit surtout pas devenir. Il montre en particulier qu'il faut éviter la confusion entre le contenu d'un enseignement et le recours aux ...
(paru le 04/11/2011, consulté 1103 fois)
Symbolic Integration I Transcendental Functions - Volume 1
Symbolic Integration I is destined to become the standard reference work in the field. Manuel Bronstein is a leading expert on this topic and his book is the first to treat the subject both comprehensively and in sufficient detail - incorporating new resu...
(paru le 14/10/2004, consulté 957 fois)
Secure Systems Development with UML
Attacks against computer systems can cause considerable economic or physical damage. High-quality development of security-critical systems is difficult, mainly because of the conflict between development costs and verifiable correctness.
Jürjens pres...
(paru le 27/01/2005, consulté 581 fois)
Structures de données et méthodes formelles
Ce livre a pour thème principal l'étude des structures de données. Il s'agit de constituants logiciels dont la qualité conditionne le bon fonctionnement et l'efficacité de la plupart des applications informatiques. L'originalité de l'ouvrage réside dans l...
(paru le 29/04/2011, consulté 3476 fois)
The VC-1 and H.264 Video Compression Standards for Broadband Video Services
The MPEG committee standardized the MPEG AVC (H.264) video coding standard in May 2003. The standard has since seen strong interest and adoption from the industry. A competing standard developed by Microsoft, referred to as VC-1, was standardized in SMPTE...
(paru le 01/09/2008, consulté 1059 fois)
Electronique et optoélectronique organiques
Ce livre présente en détail les principes et les applications de ce que l'on appelle plus généralement "électronique plastique" ou "électronique souple",en opposition à l'électronique conventionnelle ou "inorganique" qui se développe exclusivement sur des...
(paru le 20/01/2011, consulté 4200 fois)
Les virus informatiques - Théorie, pratique et applications
Cet ouvrage est la deuxième édition du livre désormais incontournable d'Éric Filiol consacré aux virus informatiques (fondements théoriques, aspects algorithmiques et pratiques, et applications des virus). Il comporte trois chapitres entièrement nouveaux ...
(paru le 31/05/2009, consulté 1378 fois)
Optimisation combinatoire Théorie et algorithmes
Cet ouvrage décrit de manière détaillée les résultats théoriques et les algorithmes efficaces de l'optimisation combinatoire. Il présente des démonstrations concises mais complètes de nombreux résultats dont certains n'avaient jamais été exposés auparavan...
(paru le 18/12/2009, consulté 1666 fois)