Filter by
Computer Aided Verification; 32nd International Conference, CAV 2020, Los Ang…
Kumpulan dua volume akses terbuka LNCS 12224 dan 12225 merupakan prosiding yang telah diseleksi dari Konferensi Internasional ke-32 tentang Verifikasi Berbantuan Komputer, CAV 2020, yang diadakan di Los Angeles, CA, AS, pada bulan Juli 2020.* 43 makalah lengkap yang disajikan bersama dengan 18 makalah alat dan 4 studi kasus, ditinjau dengan cermat dan dipilih dari 240 kiriman. Makalah-makalah t…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- 1 online resource (XVIII, 683 Pages)
- Series Title
- -
- Call Number
- 005.14 LAH c
Modern Industrial Services : A Cookbook for Design, Delivery, and Management
This open access book is an outcome of several years of research, practice, and teaching experience of the authors on the challenges that underpin the successful switch to services for manufacturing firms. Ideal for a student as well as a practitioner, the book describes the industrial services ecosystem, the barriers and challenges, and a roadmap for building service excellence. Curated cases …
- Edition
- -
- ISBN/ISSN
- 978-3-030-80511-1
- Collation
- XIX, 202
- Series Title
- Springer Texts in Business and Economics (STBE)
- Call Number
- 658 WES m
Stochastic Discounted Cash Flow : A Theory of the Valuation of Firms
This open access book discusses firm valuation, which is of interest to economists, particularly those working in finance. Firm valuation comes down to the calculation of the discounted cash flow, often only referred to by its abbreviation, DCF. There are, however, different coexistent versions, which seem to compete against each other, such as entity approaches and equity approaches. Acronyms …
- Edition
- -
- ISBN/ISSN
- 978-3-030-37081-7
- Collation
- XXIII, 241
- Series Title
- Springer Texts in Business and Economics (STBE)
- Call Number
- 332 KRU s
The Change Laboratory for Teacher Training in Entrepreneurship Education : A …
This open access book illustrates a new type of formative intervention for in-service teacher training in entrepreneurship education. The book describes a Change Laboratory and shows how teachers and workshop assistants develop the idea of a multidisciplinary project entailing the design of a self-service and parking lot in a dismissed area close to the city centre. The multidisciplinary projec…
- Edition
- -
- ISBN/ISSN
- 978-3-030-02571-7
- Collation
- XV, 143
- Series Title
- SpringerBriefs in Education (BRIEFSEDUCAT)
- Call Number
- 370 MOR c
Non-Equilibrium Social Science and Policy: Introduction and Essays on New and…
The overall aim of this book, an outcome of the European FP7 FET Open NESS project, is to contribute to the ongoing effort to put the quantitative social sciences on a proper footing for the 21st century. A key focus is economics, and its implications on policy making, where the still dominant traditional approach increasingly struggles to capture the economic realities we observe in the world …
- Edition
- -
- ISBN/ISSN
- 9783319424248
- Collation
- VIII, 232
- Series Title
- -
- Call Number
- -
Assessment Framework for People-Centred Solutions to Carbon Neutrality : A Co…
This open access book presents a catalogue of over one thousand indicators which can be used by cities' public administrators to monitor and evaluate social innovation action plans to support people-centred, collaborative or co-designed solutions to lower carbon emissions. Indicators are clustered according to a framework of social innovation solutions for climate neutrality at city level, deve…
- Edition
- -
- ISBN/ISSN
- 978-3-031-53111-8
- Collation
- IX, 110
- Series Title
- SpringerBriefs in Applied Sciences and Technology (BRIEFSAPPLSCIENCES)
- Call Number
- 338 BRE a
Bond Failure Mechanism of Fully Grouted Rock Bolts
The purpose of writing this book is to provide the latest research findings in ground control techniques in mining engineering, especially the rock bolting techniques. Since rock bolts are widely used in mining engineering and civil engineering, they are significant in guaranteeing the safety of underground openings. However, instability issues still occur with the rock bolting technique. There…
- Edition
- -
- ISBN/ISSN
- 978-981-99-0498-3
- Collation
- VIII, 111
- Series Title
- SpringerBriefs in Applied Sciences and Technology (BRIEFSAPPLSCIENCES)
- Call Number
- 620 CHE b
Rainfall Infiltration in Unsaturated Soil Slope Failure
This is an open access book. The aim of this book is to provide a thorough grounding in rainfall-induced landslides from three aspects: the coupling effect of hydraulic and mechanic; the analytical, numerical, and physical simulation methods, and the controlling factors underlying the problem of rainfall-induced landslides. The improved numerical methods, nonlinear, and linear iterative methods…
- Edition
- -
- ISBN/ISSN
- 978-981-19-9736-5
- Collation
- XIV, 130
- Series Title
- SpringerBriefs in Applied Sciences and Technology (BRIEFSAPPLSCIENCES)
- Call Number
- 620 WUL r
Innovative Tools and Methods Using BIM for an Efficient Renovation in Buildings
This open access book describes a BIM-based toolkit that has been developed according to the latest research activities on building information modelling and semantic interoperability to optimize the building process. It highlights the impacts of using such new tools to fast renovation activities starting from the decision-making and design stages to the construction site management with the po…
- Edition
- -
- ISBN/ISSN
- 978-3-031-04670-4
- Collation
- VII, 121
- Series Title
- SpringerBriefs in Applied Sciences and Technology (BRIEFSAPPLSCIENCES)
- Call Number
- 620 INN
Civil and Environmental Engineering for the Sustainable Development Goals : E…
This open access volume collects emerging issues in Environmental and Civil Engineering, originating from outstanding doctoral dissertations discussed at Politecnico di Milano in 2021. The advanced innovative insights provided are presented with reference to the relevant sustainable development goals (SDGs), hoping that scientists, technicians and decision makers will find them as a valid suppo…
- Edition
- -
- ISBN/ISSN
- 978-3-030-99593-5
- Collation
- IX, 108
- Series Title
- SpringerBriefs in Applied Sciences and Technology (BRIEFSAPPLSCIENCES)
- Call Number
- 333 CIV
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography