LEADER 01631nam 2200529Ia 450 001 9910456342203321 005 20200520144314.0 010 $a1-59327-023-2 035 $a(CKB)111086906337554 035 $a(CtWfDGI)bks00002408 035 $a(SSID)ssj0000285319 035 $a(PQKBManifestationID)12060935 035 $a(PQKBTitleCode)TC0000285319 035 $a(PQKBWorkID)10296992 035 $a(PQKB)11032685 035 $a(MiAaPQ)EBC3017608 035 $a(Au-PeEL)EBL3017608 035 $a(CaPaEBR)ebr10018405 035 $a(OCoLC)923653165 035 $a(EXLCZ)99111086906337554 100 $a20010216d2002 uy 0 101 0 $aeng 135 $aurzn|||||| 181 $ctxt 182 $cc 183 $acr 200 14$aThe book of visual studio.Net$b[electronic resource] $eaguide for developers /$fRobert B. Dunaway 210 $aSan Francisco, Calif. $cNo Starch Press$dc2002 215 $axix, 369 p. $cill 300 $aIncludes index. 311 $a1-886411-69-7 606 $aMicrosoft .NET Framework 606 $aWeb site development$xComputer programs 606 $aApplication software$xDevelopment$xComputer programs 608 $aElectronic books. 615 0$aMicrosoft .NET Framework. 615 0$aWeb site development$xComputer programs. 615 0$aApplication software$xDevelopment$xComputer programs. 676 $a005.2/76 700 $aDunaway$b Robert B$0868248 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910456342203321 996 $aThe book of visual studio.Net$91938164 997 $aUNINA LEADER 01664nam 2200481 450 001 996464527203316 005 20220727184248.0 010 $a3-030-90870-4 035 $a(MiAaPQ)EBC6801970 035 $a(Au-PeEL)EBL6801970 035 $a(CKB)19410712400041 035 $a(OCoLC)1285171495 035 $a(PPN)258838701 035 $a(EXLCZ)9919410712400041 100 $a20220727d2021 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aFormal methods $e24th International Symposium, FM 2021, Virtual event, November 20-26, 2021, Proceedings /$fMarieke Huisman, Corina Pa?sa?reanu, Naijun Zhan (editors) 210 1$aCham, Switzerland :$cSpringer,$d[2021] 210 4$d©2021 215 $a1 online resource (801 pages) 225 1 $aLecture notes in computer science ;$v13047 311 08$aPrint version: Huisman, Marieke Formal Methods Cham : Springer International Publishing AG,c2021 9783030908690 320 $aIncludes bibliographical references and index. 410 0$aLecture notes in computer science ;$v13047. 606 $aFormal methods (Computer science)$vCongresses 606 $aFormal methods (Computer science) 615 0$aFormal methods (Computer science) 615 0$aFormal methods (Computer science) 676 $a004.0151 702 $aHuisman$b Marieke 702 $aPa?sa?reanu$b Corina S. 702 $aZhan$b Naijun 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996464527203316 996 $aFormal methods$92247212 997 $aUNISA LEADER 00898nam a2200241 i 4500 001 991002178479707536 005 20020508191810.0 008 930521s1967 sz ||| | ger 035 $ab10970757-39ule_inst 035 $aPARLA156751$9ExL 040 $aDip.to Filol. Class. e Med.$bita 082 0 $a873.01 100 1 $aKlingner, Friedrich$0185960 245 10$aBucolica; Georgica ; Aeneis /$cVirgil ; [edidit] Friedrich Klingner 260 $aZürich ; Stuttgart :$bArtemis,$c[1967] 300 $a607 p. ;$c23 cm. 600 14$aVirgilio Marone, Publio.$tOpere 907 $a.b10970757$b19-03-19$c28-06-02 912 $a991002178479707536 945 $aLE007 870.1 Vergilius KLI 01.501$g1$i2007000017692$lle007$o-$pE0.00$q-$rl$s- $t0$u1$v0$w1$x0$y.i11081430$z28-06-02 996 $aBucolica; Georgica ; Aeneis$9864481 997 $aUNISALENTO 998 $ale007$b01-01-93$cm$da $e-$fger$gsz $h0$i1 LEADER 01376nam0 22003251i 450 001 UON00503056 005 20231205105423.442 100 $a20200225d1973 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| 1|||| 200 1 $aˆLa ‰guerra civile negli Stati Uniti$fKarl Marx e Friedrich Engels$gintroduzione e cura di Raffaele Rinaldi 210 $aMilano$cFeltrinelli$d1973 215 $a211 p.$d23 cm. 316 $aValore stimato$5IT-UONSI NordAXI AMAR 410 1$1001UON00015248$12001 $aˆIl ‰Pensiero socialista$1210 $aMilano$cFeltrinelli Editore 606 $aStati Uniti$xGuerra Civile$x1861-1865$3UONC072160$2FI 606 $aSTATI UNITI D'AMERICA$xCondizioni economiche e sociali$3UONC093875$2FI 620 $aIT$dMilano$3UONL000005 676 $a973.7$cStoria. Stati Uniti 1861-$v21 700 1$aMarx$bKarl$3UONV008384$032587 702 1$aEngels$bFriedrich$3UONV008733 712 $aFeltrinelli$3UONV246160$4650 790 0$aMAKESI$zMarx, Karl$3UONV008385 801 $aIT$bSOL$c20251003$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00503056 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI XI A MAR $eSI SNA299 7 Valore stimato 996 $aGuerra civile negli Stati Uniti$91733177 997 $aUNIOR