Enterprise Service Oriented Architectures helps readers solve this challenge in making different applications communicate ...
Lire la suiteDuring the first two-thirds of the 20th century the themes of sectorial structure and compared performance prevail in Italian ...
Lire la suiteThis book provides a full presentation of the current concepts and available techniques to make “machine learning” systems ...
Lire la suiteOffers a curriculum for introducing interpretability to machine learning at every stage. The authors provide compelling examples ...
Lire la suiteThis book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, ...
Lire la suiteThis book provides an ample coverage of theoretical and experimental state-of-the-art work as well as new trends and directions ...
Lire la suiteThis book provides an ample coverage of theoretical and experimental state-of-the-art work as well as new trends and directions ...
Lire la suiteFinancial Management for Technology Start-Ups offers a complete financial toolkit on how to use this area of your business ...
Lire la suiteDevelops the financial intelligence you need to communicate effectively with investors, implement business strategies and ...
Lire la suiteForm-based applications range from simple web shops to complex enterprise resource planning systems. Draheim and Weber adapt ...
Lire la suiteThis book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...
Lire la suiteThis book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
Lire la suiteFormal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This ...
Lire la suiteThis volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...
Lire la suiteThis book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods ...
Lire la suiteThis book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Lire la suiteThis book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...
Lire la suiteThe main objective of this book is to develop a strategy and policy measures to enhance the formalization of the shadow economy ...
Lire la suiteFoundations of C++/CLI: The Visual C++ Language for .NET 3.5 introduces C++/CLI, Microsoft's extensions to the C++ syntax ...
Lire la suiteThe only beginning book of its kind, this book will teach you SAP/ABAP developers the skills you need for Java 5 programming. ...
Lire la suite