Angebote zu "Logic" (18 Treffer)

Kategorien

Shops

Foundations of Information and Knowledge Systems
69,98 € *
ggf. zzgl. Versand

This volume contains the articles presented at the 6th International Symposium on Foundationsof Informationand KnowledgeSystems (FoIKS 2010)which was held in So?a, Bulgaria during February 15 19, 2010. The FoIKS symposia provide a biennial forum for presenting and discussing theoreticalandappliedresearchoninformationandknowledgesystems.Thegoal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. FoIKS 2010 solicited original contributions dealing with any foundational aspects of information and knowledge systems. This included submissions that apply ideas, theories or methods from speci?c disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, statistics, and optimization. Previous FoIKS symposia were held in Pisa (Italy) in 2008, Budapest (Hungary) in 2006, Vienna (Austria) in 2004, Schloss Salzau near Kiel (Germany) in 2002,and Burg/Spreewaldnear Berlin (Germany) in 2000.FoIKS took up the tradition of the conference series Mathematical Fundamentals of Database Systems (MFDBS), which initiated East West collaboration in the ?eld of database theory. Former MFDBS conferences were held in Rostock (Germany) in 1991, Visegrad (Hungary) in 1989, and Dresden (Germany) in 1987. The FoIKS symposia are a forum for intense discussions. Speakers are given su?cient time to present their ideas and results within the larger context of their research. Furthermore, participants are asked in advance to prepare a ?rst response to a contribution of another author.

Anbieter: Dodax
Stand: 27.02.2020
Zum Angebot
Christian Kuhtz
13,90 CHF *
zzgl. 3,50 CHF Versand

The German inventor Christian Kuhtz is convinced that a good conscience is nothing that can be bought, but something that has to be achieved through intellectual and bodily labor and a fond reflection of the industrial conditions of production. His notebook is a plea for the “do-it-yourself adventure” and for an ecological awareness beyond the capitalist logic of consumption, waste, and so-called eco-technique. The featured illustrations and explanations are taken from his innovative series of booklets “Einfälle statt Abfälle” and provide ideas for a self-sufficient existence. From compost toilets, wind turbines, pottery workshops, and sun collectors to handmade shoes, over the years Kuhtz has drawn inspiring instructions for self-production. Christian Kuhtz (*1958) is an inventor, constructor, and designer of resource-friendly energy solutions. He lives in Kiel.

Anbieter: Orell Fuessli CH
Stand: 27.02.2020
Zum Angebot
ISILC - Proof Theory Symposion
52,90 CHF *
ggf. zzgl. Versand

Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

Anbieter: Orell Fuessli CH
Stand: 27.02.2020
Zum Angebot
Foundations of Information and Knowledge Systems
85,90 CHF *
ggf. zzgl. Versand

This volume contains the articles presented at the 6th International Symposium on Foundationsof Informationand KnowledgeSystems (FoIKS 2010)which was held in So?a, Bulgaria during February 15 19, 2010. The FoIKS symposia provide a biennial forum for presenting and discussing theoreticalandappliedresearchoninformationandknowledgesystems.Thegoal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. FoIKS 2010 solicited original contributions dealing with any foundational aspects of information and knowledge systems. This included submissions that apply ideas, theories or methods from speci?c disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, statistics, and optimization. Previous FoIKS symposia were held in Pisa (Italy) in 2008, Budapest (Hungary) in 2006, Vienna (Austria) in 2004, Schloss Salzau near Kiel (Germany) in 2002,and Burg/Spreewaldnear Berlin (Germany) in 2000.FoIKS took up the tradition of the conference series Mathematical Fundamentals of Database Systems (MFDBS), which initiated East West collaboration in the ?eld of database theory. Former MFDBS conferences were held in Rostock (Germany) in 1991, Visegrad (Hungary) in 1989, and Dresden (Germany) in 1987. The FoIKS symposia are a forum for intense discussions. Speakers are given su?cient time to present their ideas and results within the larger context of their research. Furthermore, participants are asked in advance to prepare a ?rst response to a contribution of another author.

Anbieter: Orell Fuessli CH
Stand: 27.02.2020
Zum Angebot
On the Pragmatics of Graphical Modeling
75,90 CHF *
ggf. zzgl. Versand

Graphical models help to understand complex systems. However, with the user interaction paradigms established today, activities such as creating, maintaining or browsing graphical models can be very tedious. This thesis presents an approach to enhance productivity by focusing on the pragmatics of model-based design. The contribution includes an interpretation of the notion of pragmatics, orthogonal to syntax and semantics in Model-Driven Engineering (MDE). A proposal on pragmatics-aware modeling is given, employing sophisticated automated layout algorithms to close the gap between MDE and graph drawing theory. Thus, a view management logic presents customized views on models. These concepts get illustrated with the open source Kiel Integrated Environment for Layout Eclipse Rich Client (KIELER) with multiple applications including editing and simulation and shows how view management helps to tame complexity.

Anbieter: Orell Fuessli CH
Stand: 27.02.2020
Zum Angebot
ISILC - Proof Theory Symposion
49,99 € *
ggf. zzgl. Versand

Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

Anbieter: Thalia AT
Stand: 27.02.2020
Zum Angebot
Foundations of Information and Knowledge Systems
77,99 € *
ggf. zzgl. Versand

This volume contains the articles presented at the 6th International Symposium on Foundationsof Informationand KnowledgeSystems (FoIKS 2010)which was held in So?a, Bulgaria during February 15 19, 2010. The FoIKS symposia provide a biennial forum for presenting and discussing theoreticalandappliedresearchoninformationandknowledgesystems.Thegoal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. FoIKS 2010 solicited original contributions dealing with any foundational aspects of information and knowledge systems. This included submissions that apply ideas, theories or methods from speci?c disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, statistics, and optimization. Previous FoIKS symposia were held in Pisa (Italy) in 2008, Budapest (Hungary) in 2006, Vienna (Austria) in 2004, Schloss Salzau near Kiel (Germany) in 2002,and Burg/Spreewaldnear Berlin (Germany) in 2000.FoIKS took up the tradition of the conference series Mathematical Fundamentals of Database Systems (MFDBS), which initiated East West collaboration in the ?eld of database theory. Former MFDBS conferences were held in Rostock (Germany) in 1991, Visegrad (Hungary) in 1989, and Dresden (Germany) in 1987. The FoIKS symposia are a forum for intense discussions. Speakers are given su?cient time to present their ideas and results within the larger context of their research. Furthermore, participants are asked in advance to prepare a ?rst response to a contribution of another author.

Anbieter: Thalia AT
Stand: 27.02.2020
Zum Angebot
On the Pragmatics of Graphical Modeling
51,30 € *
ggf. zzgl. Versand

Graphical models help to understand complex systems. However, with the user interaction paradigms established today, activities such as creating, maintaining or browsing graphical models can be very tedious. This thesis presents an approach to enhance productivity by focusing on the pragmatics of model-based design. The contribution includes an interpretation of the notion of pragmatics, orthogonal to syntax and semantics in Model-Driven Engineering (MDE). A proposal on pragmatics-aware modeling is given, employing sophisticated automated layout algorithms to close the gap between MDE and graph drawing theory. Thus, a view management logic presents customized views on models. These concepts get illustrated with the open source Kiel Integrated Environment for Layout Eclipse Rich Client (KIELER) with multiple applications including editing and simulation and shows how view management helps to tame complexity.

Anbieter: Thalia AT
Stand: 27.02.2020
Zum Angebot