LEADER 01021nam0-22003371i-450- 001 990006907350403321 005 20001010 010 $a0-415-18078-3 035 $a000690735 035 $aFED01000690735 035 $a(Aleph)000690735FED01 035 $a000690735 100 $a20001010d--------km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $aSPAIN and the great powers in the twentieth century$fedited by Sebastian Balfour and Paul Preston. 210 $aLondon-New York$cRoutledge$d1999. 215 $aVIII, 274 p.$d22 cm 225 1 $aRoutledge/Canada blanch studies in contemporary Spain 610 0 $aSpagna - Relazioni internazionali 676 $a327.46 702 1$aBalfour,$bSebastian 702 1$aPreston,$bPaul 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990006907350403321 952 $aXIV B 1751$b36531$fFSPBC 959 $aFSPBC 996 $aSPAIN and the great powers in the twentieth century$9629823 997 $aUNINA DB $aGEN01 LEADER 02429nam 2200589 a 450 001 9910138864203321 005 20170815103302.0 010 $a1-118-60263-3 010 $a1-118-60268-4 010 $a1-118-60269-2 010 $a1-299-18771-4 035 $a(CKB)2550000001005904 035 $a(EBL)1124671 035 $a(OCoLC)828298915 035 $a(SSID)ssj0000831960 035 $a(PQKBManifestationID)11521862 035 $a(PQKBTitleCode)TC0000831960 035 $a(PQKBWorkID)10881464 035 $a(PQKB)11462504 035 $a(OCoLC)828423700 035 $a(MiAaPQ)EBC1124671 035 $a(PPN)185060641 035 $a(EXLCZ)992550000001005904 100 $a20110502d2011 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aModels and analysis in distributed systems$b[electronic resource] /$fedited by Serge Haddad ... [et al.] 210 $aLondon $cISTE ;$aHoboken, N.J. $cWiley$d2011 215 $a1 online resource (358 p.) 225 1 $aISTE 300 $aDescription based upon print version of record. 311 $a1-84821-314-X 320 $aIncludes bibliographical references and index. 327 $apt. 1. Formal models for distributed systems -- pt. 2. Verification techniques for distributed systems. 330 $aNowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms - from the same editors - introduce the underlying concepts, the associated design techniques and the related security issues.The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of pro 410 0$aISTE 606 $aDistributed parameter systems$xSimulation methods 606 $aSystem analysis 615 0$aDistributed parameter systems$xSimulation methods. 615 0$aSystem analysis. 676 $a003.78 701 $aHaddad$b Serge$0863196 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910138864203321 996 $aModels and analysis in distributed systems$92163466 997 $aUNINA LEADER 01079nam a22002651i 4500 001 991000547169707536 005 20040204141753.0 008 040220s1949 it |||||||||||||||||ita 035 $ab12634116-39ule_inst 035 $aARCHE-063246$9ExL 040 $aDip.to Scienze pedagogiche$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l. 082 04$a193 100 1 $aHartmann, Eduard :$cvon$0482300 245 10$aKant padre del pessimismo /$cEduardo v. Hartmann ; traduzione e prefazione di T. Moretti-Costanzi 260 $aRoma :$bEditoriale "Arte e storia",$c1949 300 $aXXII, 70 p. ;$c25 cm 440 0$aCollana filosofica P. Carabellese.$pSerie classici 600 14$aKant, Immanuel$xPensiero filosofico 700 1 $aMoretti Costanzi, Teodorico 907 $a.b12634116$b02-04-14$c17-03-04 912 $a991000547169707536 945 $aLE022 MP 71 E 11$g1$i2022000063975$lle022$o-$pE0.00$q-$rl$s- $t0$u2$v0$w2$x0$y.i13136513$z17-03-04 996 $aKant padre del pessimismo$9276994 997 $aUNISALENTO 998 $ale022$b17-03-04$cm$da $e-$fita$git $h0$i1