Michael Kifer – författare
Visar alla böcker från författaren Michael Kifer. Handla med fri frakt och snabb leverans.
16 produkter
Introduction to Operating System Design and Implementation
The OSP 2 Approach
Av Michael Kifer, Scott Smolka m. fl.
Häftad, 2007
568 kr
Lägg i varukorg
OSP 2 is both an implementation of a modern operating system and a flexible environment for generating implementation projects appropriate for an introductory course in operating system design. This book is an introduction to the design and implementation of operating systems using OSP 2, the next …
Introduction to Operating System Design and Implementation
The OSP 2 Approach
Av Scott Smolka, Michael Kifer
E-bok, 2007
739 kr
Lägg i varukorg
OSP 2 is both an implementation of a modern operating system and a flexible environment for generating implementation projects appropriate for an introductory course in operating system design. This book is an introduction to the design and implementation of operating systems using OSP 2, the next …
Declarative Logic Programming
Theory, Systems, and Applications
Av Michael Kifer, Yanhong Annie Liu
Häftad, 2018
1188 kr
Lägg i varukorg
Declarative Logic Programming
Theory, Systems, and Applications
Av Yanhong Annie Liu, Michael Kifer
E-bok, 2018
900 kr
Lägg i varukorg
The idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S.Warren''s fundamental contributions to Computer Science and the area of Logic Programming in particular. Logic Programming (LP) is at the nexus of Knowledge Representation, …
Declarative Logic Programming
Theory, Systems, and Applications
Av Yanhong Annie Liu, Michael Kifer
E-bok, 2018
791 kr
Lägg i varukorg
The idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S.Warren''s fundamental contributions to Computer Science and the area of Logic Programming in particular. Logic Programming (LP) is at the nexus of Knowledge Representation, …
Declarative Logic Programming
Theory, Systems, and Applications
Av Michael Kifer, Yanhong Annie Liu
Inbunden, 2018
1433 kr
Lägg i varukorg
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering
12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures
Av Jeff Z. Pan, Diego Calvanese m. fl.
Häftad, 2017
723 kr
Lägg i varukorg
This volume contains some lecture notes of the 12th Reasoning Web Summer School (RW 2016), held in Aberdeen, UK, in September 2016.In 2016, the theme of the school was “Logical Foundation of Knowledge Graph Construction and Query Answering”. The notion of knowledge graph has become popular since …
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering
12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures
Av Yuting Zhao, Fangzhen Lin m. fl.
E-bok, 2017
903 kr
Lägg i varukorg
This volume contains some lecture notes of the 12th Reasoning Web Summer School (RW 2016), held in Aberdeen, UK, in September 2016. In 2016, the theme of the school was “Logical Foundation of Knowledge Graph Construction and Query Answering”. The notion of knowledge graph has become popular since …
Deductive and Object-Oriented Databases
Second International Conference, DOOD'91, Munich, Germany, December 16-18, 1991. Proceedings
Av Claude Delobel, Michael Kifer m. fl.
Häftad, 1991
568 kr
Lägg i varukorg
This volume is the proceedings of the Second InternationalConference on Deductive and Object-Oriented Databases(DOOD). During the last decade, deductive andobject-oriented systems have received a great deal ofattention, but for the most part these two fields wereevolving independently of each …
Transactions and Change in Logic Databases
International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases(DYNAMICS'97), Port Jefferso
Av Burkhard Freitag, Hendrik Decker m. fl.
Häftad, 1998
568 kr
Lägg i varukorg
This book constitutes the thoroughly refereed and revised post-workshop proceedings of two international meetings devoted to deductive databases and logic programming.The technical papers presenting original research results were carefully reviewed and selected for inclusion in the present book, …
Journal on Data Semantics VIII
Av Stefano Spaccapietra, Paolo Atzeni m. fl.
Häftad, 2007
568 kr
Lägg i varukorg
• Semantic caching • Data warehousing and semantic data mining • Spatial, temporal, multimedia and multimodal semantics • Semantics in data visualization • Semantic services for mobile users • Supporting tools • Applications of semantic-driven approaches These topics are to be understood as …
Journal on Data Semantics VIII
Av Ilya Zaihrayeu, Pavel Shvaiko m. fl.
E-bok, 2007
755 kr
Lägg i varukorg
• Semantic caching • Data warehousing and semantic data mining • Spatial, temporal, multimedia and multimodal semantics • Semantics in data visualization • Semantic services for mobile users • Supporting tools • Applications of semantic-driven approaches These topics are to be understood as …
Semantic Web: Research and Applications
4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings
Av Enrico Franconi, Michael Kifer m. fl.
Häftad, 2007
1129 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 4th European Semantic Web Conference, ESWC 2007, held in Innsbruck, Austria, in June 2007. Coverage includes semantic Web services, ontology learning, inference and mapping, social semantic Web, ontologies, personalization, foundations of the …
Semantic Web: Research and Applications
4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings
Av Wolfgang May, Michael Kifer m. fl.
E-bok, 2007
1455 kr
Lägg i varukorg
Journal on Data Semantics IX
Av Stefano Spaccapietra, Paolo Atzeni m. fl.
Häftad, 2007
568 kr
Lägg i varukorg
• Data warehousing and semantic data mining • Spatial, temporal, multimedia and multimodal semantics • Semantics in data visualization • Semantic services for mobile users • Supporting tools • Applications of semantic-driven approaches These topics are to be understood as specifically related to …
Journal on Data Semantics IX
Av Ilya Zaihrayeu, Pavel Shvaiko m. fl.
E-bok, 2007
755 kr
Lägg i varukorg
• Data warehousing and semantic data mining • Spatial, temporal, multimedia and multimodal semantics • Semantics in data visualization • Semantic services for mobile users • Supporting tools • Applications of semantic-driven approaches These topics are to be understood as specifically related to …
