Electronic Books

Total Books: 1521 - 1540 /4148

Formal Techniques for Networked and Distributed Systems - FORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for ...

Formalization of Banking Supervision : 19th–20th Centuries / Eiji HotoriMikael WendschlagThibaud Giddey

Elaborate the formalization phase of banking supervision in eight developed countries—USA, Japan, Sweden, Germany, Switzerland, ...

Forming the Mind

The book collects essays from some of the foremost scholars in a relatively new and very promising field of research. It ...

Foundation PHP5 for Flash

This latest, completely rewritten, edition again brings together three of the web's hottest technologies—Flash, the server-side ...

Foundations for Local Governance

Various forms of decentralization are recently pursued in the world, including developing countries. However, there has not ...

Foundations of AOP for J2EE Development

Foundations of AOP for J2EE Development covers a relatively new programming paradigm: aspect-oriented programming, or AOP. ...

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 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 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

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

Foundations of Software Science and Computation Structures

This volume contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation ...

Foundations of Software Science and Computation Structures

This book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational ...

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

Foundations of Software Science and Computational Structures

This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and ...

Foundations of Software Science and Computational Structures (vol. # 3921)

This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...

Total Books: 1521 - 1540 /4148