LEADER 01651nam1 2200469 450 001 990000421560203316 005 19981106001109.8 035 $a0042156 035 $aUSA010042156 035 $a(ALEPH)000042156USA01 035 $a0042156 100 $a19981106d1991----km-y1itay0103----ba 101 $afre$aeng 102 $aNL 105 $aa|||||||101yy 200 1 $aLiquides, cristallisation et transition vitreuse$dliquids, freezing and glass transition$eLes Houches, session LI 3-28 juillet 1989$fédité par J.P. Hansen, D. Levesque et J. Zinn-Justin 210 $aAmsterdam [etc.]$cNorth-Holland$d1991. 215 $av.$cill.$d23 cm 225 $aLes Houches series$v51. 300 $aIn testa al front.: USMG, NATO, ASI 410 1$12001$aLes Houches series$v51. 510 1 $aLiquids, freezing and glass transition 606 $aLiquidi$xCongressi$z1989 606 $aTrasformazione di fase$xCongressi$z1989 676 $a530.42 702 1$aZINN-JUSTIN,$bJean 702 1$aLEVESQUE,$bD. 702 1$aHANSEN,$bJean Pierre 710 12$aEcole d'été de physique theorique$d<51$eLes Houches$f1989>$0544748 801 0$aIT$bUNFI$c19981106 912 $a990000421560203316 951 $a530.42 ECO$bIng.$c530$dY 959 $aBK 969 $aTEC 979 $aJOHNNY$b40$c20010502$lUSA01$h1316 979 $aJOHNNY$b40$c20010502$lUSA01$h1508 979 $aJOHNNY$b40$c20010502$lUSA01$h1511 979 $aJOHNNY$b40$c20010502$lUSA01$h1511 979 $c20020403$lUSA01$h1650 979 $aPATRY$b90$c20040406$lUSA01$h1629 996 $aLiquides, cristallisation et transition vitreuse$9873287 997 $aUNISA LEADER 01993nam0 2200301 i 450 001 VAN0090787 005 20221121120044.895 010 $a90-7479-525-0 100 $a20120830d1995 |0itac50 ba 101 $aeng$aDUT 102 $aNL 105 $a|||| ||||| 200 1 $aVerification techniques for elementary data types and retransmission protocols$eacademisch proefschrift ter verkrijging van de graad van doctor aan de Universieit van Amsterdam op gezag van de rector magnificus prof. dr. P. W. M. de Meijer ten overstaan van een door het college voor promoties ingestelde commissie, in het openbaar te verdedigen in de aula der universiteit op vrijdag 15 september 1995, te 10:00 uur$fJacobus Johannes van Wamel 210 $aAmsterdam$cInstitute for logic, language and computation$d1995 215 $aVI, 152 p.$d24 cm 300 $aUniversiteit van Amsterdam, Faculteit Wiskunde en Informatica. - Tesi di dottorato 410 1$1001VAN0090786$12001 $aILLC dissertation series$1210 $aAmsterdam$cInstitute for Logic, Language and Computation.$v1995-6 606 $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF 620 $dAmsterdam$3VANL001716 700 1$aWamel$bJacobus Johannes : van$3VANV073642$0723076 712 $aInstitute for logic, language and computation$3VANV113868$4650 801 $aIT$bSOL$c20230616$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/van Wamel - Verification techniques for elementary data types and retransmission protocols.PDF$zvan Wamel - Verification techniques for elementary data types and retransmission protocols.PDF 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN0090787 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 68-XX 4724 $e08 7495 I 20120830 996 $aVerification techniques for elementary data types and retransmission protocols$91409739 997 $aUNICAMPANIA