"Der Markt" existiert nicht : Aufklärung gegen die Marktvergötterung / / von Peter Seele, Chr. Lucas Zapf |
Autore | Seele Peter |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XXIII, 122 S. 10 Abb.) |
Disciplina | 330 |
Soggetto topico |
Economics
Philosophy Popular Science in Economics Popular Science in Philosophy |
ISBN | 3-662-53940-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Nota di contenuto | Einleitung: Der ‚böse‘ Markt und der ‚gute‘ Markt -- Das Vorhaben: Dekonstruktion und Rekonstruktion des Marktes -- Der Markt, durch die Brille der Logik betrachtet -- Das Ziel: Aufklärung über die Verwendung des Marktbegriffs.-Der Marktbegriff im Auge des Betrachters: Die Logikbrille -- Ideengeschichte: Der Markt als eigenständiges Drittes -- Das eigenständige Dritte des Marktes -- Typ 1: Eigenständiges Drittes: Markt als Schwelle -- Typ 2: Eigenständiges Drittes: Marktvergötterung.-Typ 3: Ausgeschlossenes Drittes: Binärer Markt – Einzelne Handlungen -- Schlussfolgerung: Für einen aufgeklärt-freien, nicht vergöttlichten Markt, in dem klare Verantwortlichkeit herrscht.-. |
Record Nr. | UNINA-9910484542103321 |
Seele Peter
![]() |
||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
#DigitalLeadership : Wie Top-Manager in Deutschland den Wandel gestalten / / von Markus Klimmer, Jürgen Selonke |
Autore | Klimmer Markus |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Gabler, , 2017 |
Descrizione fisica | 1 online resource (277 pages) |
Disciplina | 500 |
Soggetto topico |
Economics
Leadership Personnel management Information technology Business—Data processing Popular Science in Economics Business Strategy/Leadership Human Resource Management IT in Business |
ISBN | 3-662-50533-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Nota di contenuto | Vorwort Roman Herzog -- Vorwort: Jürgen Gerdes -- Einleitung -- 31 sehr persönliche Geschichten - Versuch einer Sichtung -- Chancen, Visionen und der Alltag: was ist Digitalisierung überhaupt?- Neue Geschäftsmodelle in der digitalen Zeit: Ein entschiedenes Jein, denn noch hat sich nicht überall der Nebel verzogen -- Kreative Wege zum Schlaumachen: So wird man beurteilungsfähig -- Führung und Personal im digitalen Zeitalter: So groß sind die Unterschiede zu früher gar nicht -- Detailfragen – mit und ohne Konsens -- Digital Leadership: Die Ära der Diversität in der Führung? Der Versuch einer Typologisierung -- 31 CEOs – Knappe Aussagen von A bis Z -- Unsere Interviewpartner. . |
Record Nr. | UNINA-9910136715603321 |
Klimmer Markus
![]() |
||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Gabler, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
0(n) - Mannigfaltigkeiten, exotische Sphären und Singularitäten [[electronic resource] /] / von Friedrich Hirzebruch, Karl H. Mayer |
Autore | Hirzebruch Friedrich |
Edizione | [1st ed. 1968.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1968 |
Descrizione fisica | 1 online resource (132 S.) |
Disciplina | 510 |
Collana | Lecture Notes in Mathematics |
Soggetto topico |
Mathematics
Mathematics, general |
ISBN | 3-540-35858-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Nota di contenuto | G-Mannigfaltigkeiten -- Spezielle G-Mannigfaltigkeiten -- Der Klassifikationssatz für spezielle G-Mannigfaltigkeiten -- Spezielle O(n)-Mannigfaltigkeiten über D2 -- Die Mannigfaltigkeiten W2n?1(d) -- Die Vielfachen des Tangentialbündels von Sn -- Äquivariantes Verkleben -- Die Homologie von Baummannigfaltigkeiten -- Quadratische Formen, ARFsche Invariante -- Bericht über Sphären -- Sphären als Umgebungsränder von Singularitäten I -- Die ganzzahlige homologie gewisser affin algebraischer Mannigfaltigkeiten -- Ganzzahlige quadratische Formen -- Sphären als Umgebungsränder von Singularitäten II -- Periodische Abbildungen von Sphären. |
Altri titoli varianti | Mannigfaltigkeiten, exotische Sphären und Singularitäten |
Record Nr. | UNISA-996466601503316 |
Hirzebruch Friedrich
![]() |
||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1968 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
1. Fachtagung über Automatentheorie und Formale Sprachen [[electronic resource] ] : GI. Gesellschaft für Informatik e.V. Bonn, 9.-12. Juli 1973 / / herausgegeben von Karl-Heinz Böhling, Klaus Indermark |
Edizione | [1st ed. 1973.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1973 |
Descrizione fisica | 1 online resource (X, 330 p.) |
Disciplina | 005.11 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer programming
Computers Mathematical logic Programming Techniques Computation by Abstract Devices Mathematical Logic and Formal Languages |
ISBN | 3-540-37826-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | On the structure of algorithmic problems -- A mathematical model of digital computers -- On some recent problems concerning developmental languages -- Fault-tolerance and stability of fuzzy-state automata -- Bemerkungen über Homomorphismen endlicher in lineare Automaten -- Der Kaskadenzerlegungssatz für Halbautomaten -- Konvergenzbetrachtungen bei der Vorhersage des Ausgabeverhaltens allgemeiner stochastischer Systeme -- Ketten und arithmetische Prädikate von endlichen Automaten -- Une hierarchie infinie de cones d'Accepteurs verificateurs -- Zustandsfolgenabbildungen von verallgemeinerten endlichen Automaten -- Ein automatentheoretisches Modell einer Speicherhierarchie -- Deterministic one-counter automata -- The use of metric and uniform spaces for the formalization of behavioral proximity of states -- Quelques generateurs des langages algebriques -- Une caracterisation des langages quasi-rationnels standards -- Der Einfluss von Kontext auf spezielle CF-Grammatiken -- Zur Komplexität gesteuerter kontextfreier Ersetzungen -- Characterization of derivation sets of formal systems -- Die Darstellung indizierter Sprachen durch Ausdrücke -- Codes and aperiodic languages -- The characterization of certain classes of languages in the context sensitive area by automata -- A characterization of boolean closures of families of languages -- Zufällige Folgen und Bi-Immunität -- Die mittler Additionsdauer eines Paralleladdierwerks -- On the number of multiplications required by the product of two matrices -- Elementare und subelementare Funktionenklassen über binären Bäumen -- Über die Vernetzungsstruktur von Maschinen -- On the simulation of time bounded machines -- Über die Zeit, die benötigt wird, um endliche Mengen umzuordnen -- Über eine Hierarchie von Push-Down-Entscheidbaren Mengen -- A characterization of the classes L1 and R1 of primitive recursive word functions -- A drum scheduling algorithm -- Some considerations about classes of mappings between context-free derivation systems -- On ianov schemas with one memory location -- Reduction goals in bottom-up recognition -- Un modele semantique pour un langage simple de programmation -- Erweiterungen subrekursiver Programmiersprachen. |
Record Nr. | UNISA-996465422103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1973 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
10 Dinge, die Sie über Gravitationswellen wissen wollen : Von schwächsten Signalen und stärksten Ereignissen / / von Andreas Müller |
Autore | Müller Andreas |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XV, 255 S. 57 Abb. in Farbe.) |
Disciplina | 530 |
Soggetto topico |
Physics
Gravitation Popular Science in Physics Classical and Quantum Gravitation, Relativity Theory |
ISBN | 3-662-54409-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Nota di contenuto | Was sind Gravitationswellen?- Wie wirken Gravitationswellen auf mich und Materie?- Wie kann man Gravitationswellen messen?- Warum ist es so schwierig Gravitationswellen zu messen?- Welche kosmischen Quellen geben Gravitationswellen ab?- Wie wurden Gravitationswellen indirekt mit Pulsaren gemessen?- Wie werden Gravitationswellen mit Computern berechnet?- Welche Gravitationswellen-Signale hat man bislang entdeckt?- Warum will man Gravitationswellen überhaupt messen?- Was wird man Neues mit Gravitationswellen entdecken können?- Epilog -- Glossar -- Literatur -- Index. |
Record Nr. | UNINA-9910484223903321 |
Müller Andreas
![]() |
||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Die 10 Gebote des gesunden Menschenverstands / / von Nikil Mukerji |
Autore | Mukerji Nikil |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (346 p.) |
Disciplina | 010 |
Soggetto topico |
Psychology
Philosophy Employees—Coaching of Popular Science in Psychology Philosophy, general Psychology, general Coaching |
ISBN | 3-662-50339-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Nota di contenuto | Einleitung -- das erste Gebot: Bringen Sie Ordnung in Ihr Denken -- Das zweite Gebot: Denken Sie lückenlos -- Das dritte Gebot: Treffen Sie glaubwürdige Annahmen -- Das vierte Gebot: Fragen Sie nach der Beweislast -- Das fünfte Gebot: Denken Sie klar und präzise -- Das sechste Gebot: Bleiben Sie logisch sauber -- Das siebte Gebot: Tappen Sie nicht in die Sprachfalle -- Das achte Gebot: Seien Sie schlauer als ein junger Jagdhund -- Das neunte Gebot: Schauen Sie mit beiden Augen hin (wenn Sie müssen) -- Das zehnte Gebot: Lassen Sie sich keinen Bären aufbinden -- Schluss. |
Record Nr. | UNINA-9910484027003321 |
Mukerji Nikil
![]() |
||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
100 Betriebe für Ressourceneffizienz - Band 1 : Praxisbeispiele aus der produzierenden Wirtschaft / / von Mario Schmidt, Hannes Spieth, Joa Bauer, Christian Haubach ; herausgegeben von Institute for Industrial Ecology INEC |
Autore | Schmidt Mario |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Spektrum, , 2017 |
Descrizione fisica | 1 online resource (XVIII, 280 S.) |
Disciplina | 338.927 |
Soggetto topico |
Sustainable development
Economics Management science Ecology Sustainable Development Economics, general Ecology |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Nota di contenuto | Geleitwort -- Statements der Allianzpartner -- Einleitung: Über Ressourceneffizienz auch kommunizieren -- TEIL I – Einführung in das Thema -- 1 Ressourceneffizienz in der Industriegesellschaft -- 2 Ansätze zur betrieblichen Ressourceneffizienz -- 3 Methoden und Instrumente -- 4 Ressourceneffizienz als Exportprodukt -- 5 Das 100-Betriebe-Projekt -- TEIL II – Unternehmensbeispiele -- Bergbau und Gewinnung von Steinen und Erden -- Lebensmittelindustrie -- Textilindustrie -- Holzindustrie -- Papierindustrie -- Chemische Industrie -- Pharmazeutische Industrie -- Gummi- und Kunststoffindustrie -- Herstellung von Glas und Keramik -- Metallverarbeitende Industrie -- Feinmechanische Industrie -- Herstellung von Mess- und Kontrollinstrumenten -- Elektroindustrie -- Maschinenbau -- Automobilindustrie -- Möbelindustrie -- Medizintechnik -- Energieversorgung -- Recyclingindustrie -- Bauindustrie -- Anhang. |
Record Nr. | UNINA-9910148852003321 |
Schmidt Mario
![]() |
||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Spektrum, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
100 Jahre Dermatologische Klinik Zürich : 100 Jahre translationale Forschung / / von Michael Geiges |
Autore | Geiges Michael |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (145 p.) |
Disciplina | 610 |
Soggetto topico |
Dermatology
Medicine—History History of Medicine |
ISBN | 3-662-53346-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Nota di contenuto | Aus dem Inhalt: 1. Klinisch orientierte Forschung 1916-1978 -- 2. Klinisch orientierte Forschung 1978-2006 -- 3. Entwicklung der verschiedenen Bereiche 2007-2016 -- 4. Historische Wachsmoulagen im Universitätsmuseum -- 5. Anhang -- 6. Stichwortverzeichnis -- 7. Personenverzeichnis. |
Record Nr. | UNINA-9910484893003321 |
Geiges Michael
![]() |
||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
100 Pioneers in Efficient Resource Management : 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 | ||
![]() | ||
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|