Actes du Symposium Distributed Ada '89 : Développements et Expériences - Série Le Compagnon Ada Plus d'informations
Topologie par la Logique (Tracts de Cambridge en Informatique Théorique, Volume 5) Plus d'informations
Méthodes Formelles en Interaction Homme-Machine (Série Cambridge sur l'Interaction Homme-Machine, Volume 2) Plus d'informations
Sémantique et Logique de la Computation (Publications de l'Institut Newton, Volume 14) Plus d'informations
Développement d'applications de portail Java avec Practical Liferay : Guide expert en open source Plus d'informations
Applications de l'Algèbre des Processus (Traités de Cambridge en Informatique Théorique, Volume 17) Plus d'informations
Guide de démarrage rapide pour Azure Data Factory, Azure Data Lake Server et Azure Data Warehouse Plus d'informations
Comprendre Z : Un langage de spécification et sa sémantique formelle (Tracts de Cambridge en informatique théorique, Volume 3) - Édition brochée Plus d'informations
Développement Logiciel de A à Z : Plongée Profonde dans Tous les Rôles Impliqués dans la Création de Logiciels Plus d'informations
Fondements de C++/CLI : Le langage Visual C++ pour .NET 3.5 (La voix d'expert en .NET) Plus d'informations
Projets Pratiques de la Plateforme Client Riche Eclipse (Voix d'Expert en Open Source) Plus d'informations
Programmation en Langage Assembleur pour Ordinateurs IBM et Compatibles (Anciennement Programmation en Langage Assembleur 370/360) Plus d'informations
Intégration Stochastique et Modélisation des Séries Temporelles - Applications Statistiques Plus d'informations
Techniques de Programmation Prolog avec Mise en Œuvre de la Négation Logique et des Objectifs Quantifiés Plus d'informations
Théorie de la preuve : Une sélection d'articles du Programme de Théorie de la Preuve de Leeds 1990 Plus d'informations
Validation et Vérification Indépendantes - Série Nouvelles Dimensions en Ingénierie (Relié) Plus d'informations
C# 7.0 Essentiel (Série Technologie Microsoft Addison-Wesley) - Version Originale Plus d'informations