01218nam 2200325 450 99627950010331620231214073150.01-5044-4772-7(CKB)4100000002794987(NjHacI)994100000002794987(EXLCZ)99410000000279498720231214d2018 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierISO/IEC/IEEE 8802-3:2017/Amd.5:2017(E)Amendment 5Specification and Management Parameters for Interspersing Express Traffic ISO/IEC/IEEE International Standard /Institute of Electrical and Electronics EngineersNew York :IEEE,[2018]1 online resource (62 pages)This amendment to IEEE Std 802.3-2015 specifies additions to and appropriate modifications to add support for interspersing express traffic over a single physical link.Ethernet (Local area network system)Ethernet (Local area network system)004.68NjHacINjHaclDOCUMENT996279500103316ISO1086301UNISA05386nam 22007815 450 991014360630332120251116234142.03-540-44557-910.1007/3-540-44557-9(CKB)1000000000211392(SSID)ssj0000327458(PQKBManifestationID)11232129(PQKBTitleCode)TC0000327458(PQKBWorkID)10301734(PQKB)10945426(DE-He213)978-3-540-44557-9(MiAaPQ)EBC3073178(PPN)155219251(BIP)7043989(EXLCZ)99100000000021139220121227d2000 u| 0engurnn|008mamaatxtccrTypes for Proofs and Programs International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers /edited by Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith1st ed. 2000.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2000.1 online resource (VIII, 197 p.) Lecture Notes in Computer Science,0302-9743 ;1956Bibliographic Level Mode of Issuance: Monograph3-540-41517-3 Includes bibliographical references at the end of each chapters and index.Specification and Verification of a Formal System for Structurally Recursive Functions -- A Predicative Strong Normalisation Proof for a ?Calculus with Interleaving Inductive Types -- Polymorphic Intersection Type Assignment for Rewrite Systems with Abstraction and ?-Rule -- Computer-Assisted Mathematics at Work -- Specification of a Smart Card Operating System -- Implementation Techniques for Inductive Types in Plastic -- A Co-inductive Approach to Real Numbers -- Information Retrieval in a Coq Proof Library Using Type Isomorphisms -- Memory Management: An Abstract Formulation of Incremental Tracing -- The Three Gap Theorem (Steinhaus Conjecture) -- Formalising Formulas-as-Types-as-Objects.This book contains a selection of papers presented at the third annual workshop of the Esprit Working Group 21900 Types, which was held 12 - 16 June 1999 at L¨okeberg in the rural area north of G¨oteborg and close to Marstrand. It was attended by 77 researchers. The two previous workshops of the working group were held in Aussois, France, in December 1996 and in Irsee, Germany, in March 1998. The proc- dings of those workshops appear as LNCS Vol. 1512 (edited by Christine Paulin- Mohring and Eduardo Gimenez) and LNCS Vol. 1657 (edited by Thorsten - tenkirch, Wolfgang Naraschewski, and Bernhard Reus). These workshops are, in turn, a continuation of the meetings organized in 1993, 1994, and 1995 under the auspices of the Esprit Basic Research Action 6453 Types for Proofs and Programs. Those proceedings were also published in the LNCS series, edited by Henk Barendregt and Tobias Nipkow (Vol. 806, 1993), by Peter Dybjer, Bengt Nordstr¨om, and Jan Smith (Vol. 996, 1994) and by Stefano Berardi and Mario Coppo (Vol. 1158, 1995). The Esprit BRA 6453 was a continuation of the former Esprit Action 3245 Logical Frameworks: - sign, Implementation and Experiments. The articles from the annual workshops organized under that Action were edited by Gerard Huet and Gordon Plotkin in the books Logical Frameworks and Logical Environments, both published by Cambridge University Press.Lecture Notes in Computer Science,0302-9743 ;1956Programming languages (Electronic computers)Computer logicLogic, Symbolic and mathematicalArtificial intelligenceProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Programming languages (Electronic computers)Computer logic.Logic, Symbolic and mathematical.Artificial intelligence.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.Artificial Intelligence.Mathematical Logic and Foundations.005.13/1Coquand Thierryedthttp://id.loc.gov/vocabulary/relators/edtDybjer Peteredthttp://id.loc.gov/vocabulary/relators/edtNordström Bengtedthttp://id.loc.gov/vocabulary/relators/edtSmith Janedthttp://id.loc.gov/vocabulary/relators/edtTYPES '99MiAaPQMiAaPQMiAaPQBOOK9910143606303321Types for Proofs and Programs771867UNINA