LEADER 00803nam0-2200265 --450 001 9910280552003321 005 20180726100317.0 100 $a20180726d1954----km y0itay50 ba 101 0 $aita 102 $aIT 105 $aa 001yy 200 1 $aLezioni di trazione elettrica$fMarco Semenza$ga cura di Fernando Malusardi 205 $aNuova ed. riveduta e ampliata 210 $aTorino$cLibreria tecnica editrice V. Giorgio$d1954 215 $a510 p.$c91 figure$d25 cm 225 1 $aBiblioteca politecnico universitaria$v386 676 $a625.263$v20 700 1$aSemenza,$bMarco$01829 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910280552003321 952 $aG4/29$b2791$fDINTR 959 $aDINTR 996 $aLezioni di trazione elettrica$9107042 997 $aUNINA LEADER 06941nam 22008175 450 001 996465639603316 005 20200630013815.0 010 $a3-540-30206-9 024 7 $a10.1007/b100824 035 $a(CKB)1000000000212576 035 $a(DE-He213)978-3-540-30206-3 035 $a(SSID)ssj0000157249 035 $a(PQKBManifestationID)11160334 035 $a(PQKBTitleCode)TC0000157249 035 $a(PQKBWorkID)10139508 035 $a(PQKB)11644376 035 $a(MiAaPQ)EBC3087699 035 $a(PPN)155230255 035 $a(EXLCZ)991000000000212576 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems$b[electronic resource] $eJoint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings /$fedited by Yassine Lakhnech, Sergio Yovine 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (X, 402 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v3253 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-23167-6 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Papers -- From Software to Hardware and Back -- Of Elections and Electrons -- Regular Papers -- Formal Verification of an Avionics Sensor Voter Using SCADE -- Mixed Delay and Threshold Voters in Critical Real-Time Systems -- Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems -- On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies -- On Timed Automata with Input-Determined Guards -- Decomposing Verification of Timed I/O Automata -- Symbolic Model Checking for Simply-Timed Systems -- Robustness and Implementability of Timed Automata -- Real-Time Testing with Timed Automata Testers and Coverage Criteria -- Monitoring Temporal Properties of Continuous Signals -- A Unified Fault-Tolerance Protocol -- Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications -- Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata -- Static Fault-Tolerant Real-Time Scheduling with ?Pseudo-topological? Orders -- The Influence of Durational Actions on Time Equivalences -- Bounded Model Checking for Region Automata -- Some Progress in Satisfiability Checking for Difference Logic -- Model-Checking for Weighted Timed Automata -- Symbolic Model Checking for Probabilistic Timed Automata -- Structured Modeling of Concurrent Stochastic Hybrid Systems -- Computing Schedules for Multithreaded Real-Time Programs Using Geometry -- Forward Reachability Analysis of Timed Petri Nets -- Lazy Approximation for Dense Real-Time Systems -- Learning of Event-Recording Automata. 330 $aThis volume contains the proceedings of the joint conference on Formal M- elling and Analysis of Timed Systems (FORMATS) and Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT), held in Grenoble,France,on September 22?24,2004. The conference united two previously independently - ganized conferences FORMATS and FTRTFT. FORMATS 2003 was organized asasatelliteworkshopofCONCUR2003andwasrelatedtothreeindependently started workshop series: MTCS (held as a satellite event of CONCUR 2000 and CONCUR 2002), RT-TOOLS (held as a satellite event of CONCUR 2001 and FLoC 2002) and TPTS (held at ETAPS 2002). FTRTFT is a symposium that was held seven times before: in Warwick 1988, Nijmegen 1992, Lu ¨beck 1994, Uppsala 1996, Lyngby 1998, Pune 2000 and Oldenburg 2002. The proceedings of these symposia were published as volumes 331, 571, 863, 1135, 1486, 1926, and 2469 in the LNCS series by Springer. Thisjointconferenceis dedicatedtotheadvancementofthetheoryandpr- ticeofthe modelling,designandanalysisofreal-timeandfault-tolerantsystems. Indeed,computersystemsarebecomingincreasinglywidespreadinreal-timeand safety-critical applications such as embedded systems. Such systems are char- terized by the crucial need to manage their complexity in order to produce reliable designs and implementations. The importance of timing aspects, p- formance and fault-tolerance is continuously growing. Formal techniques o?er a foundation for systematic design of complex systems. They have bene?cial - plications throughout the engineering process, from the capture of requirements through speci?cation, design, coding and compilation, down to the hardware that embeds the system into its environment. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v3253 606 $aComputers 606 $aComputer logic 606 $aProgramming languages (Electronic computers) 606 $aMicroprocessors 606 $aSpecial purpose computers 606 $aSoftware engineering 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aProcessor Architectures$3https://scigraph.springernature.com/ontologies/product-market-codes/I13014 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 615 0$aComputers. 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers). 615 0$aMicroprocessors. 615 0$aSpecial purpose computers. 615 0$aSoftware engineering. 615 14$aTheory of Computation. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aProcessor Architectures. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aSoftware Engineering. 676 $a003/.3 702 $aLakhnech$b Yassine$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aYovine$b Sergio$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aFORMATS 2004 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465639603316 996 $aFormal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems$92223515 997 $aUNISA LEADER 05177nam 2200649Ia 450 001 996202928903316 005 20230213211443.0 010 $a1-282-30674-X 010 $a9786612306747 010 $a0-470-18679-8 010 $a0-470-18829-4 035 $a(CKB)1000000000376537 035 $a(EBL)469485 035 $a(OCoLC)814414716 035 $a(SSID)ssj0000336453 035 $a(PQKBManifestationID)11929272 035 $a(PQKBTitleCode)TC0000336453 035 $a(PQKBWorkID)10279735 035 $a(PQKB)10547141 035 $a(MiAaPQ)EBC469485 035 $a(EXLCZ)991000000000376537 100 $a19840208d1964 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 14$aThe cyanine dyes and related compounds$b[electronic resource] /$fFrances M. Hamer 205 $a99th ed. 210 $aNew York $cInterscience$d1964 215 $a1 online resource (830 p.) 225 1 $aThe chemistry of heterocyclic compounds, a series of monographs ;$vv. 18 300 $aDescription based upon print version of record. 311 $a0-470-38181-7 320 $aIncludes bibliographies. 327 $aTHE CYANINE DYES AND RELATED COMPOUNDS; Contents; I. Mainly Introductory; 1. The Connection of the Cyanines with Photography; 2. The Chemistry of the First Sixty-Three Years (up to 1919); 3. Establishment of the Constitution of the Typical Cyanines Known in 1920; A. The Constitution of Isocyanine; B. The Constitution of Cyanine; C. The Constitution of Pinacyanol; D. The Constitution of Cyanines of the Benzothiazole Series; E. Preparation of Unsymmetrical Methincyanines; F. The Constitution of Kryptocyanine; G. The Constitution of Dicyanine; H. The Constitution of the Apocyanines 327 $aI. Summary, and Some Developments4. Definition and Nomenclature; 5. Cyanines in which the Nuclei are Directly Linked (Apocyanines); A. General; B. Preparation and Properties; C. Nomenclature; II Methincyanines; 1. 4'-Cyanine Condensation (Involving Elimination of HX + Ha); A. General; B. 4,4'-Cyanines; C. 2,4'-Cyanines; D. Thia-4'-, Oxa-4'-, and Selena-4'-cyanines; E. Thizolo-4'- and Thiazolino-4'-cyanines; F. Thiacyanines; 2. ?-Cyanine Condensation (Involving Reactive I, CI, CN, or SO3R, and Elimination of 2HX); A. General; B. 2,2'-Cyanines; C. 2,4'-Cyanines 327 $aD. Thia-4'- and Selena-4'-cyaninesE. Indo-2'-cyanines; F. Thia-2'-, Oxa-2'-, and Selena-2'-cyanines; G. Thiazolo-a'-. Thiazolino-Z'-. Ox&olo-2'-. and Selenazolo-2'- cyanines; H. 2-Pyrido-2'-, 2-Pyrido4'-, 4-Pyrido.2'-, and 4-Pyrido-4'- cyanines; I. 2-Pyridothia- and Oxa-2'-pyrido-cyanines; J. 2.2'-, 2.4'-, and 4.4'- Pyridocyanines; K. Thiazolo-2'-, Thiazolino-2'-, Oxazolo-2'-, and Selenazolo-2'- pyridocyanines; L. Thiacyanines; 3. Nitrite Method; A. General; B. Indocyanines and Intermediate Compounds; C. Thiacyanines; D. Oxa- and Selena-cyanines; 4. Alkyl- or Aryl-thio Method; A. General 327 $aB. 2,2'- and 2,4'-CyaninesC. Thia-4'- and Oxa-4'-cyanines; D. Indo-2'-cyanines; E. Thia-2'- Oxa-2'-, and Selena-2'-cyanines; F. Thiazolo-2'-, Thiazolino-2'- and Oxazolo-2'-cyanines; G. 2-Pyrido-2'- and 4-Pyrido-4'-cyanines; H. Oxa-2'-pyrido- and 2-Pyridothia-cyanines; I. 4,4 '-Pyridocyanines; J. Thiazolo-2'- and Thiazolino-2'-pyridocyanines; K. Thia-, Oxa-, Oxathia- and Selenathia-cyanines; L. Indoxa- and Indothia-cyanines; M. Oxaoxazolo-, Oxathiamlo-, Oxazolothia-, and Thiathiazolo- cyanines; N. Oxazolo-, Thiazolo-, and Oxazolothiazolocyanines; 5. Condensations Depending on Reactive : N . R 327 $aA. GeneralB. Thia-2'cyanines; C. Thiacyanines; 6. Other Methods; A. Use of Grignard Reagent for Thiacyanines; B. Use of Ethyl Malonate for Synthesising Thiacyanines; C. Disulphide Method for Thia-, Thia-2'-, Thia-4'-, 2-Pyridothia-, and Thiathiazolo-cyanines; D. Malonic Acid Method for 2,2'-, Thia-, Oxa-, and Thiazolo- cyanines; E. 4,4'-Cyanine by Cleavage of 4,4'-Carbocyanine with Lepidine Ethiodide; F. Thia-, Oxa-, and Selena-cyanines by Reaction of a Quaternary Salt, Having a Methylthio-Group, with Acetic Anhydride; III . Methincyanines with Substituents on the Chain; A. General 327 $aB. 2,2'-Cyanines 330 $aChemistry of Heterocyclic Compounds publishes articles, letters to the Editor, reviews, and minireviews on the synthesis, structure, reactivity, and biological activity of heterocyclic compounds including natural products. The journal covers investigations in heterocyclic chemistry taking place in scientific centers of all over the world, including extensively the scientific institutions in Russia, Ukraine, Latvia, Lithuania and Belarus. 410 0$aChemistry of heterocyclic compounds ;$vv. 18. 606 $aCyanines 606 $aDyes and dyeing$xChemistry 615 0$aCyanines. 615 0$aDyes and dyeing$xChemistry. 676 $a547/.59/05 676 $a667.25 700 $aHamer$b Frances M$01275227 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996202928903316 996 $aThe cyanine dyes and related compounds$93004706 997 $aUNISA