02440nlm0 22006491i 450 9900092593604033219783642004315000925936FED01000925936(Aleph)000925936FED0100092593620100926d2009----km-y0itay50------baengDEdrnn-008mamaaModel Checking and Artificial IntelligenceRisorsa elettronica5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited 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, Randy Goebel, Jörg Siekmann, Wolfgang Wahlster, Doron A. Peled, Michael J. WooldridgeBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435348Documento elettronicoTestoFormato html, pdfGoebel,RandyHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Mattern,FriedemannMitchell,John C.Naor,MoniNierstrasz,OscarPandu Rangan,C.Peled,Doron A.Siekmann,JörgSteffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Wahlster,WolfgangWeikum,GerhardWooldridge,Michael J.ITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-00431-5EB990009259360403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming TechniquesSoftware engineeringSoftware EngineeringModel Checking and Artificial Intelligence772652UNINA01876nam0 22003371i 450 UON0015880720231205102956.68838-05-30582-620020417d1983 |0itac50 bagerDE|||| 1||||Katalog der romischen Portrats in den Capitolinischen Museen und den anderenkommunalen Sammlungen der Stadt Rom. Band III: kaiserinnen- und prinzessinnenbildnisse frauenportratsKlaus Fittschen, Paul Zanker; aufnahmen von Gisela Fittschen-BaduraMainz : Von Zabern19832 v.34 cmText: 139 p001UON001593172001 Beitrage zur Erschliessung hellenistischer und kaiserzeitlicher Skulptur und Architekturhrsg. von Klaus Fittschen und Paul Zanker210 MainzVon Zabern5MuseiRomaMusei CapitoliniCataloghiUONC033348FIRitratti romaniRomaCataloghiUONC033347FIATWienUONL003140704.9ICONOGRAFIA21FITTSCHENKlausUONV057587151901ZANKERPaulUONV05720538607FITTSCHEN-BADURAGiselaUONV095498ZabernUONV245861650ITSOL20260306RICAUON00158807SIBA - SISTEMA BIBLIOTECARIO DI ATENEO E ARCHIVIO STORICOSI M MC ROMA 037 01 SI MC 25823 7 01 SIBA - SISTEMA BIBLIOTECARIO DI ATENEO E ARCHIVIO STORICOSI M MC ROMA 037 02 SI MC 25824 7 02 Katalog der romischen Portrats in den Capitolinischen Museen und den anderenkommunalen Sammlungen der Stadt Rom. Band III: kaiserinnen- und prinzessinnenbildnisse frauenportrats1284689UNIOR