01292nam a2200337 i 450099100105374970753620020507105752.0011016s1977 fr ||| | eng b1016697x-39ule_instLE00641345ExLDip.to Fisicaita53(082.2)53.3.153.3.4548'.7QD911Rencontres de Moriond on leptons and multileptons462676Leptons and multileptons :proceedings of the 12th Rencontre de Moriond held at Flaine, Haute Savoie (France), March 6-18, 1977 /edited by J. Tran Thanh VanGif-sur-Yvette :Editions Frontières,19771 v. :ill. ;23 cm.Moriond Workshop ;12 (I)Rencontres de Moriond ;12 (I)Electromagnetic interactionsCongressesParticles (Nuclear physics)CongressesTran-Thanh-Van, Jean.b1016697x17-02-1727-06-02991001053749707536LE006 53(042+082.2) MOR12006000034401le006-E0.00-l- 00000.i1020350327-06-02Leptons and multileptons188217UNISALENTOle00601-01-01ma -engfr 0103300nam 22006495 450 991048337680332120251226200254.03-319-47958-X10.1007/978-3-319-47958-3(CKB)3710000000909176(DE-He213)978-3-319-47958-3(MiAaPQ)EBC6307314(MiAaPQ)EBC5595204(Au-PeEL)EBL5595204(OCoLC)960697759(PPN)196323444(EXLCZ)99371000000090917620161008d2016 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierProgramming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings /edited by Atsushi Igarashi1st ed. 2016.Cham :Springer International Publishing :Imprint: Springer,2016.1 online resource (XVII, 465 p. 100 illus.) Programming and Software Engineering,2945-9168 ;100173-319-47957-1 Semantics, logics, and foundational theory -- Design of languages type systems, and foundational calculi -- Domain-specific languages.-Compilers, interpreters, and abstract machines -- Program derivation, synthesis and transformation -- Program analysis, verification, and model-checking -- Logic, constraint, probabilistic and quantum programming -- Software security; concurrency and parallelism -- Tools for programming and implementation.This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016. The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; tools for programming and implementation. .Programming and Software Engineering,2945-9168 ;10017Compilers (Computer programs)Software engineeringComputer scienceMachine theoryCompilers and InterpretersSoftware EngineeringComputer Science Logic and Foundations of ProgrammingFormal Languages and Automata TheoryCompilers (Computer programs).Software engineering.Computer science.Machine theory.Compilers and Interpreters.Software Engineering.Computer Science Logic and Foundations of Programming.Formal Languages and Automata Theory.005.13Igarashi Atsushiedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483376803321Programming Languages and Systems3644366UNINA