Eric Sink on the Business of Software
Eric Sink on the Business of Software is a selection of the best and most popular essays from the author's website. This ...
اقرأ المزيد
Essays in Honor of Edwin Mansfield
As appreciation and remembrance for his scholarly contributions, eminent scholars have contributed original papers for this ...
اقرأ المزيد
European E-Democracy in Practice
This book explores how digital tools and social media technologies can contribute to better participation and involvement ...
اقرأ المزيد
Europes Automotive Industry on the Move
The automotive industry is a major pillar of the modern global economy and one of Europe’s key industries. There can hardly ...
اقرأ المزيد
Examples in Structural Analysis / William M.C. McKenzie, Binsheng Zhang
This code-independent and comprehensive collection of fully worked and graded examples shows undergraduates how to analyse ...
اقرأ المزيد
Fashion Figures
Gain an inside perspective on what it’s like when you love math and science and happen to be a girl. Fashion Figures highlights ...
اقرأ المزيد
Field Guide to Meteors and Meteorites
Imagine the unique experience of being the very first person to hold a newly-found meteorite in your hand – a rock from ...
اقرأ المزيد
Financial Privacy : An International Comparison of Credit Reporting Systems
This book provides the first in-depth analysis of the economics and regulation of financial privacy. It is an international ...
اقرأ المزيد
Formal Approaches to Agent-Based Systems
The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA ...
اقرأ المزيد
Formal Methods Applications and Technology
The workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...
اقرأ المزيد
Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...
اقرأ المزيد
Formal Methods for Performance Evaluation
This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International ...
اقرأ المزيد
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
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 Techniques for Networked and Distributed Systems - FORTE 2006
This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for ...
اقرأ المزيد
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 Software Science and Computation Structures
This volume contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation ...
اقرأ المزيد
Friedrich Nietzsche (1844-1900)
Until now, Friedrich Nietzsche’s influence on the development of modern social sciences has not been well documented. This ...
اقرأ المزيد
Fuel Additives: Chemistry and Technology / Robert D. Tack
The book introduces and summarizes refinery operations to an extent that discussions of fuels in the following chapters become ...
اقرأ المزيد
