Enterprise Service Oriented Architectures helps readers solve this challenge in making different applications communicate ...
Weiterlesen
During the first two-thirds of the 20th century the themes of sectorial structure and compared performance prevail in Italian ...
Weiterlesen
This book provides a full presentation of the current concepts and available techniques to make “machine learning” systems ...
Weiterlesen
Offers a curriculum for introducing interpretability to machine learning at every stage. The authors provide compelling examples ...
Weiterlesen
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, ...
Weiterlesen
This book provides an ample coverage of theoretical and experimental state-of-the-art work as well as new trends and directions ...
Weiterlesen
This 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 ...
Weiterlesen
Develops the financial intelligence you need to communicate effectively with investors, implement business strategies and ...
Weiterlesen
Form-based applications range from simple web shops to complex enterprise resource planning systems. Draheim and Weber adapt ...
Weiterlesen
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...
Weiterlesen
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
Weiterlesen
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This ...
Weiterlesen
This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...
Weiterlesen
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods ...
Weiterlesen
This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Weiterlesen
This 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 ...
Weiterlesen
Foundations of C++/CLI: The Visual C++ Language for .NET 3.5 introduces C++/CLI, Microsoft's extensions to the C++ syntax ...
Weiterlesen
The only beginning book of its kind, this book will teach you SAP/ABAP developers the skills you need for Java 5 programming. ...
Weiterlesen