Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. The 19 papers presented were carefully reviewed and selected from 42 submissions. They are organized in topical sections named: modelling and applications; tools; petri nets, process algebra and fault trees; applications; and queuing systems and hybrid systems. The book also contains one full-paper invited talk.

Computer Science. --- Logics and Meanings of Programs. --- System Performance and Evaluation. --- Probability and Statistics in Computer Science. --- Computation by Abstract Devices. --- Simulation and Modeling. --- Computer science. --- Computer system performance. --- Logic design. --- Computer simulation. --- Informatique --- Structure logique --- Simulation par ordinateur --- Computer Science --- Engineering & Applied Sciences --- Computer system failures. --- Computers. --- Computer logic. --- Mathematical statistics. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Mathematics --- Statistical inference --- Statistics, Mathematical --- Statistics --- Probabilities --- Sampling (Statistics) --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer failures --- Computer malfunctions --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Informatics --- Science --- Statistical methods --- Failures --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Reliability (Engineering) --- Electronic digital computers—Evaluation. --- Computer science—Mathematics. --- Computer Science Logic and Foundations of Programming. --- Theory of Computation. --- Computer Modelling.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

libraries [institutions] --- Arias Montano, Benito --- 027.54 <460 ESCORIAL --- 094 ARIAS MONTANUS, BENEDICTUS --- 873.4 ARIAS MONTANUS, BENEDICTUS --- 873.4 ARIAS MONTANUS, BENEDICTUS Humanistisch Latijnse literatuur--ARIAS MONTANUS, BENEDICTUS --- Humanistisch Latijnse literatuur--ARIAS MONTANUS, BENEDICTUS --- Rijksoverheidsbibliotheken. Staatsbibliotheken. Nationale bibliotheken (Koninklijke Bibliotheek)--Spanje--ESCORIAL --- Oude en merkwaardige drukken. Kostbare en zeldzame boeken. Preciosa en rariora--ARIAS MONTANUS, BENEDICTUS --- Arias Montano, Benito, --- Arias Montanus, Benedictus, --- Montanus, Benedictus Arias, --- Montano, Arias, --- Montano, Benito Arias, --- Montanus, Arias, --- Arias, Benito Montanus, --- Arias Montano, Benedicto, --- Criticism and interpretation. --- Madrid (Spain). --- Real Biblioteca Pública (Spain) --- Real Librería Pública (Spain) --- Biblioteca Real (Spain) --- Real Biblioteca (Spain) --- Librería Pública (Spain) --- Biblioteca Pública de Palacio (Spain) --- Real Librería Pública de Madrid --- Biblioteca Nacional (Spain)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book is a guide to the economic evaluation of transport policies and investment projects through cost-benefit analysis (CBA). It covers the CBA of transportation projects and policies, and introduces the fundamental concepts of CBA before considering their application in real-world settings. A distinct focus of the book is on the practical applications of CBA. It includes real-world examples of CBA, such as high-speed rail investment and the subsidization of air transport, which illustrate the importance of using a rigorous analytical framework to evaluate transport projects and policies. The primary objective of this book is to present a basic model for the evaluation of transport projects and policies, with explicit assumptions and practical evaluation rules derived from it. The rules and measurement criteria derived from this model are applied to the examples mentioned above. Overall, this book is an excellent resource for students, practitioners, and policymakers involved in transport economics and evaluation, as it provides a comprehensive understanding of the principles and applications of CBA in the transport sector.

Economic policy and planning (general) --- Transport. Traffic --- economische politiek --- verkeer --- transport