100 Pioneers in Efficient Resource Management [[electronic resource] ] : Best practice cases from producing companies / / by Mario Schmidt, Hannes Spieth, Christian Haubach, Christian Kühne ; edited by Institute for Industrial Ecology INEC |
Autore | Schmidt Mario |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Spektrum, , 2019 |
Descrizione fisica | 1 online resource (xxiv, 530 pages) : illustrations |
Disciplina | 620.00286 |
Soggetto topico |
Sustainable development
Ecology Energy policy Energy and state Energy efficiency Sustainable Development Ecology Energy Policy, Economics and Management Energy Efficiency |
ISBN | 3-662-56745-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction: Communicate about resource efficiency -- PART I - Introduction to the topic -- 1 Resource efficiency in the industrial society -- 2 approaches to operational resource efficiency -- 3 Methods and tools -- 4 Resource efficiency as an export product -- 5 The 100-company project -- PART II - Examples of companies -- Mining and quarrying -- Food industry -- Textile industry -- Wood industry -- Paper industry -- Chemical industry -- Pharmaceutical industry -- Rubber and plastics industry -- Manufacture of glass and ceramics -- Metal processing industry -- Precision mechanical industry -- Manufacture of measuring and control instruments -- Electrical industry -- Mechanical engineering -- Automotive industry -- Furniture industry -- Medical technology -- Energy supply -- Recycling industry -- Construction industry -- Appendix. |
Record Nr. | UNINA-9910337885003321 |
Schmidt Mario | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Spektrum, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
10th International Conference on Automated Deduction [[electronic resource] ] : Kaiserslautern, FRG, July 24-27, 1990. Proceedings / / edited by Mark E. Stickel |
Edizione | [1st ed. 1990.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 |
Descrizione fisica | 1 online resource (XVIII, 690 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Mathematical logic Artificial Intelligence Mathematical Logic and Formal Languages |
ISBN | 3-540-47171-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A theorem prover for a computational logic -- A complete semantic back chaining proof system -- Parallelizing the closure computation in automated deduction -- Partheo: A high-performance parallel theorem prover -- Substitution-based compilation of extended rules in deductive databases -- Automatic theorem proving in paraconsistent logics: Theory and implementation -- Case-free programs: An abstraction of definite horn programs -- Generalized well-founded semantics for logic programs -- Tactical theorem proving in program verification -- Extensions to the rippling-out tactic for guiding inductive proofs -- Guiding induction proofs -- Term rewriting induction -- A resolution principle for clauses with constraints -- Str+ve: The Str+ve-based subset prover -- Ritt-Wu's decomposition algorithm and geometry theorem proving -- Encoding a dependent-type ?-calculus in a logic programming language -- Investigations into proof-search in a system of first-order dependent function types -- Equality of terms containing associative-commutative functions and commutative binding operators is isomorphism complete -- An improved general E-unification method -- Some results on equational unification -- Unification in a combination of equational theories: an efficient algorithm -- SLIM: An automated reasoner for equivalences, applied to set theory -- An examination of the prolog technology theorem-prover -- Presenting intuitive deductions via symmetric simplification -- Toward mechanical methods for streamlining proofs -- Ordered rewriting and confluence -- Complete sets of reductions with constraints -- Rewrite systems for varieties of semigroups -- Improving associative path orderings -- Perspectives on automated deduction -- On restrictions of ordered paramodulation with simplification -- Simultaneous paramodulation -- Hyper resolution and equality axioms without function substitutions -- Automatic acquisition of search guiding heuristics -- Automated reasoning contributes to mathematics and logic -- A mechanically assisted constructive proof in category theory -- Dynamic logic as a uniform framework for theorem proving in intensional logic -- A tableaux-based theorem prover for a decidable subset of default logic -- Computing prime implicants -- Minimizing the number of clauses by renaming -- Higher order E-unification -- Programming by example and proving by example using higher-order unification -- Retrieving library identifiers via equational matching of types -- Unification in monoidal theories -- A science of reasoning: Extended abstract -- The TPS theorem proving system -- Schemata -- Cylindric algebra equation solver -- The OYSTER-CLAM system -- A high-performance parallel theorem prover -- The romulus proof checker -- IMPS : An interactive mathematical proof system -- UNICOM: A refined completion based inductive theorem prover -- The theorem prover of the program verifier Tatzelwurm -- RCL: A lisp verification system -- Orme an implementation of completion procedures as sets of transitions rules -- Otter 2.0 -- Dissolver: A dissolution-based theorem prover -- TRIP: An implementation of clausal rewriting -- OSCAR -- Expert thinker: An adaptation of F-Prolog to microcomputers -- A prolog technology theorem prover -- A general clause theorem prover -- Liss — The logic inference search system -- ACE: The abstract clause engine -- Tutorial on high-performance automated theorem proving -- Tutorial on reasoning and representation with concept languages -- Tutorial on ?Prolog -- Tutorial on equational unification -- Tutorial on compilation techniques for logics -- Tutorial on high-performance theorem provers: Efficient implementation and parallelisation -- Tutorial on rewrite-based theorem proving -- Tutorial on program-synthetic deduction -- Tutorial on computing models of propositional logics. |
Record Nr. | UNISA-996465843003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
11th International Conference on Numerical Methods in Fluid Dynamics [[electronic resource] /] / edited by Douglas L. Dwoyer, M. Yousuff Hussaini, Robert G. Voigt |
Edizione | [1st ed. 1989.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 |
Descrizione fisica | 1 online resource (XIII, 624 p. 520 illus.) |
Disciplina | 530.15 |
Collana | Lecture Notes in Physics |
Soggetto topico |
Physics
Fluids Mathematical Methods in Physics Numerical and Computational Physics, Simulation Fluid- and Aerodynamics |
ISBN | 3-540-46141-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Computational fluid dynamics — A personal view -- Computational models in plasma dynamics -- Parallel computers and parallel computing in scientific simulations -- CFD for hypersonic airbreathing aircraft -- Multigrid for the steady-state incompressible Navier-Stokes equations: A survey -- A survey of upwind differencing techniques -- Dynamical systems, turbulence and the numerical solution of the Navier-Stokes equations -- A comparative study of TV stable schemes for shock interacting flows -- A flow-field solver using overlying and embedded meshes together with a novel compact Euler algorithm -- Multidimensional adaptive Euler solver -- Internal swirling flow predictions using a multi-sweep scheme -- A pressure gradient field spectral collocation evaluation for 3-D numerical experiments in incompressible fluid dynamics -- Numerical study of the 3D separating flow about obstacles with sharp corners -- Finite volume TVD Runge Kutta scheme for Navier Stokes computations -- Godunov methods and adaptive algorithms for unsteady fluid dynamics -- Application of a second-order projection method to the study of shear layers -- A GRP-scheme for reactive duct flows in external fields -- Numerical solution of the navier-stokes equations using orthogonal boundary-fitted coordinates -- Solution of the incompressible Navier-Stokes equations using artificial compressibility methods -- Adaptive finite element methods for three dimensional compressible viscous flow simulation in aerospace engineering -- Multigrid solvers for steady Navier-Stokes equations in a driven cavity -- Computation of hypersonic vortex flows with an Euler model -- A high resolution finite volume scheme for steady external transonic flow -- Development of a highly efficient and accurate 3D Euler flow solver -- Computation of rarefied hypersonic flows -- Gasdynamical simulation of meteor phenomena -- A coin variant of the Euler equations -- An implicit time-marching method for solving the 3-D compressible Navier-Stokes equations -- Low-storage implicit upwind-FEM schemes for the Euler equations -- An efficient nested iterative method for solving the aerodynamic equations -- A multigrid method for steady Euler equations based on polynomial flux-difference splitting -- Computation of viscous unsteady compressible flow about airfoils -- Parallel multilevel adaptive methods -- Adaptive grid solution for shock-vortex interaction -- Computer simulation of some types of flows arising at interactions between a supersonic flow and a boundary layer -- An implicit flux-vector splitting finite-element technique for an improved solution of compressible Euler equations on distorted grids -- Vortex methods for slightly viscous three dimensional flow -- Second order scheme in bidimensional space for compressible gas with arbitrary mesh -- Accurate simulation of vortical flows -- Accuracy of node-based solutions on irregular meshes -- Solutions of the incompressible Navier-Stokes equations using an upwind -differenced TVD scheme -- Three-dimensional numerical simulation of compressible, spatially evolving shear flows -- A velocity/vorticity method for viscous incompressible flow calculations -- Pulsatile flows through curved pipes -- Spurious oscillation of finite difference solutions near shock waves and a new formulation of “TVD” scheme -- Numerical study of steady flow past a rotating circular cylinder -- Numerical simulation of the flow about a wing with leading-edge vortex flow -- Multigrid calculations for cascades -- Unsteady and turbulent flow using adaptation methods -- RNS solutions for three-dimensional steady incompressible flows -- Numerical study of unsteady viscous hypersonic blunt body flows with an impinging shock -- Upwind schemes, multigrid and defect correction for the steady Navier-Stokes equations -- A pseudospectral matrix element method for solution of three-dimensional incompressible flows and its implementation on a parallel computer -- Numerical resolution of the three-dimensional Navier-Stokes equations in velocity-vorticity formulation -- Calculation of shocked flows by mathematical programming -- Universal limiter for high order explicit conservative advection schemes -- A comparison of numerical schemes on triangular and quadrilateral meshes -- The finite volume-element method (FVE) for planar cavity flow -- Adaptive remeshing for transient problems with moving bodies -- Axisymmetric vortex breakdown in an enclosed cylinder flow -- Numerical analysis of a multigrid method for spectral approximations -- Asymmetric separated flows about sharp cones in a supersonic stream -- A flux split algorithm for unsteady incompressible flow -- Inverse method for the determination of transonic blade profiles of turbomachineries -- Large eddy simulation of the turbulent flow in a curved channel -- Interaction of an oblique shock wave with supersonic turbulent blunt body flows -- Shock recovery and the cell vertex scheme for the steady Euler equations -- A new multigrid approach to convection problems -- A finite-element method on prismatic elements for the three-dimensional Navier-Stokes equations -- Vortices around cylinder in confined flows -- Coupling physical processes in simulations of chemically reactive flows -- Explicit evaluation of discontinuities in 2-D unsteady flows solved by the method of characteristics -- Direct method for solution of three-dimensional unsteady incompressible Navier-Stokes equations -- Hypercube algorithms for turbulence simulation -- Adaptive numerical solutions of the Euler equations in 3D using finite elements -- Parallel heterogeneous mesh refinement for advection-diffusion equations -- Simulation of inviscid hypersonic real gas flows -- Efficient spectral algorithms for solving the incompressible Navier-stokes equations in unbounded rectangularly decomposable domains -- Computation of the threedimensional wake of a shiplike body 1989 -- Simulation of unsteady flow past sharp shoulders on semi-infinite bodies -- Semi-implicit finite-difference simulation of laminar hypersonic flow over blunt bodies -- Numerical simulation of unsteady incompressible viscous flows in generalized coordinate systems -- Accuracy of the marching method for parabolized Navier-Stokes Equations -- Transonic analysis of arbitrary configurations using locally refined grids -- Group explicit methods for solving compressible flow equations on vector and parallel computers -- Interactions of a flexible structure with a fluid governed by the Navier-Stokes equations -- Navier-Stokes simulation of transonic flow about wings using a block structured approach -- On time discretization of the incompressible flow -- A detailed analysis of inviscid flux splitting algorithms for real gases with equilibrium or finite-rate chemistry -- Convergence of the spectral viscosity method for nonlinear conservation laws -- Inviscid and viscous flow simulations around the ONERA-M6 wing by TVD schemes -- Shock propagation over a circular cylinder -- Three-dimensional computation of unsteady flows around a square cylinder -- Transonic flow solutions on general 3D regions using composite-block grids -- Steady-state solving via stokes preconditioning; Recursion relations for elliptic operators -- Hybrid conservative characteristic method for flows with internal shocks -- Improving the accuracy of central difference schemes -- Computation of high reynolds number flows around airfoils by numerical solution of the Navier-Stokes equations -- Diagonal implicit multigrid solution of the three-dimensional Euler equations -- Numerical simulation of taylor vortices in a spherical gap -- Numerical calculation of hypersonic flow by the spectral method -- 1.D transient crystal growth in closed ampoules: an application of the P.I.S.O. algorithm to low mach number compressible flows -- Nonisentropic potential calculation for 2-D and 3-D transonic flow. |
Record Nr. | UNINA-9910257434203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
11th International Conference on Numerical Methods in Fluid Dynamics [[electronic resource] /] / edited by Douglas L. Dwoyer, M. Yousuff Hussaini, Robert G. Voigt |
Edizione | [1st ed. 1989.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 |
Descrizione fisica | 1 online resource (XIII, 624 p. 520 illus.) |
Disciplina | 530.15 |
Collana | Lecture Notes in Physics |
Soggetto topico |
Physics
Fluids Mathematical Methods in Physics Numerical and Computational Physics, Simulation Fluid- and Aerodynamics |
ISBN | 3-540-46141-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Computational fluid dynamics — A personal view -- Computational models in plasma dynamics -- Parallel computers and parallel computing in scientific simulations -- CFD for hypersonic airbreathing aircraft -- Multigrid for the steady-state incompressible Navier-Stokes equations: A survey -- A survey of upwind differencing techniques -- Dynamical systems, turbulence and the numerical solution of the Navier-Stokes equations -- A comparative study of TV stable schemes for shock interacting flows -- A flow-field solver using overlying and embedded meshes together with a novel compact Euler algorithm -- Multidimensional adaptive Euler solver -- Internal swirling flow predictions using a multi-sweep scheme -- A pressure gradient field spectral collocation evaluation for 3-D numerical experiments in incompressible fluid dynamics -- Numerical study of the 3D separating flow about obstacles with sharp corners -- Finite volume TVD Runge Kutta scheme for Navier Stokes computations -- Godunov methods and adaptive algorithms for unsteady fluid dynamics -- Application of a second-order projection method to the study of shear layers -- A GRP-scheme for reactive duct flows in external fields -- Numerical solution of the navier-stokes equations using orthogonal boundary-fitted coordinates -- Solution of the incompressible Navier-Stokes equations using artificial compressibility methods -- Adaptive finite element methods for three dimensional compressible viscous flow simulation in aerospace engineering -- Multigrid solvers for steady Navier-Stokes equations in a driven cavity -- Computation of hypersonic vortex flows with an Euler model -- A high resolution finite volume scheme for steady external transonic flow -- Development of a highly efficient and accurate 3D Euler flow solver -- Computation of rarefied hypersonic flows -- Gasdynamical simulation of meteor phenomena -- A coin variant of the Euler equations -- An implicit time-marching method for solving the 3-D compressible Navier-Stokes equations -- Low-storage implicit upwind-FEM schemes for the Euler equations -- An efficient nested iterative method for solving the aerodynamic equations -- A multigrid method for steady Euler equations based on polynomial flux-difference splitting -- Computation of viscous unsteady compressible flow about airfoils -- Parallel multilevel adaptive methods -- Adaptive grid solution for shock-vortex interaction -- Computer simulation of some types of flows arising at interactions between a supersonic flow and a boundary layer -- An implicit flux-vector splitting finite-element technique for an improved solution of compressible Euler equations on distorted grids -- Vortex methods for slightly viscous three dimensional flow -- Second order scheme in bidimensional space for compressible gas with arbitrary mesh -- Accurate simulation of vortical flows -- Accuracy of node-based solutions on irregular meshes -- Solutions of the incompressible Navier-Stokes equations using an upwind -differenced TVD scheme -- Three-dimensional numerical simulation of compressible, spatially evolving shear flows -- A velocity/vorticity method for viscous incompressible flow calculations -- Pulsatile flows through curved pipes -- Spurious oscillation of finite difference solutions near shock waves and a new formulation of “TVD” scheme -- Numerical study of steady flow past a rotating circular cylinder -- Numerical simulation of the flow about a wing with leading-edge vortex flow -- Multigrid calculations for cascades -- Unsteady and turbulent flow using adaptation methods -- RNS solutions for three-dimensional steady incompressible flows -- Numerical study of unsteady viscous hypersonic blunt body flows with an impinging shock -- Upwind schemes, multigrid and defect correction for the steady Navier-Stokes equations -- A pseudospectral matrix element method for solution of three-dimensional incompressible flows and its implementation on a parallel computer -- Numerical resolution of the three-dimensional Navier-Stokes equations in velocity-vorticity formulation -- Calculation of shocked flows by mathematical programming -- Universal limiter for high order explicit conservative advection schemes -- A comparison of numerical schemes on triangular and quadrilateral meshes -- The finite volume-element method (FVE) for planar cavity flow -- Adaptive remeshing for transient problems with moving bodies -- Axisymmetric vortex breakdown in an enclosed cylinder flow -- Numerical analysis of a multigrid method for spectral approximations -- Asymmetric separated flows about sharp cones in a supersonic stream -- A flux split algorithm for unsteady incompressible flow -- Inverse method for the determination of transonic blade profiles of turbomachineries -- Large eddy simulation of the turbulent flow in a curved channel -- Interaction of an oblique shock wave with supersonic turbulent blunt body flows -- Shock recovery and the cell vertex scheme for the steady Euler equations -- A new multigrid approach to convection problems -- A finite-element method on prismatic elements for the three-dimensional Navier-Stokes equations -- Vortices around cylinder in confined flows -- Coupling physical processes in simulations of chemically reactive flows -- Explicit evaluation of discontinuities in 2-D unsteady flows solved by the method of characteristics -- Direct method for solution of three-dimensional unsteady incompressible Navier-Stokes equations -- Hypercube algorithms for turbulence simulation -- Adaptive numerical solutions of the Euler equations in 3D using finite elements -- Parallel heterogeneous mesh refinement for advection-diffusion equations -- Simulation of inviscid hypersonic real gas flows -- Efficient spectral algorithms for solving the incompressible Navier-stokes equations in unbounded rectangularly decomposable domains -- Computation of the threedimensional wake of a shiplike body 1989 -- Simulation of unsteady flow past sharp shoulders on semi-infinite bodies -- Semi-implicit finite-difference simulation of laminar hypersonic flow over blunt bodies -- Numerical simulation of unsteady incompressible viscous flows in generalized coordinate systems -- Accuracy of the marching method for parabolized Navier-Stokes Equations -- Transonic analysis of arbitrary configurations using locally refined grids -- Group explicit methods for solving compressible flow equations on vector and parallel computers -- Interactions of a flexible structure with a fluid governed by the Navier-Stokes equations -- Navier-Stokes simulation of transonic flow about wings using a block structured approach -- On time discretization of the incompressible flow -- A detailed analysis of inviscid flux splitting algorithms for real gases with equilibrium or finite-rate chemistry -- Convergence of the spectral viscosity method for nonlinear conservation laws -- Inviscid and viscous flow simulations around the ONERA-M6 wing by TVD schemes -- Shock propagation over a circular cylinder -- Three-dimensional computation of unsteady flows around a square cylinder -- Transonic flow solutions on general 3D regions using composite-block grids -- Steady-state solving via stokes preconditioning; Recursion relations for elliptic operators -- Hybrid conservative characteristic method for flows with internal shocks -- Improving the accuracy of central difference schemes -- Computation of high reynolds number flows around airfoils by numerical solution of the Navier-Stokes equations -- Diagonal implicit multigrid solution of the three-dimensional Euler equations -- Numerical simulation of taylor vortices in a spherical gap -- Numerical calculation of hypersonic flow by the spectral method -- 1.D transient crystal growth in closed ampoules: an application of the P.I.S.O. algorithm to low mach number compressible flows -- Nonisentropic potential calculation for 2-D and 3-D transonic flow. |
Record Nr. | UNISA-996466799503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
12 × 12 Schlüsselkonzepte zur Mathematik [[electronic resource] /] / von Oliver Deiser, Caroline Lasser, Elmar Vogt, Dirk Werner |
Autore | Deiser Oliver |
Edizione | [2nd ed. 2016.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Spektrum, , 2016 |
Descrizione fisica | 1 online resource (XIII, 355 S. 44 Abb., 1 Abb. in Farbe.) |
Disciplina | 515 |
Soggetto topico |
Mathematical analysis
Analysis (Mathematics) Matrix theory Algebra Discrete mathematics Mathematical logic Analysis Linear and Multilinear Algebras, Matrix Theory Discrete Mathematics Mathematical Logic and Foundations |
ISBN | 3-662-47077-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Nota di contenuto | 1 Grundlagen -- 2 Zahlen -- 3 Zahlentheorie -- 4 Diskrete Mathematik -- 5 Lineare Algebra -- 6 Algebra -- 7 Elementare Analysis -- 8 Höhere Analysis -- 9 Topologie und Geometrie -- 10 Numerik -- 11 Stochastik -- 12 Mengenlehre und Logik -- Index. |
Record Nr. | UNINA-9910484823003321 |
Deiser Oliver | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Spektrum, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
1830–1930: A Century of Geometry [[electronic resource] ] : Epistemology, History and Mathematics / / edited by Luciano Boi, Dominique Flament, Jean-Michel Salanskis |
Edizione | [1st ed. 1992.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 |
Descrizione fisica | 1 online resource (VIII, 304 p. 1 illus.) |
Disciplina | 516/.009/034 |
Collana | Lecture Notes in Physics |
Soggetto topico |
Mathematical physics
Geometry Mathematical analysis Analysis (Mathematics) Theoretical, Mathematical and Computational Physics Analysis |
ISBN | 3-540-47058-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The birth of non-Euclidean geometry -- Riemann's vision of a new approach to geometry -- Poincaré and Klein — groups and geometries -- Klein, Lie, and the “Erlanger programm” -- Apparent contours from Monge to Todd -- L'Espace : Concept abstrait et/ou physique ; la géométrie entre formalisation mathématique et etude de la nature -- Geometrie und Erfahrung -- The geometric challenge of Riemann and Clifford -- Poincaré et Enriques : deux points de vue différents sur les relations entre géométrie, mécanique et physique -- Physical geometry and special relativity. Einstein et Poincaré -- Transport parallèle et connexions en Géométrie et en Physique -- De la Géométrie Formelle à l'Algèbre Abstraite -- Le Principe de Dualité : sa Signification Historique et Epistémologique -- The formal and the transcendental in mathematics -- Un Panorama des Mathématiques -- Mathematical progress as synthesis of intuition and calculus -- What is space? -- La “lineale ausdehnungslehre” (1844) de Hermann Günther Grassmann -- La capture de l'extension comme dialectique géométrique : Dimension et puissance selon l'ausdehnung de Grassmann (1844) -- Helmholtz and Poincaré's considerations on the genesis of geometry -- Le continu contre l'espace -- Geometrical concepts in quantum physics -- Physics and differential geometry -- Actuality of transcendental æsthetics for modern physics. |
Record Nr. | UNINA-9910257424803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
1830–1930: A Century of Geometry [[electronic resource] ] : Epistemology, History and Mathematics / / edited by Luciano Boi, Dominique Flament, Jean-Michel Salanskis |
Edizione | [1st ed. 1992.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 |
Descrizione fisica | 1 online resource (VIII, 304 p. 1 illus.) |
Disciplina | 516/.009/034 |
Collana | Lecture Notes in Physics |
Soggetto topico |
Mathematical physics
Geometry Mathematical analysis Analysis (Mathematics) Theoretical, Mathematical and Computational Physics Analysis |
ISBN | 3-540-47058-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The birth of non-Euclidean geometry -- Riemann's vision of a new approach to geometry -- Poincaré and Klein — groups and geometries -- Klein, Lie, and the “Erlanger programm” -- Apparent contours from Monge to Todd -- L'Espace : Concept abstrait et/ou physique ; la géométrie entre formalisation mathématique et etude de la nature -- Geometrie und Erfahrung -- The geometric challenge of Riemann and Clifford -- Poincaré et Enriques : deux points de vue différents sur les relations entre géométrie, mécanique et physique -- Physical geometry and special relativity. Einstein et Poincaré -- Transport parallèle et connexions en Géométrie et en Physique -- De la Géométrie Formelle à l'Algèbre Abstraite -- Le Principe de Dualité : sa Signification Historique et Epistémologique -- The formal and the transcendental in mathematics -- Un Panorama des Mathématiques -- Mathematical progress as synthesis of intuition and calculus -- What is space? -- La “lineale ausdehnungslehre” (1844) de Hermann Günther Grassmann -- La capture de l'extension comme dialectique géométrique : Dimension et puissance selon l'ausdehnung de Grassmann (1844) -- Helmholtz and Poincaré's considerations on the genesis of geometry -- Le continu contre l'espace -- Geometrical concepts in quantum physics -- Physics and differential geometry -- Actuality of transcendental æsthetics for modern physics. |
Record Nr. | UNISA-996466724203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
The 19th International Conference on Industrial Engineering and Engineering Management [[electronic resource] /] / edited by Ershi Qi, Jiang Shen, Runliang Dou |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (1033 p.) |
Disciplina | 658.5 |
Soggetto topico |
Management
Industrial management Innovation/Technology Management |
ISBN | 3-642-37270-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Creativity and Innovation in Design -- Human Factors Engineering and Ergonomics -- Manufacturing Systems -- Production Planning and Control -- Quality Control and Management -- Supply Chain and logistics Management -- Advanced Decision Analysis and Methods -- E-business Process and information Management -- Engineering Economy and Cost Analysis -- Intelligent Systems -- Operations Research -- Reliability Engineering and project management -- Safety, Security and Risk Management -- Systems Modeling and Simulation -- Accounting and Finance -- Knowledge Management -- Ecological protection and Low-carbon concept -- Human Resource Management -- Innovation Management -- Organizational Management -- Service Management -- Technology and Knowledge Management. |
Record Nr. | UNINA-9910438249803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The 19th International Conference on Industrial Engineering and Engineering Management [[electronic resource] ] : Management System Innovation / / edited by Ershi Qi, Jiang Shen, Runliang Dou |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (1595 p.) |
Disciplina |
620.072
620.8/2 |
Soggetto topico |
Business
Management science Management Industrial management Business and Management, general Innovation/Technology Management |
ISBN | 3-642-38427-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Technology and Knowledge Management -- E-business Process and information Management -- Global Manufacturing and Management -- Innovation Management. |
Record Nr. | UNINA-9910438256703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The 19th International Conference on Industrial Engineering and Engineering Management [[electronic resource] ] : Assistive Technology of Industrial Engineering / / edited by Ershi Qi, Jiang Shen, Runliang Dou |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (1586 p.) |
Disciplina |
620.072
670.42 |
Soggetto topico |
Management
Industrial management Industrial engineering Production engineering Innovation/Technology Management Industrial and Production Engineering |
ISBN | 3-642-38391-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Advanced Decision Analysis and Methods -- Operations Research -- Systems Modeling and Simulation -- Workflow Technologies and Applications. |
Record Nr. | UNINA-9910438070403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|