Formal Concept Analysis : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings
Formal Concept Analysis (FCA) is a mathematical theory of concepts and c- ceptual hierarchyleadingto methods for conceptually ...
اقرأ المزيد
Formal Modeling and Analysis of Timed Systems
This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems ...
اقرأ المزيد
Formal Modeling and Analysis of Timed Systems (vol. # 4202)
The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers ...
اقرأ المزيد
Formal Models of Operating System Kernels
The purpose of this book is to show that the formal specification of kernels is not only possible but also necessary if operating ...
اقرأ المزيد
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 (vol. # 3441)
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Frei Otto : forschen, bauen, inspirieren = a life of research, construction and inspiration / Irene Meissner, Eberhard Moeller
Provides insights on the key aspects of his work. At its heart was the search for natural designs and an exploration of form-finding ...
اقرأ المزيد
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 Opinion Mining to Financial Argument Mining
Financial opinion mining is a branch of traditional opinion mining and sentiment analysis which shares the basic notions ...
اقرأ المزيد
Frontiers in Algorithmics
This book constitutes the refereed proceedings of the First Annual International Frontiers of Algorithmics Workshop, FAW ...
اقرأ المزيد
Functional Structures in Networks
The book describes a method for creating models of telecom systems. The method is intended for practicing network architects ...
اقرأ المزيد
Functional and Logic Programming
This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS ...
اقرأ المزيد
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, ...
اقرأ المزيد
Fundamental Approaches to Software Engineering 24th International Conference, FASE 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 Fundamental Approaches to Software Engineering, ...
اقرأ المزيدFundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
The papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
اقرأ المزيد
Fundamentals of Magnetism
In the last decade a tremendous progress has taken place in understanding the basis of magnetism, especially in reduced dimensions. In ...
اقرأ المزيد
Fundamentals of Structural Dynamics : Theory and Computation / Keith D. Hjelmstad
Closes the gap between traditional textbooks on structural dynamics and how structural dynamics is practiced in a world driven ...
اقرأ المزيد
