LEADER 00857nam0-22002771i-450 001 990001765930403321 005 20190529131357.0 035 $a000176593 035 $aFED01000176593 035 $a(Aleph)000176593FED01 035 $a000176593 100 $a20030910d1961----km-y0itay50------ba 101 0 $afre 200 1 $aContribution a l'etude du metabolisme des androgenes chez le cobaye$ethese...$fEtienne Jean Charollais 210 $aGeneve$cImpr. Kundig$d1961 215 $ap. 181-263$d23 cm 610 0 $aMedicina sperimentale 676 $a619 700 1$aCharollais,$bEtienne Jean$076765 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aLG 912 $a990001765930403321 952 $a60 OP. 57/27$b38936$fFAGBC 959 $aFAGBC 996 $aContribution a l'etude du metabolisme des androgenes chez le cobaye$9364053 997 $aUNINA LEADER 06107nam 22007575 450 001 996465330903316 005 20200705034845.0 010 $a3-540-46692-4 024 7 $a10.1007/3-540-55092-5 035 $a(CKB)1000000000233766 035 $a(SSID)ssj0000323242 035 $a(PQKBManifestationID)11247868 035 $a(PQKBTitleCode)TC0000323242 035 $a(PQKBWorkID)10296506 035 $a(PQKB)11493794 035 $a(DE-He213)978-3-540-46692-5 035 $a(PPN)155178628 035 $a(EXLCZ)991000000000233766 100 $a20121227d1991 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Techniques in Real-Time and Fault-Tolerant Systems$b[electronic resource] $eSecond International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings /$fedited by Jan Vytopil 205 $a1st ed. 1991. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1991. 215 $a1 online resource (XII, 628 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v571 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-55092-5 327 $aISL: An interval logic for the specification of real-time programs -- Duration specifications for shared processors -- A compositional semantics for fault-tolerant real-time systems -- Modelling real-time behavior with an interval time calculus -- Multicycles and RTL logic satisfiability -- Voluntary preemption: A tool in the design of hard real-time systems -- Observing task preemption in Ada 9X -- Real-time scheduling by queue automata -- Broadcast communication for real-time processes -- Analysis of timeliness requirements in safety-critical systems -- Verification of a reliable net protocol -- Mechanical verification of a generalized protocol for Byzantine fault tolerant clock synchronization -- Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems -- On fault-tolerant symbolic computations -- Temporal logic applied to reliability modelling of fault-tolerant systems -- Specifying asynchronous transfer of control -- Protocol design by layered decomposition -- Scheduling in Real-Time Models -- A temporal approach to requirements specification of real-time systems -- RLucid, a general real-time dataflow language -- A mechanized theory for the verification of real-time program code using higher order logic -- Specification and verification of real-time behaviour using Z and RTL -- TAM: A formal framework for the development of distributed real-time systems -- An attempt to confront asynchronous reality to synchronous modelization in the ESTEREL language -- The real-time behaviour of asynchronously communicating processes -- Asynchronous communication in real space process algebra -- Translating timed process algebra into prioritized process algebra -- Operational semantics for timed observations -- Real-timed concurrent refineable behaviours -- Stepwise development of model-oriented real-time specifications from action/event models -- Formal specification of fault tolerant real time systems using minimal 3-sorted modal logic -- Timed and Hybrid Statecharts and their textual representation. 330 $aThis book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in safety-critical system design and examine how wellthe use of formal techniques for design, analysis and verification serves in relating theory to practical realities. The book contains papers on real-time and fault-tolerance issues. Formal logic, process algebra, and action/event models are applied: - to specify and model qualitative and quantitative real-time and fault-tolerant behavior, - to analyze timeliness requirements and consequences of faulthypotheses, - to verify protocols and program code, - to formulate formal frameworks for development of real-time and fault-tolerant systems, - to formulate semantics of languages. The integration and cross-fertilization of real-time and fault-tolerance issues have brought newinsights in recent years, and these are presented in this book. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v571 606 $aComputers 606 $aApplied mathematics 606 $aEngineering mathematics 606 $aMathematical logic 606 $aComputer logic 606 $aProbabilities 606 $aStatistics  606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aApplications of Mathematics$3https://scigraph.springernature.com/ontologies/product-market-codes/M13003 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProbability Theory and Stochastic Processes$3https://scigraph.springernature.com/ontologies/product-market-codes/M27004 606 $aStatistics, general$3https://scigraph.springernature.com/ontologies/product-market-codes/S0000X 615 0$aComputers. 615 0$aApplied mathematics. 615 0$aEngineering mathematics. 615 0$aMathematical logic. 615 0$aComputer logic. 615 0$aProbabilities. 615 0$aStatistics . 615 14$aTheory of Computation. 615 24$aApplications of Mathematics. 615 24$aMathematical Logic and Foundations. 615 24$aLogics and Meanings of Programs. 615 24$aProbability Theory and Stochastic Processes. 615 24$aStatistics, general. 676 $a004/.33 702 $aVytopil$b Jan$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465330903316 996 $aFormal Techniques in Real-Time and Fault-Tolerant Systems$91944996 997 $aUNISA LEADER 01178nam a2200301 i 4500 001 991001998109707536 008 061204s2005 maua b 101 0 eng d 020 $a0878938214 035 $ab13460274-39ule_inst 040 $aDi.S.Te.B.A.$beng 082 0 $a577.18 $222 245 00$aSpecies invasions :$binsights into ecology, evolution, and biogeography / $c edited by Dov F. Sax, John J. Stachowicz, and Steven D. Gaines 260 $aSunderland :$bSinauer Associates ; $c2005 300 $axiii, 495 p. :$bill. ;$c24 cm 504 $aIncludes bibliographical references and index 650 4$aBiological invasions$vCongresses 650 4$aEcology$vCongresses 650 4$aEvolution (Biology)$vCongresses 650 4$aBiogeography$vCongresses 700 1 $aStachowicz, John J. 700 1 $aSax, Dov F. 700 1 $aGaines, Steven Dean 907 $a.b13460274$b15-03-07$c04-12-06 912 $a991001998109707536 945 $aLE003 577.1 SAX01.01 (2005)$g1$i2003000089639$lle003$op$pE75.24$q-$rl$s- $t0$u1$v16$w1$x0$y.i14396427$z15-03-07 996 $aSpecies invasions$91099302 997 $aUNISALENTO 998 $ale003$b04-12-06$cm$da $e-$feng$gmau$h0$i0