Gain an inside perspective on what it’s like when you love math and science and happen to be a girl. Fashion Figures highlights ...
Continue readingImagine the unique experience of being the very first person to hold a newly-found meteorite in your hand – a rock from ...
Continue readingThis book provides the first in-depth analysis of the economics and regulation of financial privacy. It is an international ...
Continue readingThe 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA ...
Continue readingThe workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...
Continue readingThis volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...
Continue readingThis book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International ...
Continue readingBy presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, ...
Continue readingThis volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems ...
Continue readingThe aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers ...
Continue readingThis book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for ...
Continue readingThis book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical ...
Continue readingThis volume contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation ...
Continue readingUntil now, Friedrich Nietzsche’s influence on the development of modern social sciences has not been well documented. This ...
Continue readingThe book introduces and summarizes refinery operations to an extent that discussions of fuels in the following chapters become ...
Continue readingPain is an unpleasant but very important biological signal for danger. Nociception is necessary for survival and maintaining ...
Continue readingGraphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation ...
Continue readingThis book explores the foundations of hamiltonian dynamical systems and statistical mechanics, in particular phase transition, ...
Continue readingThis book takes a critical and international perspective to the mainstreaming of the Global Citizenship Concept and analyses ...
Continue readingGoliath Strikes Back: How Traditional Retailers Are Winning Back Customers from Ecommerce Startups expands on this current ...
Continue reading