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