Electronic Books

Total Books: 761 - 780 /2046

In the second edition of this very successful book, Tony Sammes and Brian Jenkinson show how information held in computer ...

In the second edition of this very successful book, Tony Sammes and Brian Jenkinson show how information held in computer ...

This book has been developed as a forest inventory textbook for students and can also serve as a handbook for practical foresters. ...

Thepresentvolumecontainsthepost-proceedingsofthe4thInternationalWo- shop on Formal Aspects in Security and Trust (FAST2006). ...

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Aspects in Security ...

The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols ...

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

This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open ...

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, ...

In Fostering Innovation: How to Build an Amazing IT Team, accomplished technology strategist, executive, and leader Andrew ...

Concentrates on Semantic Web technologies standardized by the World Wide Web Consortium: RDF and SPARQL enable data exchange ...

Foundations and Applications of MIS presents a unique systems theory approach to management information system (MIS) development. ...

Foundations and Applications of MIS presents a unique systems theory approach to management information system (MIS) development. ...

Foundations and Applications of Sensor Management presents the emerging theory of sensor management with applications to ...

Foundations of 3D Graphics Programming is an innovative shortcut to graphics theory and programming using JOGL, a new vehicle ...

This book comprises a selection of papers from IFSA 2007 on new methods and theories that contribute to the foundations of ...

This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...

This book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge ...

This volume contains the papers selected for presentation at the 13th International Symposium on Methodologies for Intelligent ...

Total Books: 761 - 780 /2046