02341nlm0 22006371i 450 9900092567204033219783540857785000925672FED01000925672(Aleph)000925672FED0100092567220100926d2008----km-y0itay50------baengDEdrnn-008mamaaFormal Modeling and Analysis of Timed SystemsRisorsa elettronica6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedingsedited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Franck Cassez, Claude JardBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97435215Documento elettronicoTestoFormato html, pdfCassez,FranckHutchison,DavidJard,ClaudeKanade,TakeoKittler,JosefKleinberg,Jon M.Mattern,FriedemannMitchell,John C.Naor,MoniNierstrasz,OscarPandu Rangan,C.Steffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Weikum,GerhardITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-85778-5EB990009256720403321Computer scienceComputer ScienceComputer system performanceInformation theoryLogic designLogics and Meanings of ProgramsModels and PrinciplesProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringSystem Performance and EvaluationTheory of ComputationFormal Modeling and Analysis of Timed Systems772562UNINA01259nam 2200361 450 991022013900332120170919031129.00-8330-9442-4(CKB)3710000000618676(WaSeSS)IndRDA00124424(EXLCZ)99371000000061867620200610d2016 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierEvaluation of CalMHSA student mental health online resources /Lisa M. Sontag-Padilla [and three others]Santa Monica, California :RAND Corporation,2016.1 online resource (10 pages)Evaluation of California Mental Health Services Authority's student mental health online resourcesMental health servicesEvaluationStudentsMental health servicesMental health servicesEvaluation.StudentsMental health services.362.2068Sontag-Padilla Lisa1249647WaSeSSWaSeSSBOOK9910220139003321Evaluation of CalMHSA student mental health online resources2971402UNINA