Formal Techniques for Distributed Objects, Components, and Systems
This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed ...
اقرأ المزيد
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 ...
اقرأ المزيد
Foundations of Computer Security
Foundations of Computer Security provides a succinct, yet authoritative introduction to the underlying theory, history, vocabulary, ...
اقرأ المزيد
Foundations of Security
Foundations of Security: What Every Programmer Needs to Know teaches new and current software professionals state-of-the-art ...
اقرأ المزيد
Foundations of Security Analysis and Design III
The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested ...
اقرأ المزيد
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 : 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 ...
اقرأ المزيد
From Biological Control to Invasion : the Ladybird Harmonia axyridis as a Model Species
Harmonia axyridis has been described as the "most invasive ladybird on Earth". It has a long history of use as a classical ...
اقرأ المزيد
From Computer Literacy to Informatics Fundamentals
Duetothepenetrationofinformationtechnologyintosocietyatlargeandinto schools in particular, the relationship between informatics ...
اقرأ المزيد
From Grids to Service and Pervasive Computing
Grids are a crucial enabling technology for scientific and industrial development. Peer-to-peer computing, grid, distributed ...
اقرأ المزيد
From P2P to Web Services and Grids
Provides an overview of peer-to-peer (P2P) technologies that have revolutionized the way we think about distributed computing ...
اقرأ المزيد
Frontiers in Hardware Security and Trust: Theory, design and practice
The footprint and power constraints imposed on internet-of-things end-points, smart sensors, mobile and ad hoc network devices ...
اقرأ المزيد
Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops
This book constitutes the refereed joint proceedings of ten internationl workshops held in conjunction with the 4th International ...
اقرأ المزيد
Frontiers of WWW Research and Development -- APWeb 2006
This book constitutes the refereed proceedings of the 8th Asia-Pacific Web Conference, APWeb 2006, held in Harbin, China ...
اقرأ المزيد
Fun and Games : Second International Conference, Eindhoven, The Netherlands, October 20-21, 2008. Proceedings
This book constitutes the refereed proceedings of the Second International Conference on Fun and Games, held in Eindhoven, ...
اقرأ المزيد
Fundamental Approaches to Software Engineering 23rd International Conference, FASE 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 Fundamental Approaches to Software Engineering, ...
اقرأ المزيد
Fundamentals of Financial Instruments: An Introduction to Stocks, Bonds, Foreign Exchange, and Derivatives / Sunil K. Parameswaran
Securities.In the newly revised Second Edition of Fundamentals of Financial Instruments: An Introduction to Stocks, Bonds, ...
اقرأ المزيد
Fundamentals of Information Systems Security ; Fourth Edition / David Kim; Michael G. Solomon
Provides a comprehensive overview of the concepts readers must know as they pursue careers in information systems security. ...
اقرأ المزيد
