01098nam--2200349---450-9900003507602033160035076USA010035076(ALEPH)000035076USA01003507620010307d1982----km-y0itay0103----baengDE||||||||001yyVerifing concurrent processes using temporal logicBrent T. HailpernBerlinSpringer Verlag1982VIII, 208 p.graf.24 cmLecture notes in computer science1292001Lecture notes in computer science129001.642HAILPERN,Brent T.537323ITsalbcISBD990000350760203316001 LNCS 1290002816 CBS00100101515BKSCITAMI4020010307USA011055ALANDI9020010319USA01114220020403USA011643PATRY9020040406USA011624Verifing concurrent processes using temporal logic878442UNISA02077nam0 22004573i 450 VAN0028306320250107112634.166N978981160197220241118d2021 |0itac50 baengSG|||| |||||i e bCorrelation and Autofluorescence Microscopy in Forensics Medicine: Time of Death Detection Using Polycrystalline Cerebrospinal Fluid FilmsM. S. Harazdyuk ... [et al.]SingaporeSpringer2021vii, 66 p.ill.24 cm001VAN001327172001 SpringerBriefs in Physics210 Berlin [etc.]Springer78A60Lasers, masers, optical bistability, nonlinear optics [MSC 2020]VANC029030MF81V80Quantum optics [MSC 2020]VANC023592MF92-XXBiology and other natural sciences [MSC 2020]VANC020839MF92C05Biophysics [MSC 2020]VANC020842MFEdge DiffractionKW:KOptical DiagnosticsKW:KOptical FieldsKW:KOptical TrappingKW:KPartially Coherent Light FieldsKW:KPolychromatic Singular OpticsKW:KSpatial Correlation FunctionsKW:KTemporal Correlation FunctionsKW:KSGSingaporeVANL000061HarazdyukM. S.VANV236205853533Springer <editore>VANV108073650ITSOL20250110RICAhttp://doi.org/10.1007/978-981-16-0197-2E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00283063BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 9783 08eMF9783 20241127 Correlation and autofluorescence microscopy in forensics medicine1905815UNICAMPANIA