feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Online Resource  (6)
  • Computer Science  (3)
  • Sociology  (3)
Type of Medium
Language
Region
Years
Access
  • 1
    UID:
    b3kat_BV044206231
    Format: 1 Online-Ressource (302 Seiten) , Illustrationen
    ISBN: 9783658172114
    Note: Dissertation Universität Regensburg 2015
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9783658172107
    Language: German
    Subjects: Sociology
    RVK:
    Keywords: Organisation ; Soziales Handeln ; Vertrauen ; Misstrauen ; Handlungsfähigkeit ; Kontingenz ; Hochschulschrift ; Hochschulschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Huth, Alexandra
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Online Resource
    Online Resource
    Wiesbaden : VS, Verl. für Sozialwiss.
    UID:
    b3kat_BV039156738
    Format: 1 Online-Ressource (120 S.)
    Edition: 1. Aufl.
    ISBN: 9783531941455
    Series Statement: VS College
    Additional Edition: Erscheint auch als Druck-Ausgabe, Paperback ISBN 978-3-531-18338-1
    Language: German
    Subjects: Sociology
    RVK:
    Keywords: Duala ; Kind ; Obdachlosigkeit ; Lebensbedingungen
    URL: Volltext  (lizenzpflichtig)
    Author information: Huth, Felix 1968-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    UID:
    b3kat_BV041406406
    Format: 1 Online-Ressource (XIII, 278 S.)
    ISBN: 3642389074 , 9783642389085
    Series Statement: Lecture notes in computer science 7904
    Additional Edition: Erscheint auch als Druck-Ausgabe, Paperback ISBN 978-3-642-38907-8
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Trusted Computing ; Konferenzschrift ; Konferenzschrift ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    b3kat_BV045164450
    Format: 1 Online-Ressource (XXVII, 228 Seiten, 29 illus., 7 illus. in color)
    ISBN: 9783319683973
    In: 1
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-319-68396-6
    Language: English
    Subjects: Computer Science
    RVK:
    URL: Volltext  (URL des Erstveröffentlichers)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    UID:
    gbv_1646749812
    Format: Online-Ressource (XX, 738 p. Also available online, digital)
    ISBN: 9783540712091
    Series Statement: Lecture Notes in Computer Science 4424
    Content: Invited Contributions -- THERE AND BACK AGAIN: Lessons Learned on the Way to the Market -- Verifying Object-Oriented Software: Lessons and Challenges -- Software Verification -- Shape Analysis by Graph Decomposition -- A Reachability Predicate for Analyzing Low-Level Software -- Generating Representation Invariants of Structurally Complex Data -- Probabilistic Model Checking and Markov Chains -- Multi-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive Models -- Counterexamples in Probabilistic Model Checking -- Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type-Dependence Analysis and Program Transformation for Symbolic Execution -- JPF–SE: A Symbolic Execution Extension to Java PathFinder -- Markov Chains and Real-Time Systems -- A Symbolic Algorithm for Optimal Markov Chain Lumping -- Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations -- Model Checking Probabilistic Timed Automata with One or Two Clocks -- Adaptor Synthesis for Real-Time Components -- Timed Automata and Duration Calculus -- Deciding an Interval Logic with Accumulated Durations -- From Time Petri Nets to Timed Automata: An Untimed Approach -- Complexity in Simplicity: Flexible Agent-Based State Space Exploration -- On Sampling Abstraction of Continuous Time Logic with Durations -- Assume-Guarantee Reasoning -- Assume-Guarantee Synthesis -- Optimized L*-Based Assume-Guarantee Reasoning -- Refining Interface Alphabets for Compositional Verification -- MAVEN: Modular Aspect Verification -- Biological Systems -- Model Checking Liveness Properties of Genetic Regulatory Networks -- Checking Pedigree Consistency with PCS -- “Don’t Care” Modeling: A Logical Framework for Developing Predictive System Models -- Abstraction Refinement -- Deciding Bit-Vector Arithmetic with Abstraction -- Abstraction Refinement of Linear Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction Refinement and SAT-Based Model Checking -- Message Sequence Charts -- Detecting Races in Ensembles of Message Sequence Charts -- Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning -- Automata-Based Model Checking -- Improved Algorithms for the Automata-Based Approach to Model-Checking -- GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae -- Faster Algorithms for Finitary Games -- Specification Languages -- Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs, -- motor:The modest Tool Environment -- Syntactic Optimizations for PSL Verification -- The Heterogeneous Tool Set, Hets -- Security -- Searching for Shapes in Cryptographic Protocols -- Automatic Analysis of the Security of XOR-Based Key Management Schemes -- Software and Hardware Verification -- State of the Union: Type Inference Via Craig Interpolation -- Hoare Logic for Realistically Modelled Machine Code -- VCEGAR: Verilog CounterExample Guided Abstraction Refinement -- Decision Procedures and Theorem Provers -- Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications -- Combined Satisfiability Modulo Parametric Theories -- A Gröbner Basis Approach to CNF-Formulae Preprocessing -- Kodkod: A Relational Model Finder -- Model Checking -- Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams -- Model Checking on Trees with Path Equivalences -- Uppaal/DMC – Abstraction-Based Heuristics for Directed Model Checking -- Distributed Analysis with ?CRL: A Compendium of Case Studies -- Infinite-State Systems -- A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes -- Unfolding Concurrent Well-Structured Transition Systems -- Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems).
    Note: Description based upon print version of record , ""Title""; ""Foreword""; ""Preface""; ""Organization""; ""Table of Contents""; ""THERE AND BACK AGAIN: Lessons Learned on the Way to the Market""; ""Verifying Object-Oriented Software: Lessons and Challenges""; ""Shape Analysis by Graph Decomposition""; ""Introduction""; ""Overview""; ""A Full Heap Abstraction for Lists""; ""Abstracting List Segments""; ""A Graph Decomposition Abstraction for Lists""; ""The Abstract Domain of Shape Subgraphs""; ""Abstraction by Graph Decomposition""; ""Concretization by Composition of Shape Subgraphs"" , ""Developing Efficient Abstract Transformersfor the Graph Decomposition Abstraction""""The Most Precise Abstract Transformer""; ""Sound and Efficient Transformers""; ""An Incremental Transformer""; ""Prototype Implementation and Empirical Results""; ""Related Work""; ""A Reachability Predicate for Analyzing Low-Level Software""; ""Introduction""; ""Related Work""; ""Motivation""; ""Example""; ""Operational Semantics of C""; ""Reachability and Pointer Arithmetic""; ""Annotation Language""; ""Implementation""; ""Proving Verification Conditions""; ""Evaluation""; ""Conclusions and Future Work"" , ""Generating Representation Invariants of Structurally Complex Data""""Introduction""; ""Example""; ""Deryaft""; ""Program Heap as an Edge-Labeled Graph""; ""Core and Derived Fields""; ""Properties of Interest""; ""Algorithm""; ""Illustration: Binary Tree Representation of Heaps""; ""Experiments""; ""Discussion""; ""Related Work""; ""Conclusions""; ""Multi-objective Model Checking of Markov Decision Processes""; ""Introduction""; ""Basics and Background""; ""Multi-objective Reachability""; ""Qualitative Multi-objective Model Checking""; ""Quantitative Multi-objective Model Checking"" , ""Concluding Remarks""""PReMo: An Analyzer for Probabilistic Recursive Models""; ""Introduction""; ""Experimental Results""; ""Future Work""; ""Counterexamples in Probabilistic Model Checking""; ""Introduction""; ""Preliminaries""; ""Strongest Evidences and Counterexamples""; ""From a DTMC to a Weighted Digraph""; ""Finding Strongest Evidences""; ""Finding Smallest Counterexamples""; ""Lower Bounds on Probabilities""; ""Conclusion""; ""Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking""; ""Introduction""; ""Preliminaries""; ""Bisimulation""; ""Experiments"" , ""Discrete Time""""Continuous Time""; ""Rewards""; ""Concluding Remarks""; ""Causal Dataflow Analysis for Concurrent Programs""; ""Introduction""; ""Preliminaries""; ""The Control Net of a Program""; ""Causal Concurrent Dataflow Framework""; ""Meet over All Traces Solution""; ""Formulation of Specific Problems in the CCD Framework""; ""Solving the Distributive CCD Problem""; ""Experiments""; ""Conclusions""; ""Type-Dependence Analysis and Program Transformation for Symbolic Execution""; ""Introduction""; ""Type-Dependence Analysis""; ""Building the TDG"" , ""Performing CFL-Reachability on the TDG""
    Additional Edition: ISBN 9783540712084
    Additional Edition: Buchausg. u.d.T. Tools and algorithms for the construction and analysis of systems Berlin : Springer, 2007 ISBN 3540712089
    Additional Edition: ISBN 9783540712084
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Systementwicklung ; Softwareentwicklung ; Model Checking ; Programmanalyse ; Theoretische Informatik ; Systementwicklung ; Softwareentwicklung ; Model Checking ; Programmanalyse ; Theoretische Informatik ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    UID:
    gbv_877936021
    Format: 1 Online-Ressource (254 Seiten) , Diagramme
    Edition: 1. Auflage
    ISBN: 9783734404078
    Series Statement: Engagement und Partizipation in Theorie und Praxis
    Content: Cover -- Titelseite -- Impressum -- Inhalt -- Manuela Schwesig -- Grußwort -- Torsten Groß, Susanne Huth, Birgit Jagusch, Ansgar Klein, Siglinde Naumann -- Einleitung der Herausgeberinnen und Herausgeber -- 1. Kapitel -- Zuwanderungs- und Integrationspolitik der vergangenen 20 Jahre in Deutschland - ein Überblick -- Ansgar Klein -- Einführung -- Dietrich Thränhardt -- Einwanderung, Einwanderungsdiskurs, Einwanderungsengagement -- Marissa B. Turac -- Flüchtlinge und Engagement in Deutschland -- Geschichte der Migration aus Gründen der Flucht in der Bundesrepublik Deutschland -- Sebastian Beck -- Migrantenmilieus als Schlüssel zur Stadtgesellschaft von morgen -- Katrin Hirseland -- Engagement- und Integrationsförderung -- Die wachsende Rolle von Migrantenorganisationen -- Roland Roth -- Politische Partizipation von Migrantinnen und Migranten -- 2. Kapitel -- Migrantenorganisationen -- Torsten Groß -- Einführung -- Uwe Hunger, Stefan Metzger -- Von der Verleugnung zur Akzeptanz? -- Selbstverständnis und Fremdwahrnehmung von Migrantenorganisationen im Wandel -- Cemalettin Özer, Katharina Neubert -- Die Rolle der Migrantendachverbände in der Bürgergesellschaft in Deutschland -- Carmen Colinas -- Die Neuen Deutschen Organisationen -- Marion Wartumjan -- Themen und Bereiche des bürgerschaftlichen Engagements von migrantischen Unternehmerverbänden -- Herausforderungen für die Engagement- und Integrationspolitik -- Stefan Kreutzberger, Kevin Borchers, Jennifer Ichikawa -- Entwicklungspolitisches Engagement von Migrantenorganisationen auf kommunaler Ebene -- 3. Kapitel -- Interkulturelle Öffnung -- Birgit Jagusch -- Einführung -- Stefan Gaitanides -- Interkulturelle Öffnungsprozesse -- Heiko Klare -- „Im Vordergrund steht vor allem die Minimierung von Konfliktpotenzial
    Content: Rassismuskritik und Antidiskriminierung als Conditio sine qua non der Interkulturellen Öffnung -- Sergio Andrés Cortés Núñez, Evîn Kofli -- Zusammenarbeit zwischen Wohlfahrtsverbänden und Migrantenorganisationen -- Robert Werner -- Interkulturelle Öffnung in der Jugendverbandsarbeit -- Umgestaltung von Engagementstrukturen für neue Zielgruppen -- Veronika Fischer -- Familienbildung - Orte gelebter Diversität? -- Der Beitrag bürgerschaftlichen Engagements von Migrantenorganisationen zur Interkulturellen Öffnung der Familienbildung -- Annita Kalpaka, Andreas Foitzik -- Migrationsgesellschaftliche Anforderungen an Fort- und Weiterbildung -- Schlaglichter auf ein Konzept -- 4. Kapitel -- Engagementbereiche -- Susanne Huth -- Einführung -- Silvester Stahl -- Sport -- Mehmet Alpbek -- Schule und Kindertageseinrichtungen -- Christoph Klapproth -- Feuerwehr -- Susanne Huth -- Lotsen-, Paten- und Mentorenprojekte -- Tülin Kabis-Staubach, Reiner Staubach -- Beteiligung im Stadtteil -- Juliane Meinhold -- Der Bundesfreiwilligendienst mit Flüchtlingsbezug -- 5. Kapitel -- Engagementformen, -kontexte und -förderung -- Siglinde Naumann -- Einführung -- Karin Weiss -- Engagementförderung im Kontext gesellschaftlicher Rahmenbedingungen und staatlichen Handelns -- Migrantenorganisationen in Ost- und Westdeutschland -- Uli Glaser -- Koordination bürgerschaftlichen Engagements in der Flüchtlingshilfe Vernetzung in der Kommune - das Beispiel Nürnberg -- Gudrun Kirchhoff, Bettina Reimann -- Vielfalt - Herausforderung und Chance für Klein- und Mittelstädte -- Michael May -- AMIQUS - Ältere Migrantinnen und Migranten im Quartier -- Unterstützung und Initiierung von Selbsthilfe und Selbstorganisation -- Ansgar Drücker -- Jugend und junges Erwachsenenalter -- Carina Großer-Kaya, Özcan Karadeniz -- Väter auf dem Weg
    Content: Erfahrungen und Herausforderungen der interkulturellen Väterarbeit -- Autorinnen und Autoren -- Weitere Bücher im Wochenschau Verlag
    Note: Literaturangaben
    Additional Edition: ISBN 9783734404061
    Additional Edition: Erscheint auch als Druck-Ausgabe Groß, Torsten Engagierte Migranten : Teilhabe in der Bürgergesellschaft Schwalbach : Wochenschau Verlag,c2016 ISBN 9783734404061
    Language: German
    Subjects: Sociology
    RVK:
    Keywords: Deutschland ; Einwanderer ; Organisation ; Engagement ; Zivilgesellschaft ; Teilhabe ; Soziale Integration ; Interkulturalität
    Author information: Jagusch, Birgit 1976-
    Author information: Naumann, Siglinde
    Author information: Groß, Torsten
    Author information: Klein, Ansgar 1959-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages