Télécharger le livre :  Topological UML Modeling
Ajouter à ma liste d'envies

Topological UML Modeling


Uldis Donins , Janis Osis


Topological UML Modeling: An Improved Approach for Domain Modeling and Software Development presents a specification forTopological UML® that combines the formalism of theTopological Functioning Model (TFM) mathematical topology with a specified software analysis and...

Parution : 2017-06-16
Format(s) : PDF, epub sans DRM
Éditeur : Elsevier Science
J'achète
38,98
Télécharger le livre :  Nature-Inspired Optimization Algorithms
Ajouter à ma liste d'envies

Nature-Inspired Optimization Algorithms


Xin-She Yang


Nature-Inspired Optimization Algorithms provides a systematic introduction to all major nature-inspired algorithms for optimization. The book's unified approach, balancing algorithm introduction, theoretical background and practical implementation, complements extensive...

Parution : 2014-02-17
Format(s) : epub sans DRM
Éditeur : Elsevier Science
J'achète
83,29
Télécharger le livre :  Towards Verified Systems
Ajouter à ma liste d'envies

Towards Verified Systems


J. Bowen


As the complexity of embedded computer-controlled systems increases, the present industrial practice for their development gives cause for concern, especially for safety-critical applications where human lives are at stake. The use of software in such systems has...

Parution : 2013-10-22
Format(s) : PDF sans DRM
Éditeur : Elsevier Science
J'achète
57,97
Télécharger le livre :  Grid Computing: The New Frontier of High Performance Computing
Ajouter à ma liste d'envies

Grid Computing: The New Frontier of High Performance Computing


Lucio Grandinetti


The book deals with the most recent technology of distributed computing.As Internet continues to grow and provide practical connectivity between users of computers it has become possible to consider use of computing resources which are far apart and connected by Wide...

Parution : 2005-11-15
Format(s) : PDF sans DRM
Éditeur : Elsevier Science
J'achète
184,63
Télécharger le livre :  SDL '99
Ajouter à ma liste d'envies

SDL '99


G.V. Bochmann , Y. Lahav , R. Dssouli


This book represents the proceedings of the 9th SDL Forum which was held in Montreal, Quebec, Canada, during the week of June 21-25, 1999. The 9th SDL Forum presents papers on the past and future development of the MSC and SDL languages.The volume presents information...

Parution : 1999-06-10
Format(s) : epub sans DRM
Éditeur : Elsevier Science
J'achète
150,86
Télécharger le livre :  SDL '97: Time for Testing
Ajouter à ma liste d'envies

SDL '97: Time for Testing


Ana Cavalli , Amardeo Sarma


As Cavalli and Sarma astutely remarked in the introduction to this volume, it is quite remarkable that SDL '97 may have the first participant younger than SDL itself. SDL '97 provides the opportunity to reflect the course SDL has taken and why it has been successful...

Parution : 1997-08-18
Format(s) : PDF sans DRM
Éditeur : Elsevier Science
J'achète
284,85

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés