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, ...
اقرأ المزيد
