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 LEADER 02432nam 2200397z- 450 001 9910346787003321 005 20210211 035 $a(CKB)4920000000095696 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/49805 035 $a(oapen)doab49805 035 $a(EXLCZ)994920000000095696 100 $a20202102d2018 |y 0 101 0 $aspa 135 $aurmn|---annan 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aIdentidad y cuerpo en la trama d?l sujetø sexo-generizadø: Del psicoana?lisis norteamericano a Judith Butler. Identidad y cuerpo 210 $cUniversidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educacio?n$d2018 215 $a1 online resource 225 1 $aBiblioteca Humanidades 311 08$a950-34-1692-2 330 $aLas categori?as de Identidad de Ge?nero y Cuerpo, en su complejo y enredado interjuego, operan de modo subterra?neo a partir de sentidos naturalizados que alimentan la patologizacio?n, la inferiorizacio?n y la exclusio?n de aquellas personas cuyas expresiones no son decodificadas bajo los principios de coherencia o autenticidad. Este libro ofrece un recorrido por diferentes miradas teo?ricas pertenecientes al contexto norteamericano contempora?neo. El abordaje realizado tiende a localizar nudos problema?ticos y develar supuestos que participan en la sedimentacio?n de las normas sociales a partir de las cuales toda localizacio?n sexo-gene?rica cobra existencia en funcio?n de su mayor o menor desajuste respecto a lo esperable. La riqueza de la perspectiva ofrecida se encuentra en el recorrido ma?s que en la segmentacio?n de sus contenidos. En u?ltima instancia, se trata de una cartografi?a posible que invita a recorrer un territorio complejo. 517 $aIdentidad y cuerpo en la trama dɇl sujetø sexo-generizadø 517 $aIdentidad y cuerpo en la trama d?l sujetø sexo-generizadø 606 $aPhilosophy$2bicssc 610 $aCuerpo 610 $aDiversidad sexual 610 $aGe?nero 610 $aIdentidad de ge?nero 615 7$aPhilosophy 700 $aMartínez$b Ariel$4auth$01292419 906 $aBOOK 912 $a9910346787003321 996 $aIdentidad y cuerpo en la trama d?l sujetø sexo-generizadø: Del psicoanálisis norteamericano a Judith Butler. Identidad y cuerpo$93022286 997 $aUNINA