Introduction to Operating System Design and ImplementationMichael Kifer, Scott Smolka, Michael Kifer, Scott SmolkaHäftad709 kr
Del 9885Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query AnsweringJeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting ZhaoHäftad899 kr
Transactions and Change in Logic DatabasesBurkhard Freitag, Hendrik Decker, Michael Kifer, Andrei VoronkovHäftad709 kr
Journal on Data Semantics VIIIStefano Spaccapietra, Paolo Atzeni, Francois Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Ilya ZaihrayeuHäftad709 kr
Journal on Data Semantics IXStefano Spaccapietra, Paolo Atzeni, Francois Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Ilya ZaihrayeuHäftad709 kr
Systematic Program DesignYanhong Annie Liu, State University of New York) Liu, Yanhong Annie (Stony Brook UniversityHäftad689 kr
Systematic Program DesignYanhong Annie Liu, State University of New York) Liu, Yanhong Annie (Stony Brook UniversityInbunden1 389 kr
Del 12007Practical Aspects of Declarative LanguagesEkaterina Komendantskaya, Yanhong Annie LiuHäftad709 kr
Transactions and Change in Logic DatabasesBurkhard Freitag, Hendrik Decker, Michael Kifer, Andrei VoronkovHäftad709 kr
Journal on Data Semantics IXStefano Spaccapietra, Paolo Atzeni, Francois Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Ilya ZaihrayeuHäftad709 kr
Introduction to Operating System Design and ImplementationMichael Kifer, Scott Smolka, Michael Kifer, Scott SmolkaHäftad709 kr
Del 9885Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query AnsweringJeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting ZhaoHäftad899 kr