00986nam0-2200313---450-99000881115040332120090223092526.09283513762000881115FED01000881115(Aleph)000881115FED0100088111520090223d1980----km-y0itay50------baengFRy-------001yyAircraft flight test data processinga review of the state of the artby L. J. Smith and N. O. MatthewsNeuilly sur SeineAdvisory group for aerospace research and development19801 v. (paginazione varia)30 cmAGARD flight test instrumentation seriesSmith,L. J.504829Matthews,N. O.504830ITUNINARICAUNIMARCBK990008811150403321Q 180DINPADINPAAircraft flight test data processing807817UNINA00942nam0-22003251i-450 99000302757040332120181129102825.0000302757FED01000302757(Aleph)000302757FED0120030910d1964----km-y0itay50------baengUSCities and SpaceThe Future Use of Urban LandEssays from the Fourth RFF Forumby Lowdon Wingo, Jr. ... [et al.]Edited by Lowdon Wingo, Jr.2nd PrintingBaltimoreJohns Hopkins Press1964261 p.23 cm16110Wingo,Lowdon<jr>ITUNINARICAUNIMARCBK99000302757040332116110 WIN5906/ISESURB.LE B 26236451FARBCR1/74741DINTRSESFARBCDINTRCities and space59524UNINA03818nam 2200661 450 991026064410332120211109143702.00-262-32846-10-262-32845-3(CKB)3710000000393963(EBL)3339972(SSID)ssj0001461333(PQKBManifestationID)12624657(PQKBTitleCode)TC0001461333(PQKBWorkID)11471750(PQKB)11561748(MiAaPQ)EBC3339972(CaBNVSL)mat07109352(IDAMS)0b00006483f6f073(IEEE)7109352(Au-PeEL)EBL3339972(CaPaEBR)ebr11042963(OCoLC)907289539(EXLCZ)99371000000039396320151223d2015 uy engur|n|---|||||txtrdamediardacarrierPrinciples of cyber-physical systems /Rajeev AlurCambridge, Massachusetts :MIT Press,[2015][Piscataqay, New Jersey] :IEEE Xplore,[2015]XII, 446 p. ilDescription based upon print version of record.0-262-02911-1 Includes bibliographical references and index.A cyber-physical system consists of a collection of computing devices communicating with one another and interacting with the physical world via sensors and actuators in a feedback loop. Increasingly, such systems are everywhere, from smart buildings to medical devices to automobiles. This textbook offers a rigorous and comprehensive introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems. The book draws on a diverse set of subdisciplines, including model-based design, concurrency theory, distributed algorithms, formal methods of specification and verification, control theory, real-time systems, and hybrid systems, explaining the core ideas from each that are relevant to system design and analysis.The book explains how formal models provide mathematical abstractions to manage the complexity of a system design. It covers both synchronous and asynchronous models for concurrent computation, continuous-time models for dynamical systems, and hybrid systems for integrating discrete and continuous evolution. The role of correctness requirements in the design of reliable systems is illustrated with a range of specification formalisms and the associated techniques for formal verification. The topics include safety and liveness requirements, temporal logic, model checking, deductive verification, stability analysis of linear systems, and real-time scheduling algorithms. Principles of modeling, specification, and analysis are illustrated by constructing solutions to representative design problems from distributed algorithms, network protocols, control design, and robotics.This book provides the rapidly expanding field of cyber-physical systems with a long-needed foundational text by an established authority. It is suitable for classroom use or as a reference for professionals.Automatic controlSystem designEmbedded Internet devicesInternet of thingsFormal methods (Computer science)Electronic books.Automatic control.System design.Embedded Internet devices.Internet of things.Formal methods (Computer science)006.2/2Alur Rajeev1966-718877CaBNVSLCaBNVSLCaBNVSLBOOK9910260644103321Principles of cyber-physical systems1394989UNINA02977oam 2200601I 450 991015499460332120230808200635.01-351-95785-61-315-26237-110.4324/9781315262376 (CKB)3710000000965483(MiAaPQ)EBC4758113(OCoLC)973034096(EXLCZ)99371000000096548320180706e20161996 uy 0engurcnu||||||||rdacontentrdamediardacarrierAntifraternalism and anticlericalism in the German Reformation Johann Eberlin von Gunzburg and the campaign against the friars /Geoffrey DippleLondon ;New York :Routledge,2016.1 online resource (257 pages)St. Andrews Studies in Reformation HistoryFirst published 1996 by Ashgate Publishing.1-85928-267-9 1-351-95786-4 Includes bibliographical references and index.1. The friars and their critics on the eve of the Reformation -- 2. 'Foolish little monks and priests' : Johann Eberlin von Gunzburg's vision of reform in the earliest elements of 'The fifteen confederates' -- 3. 'The grey hypocrite from the superstitious observants' : anticlericalism and antifraternalism in the remainder of 'The fifteen confederates' -- 4. 'A priest must be blameless, the husband of one wife' : Eberlin's writings from Wittenberg in 1522 and early 1523 -- 5. 'Against the profaners of God's creatures' : anticlericalism in Wittenberg in 1523 -- 6. 'A fool or an arch-rogue' : the anti-Franciscan campaign of 1523 -- 7. Variations on a theme : Antifraternalism and anticlericalism in the Flugscbriften of Fleinrich von Kettenbach and Johann Rot-Locher -- 8. 'The agents of Satan' : the clergy and the Schwarmer in the later writings of Johann Eberlin von Gunzburg.St. Andrews studies in Reformation history.ReformationGermanyReformationSwitzerland, German-speakingFriarsGermanyHistory16th centuryFriarsSwitzerland, German-speakingHistory16th centuryAnti-clericalismGermanyHistory16th centuryAnti-clericalismSwitzerlandHistory16th centuryGermanyChurch history16th centurySwitzerland, German-speakingChurch history16th centuryReformationReformationFriarsHistoryFriarsHistoryAnti-clericalismHistoryAnti-clericalismHistory274.3/06Dipple Geoffrey.896428MiAaPQMiAaPQMiAaPQBOOK9910154994603321Antifraternalism and anticlericalism in the German Reformation2002624UNINA01930nam 2200409I 450 991070615130332120170905085251.0(CKB)5470000002454914(OCoLC)1002847698(EXLCZ)99547000000245491420170905j200006 ua 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierAnalysis of the LOBI experiment test BT-56 using the RELAP5/MOD3.2 code /prepared by J. Blanco [and three others]Washington, DC :Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission,June 2000.1 online resource (xiii, 55 pages) illustrationsInternational agreement report ;NUREG/IA-0183"Union Fenosa Generacion S.A., Central Nuclear Jose Cabrera.""June 2000.""Prepared as part of the Agreement on Research Participation and Technical Exchange under the International Code Application and Maintenance Program (CAMP).""Sponsoring organization: Division of Systems Analysis and Regulatory Effectiveness, Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission"--Bibliographic data sheet.Includes bibliographical references (page 35).Nuclear reactor accidentsComputer simulationPressurized water reactorsAccidentsComputer simulationNuclear reactor accidentsComputer simulation.Pressurized water reactorsAccidentsComputer simulation.Blanco J.1402295U.S. Nuclear Regulatory Commission.Office of Nuclear Regulatory Research,GPOGPOBOOK9910706151303321Analysis of the LOBI experiment test BT-56 using the RELAP53504901UNINA03392nam 2200889 a 450 99624801580331620221107143248.00-87169-922-22027/heb04557(CKB)1000000000548302(dli)HEB04557(SSID)ssj0000084597(PQKBManifestationID)11126173(PQKBTitleCode)TC0000084597(PQKBWorkID)10169714(PQKB)10403893(MiU)MIU01000000000000005810195(EXLCZ)99100000000054830220020701d2002 uy 0engurmnummmmuuuutxtccrOn my honour Guides and Scouts in interwar Britain /Tammy M. ProctorPhiladelphia American Philosophical Society20021 online resource (ix, 180 p. )ill. ;Transactions of the American Philosophical Society On my honourTransactions of the American Philosophical Society,0065-9746 ;v. 92, pt. 2Bibliographic Level Mode of Issuance: MonographIncludes bibliographical references (p. 161-174) and index.ACLS Humanities E-Book.ON MY HONOURON MY HONOUR: GUIDES & SCOUTS IN INTERWAR BRITAINBoy ScoutsGreat BritainHistory20th centuryGirl ScoutsGreat BritainHistory20th centuryYouthGreat BritainSocial conditions20th centuryYouthGreat BritainSocial life and customs20th centurySocial roleGreat BritainHistory20th centurySocial changeGreat BritainHistory20th centuryNational characteristics, BritishHistory20th centuryBoy ScoutsHistory20th centuryGreat BritainGirl ScoutsHistory20th centuryGreat BritainYouthSocial conditions20th centuryGreat BritainYouthSocial life and customs20th CenturyGreat BritainSocial roleHistory20th centuryGreat BritainSocial changeHistory20th centuryGreat BritainNational characteristics, BritishHistory20th centurySociology & Social HistoryHILCCSocial SciencesHILCCSocieties & ClubsHILCCBoy ScoutsHistoryGirl ScoutsHistoryYouthSocial conditionsYouthSocial life and customsSocial roleHistorySocial changeHistoryNational characteristics, BritishHistoryBoy ScoutsHistoryGirl ScoutsHistoryYouthSocial conditionsYouthSocial life and customsSocial roleHistorySocial changeHistoryNational characteristics, BritishHistorySociology & Social HistorySocial SciencesSocieties & Clubs369.4Proctor Tammy M.1968-512105American Council of Learned Societies.MiUMiUBOOK996248015803316On my honour2855814UNISA00931nas 2200337- 450 991050312850332120230502213018.0(CKB)5300000000020703(CONSER)--2015270706(OCoLC)15610515(EXLCZ)99530000000002070320151125b183818uu k-- aengur|||||||||||txtrdacontentcrdamediacrrdacarrierLexington unionLexington, Mississippi :W. H. Hines1 online resourcePublished by John N. Baskin, <June 6, 1840-Dec. 23, 1843>2469-6579 UnionLexington (Miss.)NewspapersMississippiLexingtonfastNewspapers.fast071JOURNAL9910503128503321Lexington union1905692UNINA