Electronic Books

Total Books: 81 - 100 /262

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 Models of Communicating Systems

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

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

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

From War to Peace in the Balkans, the Middle East and Ukraine

This book focuses on the origins, consequences and aftermath of Western military interventions that led to the end of the ...

Frontiers of High Performance Computing and Networking ISPA 2007 Workshops

This book constitutes the refereed joint proceedings of seven international workshops held in conjunction with the 5th International ...

Frontiers of Real Estate Science in Japan

This book presents recent research and hot topics in the field of real estate science in Japan. It features carefully selected ...

Fundamentals of Artificial Intelligence

Fundamentals of Artificial Intelligence introduces the foundations of present day AI and provides coverage to recent developments ...

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 Powder Diffraction and Structural Characterization of Materials

Pecharsky (Iowa State University) and Zavalij (State University of New York, Binghamton) explain in their preface that the ...

Generative and Transformational Techniques in Software Engineering II: International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers

This tutorial book presents an augmented selection of the material presented at the International Summer School on Generative ...

Grammatical Inference: Algorithms and Applications : 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings

This book constitutes the refereed proceedings of the 9th International Colloquium on Grammatical Inference, ICGI 2008, held ...

Grassroots Politics and Oil Culture in Venezuela

This book presents an ethnographic study of how grassroots activism in Venezuela during the Chávez presidency can be understood ...

Greens Functions in Quantum Physics

The main part of this book is devoted to the simplest kind of Green's functions, namely the solutions of linear differential ...

H-infinity Control and Estimation of State-multiplicative Linear Systems

This monograph embodies a comprehensive survey of the relevant literature with basic problems being formulated and solved ...

Handbook of Molecular Force Spectroscopy

Modern materials science and biophysics are increasingly focused on studying and controlling intermolecular interactions ...

High-Pressure Shock Compression of Solids VIII

Research in the field of shock physics and ballistic impact has always been intimately tied to progress in development of ...

Hormonal Carcinogenesis IV

Uniquely, Hormonal Carcinogenesis IV, integrates salient aspects of hormone-related cancers of interest to epidemiologists, ...

Total Books: 81 - 100 /262