LEADER 03160nam 22004935 450 001 996466453903316 005 20230329181644.0 010 $a3-030-23220-4 024 7 $a10.1007/978-3-030-23220-7 035 $a(CKB)4100000008527472 035 $a(DE-He213)978-3-030-23220-7 035 $a(MiAaPQ)EBC5921665 035 $a(PPN)254913768 035 $a(EXLCZ)994100000008527472 100 $a20190625d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aRecent Trends in Algebraic Development Techniques$b[electronic resource] $e24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2?5, 2018, Revised Selected Papers /$fedited by José Luiz Fiadeiro, Ionu? ?u?u 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (IX, 175 p. 849 illus., 7 illus. in color.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11563 300 $aIncludes index. 311 $a3-030-23219-0 327 $aRole-based Development of Dynamically Evolving Esembles -- Parameterized Strategies Specication in Maude -- An Algebraic Theory for Data Linkage -- Institutions for SQL Database Schemas and Datasets -- Finite Limits and Anti-Unication in Substitution Categories -- A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs -- Term Charters -- Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories -- Structuring Theories with Implicit Morphisms. 330 $aThis book constitutes the thoroughly refereed post-conference proceedings of the 24th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2018, held in Egham, UK in July 2018. The 9 revised papers presented were carefully reviewed and selected from 13 submissions. The contributed presentations covered a range of topics: specification and modelling languages such as CASL, Event-B, Maude, MMT, and SRML; foundations of system specification such as graph transformation, categorical semantics, fuzzy and temporal logics, institutions, module systems and parameterization, refinement, static analysis, and substitutions; and applications including categorical programming, communicating finite state machines, neuralsymbolic integration, relational databases, and service-oriented computing. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11563 606 $aComputer science 606 $aComputer Science Logic and Foundations of Programming 615 0$aComputer science. 615 14$aComputer Science Logic and Foundations of Programming. 676 $a005.1 702 $aFiadeiro$b José Luiz$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $a?u?u$b Ionu?$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466453903316 996 $aRecent Trends in Algebraic Development Techniques$9771917 997 $aUNISA LEADER 04562 am 2201021 n 450 001 9910283542303321 005 20180111 010 $a979-1-02-401019-9 024 7 $a10.4000/books.purh.1704 035 $a(CKB)4100000005959180 035 $a(FrMaCLE)OB-purh-1704 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/48424 035 $a(PPN)241291208 035 $a(EXLCZ)994100000005959180 100 $a20180828j|||||||| ||| 0 101 0 $afre 135 $auu||||||m|||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aGenre & Éducation $eFormer, se former, être formée au féminin /$fPaul Pasteur, Marie-Françoise Lemmonier-Delpy, Martine Gest, Bernard Bodinier 210 $aMont-Saint-Aignan $cPresses universitaires de Rouen et du Havre$d2018 215 $a1 online resource (546 p.) 311 $a2-87775-482-0 330 $aLa place réservée aux filles et aux femmes dans la société a partie liée, comme de nombreux travaux sur le genre l'ont montré, avec l'éducation. Or, jusqu'au début du XXIe siècle, les femmes sont restées très peu visibles dans la majorité des travaux portant sur l'histoire de l'éducation en France. En réunissant ces études qui aident à comprendre comment l'éducation féminine s'est forgée, s'est vue niée ou reconnue, depuis la Renaissance jusqu'à nos jours, ce volume souhaite apporter une contribution originale à la réflexion existante. L'angle pluridisciplinaire retenu ici autorise en effet des comparaisons historiques, géographiques et culturelles. En Europe, mais aussi hors de ses frontières, à travers les modèles éducatifs, les lieux de socialisation et de formation, les places dévolues aux sexes dans l'éducation, dans la création littéraire ou artistique, se révèlent des disparités mais également des lignes de force et des dynamiques communes. Ce panorama s'adresse à un large public ; il est vrai que nous sommes tous et toutes collectivement acteurs et actrices de l'éducation. 606 $aEducation 606 $agenre 606 $afemme 606 $aenseignement 606 $aéducation 610 $aenseignement 610 $agenre 610 $aéducation 610 $afemme 615 4$aEducation 615 4$agenre 615 4$afemme 615 4$aenseignement 615 4$aéducation 700 $aAngers-Sall$b Stéphanie$01313779 701 $aAntier$b Chantal$01313137 701 $aArnould$b Jean-Claude$0156743 701 $aBodinier$b Bernard$0256007 701 $aBoulon-Fahmy$b Annie$01313780 701 $aBoussahba-Bravard$b Myriam$01286632 701 $aBoyer-Vidal$b Marie-Françoise$01313781 701 $aBrouard-Arends$b Isabelle$01297670 701 $aCarpentier$b Florence$01313782 701 $aChaffin$b Laurence$01313783 701 $aChalmel$b Loïc$01313784 701 $aCharrier-Vozel$b Marianne$01288597 701 $aDalisson$b Rémi$01241995 701 $aDufour-Maître$b Myriam$0423979 701 $aGest$b Martine$01313785 701 $aGretchanaïa$b Elena$01285841 701 $aGuilpain$b Geneviève$01313786 701 $aHabert$b Mireille$01313787 701 $aHubert$b Marie-Claude$0549627 701 $aJiménez-Salcedo$b Juan$01313788 701 $aLaunay$b Florence$01288620 701 $aLefèvre$b Betty$01284178 701 $aLemonnier-Delpy$b Marie-Françoise$01313789 701 $aPapapetrou-Miller$b Maria$01313790 701 $aPasteur$b Paul$0551852 701 $aPecoraro$b Vito$01313791 701 $aPicco$b Dominique$01296115 701 $aPottin$b Marc-Antoine$01313792 701 $aReach-Ngo$b Anne$01313793 701 $aRogers$b Rebecca$0917988 701 $aRoll$b Sandrine$01313794 701 $aSieuzac$b Laurence$01313795 701 $aSimonnet-Tenant$b Françoise$01313796 701 $aSmadja$b Isabelle$01290620 701 $aThibault$b Gabriel-Robert$01287545 701 $aThomazeau$b Anne$01313797 701 $aTschirhart$b Annie$01313798 701 $aViollet$b Catherine$0175137 701 $aWalle$b Marianne$01313140 701 $aZatorska$b Izabella$01313799 701 $aPasteur$b Paul$0551852 701 $aLemmonier-Delpy$b Marie-Françoise$01313800 701 $aGest$b Martine$01313785 701 $aBodinier$b Bernard$0256007 801 0$bFR-FrMaCLE 906 $aBOOK 912 $a9910283542303321 996 $aGenre & Éducation$93031465 997 $aUNINA