Search Results - "Engineering"

Seeing the City Digitally Processing Urban Space and Time

Subjects: “…Electronics engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Wirksamkeit der Taktplanung aus Perspektive des Bauherrn am Beispiel von Produktionsimmobilien in der Automobilindustrie by Dlouhy, Janosch

Subjects: “…Civil engineering, surveying & building bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

WINDERFUL Wind and INfrastructures Dominating Eolian Risk For Utilities and Lifelines

Subjects: “…Highway & traffic engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Der Mensch in der Verantwortung Die Theodizeefrage bei Hans Jonas, Dorothee Sölle und Abraham Joshua Heschel (Volume 2)

Subjects: “…Technology & Engineering…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Applied Design Research A Mosaic of 22 Examples, Experiences and Interpretations Focussing on Bridging the Gap between Practice and Academics

Subjects: “…human engineering; industrial design; social aspects; design; research…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Grundlagenuntersuchungen an intrinsisch gefertigten lasttragenden FVK/Metall-Hybridträgern by Muth, Markus

Subjects: “…Mechanical engineering & materials bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Nanoskalige Analytik der Mikrostruktur von hochdosig bestrahltem Beryllium by Zimber, Nikolai

Subjects: “…Mechanical engineering & materials bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Entwicklung eines Messsystems zur modalbasierten Schädigungsanalyse von Brückenüberbauten by Kohm, Mareike

Subjects: “…Civil engineering, surveying & building bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Microstructure generation and micromechanical modeling of sheet molding compound composites by Görthofer, Johannes

Subjects: “…Mechanical engineering & materials bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Entwicklung von Modellen zur speichergestützten Versorgung mit regenerativen Energien in Inselnetzen by Itschner, Harald

Subjects: “…Electrical engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Dogs, Past and Present An Interdisciplinary Perspective

Subjects: “…Technology & Engineering…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

Subjects: “…Software engineering.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...

Table of Contents: “…TOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Competion 2019 -- International Competition on Runtime Verification (CRV) -- The Model Checking Contest (2019) -- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A RECtrospective -- RERS 2019: Combining Synthesis with Real-World Models -- SL-COMP: Competition of Solvers for Separation Logic -- Automatic Verification of C and Java Programs: SV-COMP 2019 -- The Termination and Complexity Competition -- Competition on Software Testing (Test-Comp) -- VerifyThis - Verification Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution) -- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution) -- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution) -- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) -- JayHorn: A Java Model Checker (Competition Contribution) -- Java Pathfinder at SV-COMP 2019 -- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution) -- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution) -- Symbolic Pathfinder for SV-COMP -- VeriFuzz: Program Aware Fuzzing -- VIAP 1.1 (Competition Contribution).…”
Link to Metadata

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

Subjects: “…Software engineering.…”
Link to Metadata

Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,...

Subjects: “…Computer engineering.…”
Link to Metadata

Innovations in Derivatives Markets Fixed Income Modeling, Valuation Adjustments, Risk Management, and Regulation /

Table of Contents: “…Foreword -- Preface -- Part I: Valuation Adjustments -- Part II: Fixed Income Modeling -- Part III: Financial Engineering. .…”
Link to Metadata

China's Gas Development Strategies

Subjects: “…Geotechnical engineering.…”
Link to Metadata

Enabling Things to Talk Designing IoT solutions with the IoT Architectural Reference Model /

Subjects: “…Software engineering.…”
Link to Metadata

Mountain Biodiversity, Ecosystem Functioning and Services

Subjects: “…History of engineering & technology bicssc…”
DOAB: download the publication
DOAB: description of the publication

Ethics of Socially Disruptive Technologies An Introduction

Subjects: “…Technology, engineering, agriculture bicssc…”
DOAB: download the publication
DOAB: description of the publication