02384nam 2200505Ia 450 991046532580332120200520144314.01-136-44400-91-283-06399-997866130639910-08-096991-7(MiAaPQ)EBC670213(Au-PeEL)EBL670213(CaPaEBR)ebr10464286(CaONFJC)MIL306399(OCoLC)713010111(EXLCZ)99256000000007158120110511d2011 uy 0engur|n|---|||||Architect's pocket book[electronic resource] /Charlotte Baden-Powell ; updated by Jonathan Hetreed and Ann Ross4th ed.Oxford ;Boston Architectural Press20111 online resource (xiv, 345 p.) ill. maps1-138-46068-0 0-08-096959-3 Includes bibliographical references and index.1. General Information -- 2. Planning, Policy and Guidance -- 3. Structures -- 4. Services -- 5. Building Elements -- 6. Materials -- Bibliography -- Index.This handy pocket book brings together a wealth of useful information that architects need on a daily basis - on site or in the studio. It provides guidance on a range of tasks, from complying with the Building Regulations, including the recent revisions to Part L, to helping with planning, use of materials and detailing. Compact and easy to use, the Architect’s Pocket Book has sold well over 65,000 copies to the nation’s architects, architecture students, designers and construction professionals who do not have an architectural background but need to understand the basics, fast. This is the famous little blue book that you can’t afford to be without.ArchitectureGreat BritainHandbooks, manuals, etcArchitectural designGreat BritainHandbooks, manuals, etcElectronic books.ArchitectureArchitectural design720.941Baden-Powell Charlotte1936-860053Hetreed Jonathan860054Ross Ann1955-860055MiAaPQMiAaPQMiAaPQBOOK9910465325803321Architect's pocket book1919064UNINA05394nam 22007455 450 99646585090331620200704230832.03-540-70653-410.1007/3-540-61648-9(CKB)1000000000234512(SSID)ssj0000323243(PQKBManifestationID)11244406(PQKBTitleCode)TC0000323243(PQKBWorkID)10299389(PQKB)10464772(DE-He213)978-3-540-70653-3(PPN)155191241(EXLCZ)99100000000023451220121227d1996 u| 0engurnn#008mamaatxtccrFormal Techniques in Real-Time and Fault-Tolerant Systems[electronic resource] 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings /edited by Bengt Jonsson, Joachim Parrow1st ed. 1996.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1996.1 online resource (X, 490 p.)Lecture Notes in Computer Science,0302-9743 ;1135Bibliographic Level Mode of Issuance: Monograph3-540-61648-9 On the semantics of group communication -- Unifying verification paradigms -- Formal methods for early fault detection -- Retiming techniques for Statecharts -- Compiling Argos into Boolean equations -- Real-time mode-machines -- A calculus for timed automata -- Minimizable timed automata -- Weak chop inverses and liveness in Mean-Value Calculus -- Synthesizing controllers from Duration Calculus -- Sampling semantics of Duration Calculus -- The production cell: A verified real-time system -- Verification-driven development of a collision-avoidance protocol for the Ethernet -- Exhaustive computation of the scheduled task execution sequences of a real-time application -- Scheduling Data Flow programs in Hard Real-Time environments -- Dynamic scheduling in the presence of faults: Specification and verification -- Efficient broadcasting on faulty star networks -- Model checking for extended timed temporal logics -- Partial orders and verification of real-time systems -- Toward a modal theory of types for the ?-calculus -- Graphical formalization of real-time requirements -- On specifying real-time systems in a causality-based setting -- Verification of embedded systems using synchronous observers -- Compositionality in real-time shared variable concurrency -- Formal analysis of a real-time kernel specification -- Mona: Decidable arithmetic in practice -- Verifying synchronous reactive systems programmed in ESTEREL -- AutoFocus — A tool for distributed systems specification -- A tool for translation of VHDL descriptions into a formal model and its application to formal verification and synthesis -- EVGC: A tool for visualizing LOTOS behavioural specifications.This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in September 1996. The 22 revised full papers presented were selected from a total of 61 submissions; also included are three invited contributions and five tools demonstrations. The papers are organized in sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification.Lecture Notes in Computer Science,0302-9743 ;1135ComputersProgramming languages (Electronic computers)Operating systems (Computers)Computer logicSpecial purpose computersMicroprocessorsTheory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14045Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSpecial Purpose and Application-Based Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I13030Processor Architectureshttps://scigraph.springernature.com/ontologies/product-market-codes/I13014Computers.Programming languages (Electronic computers).Operating systems (Computers).Computer logic.Special purpose computers.Microprocessors.Theory of Computation.Programming Languages, Compilers, Interpreters.Operating Systems.Logics and Meanings of Programs.Special Purpose and Application-Based Systems.Processor Architectures.004/.33Jonsson Bengtedthttp://id.loc.gov/vocabulary/relators/edtParrow Joachimedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465850903316Formal Techniques in Real-Time and Fault-Tolerant Systems1944996UNISA