02310nlm0 22006371i 450 9900092581804033219783540892472000925818FED01000925818(Aleph)000925818FED0100092581820100926d2008----km-y0itay50------baengDEdrnn-008mamaaRuntime VerificationRisorsa elettronica8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papersedited 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, Martin LeuckerBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97435289Documento elettronicoTestoFormato html, pdfHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Leucker,MartinMattern,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-89247-2EB990009258180403321Algorithm Analysis and Problem ComplexityComputer scienceComputer ScienceComputer softwareComputer system performanceLogic designLogics and Meanings of ProgramsOperating systems (Computers)Performance and ReliabilityProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringSystem Performance and EvaluationRuntime Verification772115UNINA01376nam0 22003373i 450 VAN0028778820251211022042.280N978303062621120250226d2021 |0itac50 baengCH|||| |||||i e bcrˆThe ‰Gastro-ArcheologistRevealing the Mysteries of the Intestine and its DiseasesJeremy WoodwardChamSpringer2021XVII, 304 p.ill.24 cmCHChamVANL001889612.3Nutrizione umana22612Fisiologia umana22WoodwardJeremyVANV2423391784047Springer <editore>VANV108073650ITSOL20251212RICAhttps://link.springer.com/book/10.1007/978-3-030-62621-1E-book - Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHEIT-CE0101VAN17NVAN00287788BIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHE17CONS e-book 189 17BIB189/111 111 20250226 Gastro-Archeologist4315053UNICAMPANIA