LEADER 01091nam a2200313 i 4500 001 991001477609707536 005 20020507194201.0 008 951017s1982 de ||| | eng 020 $a3540112057 035 $ab10852888-39ule_inst 035 $aLE01312851$9ExL 040 $aDip.to Matematica$beng 082 0 $a001.642 084 $aAMS 68M15 100 1 $aHailpern, Brent T.$0537323 245 10$aVerifying concurrent processes using temporal logic /$cBrent T. Hailpern 260 $aBerlin :$bSpringer-Verlag,$c1982 300 $aviii, 208 p. :$bill. ;$c25 cm. 500 $aBibliography: p. [203]-208. 500 $aIncludes index 650 4$aComputer programs 650 4$aParallel processing 650 4$aReliability 907 $a.b10852888$b21-09-06$c28-06-02 912 $a991001477609707536 945 $aLE013 68M HAI11 (1982)$g1$i2013000037646$lle013$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10964472$z28-06-02 996 $aVerifying concurrent processes using temporal logic$9918324 997 $aUNISALENTO 998 $ale013$b01-01-95$cm$da $e-$feng$gde $h0$i1 LEADER 00760nam0-2200253 --450 001 9910804794403321 005 20240219123317.0 100 $a20240219d1957----kmuy0itay5050 ba 101 0 $aeng 102 $aGB 105 $aa 001yy 200 1 $aInvestigation of virus diseases of brassica crops$fby L. Broadbent 210 $aCambridge$cCambridge University press$d1957 215 $aVII, 94 p.$cill.$d25 cm. 610 0 $aOrticolture$aMalattie 676 $a635.049$v23$zita 700 1$aBroadbent,$bL.$01592516 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910804794403321 952 $aA PAT 1789$b1968/2024$fFAGBC 959 $aFAGBC 996 $aInvestigation of virus diseases of brassica crops$93910443 997 $aUNINA LEADER 03285nam 22008414a 450 001 9911020435203321 005 20250811175743.0 010 $a9786610252909 010 $a9781280252907 010 $a1280252901 010 $a9780470343005 010 $a0470343001 010 $a9780471723684 010 $a0471723681 010 $a9780471723707 010 $a0471723703 024 7 $a10.1002/0471723703 035 $a(CKB)1000000000013735 035 $a(EBL)226556 035 $a(SSID)ssj0000139217 035 $a(PQKBManifestationID)11146833 035 $a(PQKBTitleCode)TC0000139217 035 $a(PQKBWorkID)10009451 035 $a(PQKB)10689501 035 $a(MiAaPQ)EBC226556 035 $a(CaBNVSL)mat05224656 035 $a(IDAMS)0b00006481071376 035 $a(IEEE)5224656 035 $a(iGPub)WILEYB0029991 035 $a(OCoLC)85820227 035 $a(CaSebORM)9780471274476 035 $a(PPN)267783086 035 $a(OCoLC)842846803 035 $a(OCoLC)ocn842846803 035 $a(Perlego)2757546 035 $a(EXLCZ)991000000000013735 100 $a20020724d2003 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aDigital system clocking $ehigh performance and low-power aspects /$fVojin G. Oklobdzija ... [et al.] 205 $a1st edition 210 $aNew York $cIEEE ;$aHoboken, N.J. $cWiley-Interscience$dc2003 215 $a1 online resource (265 p.) 300 $aDescription based upon print version of record. 311 08$a9780471274476 311 08$a047127447X 320 $aIncludes bibliographical references (p. 233-240) and index. 327 $aPreface. -- Introduction. -- Theory of Clocked Storage Elements. -- Timing and Energy Parameters. -- Pipelining and Timing Analysis. -- High-Performance System Issues. -- Low-Energy System Issues. -- Simulation Techniques. -- State-of-the-Art Clocked Storage Elements in CMOS Technology. -- Microprocesor Examples. -- References. -- Index. 330 $aProvides the only up-to-date source on the most recent advances in this often complex and fascinating topic. . The only book to be entirely devoted to clocking. Clocking has become one of the most important topics in the field of digital system design. A "must have" book for advanced circuit engineers. 606 $aTiming circuits$xDesign and construction 606 $aMemory management (Computer science) 606 $aLow voltage integrated circuits$xDesign and construction 606 $aHigh performance computing 606 $aElectronic digital computers$xPower supply 606 $aElectric power$xConservation 615 0$aTiming circuits$xDesign and construction. 615 0$aMemory management (Computer science) 615 0$aLow voltage integrated circuits$xDesign and construction. 615 0$aHigh performance computing. 615 0$aElectronic digital computers$xPower supply. 615 0$aElectric power$xConservation. 676 $a621.3815 701 $aOklobdzija$b Vojin G$0286442 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9911020435203321 996 $aDigital system clocking$9758027 997 $aUNINA