Foundations of Security Analysis and Design IV
This book presents thoroughly revised versions of eight tutorial lectures given by leading researchers during two International ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Foundations of Software Science and Computation Structures
This book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational ...
Continue readingFoundations 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 ...
Continue reading
Foundations of Software Science and Computational Structures
This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and ...
Continue reading
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 ...
Continue reading
Foundations of Software Science and Computational Structures : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
Continue reading
Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue reading
Fracture Mechanics of Ceramics
The 8th International Symposium on fracture mechanics of ceramics was held in on the campus of the University of Houston, ...
Continue reading
Fragmentation of Rings and Shells
The present book surveys the theoretical analysis put forth by Mott with particular focus on his efforts to characterize ...
Continue reading
Free Energy Calculations : Theory and Applications in Chemistry and Biology
This volume sets out to present a coherent and comprehensive account of the concepts that underlie different approaches devised ...
Continue reading
Freshwater Governance for the 21st Century
The objective of this book is to broadly illustrate the key aspects of water governance, mapping the spectrum of decision-making ...
Continue reading
Freshwater Microplastics
This volume focuses on microscopic plastic debris, also referred to as microplastics, which have been detected in aquatic ...
Continue reading
From Animals to Animats 10 : 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Simulation of Adaptive Behavior, SAB ...
Continue reading
From Animals to Animats 9
This book constitutes the refereed proceedings of the 9th International Conference on Simulation of Adaptive Behavior, SAB ...
Continue reading
From Bilateral Arbitral Tribunals and Investment Courts to a Multilateral Investment Court Options Regarding the Institutionalization of Investor-State Dispute Settlement
This book considers the potential setup for a future Multilateral Investment Court (MIC). The option of an MIC was first ...
Continue reading
From Colonialism to International Aid External Actors and Social Protection in the Global South
This book addresses the role of external actors in social protection in the Global South, from the Second World War until ...
Continue reading
From Computer Literacy to Informatics Fundamentals
Duetothepenetrationofinformationtechnologyintosocietyatlargeandinto schools in particular, the relationship between informatics ...
Continue reading
