Electronic Books

Total Books: 881 - 900 /2152

Formal Aspects in Security and Trust (vol. # 3866)

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

Formal Correctness of Security Protocols

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

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 ...

Formal Methods in Systems Biology : First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings

This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, ...

Fostering Innovation: How to Build an Amazing IT Team / Andrew Laudato

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

Foundation of Semantic web technologies / Pascal Hitzler, Markus Krotzsch, Sebastian Rudolph

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

Foundations and Applications of MIS

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

Foundations and Applications of MIS

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

Foundations and Applications of Sensor Management

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

Foundations of Fuzzy Logic and Soft Computing

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

Foundations of Information and Knowledge Systems

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

Foundations of Information and Knowledge Systems : 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

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

Foundations of Intelligent Systems

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

Foundations of Intelligent Systems (vol. # 3488)

This volume contains the papers selected for presentation at the 15th International S- posiumonMethodologiesforIntelligentSystems, ...

Foundations of Intelligent Systems (vol. # 4203)

This book constitutes the refereed proceedings of the 16th International Symposium on Methodologies for Intelligent Systems, ...

Foundations of Intelligent Systems : 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings

This book constitutes the refereed proceedings of the 17th International Symposium on Methodologies for Intelligent Systems, ...

Foundations of Quantum Physics

Intended to be used as a textbook for an introductory course in quantum mechanics at the undergraduate level, Foundations ...

Foundations of Security Analysis and Design IV

This book presents thoroughly revised versions of eight tutorial lectures given by leading researchers during two International ...

Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...

Fractal Dimensions of Networks

The goal of the book is to provide a unified treatment of fractal dimensions of sets and networks. Since almost all of the ...

Total Books: 881 - 900 /2152