Cover Image
Read Now

1
by Kories, Ralf, Schmidt-Walter, Heinz
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Engineering -- B.2 Naturally Occurring Constants -- B.3 Symbols of the Greek Alphabet -- B.4 Units...”
Cover Image
Read Now

2
by Burton, Ralph A.
Published 2000
Springer New York
Table of Contents: “...1 Bearings and Seals -- 2 Viscous Heating in Laminar Couette Flow -- 3 Thermoviscous Fluids -- 4...”
Cover Image
Read Now

3
Published 2016
Springer International Publishing
Subjects: “...Software engineering...”
Cover Image
Read Now

4
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Multiprocessing for Interactive Theorem Proving -- A Parallelized Theorem Prover for a Logic with Parallel...”
Cover Image
Read Now

5
Published 2011
Springer Berlin Heidelberg
Subjects: “...Software engineering...”
Cover Image
Read Now

6
Published 2009
Springer Netherlands
Table of Contents: “...Invited Papers -- Structural Stability -- Seismic Engineering -- Dynamic Interactions -- Fluid...”
Cover Image
Read Now

7
by Balaji, C., Srinivasan, Balaji, Gedupudi, Sateesh
Published 2020
Academic Press
Table of Contents: “... -- 1.1 -- Thermodynamics and heat transfer -- 1.2 -- Heat transfer and its applications -- 1.3 -- Modes...”
Cover Image
Read Now

8
Published 2024
Springer Nature Singapore
Table of Contents: “...-Difference and Finite-Volume 1D Steady-State Heat Conduction model for Machine Learning Algorithms -- Sign...”
Cover Image
Read Now

9
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Conditions -- Real Number Calculations and Theorem Proving -- Verifying a Secure Information Flow Analyzer...”
Cover Image
Read Now

10
by Gunter, Elsa L
Published 1997
Springer Berlin Heidelberg
Subjects: “...Software engineering...”
Cover Image
Read Now

11
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...An Isabelle-based theorem prover for VDM-SL -- Executing formal specifications by translation...”
Cover Image
Read Now

12
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Code -- SNIFF: A Search Engine for Java Using Free-Form Queries -- Inquiry and Introspection for Non...”
Cover Image
Read Now

13
Published 2019
Springer International Publishing
Subjects: “...Automotive Engineering...”
Cover Image
Read Now

14
by Plaisted, David A., Zhu, Yunshan
Published 1997
Vieweg+Teubner Verlag
Table of Contents: “...-Order Theorem Proving Strategies -- 2.1 Introduction -- 2.2 Proof Complexity measures -- 2.3 Inherent...”
Cover Image
Read Now

16
by Boman, Daniel B., Raymond, Alexander W., Garimella, Srinivas
Published 2021
Springer International Publishing
Table of Contents: “...Introduction -- Adsorption Heat Pump Cycles -- Working Pairs for Adsorption Heat Pumps -- Adsorbent...”
Cover Image
Read Now

17
by Constantinescu, V.N.
Published 1995
Springer New York
Table of Contents: “... Fundamental Equations of Viscous Flow -- 2.1. Kinematics of Fluid Flow -- 2.2. Equations of Motion -- 2.3...”
Cover Image
Read Now

18
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...Context-Driven Hypertext Specification -- Process, Planning and Phases -- Feature-Based Engineering...”
Cover Image
Read Now

19
by Durand-Charre, Madeleine
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... -- 18 Quench hardening steels -- 19 Stainless steels -- 20 Heat resisting steels and iron-containing...”
Cover Image
Read Now

20
Published 2019
Springer International Publishing
Table of Contents: “...Chapter1: Comparison between 0D and 1D Heat Source Reconstruction for Fatigue Characterization...”