LEADER 00789nam1-22002891i-450- 001 990004136520403321 005 20050927100300.0 035 $a000413652 035 $aFED01000413652 035 $a(Aleph)000413652FED01 035 $a000413652 100 $a19990604d1986----km-y0itay50------ba 101 0 $aita 105 $ay-------00-yd 200 1 $aDe Gasperi visto da vicino$fGiulio Andreotti 205 $a3. ed. 210 $aMilano$cRizzoli$dc1986 215 $a320 p.$d23 cm 676 $a945.092092$v21$zita 700 1$aAndreotti,$bGiulio$f<1919- >$033846 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990004136520403321 952 $a945.092 DEG 1$bBibl.2656$fFLFBC 959 $aFLFBC 996 $aDe Gasperi visto da vicino$9444471 997 $aUNINA LEADER 03102nas 2200925-a 450 001 996215736703316 005 20230125231950.0 011 $a2374-8079 035 $a(OCoLC)613839278 035 $a(CKB)954925467277 035 $a(CONSER)--2011250536 035 $a(DE-599)ZDB2317128-5 035 $a(EXLCZ)99954925467277 100 $a20100512a19759999 --- a 101 0 $aeng 135 $aurbn||||||abp 135 $aurbn||||||ada 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aPhotogrammetric engineering and remote sensing 210 $aFalls Church, Va. $cAmerican Society of Photogrammetry 210 2 $aFalls Church, Va. $cAmerican Society for Photogrammetry and Remote Sensing 210 3 $aBethesda, Md. $cAmerican Society for Photogrammetry and Remote Sensing 300 $aRefereed/Peer-reviewed 311 $a0099-1112 517 3 $aPhotogrammetric engineering & remote sensing 517 1 $aPE & RS 517 3 $aPE and RS 531 $aPE&RS 531 $aPHOTOGRAMMETRIC ENGINEERING & REMOTE SENSING 531 $aPHOTOGRAMM ENG REMOTE SENS 531 $aPHOTOGRAMM ENG REMOTE SENSING 531 $aPHOTOGRAMM ENG REM S 531 $aPHOTOGR E R 531 $aPE & RS 531 $aPHOTOGRAMM. ENG. REMOTE SENS 531 0 $aPhotogramm. eng. remote sens. 606 $aPhotographic surveying$vPeriodicals 606 $aAerial photography$vPeriodicals 606 $aPhotogrammetry$vPeriodicals 606 $aRemote sensing$vPeriodicals 606 $aPhototopographie$vPe?riodiques 606 $aPhotographie ae?rienne$vPe?riodiques 606 $aPhotogramme?trie$vPe?riodiques 606 $aTe?le?de?tection$vPe?riodiques 606 $aAerial photography$2fast$3(OCoLC)fst00798078 606 $aPhotogrammetry$2fast$3(OCoLC)fst01061575 606 $aPhotographic surveying$2fast$3(OCoLC)fst01061677 606 $aRemote sensing$2fast$3(OCoLC)fst01094469 606 $aAerial photographs$2gtt$3(NL-LeOCL)078578736 606 $aRemote sensing$2gtt 606 $aREMOTE SENSING$2unbist 606 $aPHOTOGRAMMETRY$2unbist 608 $aPeriodicals.$2fast 608 $aPeriodicals.$2lcgft 615 0$aPhotographic surveying 615 0$aAerial photography 615 0$aPhotogrammetry 615 0$aRemote sensing 615 6$aPhototopographie 615 6$aPhotographie ae?rienne 615 6$aPhotogramme?trie 615 6$aTe?le?de?tection 615 7$aAerial photography. 615 7$aPhotogrammetry. 615 7$aPhotographic surveying. 615 7$aRemote sensing. 615 17$aAerial photographs. 615 17$aRemote sensing. 615 7$aREMOTE SENSING. 615 7$aPHOTOGRAMMETRY. 676 $a526.982 676 $a526.9/82/05 712 02$aAmerican Society of Photogrammetry. 712 02$aAmerican Society for Photogrammetry and Remote Sensing. 906 $aJOURNAL 912 $a996215736703316 996 $aPhotogrammetric engineering and remote sensing$9789550 997 $aUNISA LEADER 03582nam 22005655 450 001 9910254843303321 005 20200707031527.0 010 $a3-319-42900-0 024 7 $a10.1007/978-3-319-42900-7 035 $a(CKB)3850000000027329 035 $a(DE-He213)978-3-319-42900-7 035 $a(MiAaPQ)EBC6312283 035 $a(MiAaPQ)EBC5591963 035 $a(Au-PeEL)EBL5591963 035 $a(OCoLC)982482639 035 $a(PPN)200512749 035 $a(EXLCZ)993850000000027329 100 $a20170403d2017 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aModels of Computation /$fby Roberto Bruni, Ugo Montanari 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XXII, 395 p. 34 illus., 1 illus. in color.) 225 1 $aTexts in Theoretical Computer Science. An EATCS Series,$x1862-4499 311 $a3-319-42898-5 327 $aPreliminaries -- Operational Semantics of IMP -- Induction and Recursion -- Partial Orders and Fixpoints -- Denotational Semantics of IMP -- Operational Semantics of HOFL -- Domain Theory -- HOFL Denotational Semantics -- Equivalence Between HOFL Denotational and Operational Semantics -- Calculus for Communicating Systems (CCS) -- Temporal Logic and mu-Calculus -- Pi-Calculus -- Measure Theory and Markov Chains -- Markov Chains with Actions and Non-determinism -- Performance Evaluation Process Algebra (PEPA). 330 $aThis book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference rules, and logic programming, the authors arrange their chapters into parts on IMP, a simple imperative language; HOFL, a higher-order functional language; concurrent, nondeterministic and interactive models; and probabilistic/stochastic models. The authors have class-tested the book content over many years, and it will be valuable for graduate and advanced undergraduate students of theoretical computer science and distributed systems, and for researchers in this domain. Each chapter of the book concludes with a list of exercises addressing the key techniques introduced, solutions to selected exercises are offered at the end of the book. 410 0$aTexts in Theoretical Computer Science. An EATCS Series,$x1862-4499 606 $aComputers 606 $aSoftware engineering 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 615 0$aComputers. 615 0$aSoftware engineering. 615 14$aTheory of Computation. 615 24$aSoftware Engineering/Programming and Operating Systems. 676 $a004.0151 700 $aBruni$b Roberto$4aut$4http://id.loc.gov/vocabulary/relators/aut$0157732 702 $aMontanari$b Ugo$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910254843303321 996 $aModels of Computation$92504016 997 $aUNINA