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