LEADER 00831nam0-22003011i-450-
001 990000506050403321
005 20080204133140.0
010   $a0-471-14311-1
035   $a000050605
035   $aFED01000050605
035   $a(Aleph)000050605FED01
035   $a000050605
100   $a20020821d1973----km-y0itay50------ba
101 0 $aeng
105   $aa-------001yy
200 1 $aMicrowave semiconductor devices$eFundamentals and radiation effects$fR. J. Chaffin
210   $aNew York$cWiley & sons$dc1973
215   $a387 p.$cill.$d23 cm
610 0 $aSemiconduttori
610 0 $aDispositivi a microonde
676   $a621.381'3
700  1$aChaffin,$bR. J.
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000506050403321
952   $a10 E III 149$b8094$fDINEL
959   $aDINEL
997   $aUNINA

LEADER 03564nam  22006975  450 
001 9910298989703321
005 20200701160835.0
010   $a3-662-45198-0
024 7 $a10.1007/978-3-662-45198-4
035   $a(CKB)3710000000356740
035   $a(EBL)1974111
035   $a(SSID)ssj0001452000
035   $a(PQKBManifestationID)11834512
035   $a(PQKBTitleCode)TC0001452000
035   $a(PQKBWorkID)11479633
035   $a(PQKB)11768934
035   $a(MiAaPQ)EBC1974111
035   $a(DE-He213)978-3-662-45198-4
035   $a(PPN)184493862
035   $a(EXLCZ)993710000000356740
100   $a20150206d2014      u|         0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aSemantics of Probabilistic Processes $eAn Operational Approach /$fby Yuxin Deng
205   $a1st ed. 2014.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2014.
215   $a1 online resource (258 p.)
300   $aDescription based upon print version of record.
311   $a3-662-45197-2 
320   $aIncludes bibliographical references and index.
327   $a1. Introduction -- 2. Mathematical Preliminaries -- 3. Probabilistic Bisimulation -- 4. Probabilistic Testing Semantics -- 5. Testing Finite Probabilistic Processes -- 6. Testing Finitary Probabilistic Processes -- 7. Weak probabilistic bisimulation -- Index.
330   $aThis book discusses the semantic foundations of concurrent systems with nondeterministic and probabilistic behaviour. Particular attention is given to clarifying the relationship between testing and simulation semantics and characterising bisimulations from metric, logical, and algorithmic perspectives. Besides presenting recent research outcomes in probabilistic concurrency theory, the book exemplifies the use of many mathematical techniques to solve problems in computer science, which is intended to be accessible to postgraduate students in Computer Science and Mathematics. It can also be used by researchers and practitioners either for advanced study or for technical reference.
606   $aComputer logic
606   $aLogic, Symbolic and mathematical
606   $aComputer science?Mathematics
606   $aMathematical statistics
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028
606   $aProbability and Statistics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17036
615  0$aComputer logic.
615  0$aLogic, Symbolic and mathematical.
615  0$aComputer science?Mathematics.
615  0$aMathematical statistics.
615 14$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aProbability and Statistics in Computer Science.
676   $a004
676   $a004.0151
676   $a005.1015113
676   $a005.131
676   $a005.55
700   $aDeng$b Yuxin$4aut$4http://id.loc.gov/vocabulary/relators/aut$0904551
906   $aBOOK
912   $a9910298989703321
996   $aSemantics of Probabilistic Processes$92022602
997   $aUNINA