Electronic Books

Total Books: 141 - 160 /436
Enterprise Service Oriented Architectures

Enterprise Service Oriented Architectures helps readers solve this challenge in making different applications communicate ...

Lire la suite
Evolution of Italian Enterprises in the 20th Century

During the first two-thirds of the 20th century the themes of sectorial structure and compared performance prevail in Italian ...

Lire la suite
Explainable AI with Python

This book provides a full presentation of the current concepts and available techniques to make “machine learning” systems ...

Lire la suite
Explainable Artificial Intelligence : An Introduction to Interpretable Machine Learning / Uday Kamath, Dr. John Liu

Offers a curriculum for introducing interpretability to machine learning at every stage. The authors provide compelling examples ...

Lire la suite
FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, ...

Lire la suite
Face Biometrics for Personal Identification

This book provides an ample coverage of theoretical and experimental state-of-the-art work as well as new trends and directions ...

Lire la suite
Face Biometrics for Personal Identification

This book provides an ample coverage of theoretical and experimental state-of-the-art work as well as new trends and directions ...

Lire la suite
NoIMG
Financial Management for Technology Start-Ups : How to Power Growth, Track Performance and Drive Innovation / Alnoor Bhimani

Financial Management for Technology Start-Ups offers a complete financial toolkit on how to use this area of your business ...

Lire la suite
Financial Management for Technology Start-Ups : How to Power Growth, Track Performance and Drive Innovation / Alnoor Bhimani

Develops the financial intelligence you need to communicate effectively with investors, implement business strategies and ...

Lire la suite
Form-Oriented Analysis

Form-based applications range from simple web shops to complex enterprise resource planning systems. Draheim and Weber adapt ...

Lire la suite
Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...

Lire la suite
Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...

Lire la suite
Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This ...

Lire la suite
Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...

Lire la suite
Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods ...

Lire la suite
Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open ...

Lire la suite
Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...

Lire la suite
NoIMG
Formalizing the Shadow Economy in Serbia : Policy Measures and Growth Effects

The main objective of this book is to develop a strategy and policy measures to enhance the formalization of the shadow economy ...

Lire la suite
Foundations of C++/CLI : The Visual C++ Language for .NET 3.5

Foundations of C++/CLI: The Visual C++ Language for .NET 3.5 introduces C++/CLI, Microsoft's extensions to the C++ syntax ...

Lire la suite
Foundations of Java for ABAP Programmers

The 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
Total Books: 141 - 160 /436