Extensionalism : The Revolution in Logic
This vivid and thought-provoking book by the Israeli logician Nimrod Bar-Am impels one to rethink the place of logic in Western ...
Continue reading
FM 2005: Formal Methods
This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...
Continue reading
Finite-State Methods and Natural Language Processing
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Finite-State Methods ...
Continue readingForging New Frontiers: Fuzzy Pioneers I
The 2005 BISC International Special Event-BISCSE’05 " FORGING THE FRONTIERS" was held in the University of California, ...
Continue reading
Forging New Frontiers: Fuzzy Pioneers II
The chapters of the book are evolved from presentations made by selected participants at the meeting and organized in two ...
Continue reading
Formal Concept Analysis
This book constitutes the refereed proceedings of the 5th International Conference on Formal Concept Analysis, ICFCA 2007. ...
Continue reading
Formal Concept Analysis (vol. # 3403)
This book constitutes a comprehensive and systematic presentation of the state of the art of formal concept analysis and ...
Continue reading
Formal Concept Analysis (vol. # 3874)
This book constitutes the refereed proceedings of the 4th International Conference on Formal Concept Analysis, held in February ...
Continue reading
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...
Continue reading
Formal Methods and Software Engineering (vol. # 3785)
This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...
Continue reading
Formal Methods and Software Engineering (vol. # 4260)
This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, ...
Continue reading
Formal Methods and Stochastic Models for Performance Evaluation
This volume contains the proceedings of the third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, ...
Continue reading
Formal Methods and Stochastic Models for Performance Evaluation
This book constitutes the refereed proceedings of the 4th European Performance Engineering Workshop, EPEW 2007, held in Berlin, ...
Continue reading
Formal Methods for Components and Objects (vol. # 3657)
This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods ...
Continue reading
Formal Methods for Open Object-Based Distributed Systems (vol. # 3535)
This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open ...
Continue reading
Formal Methods for Open Object-Based Distributed Systems (vol. # 4037)
This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Continue reading
Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Continue reading
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, ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
