Listing 1 - 10 of 19 | << page >> |
Sort by
|
Choose an application
Choose an application
Choose an application
Choose an application
Choose an application
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 le lien qu'il établit avec la discipline des méthodes formelles pour le génie logiciel. En montrant comment il est possible de calculer les opérations qui accompagnent ces structures à partir d'une spécification rigoureuse, il jette un regard neuf sur le domaine. Dans une première partie, l'auteur présente les bases de la discipline : la théorie des ensembles (avec comme support les notations et principes de la méthode B), l'étude de structures intermédiaires (listes, arbres, sacs) et l'analyse (classique mais aussi amortie) des algorithmes. La seconde partie se focalise sur l'étude approfondie de cinq structures de données typiques : les ensembles simples, les ensembles composites, les files simples, les files de priorité, et les tableaux flexibles. L'ensemble de l'exposé répond quant à lui à une double logique : une perspective historique (à chaque époque correspondent des structures de données caractéristiques) et une démarche fonctionnelle (les opérations sont des fonctions qui délivrent une valeur). De nombreux exercices accompagnent chaque chapitre. L'ouvrage s'adresse aux informaticiens, professionnels, étudiants ou enseignants désireux de faire évoluer leurs connaissances et leur pratique des structures de données ainsi que de leurs liens avec les méthodes formelles. Marc Guyomard est professeur d'informatique à l'Enssat (université de Rennes-1 et université européenne de Bretagne), école d'ingénieurs située à Lannion. Ses principaux domaines d'intérêt sont les modèles formels pour le développement logiciel et pour l'interaction naturelle homme-machine.
Computer science --- Programming --- Computer. Automation --- informatica --- computerbesturingssystemen --- programmeren (informatica) --- database management --- wiskunde --- software engineering --- programmatielogica
Choose an application
Computer science --- Programming --- Computer. Automation --- informatica --- computerbesturingssystemen --- programmeren (informatica) --- database management --- wiskunde --- software engineering --- programmatielogica
Choose an application
Drupal 8 for Absolute Beginners is your definitive guide to starting from scratch with Drupal even if you have little web knowledge. This book teaches you the basics of HTML, CSS, JavaScript, and PHP in relation to Drupal, so that you can begin to use this popular CMS with all of its features. You will first learn how to set up and customize a basic blog using Drupal, one of the most powerful and popular content management systems available today. From there you will learn the basics of HTML, CSS, JavaScript and PHP, and apply this knowledge to create your own custom Drupal module. You will learn how to build, style, and add functionality to your own Drupal module from scratch. You will then use Drush to apply a theme to Drupal, customizing everything to your liking, before publishing your work to the world. The book also covers some more advanced topics that beginners often ask about, such as getting set up with Git and using source control, using MySQL to interact with a database, and a guide to getting up and running with Linux. Rarely has all the knowledge required to start with Drupal been collated in one place as it is in Drupal 8 for Absolute Beginners. You need no prior knowledge of the web, only a desire to learn. The book is fully supported by video material on the author's website. Start your Drupal journey with this book today!
Programming --- Computer architecture. Operating systems --- Computer. Automation --- websites --- PHP (PHP hypertext preprocessor) --- MySQL --- computers --- computerbesturingssystemen --- programmeren (informatica) --- software engineering
Choose an application
Choose an application
Cet ouvrage permet d'apprendre à utiliser les Outils Simscape et SimpowerSystems pour modéliser et simuler des circuits électroniques, électromécaniques et électronique de puissance. Pour utiliser ces deux outils, la connaissance de MATLAB et SIMULINK est indispensable. Cet ouvrage possède trois types de chapitres: prise en main de l'outil, description des différentes bibliothèques avec quelques applications et enfin chapitre d'applications très utilisées dans les domaines universitaires et industriels.
Electrical engineering --- Engineering sciences. Technology --- Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- Matlab (informatica) --- mechatronica --- industriële robots --- automatisering --- programmeren (informatica) --- KI (kunstmatige intelligentie) --- elektrische circuits
Choose an application
Cet ouvrage traite de techniques avancées de la virologie informatique selon une double perspective: l'analyse de la défense antivirale et les différentes phases d'une attaque à l'aide d'un code malveillant. Le point de vue adopté est celui de l'attaquant dans la mesure où c'est le seul qui permet réellement à celui qui a la responsabilité de défendre un système, de comprendre ce qui peut se passer et d'envisager les solutions à mettre en Åuvre. L'approche retenue fait intervenir l'utilisation de systèmes booléens originaux, la théorie de la complexité et la théorie de la calculabilité. À partir de modèles généraux, l'étude et l'identification des instances les plus complexes du problème de la détection permettent de déterminer comment une attaque quasi-indétectable peut être conçue. L'auteur montre ainsi ce que sera le futur de la virologie informatique et pourquoi les réponses techniques seront toujours insuffisantes, voire inutiles, si elles ne sont pas systématiquement accompagnées d'une politique de sécurité cohérente avec le niveau de protection souhaité.
Engineering sciences. Technology --- Computer science --- Programming --- Computer architecture. Operating systems --- Information systems --- Computer. Automation --- cryptologie --- computerbesturingssystemen --- hardware --- programmeren (informatica) --- programmatielogica --- OS (operating system) --- ingenieurswetenschappen
Listing 1 - 10 of 19 | << page >> |
Sort by
|