00922nam0-22003131i-450-9900025417404033210387901612000254174FED01000254174(Aleph)000254174FED0100025417420000920d1976----km-y0itay50------baENGStochastic Processes in Queueing TheoryA.A. Borovkov . - Translated by Kenneth Wickwire.New YorkSpringer Verlag1976.vii, 280 p.25 cmApplications of mathematics4Probabilità, Processi stocastici519Borovkov,A.A.54621ITUNINARICAUNIMARCBK990002541740403321MIII-A-782554MASMIII-A-772536MASMASStochastic Processes in Queueing Theory437837UNINAING0101499nam 2200385 450 99657783570331620230721041406.01-5090-6978-X(CKB)4100000008867320(WaSeSS)IndRDA00119662(EXLCZ)99410000000886732020200305d2009 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierFMCAD 2009 proceedings of 9th International Conference 2009 Formal Methods in Computer-Aided Design : 15-18 November 2009, Austin, Texas, USA /technically sponsored by, IEEE Council on Electronic Design Automation ; in cooperation with ACM SIGDAPiscataway, New Jersey :Institute of Electrical and Electronics Engineers,2009.1 online resource (115 pages)1-4244-4965-0 Includes bibliographical references and index.Integrated circuitsVerificationCongressesDigital integrated circuitsComputer-aided designCongressesIntegrated circuitsVerificationDigital integrated circuitsComputer-aided design621IEEE Council on Electronic Design Automation,ACM Special Interest Group on Design Automation,WaSeSSWaSeSSPROCEEDING996577835703316FMCAD 20092520506UNISA