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