LEADER 01381nam 2200325Ia 450 001 996394651103316 005 20221108022304.0 035 $a(CKB)3810000000008714 035 $a(EEBO)2240872781 035 $a(OCoLC)9959590000971 035 $a(EXLCZ)993810000000008714 100 $a20050929d1650 uy 0 101 0 $aeng 135 $aurbn||||a|bb| 200 15$a[The engagement vindicated and explained, or, The reasons upon which L. C. John Lilburne tooke the engagement]$b[electronic resource] /$f[published by a well-wisher of the present authority on purpose to satisfy scrupulous minds in the lawfulnesse of taking said engagement.] 210 $a[London $cP. by John Clowes at the blew anchor in Corne-hill and at the black-spread-eagle at the west end of Pauls$d1650] 215 $a[1]+ leaves 300 $aSome variation from original. 300 $aMs. surrogate t.p. only. 300 $aReproduction of original in the British Library. 330 $aeebo-0018 607 $aGreat Britain$xHistory$y17th century 608 $aTitle pages$zEngland$y17th century. 700 $aLilburne$b John$f1614?-1657.$01001077 801 0$bUMI 801 1$bUMI 906 $aBOOK 912 $a996394651103316 996 $aThe engagement vindicated and explained, or, The reasons upon which L. C. John Lilburne tooke the engagement$92409728 997 $aUNISA LEADER 01216nam 2200337 n 450 001 996389387603316 005 20221108064958.0 035 $a(CKB)1000000000642780 035 $a(EEBO)2240867675 035 $a(UnM)99839160 035 $a(EXLCZ)991000000000642780 100 $a19901129d1617 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 00$aGreenes farevvell to follie$b[electronic resource] $eSent to courtiers and scholers, as a president to warne them from the vaine delights, that drawes youth on to repentance. Robert Greene. Vtriusq[ue] Academia in artibus magister 210 $aLondon $cPrinted by W. White dwelling in Cow-lane$d1617 215 $a[88] p 300 $aSignatures: A-Lâ´. 300 $aThe last leaf is blank. 300 $aRunning title reads: Greene his farewell to follie. 300 $aReproduction of the original in the Henry E. Huntington Library and Art Gallery. 330 $aeebo-0113 700 $aGreene$b Robert$f1558?-1592.$061817 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996389387603316 996 $aGreenes farevvell to follie$92360984 997 $aUNISA LEADER 01546nam a2200349 i 4500 001 991001847639707536 008 121011s2009 riua b 100 0 eng d 020 $a9780821847459 035 $ab14080291-39ule_inst 040 $aDip.to Matematica e Fisica$beng 082 00$a621.3670151$222 084 $aAMS 34A55 084 $aAMS 35R30 084 $aAMS 35A20 084 $aAMS 35B40 084 $aLC TA1637.W78 245 00$aImaging microstructures :$bmathematical and computational challenges : proceedings of a research conference, June 18-20, 2008, Institut Henri Poincare, Paris, France /$cHabib Ammari, Hyeonbae Kang, editors 260 $aProvidence, R. I. :$bAmerican Mathematical Society,$cc2009 300 $avii, 195 p. :$bill. ;$c26 cm 440 0$aContemporary mathematics,$x0271-4132 ;$v494 504 $aIncludes bibliographical references 650 0$aImage processing$xMathematics$vCongresses 650 0$aMicrostructure$xMathematical models$vCongresses 650 0$aMicrostructure$xData processing$vCongresses 700 1 $aAmmari, Habib$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0285807 700 1 $aKang, Hyeonbae$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0285808 907 $a.b14080291$b13-11-12$c11-10-12 912 $a991001847639707536 945 $aLE013 34A AMM11 (2009)$g1$i2013000216614$lle013$op$pE68.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i15454484$z08-11-12 996 $aImaging microstructures$91442528 997 $aUNISALENTO 998 $ale013$b11-10-12$cm$da $e-$feng$griu$h0$i0 LEADER 01100nam a2200265 i 4500 001 991002645839707536 008 040707s1995 it b 000 0 ita d 020 $a883484243X 035 $ab12955395-39ule_inst 040 $aDip.to Studi Giuridici$bita 082 $a344.01 100 1 $aAles, Edoardo$0148297 245 13$aLo sciopero nei servizi pubblici in Europa tra interesse generale ed autotutela :$bspunti comparatistici /$cEdoardo Ales 260 $aTorino :$bG. Giappichelli,$cc1995 300 $axiii, 224 p. ;$c24 cm 440 0$aDiritto del lavoro ;$v2 504 $aInclude riferimenti bibliografici (p. [207]-224) 650 4$aLavoratori dei servizi pubblici$xSciopero$zEuropa 650 4$aDiritto comparato 907 $a.b12955395$b21-09-06$c07-07-04 912 $a991002645839707536 945 $aLE027 344.01 ALE01.01$g1$i2027000059355$lle027$o-$pE17.04$q-$rl$s- $t0$u6$v2$w6$x0$y.i13554530$z07-07-04 996 $aSciopero nei servizi pubblici in Europa tra interesse generale ed autotutela$9279958 997 $aUNISALENTO 998 $ale027$b07-07-04$cm$da $e-$fita$git $h3$i0 LEADER 05453nam 22007215 450 001 9910349269603321 005 20251225193443.0 010 $a3-030-32409-5 024 7 $a10.1007/978-3-030-32409-4 035 $a(CKB)4100000009678290 035 $a(MiAaPQ)EBC5967984 035 $a(DE-He213)978-3-030-32409-4 035 $a(PPN)256197962 035 $a(EXLCZ)994100000009678290 100 $a20191005d2019 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal Methods and Software Engineering $e21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5?9, 2019, Proceedings /$fedited by Yamine Ait-Ameur, Shengchao Qin 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (xxi, 528 pages) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v11852 300 $aIncludes index. 311 08$a3-030-32408-7 327 $aSecure Deep Learning Engineering: a Road towards Quality Assurance of Intelligent Systems -- Using DimSpec for Bounded and Unbounded Software Model Checking -- SMTBCF: Efficient Backbone Computing for SMT Formulas -- Automatic verification for node-based visual script notation using model checking -- A Reo Model of Software Defined Networks -- Design of point-and-click user interfaces for proof assistants -- SqlSol: An accurate SQL Query Synthesizer -- Towards Verifying Ethereum Smart Contracts at Intermediate Language Level -- Simulations for ATL with imperfect information -- On the generation of equational dynamic logics for weighted imperative programs -- A Security Calculus for Wireless Networks of Named Data Networking -- Automatic Modularization of Large Programs for Bounded Model Checking -- PDNet: A Programming Language for Software-Defined Networks with VLAN -- Consistency Enforcement for Static First-Order Invariants in Sequential Abstract State Machines -- Probably Approximate Safety Verification of Hybrid Dynamical Systems -- A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams -- Reasoning about Universal Cubes in MCMT -- sCompile: Critical Path Identification and Analysis for Smart Contracts -- A Mechanized Theory of Program Refinement -- A Relational Static Semantics for Call Graph Construction -- Solution Enumeration Abstraction - A Modeling Idiom to Enhance a Lightweight Formal Method -- Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks -- Combining Parallel Emptiness Checks with Partial Order Reductions -- A Coalgebraic Semantics Framework for Quantum Systems -- Parameterized Hardware Verification Through A Term-level Generalized Symbolic Trajectory Evaluation -- An Axiomatisation of the Probabilistic -Calculus -- Synthesizing Nested Ranking Functions for Loop Programs via SVM -- A First Step in the Translation of Alloy to Coq -- Assessment of a Formal Requirements Modeling Approach on a Transportation System -- Design Model Repair with Formal Verification -- A Performance-Sensitive Malware Detection System on Mobile Platform -- Certifying Hardware Model Checking Results -- A Note on Failure Mode Reasoning -- Robustness of Piece-wise Linear Neural Network with Feasible Region Approaches -- Formal Specification and Verification of Smart Contracts -- Spatio-Temporal Specification Language for Cyber-Physical Systems -- A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification based on Machine Learning. 330 $aThis book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the recent progress in the use and development of formal engineering methods for software and system design and record the latest development in formal engineering methods. . 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v11852 606 $aComputer science 606 $aArtificial intelligence 606 $aSoftware engineering 606 $aComputer engineering 606 $aComputer networks 606 $aComputer simulation 606 $aTheory of Computation 606 $aArtificial Intelligence 606 $aSoftware Engineering 606 $aComputer Engineering and Networks 606 $aComputer Modelling 615 0$aComputer science. 615 0$aArtificial intelligence. 615 0$aSoftware engineering. 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aComputer simulation. 615 14$aTheory of Computation. 615 24$aArtificial Intelligence. 615 24$aSoftware Engineering. 615 24$aComputer Engineering and Networks. 615 24$aComputer Modelling. 676 $a005.1 676 $a004.0151 702 $aAit-Ameur$b Yamine$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aQin$b Shengchao$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349269603321 996 $aFormal Methods and Software Engineering$9771999 997 $aUNINA LEADER 05276oam 2201033 c 450 001 9910284457203321 005 20260302090207.0 010 $a9783839434086 010 $a3839434084 024 7 $a10.14361/9783839434086 035 $a(CKB)3710000000656409 035 $a(OAPEN)1000400 035 $a(DE-B1597)466334 035 $a(OCoLC)1013956765 035 $a(OCoLC)946559901 035 $a(DE-B1597)9783839434086 035 $a(MiAaPQ)EBC5494437 035 $a(Au-PeEL)EBL5494437 035 $a(transcript Verlag)9783839434086 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/28435 035 $a(ScCtBLL)7a0a810c-7239-4c2d-a16e-7ce6d7070f4d 035 $a(Perlego)1461863 035 $a(EXLCZ)993710000000656409 100 $a20260302d2016 uy 0 101 0 $ager 135 $auuuuu---auuuu 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSocial Media in der Arbeitswelt$eHerausforderungen für Beschäftigte und Mitbestimmung$fTanja Carstensen 205 $a1st ed. 210 $aBielefeld$ctranscript Verlag$d2016 215 $a1 online resource (230) 225 0 $aForschung aus der Hans-Böckler-Stiftung 300 $a»Enterprise 2.0«: how are working conditions, demands and employee consultation changing through the use of social media within businesses? 311 08$a9783837634082 311 08$a3837634086 327 $aFrontmatter 1 Editorial 2 Inhalt 5 1. Einleitung 9 2. Technik als materielle Seite des Wandels der Erwerbsarbeit 21 3. Zur Anlage der Studie, Vorgehen und Methoden 31 4 »Enterprise 2.0« und »Social Collaboration« 45 5. Zwischen »Wildwuchs« und geregelter Mitbestimmung 59 6. Arbeiten mit Social Media 91 7. Neue Anforderungen 143 8. Fazit und Ausblick 171 9. Literatur 187 10. Glossar 205 11. Anhang 209 330 $aSoziale Medien wie Wikis, Weblogs und soziale Netzwerke kommen zunehmend auch unternehmensintern zum Einsatz. Unternehmen versprechen sich von »Enterprise 2.0« eine effektivere Kommunikation, eine Verbesserung des Wissensmanagements sowie die Steigerung ihrer Attraktivität für junge Bewerber_innen. Vernachlässigt wurde bisher jedoch die Frage, wie sich Arbeitsbedingungen und Anforderungen aus Sicht der Beschäftigten ändern und welche Herausforderungen sich für die betriebliche Mitbestimmung ergeben.Auf der Basis von Unternehmensfallstudien präsentiert das Buch Ergebnisse zu den Erfahrungen, Anforderungen und Umgangsweisen von Beschäftigten und Interessenvertretungen mit Social Media. 330 1 $a»[Der Band] richtet sich vorwiegend an Menschen, die sich mit dem Thema Enterprise 2.0 in einem theoretischen Kontext auseinander setzen wollen. Er zeigt neben den Chancen überwiegend die vielfältigen Probleme und Herausforderungen auf, die für eine effiziente Nutzung noch bewältigt werden müssen.« 330 1 $a»Durch die wichtige Rolle von sozialen Medien in der heutigen Gesellschaft ist es schon fast nötig, diese auch in Unternehmen einzuführen, um jung und interessant zu bleiben. Dass sich dies in der Realität als schwierig gestaltet, wurde im vorliegenden Buch gut herausgearbeitet.« 330 1 $a»[The book] is primarily intended for people who want to learn more about the effect of Enterprise 2.0. It shows both the opportunities but primarily the many problems and challenges that still need to be addressed for an efficient use.« 410 0$aForschung Aus der Hans-Bo?ckler-Stiftung 517 2 $aCarstensen, Social Media in der Arbeitswelt$eHerausforderungen für Beschäftigte und Mitbestimmung 606 $aSocial Media 606 $aArbeit 606 $aWork 606 $aMitbestimmung 606 $aCodetermination 606 $aEnterprise 2.0 606 $aWissensmanagement 606 $aKnowledge Management 606 $aEconomy 606 $aWirtschaft 606 $aArbeits- und Industriesoziologie 606 $aSociology of Work and Industry 606 $aOrganisationssoziologie 606 $aSociology of Organizations 606 $aTechniksoziologie 606 $aSociology of Technology 606 $aSoziologie 606 $aSociology 615 4$aSocial Media 615 4$aArbeit 615 4$aWork 615 4$aMitbestimmung 615 4$aCodetermination 615 4$aEnterprise 2.0 615 4$aWissensmanagement 615 4$aKnowledge Management 615 4$aEconomy 615 4$aWirtschaft 615 4$aArbeits- und Industriesoziologie 615 4$aSociology of Work and Industry 615 4$aOrganisationssoziologie 615 4$aSociology of Organizations 615 4$aTechniksoziologie 615 4$aSociology of Technology 615 4$aSoziologie 615 4$aSociology 676 $a300 700 $aCarstensen$b Tanja$p

Tanja Carstensen, Ludwig-Maximilians-Universität München, Deutschland

$4aut$0960262 712 02$aHans-Böckler-Stiftung$4fnd$4http://id.loc.gov/vocabulary/relators/fnd 801 0$bDE-B1597 801 1$bDE-B1597 906 $aBOOK 912 $a9910284457203321 996 $aSocial Media in der Arbeitswelt$92176540 997 $aUNINA