Electronic Books

Total Books: 661 - 680 /1951

Formal Concept Analysis

This book constitutes the refereed proceedings of the 5th International Conference on Formal Concept Analysis, ICFCA 2007. ...

Formal Concept Analysis (vol. # 3403)

This book constitutes a comprehensive and systematic presentation of the state of the art of formal concept analysis and ...

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

Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...

Formal Methods in Software and Systems Modeling

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and 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 Modelling in Electronic Commerce

Advances in automation for electronic commerce require improved understanding and formalization of the objects, processes, ...

Formal Models of Communicating Systems

This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that ...

Formulating Poorly Water Soluble Drugs / Robert O. Williams III, Daniel A. Davis Jr., Dave A. Miller

A pharmaceutical scientist’s approach toward solubility enhancement of a poorly water-soluble molecule typically includes ...

Foundations of Data Mining and Knowledge Discovery

This volume presents the results of investigations into the foundations of the discipline, and represents the state-of-the-art ...

Foundations of Generic Optimization

This is a comprehensive overview of the basics of fuzzy control, which also brings together some recent research results ...

Foundations of Generic Optimization : Volume 2: Applications of Fuzzy Control, Genetic Algorithms and Neural Networks

This is a comprehensive overview of the basics of fuzzy control, which also brings together some recent research results ...

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

This book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical ...

Foundations of Security

Foundations of Security: What Every Programmer Needs to Know teaches new and current software professionals state-of-the-art ...

Foundations of Trusted Autonomy

This book establishes the foundations needed to realize the ultimate goals for artificial intelligence, such as autonomy ...

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

Freshwater Animal Diversity Assessment

The Freshwater Animal Diversity Assessment gives a state of the art assessment of the diversity and distribution of Metazoa ...

Freshwater Microplastics

This volume focuses on microscopic plastic debris, also referred to as microplastics, which have been detected in aquatic ...

Friedrich Nietzsche (1844-1900)

Until now, Friedrich Nietzsche’s influence on the development of modern social sciences has not been well documented. This ...

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

Total Books: 661 - 680 /1951