01534nam 2200505 450 991080902350332120230912174801.01-118-59313-81-118-59320-0(CKB)24989750600041(Au-PeEL)EBL1835695(CaPaEBR)ebr10986620(OCoLC)879851902(CaSebORM)9781118593134(MiAaPQ)EBC1835695(JP-MeL)3000110571(MiAaPQ)EBC7103842(EXLCZ)992498975060004120140512h20152015 uy| 0engur|||||||||||rdacontentrdamediardacarrierProbability and stochastic processes /Ionut Florescu, Stevens Institute of Technology, Hoboken, NJHoboken, New Jersey :John Wiley & Sons, Inc.,[2015]20151 online resource (579 pages) illustrationsIncludes bibliographical references (p. 541-545) and indexIncludes bibliographical references and index.ProbabilitiesStochastic processesProbabilities.Stochastic processes.519.2417.1njb/09519.2njb/09Florescu Ionut1973-525052MiAaPQMiAaPQMiAaPQBOOK9910809023503321Probability and stochastic processes822807UNINA03009nam0 22006493i 450 VAN025003520230531020958.313N978303030229020220912d2020 |0itac50 baengCH|||| |||||Well-Quasi Orders in Computation, Logic, Language and ReasoningA Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set TheoryPeter M. Schuster, Monika Seisenberger, Andreas Weiermann editorsChamSpringer2020x, 391 p.ill.24 cm001VAN01031502001 Trends in logicstudia logica library210 Berlin [etc.]Springer53VAN0250036Well-Quasi Orders in Computation, Logic, Language and Reasoning218577003-XXMathematical logic and foundations [MSC 2020]VANC019750MF03ExxSet theory [MSC 2020]VANC019939MF00B25Proceedings of conferences of miscellaneous specific interest [MSC 2020]VANC020732MF06A05Total order [MSC 2020]VANC023627MF03FxxProof theory and constructive mathematics [MSC 2020]VANC024383MFAnalytic combinatoricsKW:KBraid GroupsKW:KCombinatoricsKW:KCommutative algebraKW:KComputational content of classical proofsKW:KConstructive mathematicsKW:KDescriptive set theoryKW:KDiscrete mathematicsKW:KGraph theoryKW:KGraph-minor TheoremKW:KKriz's TheoremKW:KMaximal Order TypeKW:KOrdinal Notation SystemKW:KProof TheoryKW:KReverse MathematicsKW:KSubrecursive hierarchiesKW:KTermination ProofsKW:KTheorem Proving and VerificationKW:KTheory of relationsKW:KWell Quasi-orderKW:KCHChamVANL001889SchusterPeter M.VANV158391SeisenbergerMonikaVANV204359WeiermannAndreasVANV204360Springer <editore>VANV108073650Schuster, Peter MichaelSchuster, Peter M.VANV204357Schuster, PeterSchuster, Peter M.VANV204358ITSOL20240614RICAhttp://doi.org/10.1007/978-3-030-30229-0E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0250035BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 4919 08eMF4919 20220912 Well-Quasi Orders in Computation, Logic, Language and Reasoning2185770UNICAMPANIA