Infrastructuring Publics

A Reliability-Aware Fusion Concept Toward Robust Ego-Lane Estimation Incorporating Multiple Sources

Driving Networked Service Productivity

Forecasting High-Frequency Volatility Shocks : An Analytical Real-Time Monitoring System

Touring Consumption

Managing Intermittent Demand

Automotive Mechatronics : Automotive Networking, Driving Stability Systems, Electronics

Factors Driving Social Network Site Usage

Does Multi-stage Marketing Pay? : Creating Competitive Advantages Through Multi-stage Marketing

Establishing Corporate Innovation Communities : A Social Capital Perspective

Hurdle Race Marketing : The Enlightenment - The Disillusionment - The Breakthrough

How Are Chinese Only Children Growing : A Bioecological Systems Perspective

Task Collection Technical Thermodynamics : With Complete Solutions

Advanced Microeconomics

Inventory Rationing : A New Modeling Approach Using Markov Chain Theory

Towards Supply Chain Risk Analytics : Fundamentals, Simulation, Optimization

Understanding Social Research Networking Sites

Clay Printing : The Fourth Generation Brickwork

Modelling German Covered Bonds

Cloud Logistics : Reference Architecture Design

Formal Methods for the Design of Real-Time Systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13

Cyber Physical Systems. Design, Modeling, and Evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings

Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Ad

Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Adva

Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verificat

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, B

Verification of Reactive Systems : Formal Methods and Algorithms

Formal Modeling and Analysis of Timed Systems : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

Formal Methods for Eternal Networked Software Systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-

Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Ital

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

Formal Methods for Dynamical Systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanc

Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, It

Tools and Technologies for the Development of Cyber-Physical Systems

Tools and Technologies for the Development of Cyber-Physical Systems

Machine Learning for Cyber Physical Systems : Selected papers from the International Conference ML4CPS 2015

Formal Methods for Performance Evaluation : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007,

Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 201

Formal Methods for Model-Driven Engineering : 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012.

Embedded System Design : Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things