000			03123nam a22003735i 4500
001			316492
003			MX-SnUAN
005			20160429160940.0
007			cr nn 008mamaa
008			160108s2014 gw | s |||| 0|eng d
020			_a9783319068800 _9978-3-319-06880-0
035			_avtls000417253
039		9	_y201601081139 _zstaff
050		4	_aQA76.9.L63
245	1	0	_aHorizons of the mind. A tribute to prakash panangaden : _bessays dedicated to prakash panangaden on the occasion of his 60th birthday / _cedited by Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten.
264		1	_aCham : _bSpringer International Publishing : _bSpringer, _c2014.
300			_axviii, 499 páginas : _b36 ilustraciones
336			_atexto _btxt _2rdacontent
337			_acomputadora _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
347			_aarchivo de texto _bPDF _2rda
490	0		_aLecture Notes in Computer Science, _x0302-9743 ; _v8464
500			_aSpringer eBooks
505	0		_aLayout Randomization and Nondeterminism -- Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations -- An Operational Interpretation of Negative Probabilities and No-Signalling Models -- Bisimulation on Markov Processes over Arbitrary Measurable Spaces -- Probabilistic Model Checking for Energy-Utility Analysis -- (Co)Algebraic Characterizations of Signal Flow Graphs -- Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra -- Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs -- Privacy from Accelerating Eavesdroppers: The Impact of Losses -- The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata -- From Haar to Lebesgue via Domain Theory -- Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars -- The Logic of Entanglement -- Free Energy of Petri Nets -- Laudatio for Prakash Panangaden -- Generalized Differential Privacy: Regions of Priors That Admit Robust Optimal Mechanisms -- Bisimulation for Markov Decision Processes through Families of Functional Expressions -- Random Measurable Selections -- A Final Coalgebra for k-regular Sequences -- Automata Learning: A Categorical Perspective -- Optimal Coin Flipping -- Entanglement, Flow and Classical Simulatability in Measurement Based Quantum Computation -- Euclidean Representations of Quantum States -- TCC, with History -- Probabilistic and Quantum Event Structures.
590			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aBreugel, Franck van, _eeditor. _9359699
700	1		_aKashefi, Elham, _eeditor. _9359700
700	1		_aPalamidessi, Catuscia, _eeditor. _9329593
700	1		_aRutten, Jan, _eeditor. _9329694
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9783319068794
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-319-06880-0 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c316492 _d316492