LEADER 00764nam0-22002651i-450-
001 990006351760403321
005 19980601
035   $a000635176
035   $aFED01000635176
035   $a(Aleph)000635176FED01
035   $a000635176
100   $a19980601d1845----km-y0itay50------ba
105   $a--------00-yy
200 1 $aDICTIONNAIRE des Hérésises des erreurs et des schismes du Mémoires..$fDICTIONNAIRE
210   $aParis$cA. Boyer$d1845
215   $a2 v.$d20 cm
676   $a262.903
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990006351760403321
952   $aII A I$b1043$fFGBC
959   $aFGBC
996   $aDICTIONNAIRE des Hérésises des erreurs et des schismes du Mémoires.$9658044
997   $aUNINA
DB    $aGIU01

LEADER 01546nam2-2200409---450-
001 990003147220203316
005 20080929101257.0
010   $a978-3-540-75220-2
035   $a000314722
035   $aUSA01000314722
035   $a(ALEPH)000314722USA01
035   $a000314722
100   $a20080919d2007----km-y0itay50------ba
101   $aeng
102   $aDE
105   $aa---||||001yy
200 1 $aFormal methods and hybrid real-time systems$eessays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays$e[symposium held September 24-25, 2007 in Macao, China]$fCliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.)
210   $aBerlin [etc.]$cSpringer 2007$dcopyr. 2007
215   $aXVI, 538 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$iFestschrift$v4700
410  0$12001$aLecture notes in computer science
461  1$1001000314960$12001$aLecture notes in computer science
606 0 $aElaborazione in tempo reale$xCongressi$yMacao$z2007
676   $a004.33
702  1$aJONES,$bCliff B.
702  1$aLIU,$bZhiming
702  1$aWOODCOCK,$bJim
710 02$a[Symposium held September 24-25, 2007 in Macao, China]$f<2007;$eMacao>$0602163
801  0$aIT$bsalbc$gISBD
912   $a990003147220203316
951   $a001 LNCS 4700$b35422/CBS$c001$d00216628
959   $aBK
969   $aSCI
979   $aCBAS$b10$c20080919$lUSA01$h1031
979   $aCBAS$b10$c20080929$lUSA01$h1012
996   $aFormal methods and hybrid real-time systems$91018464
997   $aUNISA