LEADER 02531nam 2200457 450 001 9910818733003321 005 20230807214834.0 010 $a2-335-05518-6 035 $a(CKB)3790000000022989 035 $a(EBL)2085475 035 $a(MiAaPQ)EBC2085475 035 $a(Au-PeEL)EBL2085475 035 $a(OCoLC)914152280 035 $a(EXLCZ)993790000000022989 100 $a20200120d2015 uy 0 101 0 $afre 135 $aur|n|---||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCelimare le bien-aime /$fEugene Labiche 210 1$a[Place of publication not identified] :$cLigaran,$d2015. 215 $a1 online resource (250 p.) 300 $aDescription based upon print version of record. 327 $aCouverture; Page de Copyright; Page de titre; Acte premier; Sce?ne premie?re; Sce?ne II; Sce?ne III; Sce?ne IV; Sce?ne V; Sce?ne VI; Sce?ne VII; Sce?ne VIII; Sce?ne IX; Sce?ne X; Sce?ne XI; Sce?ne XII; Sce?ne XIII; Acte deuxie?me; Sce?ne premie?re; Sce?ne II; Sce?ne III; Sce?ne IV; Sce?ne V; Sce?ne VI; Sce?ne VII; Sce?ne VIII; Sce?ne IX; Sce?ne X; Sce?ne XI; Sce?ne XII; Sce?ne XIII; Sce?ne XIV; Sce?ne XV; Acte troisie?me; Sce?ne premie?re; Sce?ne II; Sce?ne III; Sce?ne IV; Sce?ne V; Sce?ne VI; Sce?ne VII; Sce?ne VIII; Sce?ne IX; Sce?ne X; Sce?ne XI; Sce?ne XII 330 $a Extrait : ""PITOIS, entrant par le fond : Eh bien ? ces rideaux, De?pe?chons-nous, mes enfants ! ADELINE : Dans une minute tout sera fini. PITOIS : A? neuf heures, monsieur veut que l'appartement soit de?barrasse?. ADELINE : Mais la ce?re?monie n'est que pour onze heures. PITOIS : C'est e?gal... monsieur m'a de?fendu de laisser trai?ner des tapissiers dans l'appartement quand il partira pour la mairie.""A? PROPOS DES E?DITIONS LIGARANLes e?ditions LIGARAN proposent des versions nume?riques de qualite? de grands livres de la litte?rature classique mais e?galement des livres rares en partenariat avec la BNF. Be 606 $aDrama$xHistory and criticism 606 $aFrench literature 606 $aTheater$xHistory 615 0$aDrama$xHistory and criticism. 615 0$aFrench literature. 615 0$aTheater$xHistory. 676 $a809.2 700 $aLabiche$b Euge?ne$f1815-1888,$0396096 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910818733003321 996 $aCelimare le bien-aime$93995044 997 $aUNINA LEADER 04764nam 22007815 450 001 9910913777303321 005 20251225200449.0 010 $a9789819606177 010 $a9819606179 024 7 $a10.1007/978-981-96-0617-7 035 $a(CKB)36702043100041 035 $a(MiAaPQ)EBC31806894 035 $a(Au-PeEL)EBL31806894 035 $a(DE-He213)978-981-96-0617-7 035 $a(OCoLC)1481795520 035 $a(EXLCZ)9936702043100041 100 $a20241129d2024 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal Methods and Software Engineering $e25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2?6, 2024, Proceedings /$fedited by Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu 205 $a1st ed. 2024. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2024. 215 $a1 online resource (421 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15394 311 08$a9789819606160 311 08$a9819606160 327 $a -- NL2CTL: Automatic Generation of Formal Requirements Specifications via Large Language Models. -- Repairing Event-B Models through Quantifier Elimination. -- Tuning Trains Speed in Railway Scheduling. -- The Bright Side of Timed Opacity. -- Clock-Dependent Probabilistic Timed Automata with One Clock and No Memory. -- Efficient State Estimation of Discrete-Timed Automata. -- LRNN: A Formal Logic Rules-Based Neural Network for Software Defect Prediction. -- Quantitative Symbolic Robustness Verification for Quantized Neural Networks. -- Graph Convolutional Network Robustness Verification Algorithm Based on Dual Approximation. -- Formal Kinematic Analysis of Epicyclic Bevel Gear Trains. -- Deciding the synthesis problem for hybrid games through bisimulation. -- Formal Analysis of FreeRTOS Scheduler on ARM Cortex-M4 Cores. -- Differential Property Monitoring for Backdoor Detection. -- MemSpate: Memory Usage Protocol Guided Fuzzing. -- The Continuum Hypothesis Implies the Existence of Non-Principal Arithmetical Ultrafilters ? A Coq Formal Verification. -- Observability of Boolean Control Networks: New Definition and Verification Algorithm. -- Formalizing Potential Flows using the HOL Light Theorem Prover. -- On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. -- Efficient SMT-Based Model Checking for HyperTWTL. -- A Tableau-based Approach to Model Checking Linear Temporal Properties. -- Simple LTL Model Checking on Finite and Infinite Traces over Concrete Domains. -- Model Checking Concurrency in Smart Contracts with a Case Study of Safe Remote Purchase. 330 $aThis volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024. The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v15394 606 $aComputer science 606 $aComputer programming 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aApplication software 606 $aNatural language processing (Computer science) 606 $aTheory of Computation 606 $aProgramming Techniques 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aComputer and Information Systems Applications 606 $aNatural Language Processing (NLP) 615 0$aComputer science. 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs) 615 0$aApplication software. 615 0$aNatural language processing (Computer science) 615 14$aTheory of Computation. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aComputer and Information Systems Applications. 615 24$aNatural Language Processing (NLP). 676 $a004.0151 700 $aOgata$b Kazuhiro$01777785 701 $aMe?ry$b Dominique$00 701 $aSun$b Meng$01369709 701 $aLiu$b Shaoying$01742754 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910913777303321 996 $aFormal Methods and Software Engineering$94299587 997 $aUNINA