ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
  • Bücher  (16)
  • Computer organization  (8)
  • Engineering  (8)
  • Fisheries
  • ddc:550
  • open settlement
  • 2020-2023
  • 2015-2019  (16)
  • Informatik  (16)
  • 1
    Unbekannt
    Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Schlagwort(e): Computer science ; Computer organization ; Software engineering ; Programming languages (Electronic computers) ; Computers ; Computer Science ; Software Engineering ; Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; The Computing Profession ; Theory of Computation
    Beschreibung / Inhaltsverzeichnis: Model-Based Software Development --- A Formal Framework for Incremental Model Slicing --- Multiple Model Synchronization with Multiary Delta Lenses --- Controlling the Attack Surface of Object-Oriented Refactorings --- Efficient Analysis of Attack Trees: a Model-Driven Approach --- Distributed Program and System Analysis --- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis --- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism --- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems --- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States --- Software Design and Verification --- Hierarchical Specification and Verification of Architectural Design Patterns --- Supporting Verification-Driven Incremental Distributed Design of Components --- Summarizing Software API Usage Examples using Clustering Techniques --- Fast Computation of Arbitrary Control Dependencies --- Specification and Program Testing --- Iterative Generation of Diverse Models for Testing Specifications of SL Tools --- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications --- TCM: Test Case Mutation to Improve Crash Detection in Android --- CRETE: A Versatile Binary-Level Concolic Testing Framework --- Family-Based Software Development --- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* --- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems --- Taming Multi-Variability of Software Product Line Transformations
    Seiten: Online-Ressource (XII, 357 pages) , 116 illustrations
    ISBN: 9783319893631
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89363-1
    Sprache: Englisch
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 2
    Unbekannt
    Supercomputing Frontiers : 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Schlagwort(e): Computer science ; Logic design ; Computer organization ; Operating systems (Computers) ; Computers ; Computer Science ; Computing Methodologies ; Computer Systems Organization and Communication Networks ; Operating Systems ; Logic Design ; Information Systems and Communication Service
    Beschreibung / Inhaltsverzeichnis: HHVSF: A Framework to Accelerate Drug-based High-throughput Virtual Screening on High-Performance Computers --- HBasechainDB --- A Scalable Blockchain Framework on Hadoop Ecosystem --- DETOUR: A Large-Scale Non-Blocking Optical Data Center Fabric --- Querying Large Scientific Data Sets with Adaptable IO System ADIOS --- On the Performance of Spark on HPC Systems: Towards a Complete Picture --- Experiences of Converging Big Data Analytics Frameworks with High Performance Computing Systems --- MACC : An OpenACC Transpiler for Automatic Multi-GPU Use --- Acceleration of Wind Simulation using Locally Mesh-Refined Lattice Boltzmann Method on GPU-Rich supercomputers --- Architecture of an FPGA-Based Heterogeneous System for Code-Search Problems --- TINS: A Task-Based Dynamic Helper Core Strategy for In Situ Analytics --- Machine Learning Predictions for Underestimation of Job Runtime on HPC System --- A Power Management Framework with Simple DSL for Automatic Power-Performance Optimization on Power-Constrained HPC Systems --- Scalable Data Management of the Uintah Simulation Framework for Next-Generation Engineering Problems with Radiation --- High performance LOBPCG method for solving multiple eigenvalues of Hubbard model: Efficiency of communication avoiding Neumann expansion preconditioner --- Application of a preconditioned Chebyshev basis communication-avoiding conjugate gradient method to a multiphase thermal-hydraulic CFD code --- Optimization of Hierarchical matrix computation on GPU
    Seiten: Online-Ressource (X, 293 pages) , 121 illustrations
    ISBN: 9783319699530
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-69953-0
    Sprache: Englisch
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 3
    Unbekannt
    Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Schlagwort(e): Computer science ; Computer organization ; Software engineering ; Programming languages (Electronic computers) ; Computers ; Computer Science ; Software Engineering ; Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; The Computing Profession ; Theory of Computation
    Beschreibung / Inhaltsverzeichnis: Model-Based Software Development --- A Formal Framework for Incremental Model Slicing --- Multiple Model Synchronization with Multiary Delta Lenses --- Controlling the Attack Surface of Object-Oriented Refactorings --- Efficient Analysis of Attack Trees: a Model-Driven Approach --- Distributed Program and System Analysis --- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis --- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism --- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems --- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States --- Software Design and Verification --- Hierarchical Specification and Verification of Architectural Design Patterns --- Supporting Verification-Driven Incremental Distributed Design of Components --- Summarizing Software API Usage Examples using Clustering Techniques --- Fast Computation of Arbitrary Control Dependencies --- Specification and Program Testing --- Iterative Generation of Diverse Models for Testing Specifications of SL Tools --- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications --- TCM: Test Case Mutation to Improve Crash Detection in Android --- CRETE: A Versatile Binary-Level Concolic Testing Framework --- Family-Based Software Development --- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* --- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems --- Taming Multi-Variability of Software Product Line Transformations
    Seiten: Online-Ressource (XII, 357 pages) , 116 illustrations
    ISBN: 9783319893631
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89363-1
    Sprache: Englisch
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 4
    Unbekannt
    Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (2018)
    Cham : Springer
    Details
    Schlagwort(e): Computer science ; Computer hardware ; Computer organization ; Programming languages (Electronic computers) ; Computers ; Computer Science ; Programming Languages, Compilers, Interpreters ; Theory of Computation ; Computer Systems Organization and Communication Networks ; Computer Hardware ; Computing Methodologies ; Computing Milieux
    Beschreibung / Inhaltsverzeichnis: Language Design --- Consistent Subtyping for All --- HOBiT: Programming Lenses without using Lens Combinators --- Dualizing Generalized Algebraic Data Types by Matrix Transposition --- Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach --- Probabilistic Programming --- An Assertion-Based Program Logic for Probabilistic Programs --- Fine-grained Semantics for Probabilistic Programs --- How long, O Bayesian network, will I sample thee? --- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus --- Types and Effects --- Failure is Not an Option: An Exceptional Type Theory --- Let Arguments Go First --- Behavioural equivalence via modalities for algebraic effects --- Explicit Effect Subtyping --- Concurrency --- A separation logic for a promising semantics --- Logical Reasoning for Disjoint Permissions --- Deadlock-Free Monitors --- Fragment Abstraction for Concurrent Shape Analysis --- Security --- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management --- Modular Product Programs --- Program Verification --- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification --- Verified Learning Without Regret --- Program Verification by Coinduction --- Velisarios: Byzantine Fault Tolerant Protocols Powered by Coq --- Program Analysis and Automated Verification --- Evaluating Design Tradeoffs in Numeric Static Analysis for Java --- An Abstract Interpretation Framework for Input Data Usage --- Higher-Order Program Verification via HFL Model Checking --- Quantitative Analysis of Smart Contracts --- Session Types and Concurrency --- Session-Typed Concurrent Contracts --- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems --- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings --- Concurrent Kleene Algebra: Free Model and Completeness --- Concurrency and Distribution --- Correctness of a Concurrent Object Collector for Actor Languages --- Paxos Consensus, Deconstructed and Abstracted --- On Parallel Snapshot Isolation and Release/Acquire Consistency --- Eventual Consistency for CRDTs --- Compiler Verification --- A Verified Compiler from Isabelle/HOL to CakeML --- Compositional Verification of Compiler Optimisations on Relaxed Memory
    Seiten: Online-Ressource (XVI, 1058 pages) , 276 illustrations
    ISBN: 9783319898841
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89884-1
    Sprache: Englisch
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 5
    Unbekannt
    Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II (2018)
    Cham : Springer
    Details
    Schlagwort(e): Computer science ; Computer hardware ; Computer organization ; Software engineering ; Computer logic ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Computer Systems Organization and Communication Networks ; Computing Methodologies ; Computing Milieux ; Computer Hardware
    Beschreibung / Inhaltsverzeichnis: Concurrent and Distributed Systems --- Computing the concurrency threshold of sound free-choice workflow nets --- Fine-Grained Complexity of Safety Verification --- Parameterized verification of synchronization in constrained reconfigurable broadcast networks --- EMME: a formal tool for the ECMAScript Memory Model Evaluation --- SAT and SMT II --- What a Difference a Variable Makes --- Abstraction Refinement for Emptiness Checking of Alternating Data Automata --- Revisiting Enumerative Instantiation --- An Non-linear Arithmetic Procedure for Control-Command Software Verification --- Security and Reactive Systems --- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection --- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts --- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties --- The Refinement Calculus of Reactive Systems Toolset --- Static and Dynamic Program Analysis --- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation --- Optimal Dynamic Partial Order Reduction with Observers --- Structurally Defined Conditional Data-flow Static Analysis --- Geometric Nontermination Arguments --- Hybrid and Stochastic Systems --- Efficient dynamic error reduction for hybrid systems reachability analysis --- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic --- Multi-Cost Bounded Reachability in MDPs --- A Statistical Model Checker for Nondeterminism and Rare Events --- Temporal logic and mu-calculus --- Permutation Games for the Weakly Aconjunctive mu-Calculus --- Symmetry Reduction for the Local Mu-Calculus --- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models --- 7th Competition on Software Verification (SV-COMP) --- 2LS: Memory Safety and Non-Termination (Competition contribution) --- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) --- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-Based Dependency Analysis (Competition Contribution) --- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) --- Map2Check using LLVM and KLEE (Competition Contribution) --- Symbiotic 5: Boosted Instrumentation (Competition Contribution) --- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) --- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) --- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution)
    Seiten: Online-Ressource (XX, 465 pages) , 92 illustrations
    ISBN: 9783319899633
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-89963-3
    Sprache: Englisch
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 6
    Unbekannt
    Zukunft der Arbeit – Eine praxisnahe Betrachtung (2018)
    Berlin, Heidelberg : Springer Vieweg
    Details
    Schlagwort(e): Engineering ; Robotics ; Automation ; Industrial engineering ; Production engineering ; Economic sociology ; Engineering ; Industrial and Production Engineering ; Organizational Studies, Economic Sociology ; Robotics and Automation
    Beschreibung / Inhaltsverzeichnis: Einleitung --- Prognostizierte Veränderungen der gestaltbaren Arbeitssystemdimensionen --- Systeme zur Assistenz und Effizienzsteigerung in manuellen Produktionsprozessen der Industrie auf Basis von Projektion und Tiefendatenerkennung --- Betriebliche Auswirkungen industrieller Servicerobotik am Beispiel der Kleinteilemontage --- Erweiterte Horizonte – Ein technischer Blick in die Zukunft der Arbeit --- Soziotechnische Assistenzsysteme für die Produktionsarbeit in der Textilbranche --- Lernförderliche Arbeitssysteme für die Arbeitswelt von morgen --- Assistenz und Wissensvermittlung am Beispiel von Montage- und Instandhaltungstätigkeiten --- Der Mensch in Interaktion mit autonomen Planungs- und Steuerungssystemen für Cyber-Physische Produktionssysteme --- ReApp – Wiederverwendbare Roboterapplikationen für flexible Roboteranlagen - Auswirkungen der Ergebnisse aus ReApp auf betriebliche Funktionen am Beispiel eines Anwendungsfalls in der Elektroindustrie --- Modellierungsansatz für ein arbeitsplatznahes Beschreibungsmodell der »Arbeitswelt Industrie 4.0 --- Die Zukunft der Arbeit im demografischen Wandel --- “Social Manufacturing and Logistics“ – Arbeit in der digitalisierten Produktion --- Lernförderliche Arbeitsorganisation in der Industrie 4.0 --- Decision Support Pipelines – Durchgängige Datenverarbeitungsinfrastrukturen für die Entscheidungen von morgen --- Gerechtigkeit in flexiblen Arbeits- und Managementprozessen --- Technologie, Organisation, Qualifikation
    Seiten: Online-Ressource (XI, 246 Seiten) , 62 Abbildungen, 56 Abbildungen in Farbe
    ISBN: 9783662492666
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-49266-6
    Sprache: Deutsch
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 7
    Unbekannt
    Digitalisierung : Bildung / Technik / Innovation (2017)
    Berlin, Heidelberg : Springer Vieweg
    Details
    Schlagwort(e): Engineering ; Humanities ; Digital libraries ; Computers ; Educational technology ; Electrical engineering ; Engineering ; Communications Engineering, Networks ; Information Systems and Communication Service ; Digital Humanities ; Technology and Digital Education
    Beschreibung / Inhaltsverzeichnis: Seit Jahren wird unser Alltag geprägt von zunehmender Automation und Vernetzung, die Digitalisierung genannt wird. Sensoren erfassen immer mehr unterschiedliche Daten und werden von intelligenten Algorithmen zunehmend präzisier analysiert. Dies führt nicht nur zu einem anderen Verhältnis im Umgang und bei der Nutzung von Daten durch Menschen und Maschinen, sondern wird auch dramatisch Aufgaben und Prozesse verändern. Die damit verbundenen Arbeitsanforderungen werden zum massiven Wandel von Berufsbildern führen, in dem einfache Tätigkeiten automatisiert und komplexe Tätigkeiten vereinfacht werden. Nicht nur das Arbeiten sondern auch das Lernen, Lehren und Forschen verändert sich durch die Digitalisierung. Die technischen Möglichkeiten wandeln die Lebenswelten mit ihren urbanen Versorgungs- und Infrastrukturen und eröffnen den Wirtschaftsräumen neue Geschäftsmodelle. Diese parallel einsetzenden Entwicklungen führen zu radikalen Umbrüchen, die in den kommenden Jahren sämtliche Aspekte der Gesellschaft verändern werden
    Seiten: Online-Ressource (IX, 199 Seiten)
    ISBN: 9783662528549
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-52854-9
    Sprache: Deutsch
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 8
    Unbekannt
    Digitale Souveränität : Bürger / Unternehmen / Staat (2017)
    Berlin, Heidelberg : Springer Vieweg
    Details
    Schlagwort(e): Engineering ; Humanities ; Digital libraries ; Educational technology ; Electrical engineering ; Engineering ; Communications Engineering, Networks ; Digital Humanities ; Technology and Digital Education
    Beschreibung / Inhaltsverzeichnis: Vorwort --- Einleitung --- Bürger --- Wenn Bots sich unter Leute mischen: Social Bots in den Sozialen Medien --- Digitale Partizipation in Wissenschaft und Wirtschaft --- Entwicklung einer soziodigitalen Souveränität --- Unternehmen --- Digitale Souveränität – ein mehrdimensionales Handlungskonzept für die deutsche Wirtschaft --- Privatheit und digitale Souveränität in der Arbeitswelt 4.0 --- Staat --- Mehr Daten, weniger Vertrauen in Statistik – freie Fahrt für ‚alternative Fakten‘? --- Internationale Perspektiven auf digitale Souveränität --- Digitalisierung der Bildung als staatliche Aufgabe --- Ausblick
    Seiten: Online-Ressource (IX, 187 Seiten) , 40 Abbildungen in Farbe
    ISBN: 9783662557969
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-55796-9
    Sprache: Deutsch
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 9
    Unbekannt
    Digitalisierung : Bildung / Technik / Innovation (2017)
    Berlin, Heidelberg : Springer Vieweg
    Details
    Schlagwort(e): Engineering ; Humanities ; Digital libraries ; Computers ; Educational technology ; Electrical engineering ; Engineering ; Communications Engineering, Networks ; Information Systems and Communication Service ; Digital Humanities ; Technology and Digital Education
    Beschreibung / Inhaltsverzeichnis: Seit Jahren wird unser Alltag geprägt von zunehmender Automation und Vernetzung, die Digitalisierung genannt wird. Sensoren erfassen immer mehr unterschiedliche Daten und werden von intelligenten Algorithmen zunehmend präzisier analysiert. Dies führt nicht nur zu einem anderen Verhältnis im Umgang und bei der Nutzung von Daten durch Menschen und Maschinen, sondern wird auch dramatisch Aufgaben und Prozesse verändern. Die damit verbundenen Arbeitsanforderungen werden zum massiven Wandel von Berufsbildern führen, in dem einfache Tätigkeiten automatisiert und komplexe Tätigkeiten vereinfacht werden. Nicht nur das Arbeiten sondern auch das Lernen, Lehren und Forschen verändert sich durch die Digitalisierung. Die technischen Möglichkeiten wandeln die Lebenswelten mit ihren urbanen Versorgungs- und Infrastrukturen und eröffnen den Wirtschaftsräumen neue Geschäftsmodelle. Diese parallel einsetzenden Entwicklungen führen zu radikalen Umbrüchen, die in den kommenden Jahren sämtliche Aspekte der Gesellschaft verändern werden
    Seiten: Online-Ressource (IX, 199 Seiten)
    ISBN: 9783662528549
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-52854-9
    Sprache: Deutsch
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 10
    Unbekannt
    Think Big, Start Small : StreetScooter die e-mobile erfolgsstory: Innovationsprozesse radikal effizienter (2017)
    Berlin, Heidelberg : Springer Vieweg
    Details
    Schlagwort(e): Engineering ; Project management ; Engineering design ; Automotive Engineering ; Project Management ; Engineering Design
    Beschreibung / Inhaltsverzeichnis: A - Die Entwicklung: Drei Erfolgsstories --- Die StreetScooter-Gründer-Story --- Die StreetScooter-Meilensteine 2008-2017 --- Die StreetScooter-Entwicklungsstory --- Die StreetScooter-Protagonisten-Story --- B - Die Lösung: Return on Engineering: Die StreetScooter-Lösungsbausteine. C - Die Perspektive: Die StreetScooter-Netzwerk-Story --- Die StreetScooter-Produktions-Story --- Die StreetScooter-Post-Story --- Die StreetScooter-Mobilitätslösung --- Die StreetScooter-Vision. A - The Development: Three Stories of Success --- The StreetScooter Founder Story --- The StreetScooter Milestones 2008-2017 --- The StreetScooter Development Story --- The StreetScooter Protagonists Story --- B - The Solution: Return on Engineering: The StreetScooter Building Blocks --- C - The Perspective: The StreetScooter Network Story --- The StreetScooter Production Story --- The StreetScooter Post Story --- The StreetScooter Mobility Solution --- The StreetScooter Vision
    Seiten: Online-Ressource (VII, 213 Seiten)
    ISBN: 9783662549971
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-54997-1
    Sprache: Deutsch
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 11
    Unbekannt
    Digitale Souveränität : Bürger / Unternehmen / Staat (2017)
    Berlin, Heidelberg : Springer Vieweg
    Details
    Schlagwort(e): Engineering ; Humanities ; Digital libraries ; Educational technology ; Electrical engineering ; Engineering ; Communications Engineering, Networks ; Digital Humanities ; Technology and Digital Education
    Beschreibung / Inhaltsverzeichnis: Vorwort --- Einleitung --- Bürger --- Wenn Bots sich unter Leute mischen: Social Bots in den Sozialen Medien --- Digitale Partizipation in Wissenschaft und Wirtschaft --- Entwicklung einer soziodigitalen Souveränität --- Unternehmen --- Digitale Souveränität – ein mehrdimensionales Handlungskonzept für die deutsche Wirtschaft --- Privatheit und digitale Souveränität in der Arbeitswelt 4.0 --- Staat --- Mehr Daten, weniger Vertrauen in Statistik – freie Fahrt für ‚alternative Fakten‘? --- Internationale Perspektiven auf digitale Souveränität --- Digitalisierung der Bildung als staatliche Aufgabe --- Ausblick
    Seiten: Online-Ressource (IX, 187 Seiten) , 40 Abbildungen in Farbe
    ISBN: 9783662557969
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-55796-9
    Sprache: Deutsch
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 12
    Unbekannt
    Anti-fragile ICT Systems (2016)
    Cham : Springer
    Details
    Schlagwort(e): Computer science ; Computer organization ; Computers ; Artificial intelligence ; Computer simulation ; Computer Science ; Computer Systems Organization and Communication Networks ; Information Systems and Communication Service ; Artificial Intelligence (incl. Robotics) ; Simulation and Modeling
    Beschreibung / Inhaltsverzeichnis: Preface --- Part I: The Concept of Anti-Fragility: 1 Introduction --- 2 Achieving Anti-Fragility --- 3 The Need to Build Trust --- 4 Principles Ensuring Anti-Fragility --- Part II: Anti-Fragility to Downtime: 5 Anti-Fragile Cloud Solutions --- 6 An Anti-Fragile e-Government System --- 7 Anti-Fragile Cloud-Based Telecom Systems --- Part III: Anti-Fragility to Malware: 8 Robustness to Malware Spreading --- 9 Robustness to Malware Reinfections --- 10 Anti-Fragility to Malware Spreading --- Part IV: Anomaly Detection: 11 The Cortical Learning Algorithm --- 12 Detecting Anomalies with the CLA --- Part V: Future Anti-Fragile Systems: 13 Summary and Future Work --- About the Author --- References --- Index
    Seiten: Online-Ressource (XVIII, 151 pages) , 44 illustrations, 22 illustrations in color
    ISBN: 9783319300702
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-30070-2
    Sprache: Englisch
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 13
    Unbekannt
    Cyber-Physical Systems of Systems : Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy (2016)
    Cham : Springer
    Details
    Schlagwort(e): Computer science ; Computer organization ; Software engineering ; Application software ; System theory ; Computer Science ; Computer Systems Organization and Communication Networks ; Software Engineering ; Complex Systems ; Information Systems Applications (incl. Internet) ; Computer Applications
    Beschreibung / Inhaltsverzeichnis: Basic concepts on systems of systems --- interfaces in evolving cyber-physical systems-of-systems --- emergence in cyber-physical systems-of-systems (CPSOSS) --- AMADEOS sysml profile for SoS conceptual modeling --- AMADEOS framework and supporting tools --- time and resilient master clocks in cyber-physical systems --- managing dynamicity in SoS --- case study definition and implementation
    Seiten: Online-Ressource (XV, 257 pages) , 124 illustrations
    ISBN: 9783319475905
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-47590-5
    Sprache: Englisch
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 14
    Unbekannt
    Zukunft der Arbeit in Industrie 4.0 (2015)
    Berlin, Heidelberg : Springer Vieweg
    Details
    Schlagwort(e): Engineering ; Robotics ; Automation ; Industrial engineering ; Production engineering ; Engineering economics ; Engineering economy ; Manufacturing industries ; Machines ; Tools ; Engineering ; Industrial and Production Engineering ; Robotics and Automation ; Engineering Economics, Organization, Logistics, Marketing ; Manufacturing, Machines, Tools ; Information Systems Applications (incl. Internet)
    Beschreibung / Inhaltsverzeichnis: Einordnung und Hintergründe --- Positionen der Sozialpartner --- Erfahrungen und Herausforderungen in der Industrie --- Forschungsfragen und Entwicklungsstrategien --- Ausblick
    Seiten: Online-Ressource (VIII, 167 Seiten) , 38 Abbildungen
    ISBN: 9783662459157
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-45915-7
    Sprache: Deutsch
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 15
    Unbekannt
    Autonomes Fahren : Technische, rechtliche und gesellschaftliche Aspekte (2015)
    Berlin, Heidelberg : Springer Vieweg
    Details
    Schlagwort(e): Engineering ; Commercial law ; Automotive engineering ; Robotics ; Automation ; Community psychology ; Environmental psychology ; Engineering ; Automotive Engineering ; Robotics and Automation ; Community and Environmental Psychology ; Commercial Law
    Beschreibung / Inhaltsverzeichnis: Teil I Human and Machine --- Teil II Mobilität --- Teil III Verkehr --- Teil IV Sicherheit --- Teil V Recht und Haftung --- Teil VI Akzeptanz
    Seiten: Online-Ressource (XIV, 732 Seiten)
    ISBN: 9783662458549
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-45854-9
    Sprache: Deutsch
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 16
    Unbekannt
    Energy Efficient Servers : Blueprints for Data Center Optimization (2015)
    Berkeley, CA : Apress
    Details
    Schlagwort(e): Computer science ; Computer organization ; Computers ; Computer Science ; Computer Systems Organization and Communication Networks ; Information Systems and Communication Service
    Beschreibung / Inhaltsverzeichnis: Energy Efficient Servers: Blueprints for Data Center Optimization introduces engineers and IT professionals to the power management technologies and techniques used in energy efficient servers. The book includes a deep examination of different features used in processors, memory, interconnects, I/O devices, and other platform components. It outlines the power and performance impact of these features and the role firmware and software play in initialization and control. Using examples from cloud, HPC, and enterprise environments, the book demonstrates how various power management technologies are utilized across a range of server utilization. It teaches the reader how to monitor, analyze, and optimize their environment to best suit their needs. It shares optimization techniques used by data center administrators and system optimization experts at the world’s most advanced data centers
    Seiten: Online-Ressource (XXI, 360 pages) , 103 illustrations
    ISBN: 9781430266389
    URL: https://link.springer.com/openurl?genre=book&isbn=978-1-4302-6638-9
    Sprache: Englisch
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...