Search Results - concurrent constraint programming (abstrakty OR abstrakte) interpretation

Fremde Galaxien und abstrakte Welten : Open Access in Astronomie und Mathematik. Soziologische Perspektiven

Authors: Niels Taubert

Resource Type: eBook.

Subjects: Wissenschaft, Soziologie, Mathematik, Mathematics, Communication in science, Digitalisierung, Astronomy

Categories: SOCIAL SCIENCE / Sociology / General

Model Driven Visual Programming for Serious Games

Authors: Thillainathan Niroshan

Resource Type: eBook.

Subjects: Model-driven software architecture, Video games--Programming, Domain-specific programming languages

Categories: TECHNOLOGY & ENGINEERING / Mechanical, GAMES & ACTIVITIES / Board Games

Global invariants for analysing multi-threaded applications.

Authors: Seidl, Helmut Vene, Varmo Müller-Olm, Markus

Source: Proceedings of the Estonian Academy of Sciences, Physics, Mathematics; Dec2003, Vol. 52 Issue 4, p413-436, 24p

Subject Terms: COMPUTER systems, COMPUTER science, MATHEMATICAL invariants, COMPUTER software, COMPUTERS

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems : 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings

Authors: Tobias Achterberg J. Christopher Beck

Resource Type: eBook.

Subjects: Artificial intelligence--Congresses, Operations research--Congresses, Constraint programming (Computer science)--Congresses, Combinatorial optimization--Congresses, Artificial intelligence

Categories: MATHEMATICS / Numerical Analysis, BUSINESS & ECONOMICS / Operations Research, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Programming / Algorithms, MATHEMATICS / Discrete Mathematics

BackMatter.

Authors: Beierle, Christoph Kern-Isberner, Gabriele

Source: Methoden Wissensbasierter Systeme; 2014, p521-545, 25p

Interaktive Planung in Assistenzszenarien mit unsicherer Information.

Authors: Ludwig, Bernd

Source: Planbasierte Mensch-Maschine-Interaktion in Multimodalen Assistenzsystemen; 2015, p143-254, 112p

Digitised Newspapers – A New Eldorado for Historians? : Reflections on Tools, Methods and Epistemology

Authors: Estelle Bunout Maud Ehrmann Frédéric Clavert

Resource Type: eBook.

Subjects: History--Methodology, Newspaper archives, Archival materials--Digitization

Categories: HISTORY / General, HISTORY / Historiography, HISTORY / Study & Teaching

Principles of Abstract Interpretation

Authors: Patrick Cousot

Resource Type: eBook.

Subjects: Abstract data types (Computer science), Semantic computing

Categories: COMPUTERS / Languages / General, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General

BackMatter.

Authors: Haubelt, Christian Teich, Jürgen

Source: Digitale Hardware/software-systeme (9783642053559); 2010, p523-601, 79p

Dissertationen. (German)

Source: Datenbank-Spektrum; Mar2017, Vol. 17 Issue 1, p85-91, 7p

BackMatter.

Source: Dubbel: Taschenbuch für den Maschinenbau; 2014, p1947-2058, 112p

The intuitions of higher dimensional algebra for the study of structured space.

Authors: Brown, Ronald Porter, Timothy

Source: Revue de Synthèse; Dec2003, Vol. 124 Issue 1, p173-203, 31p

Formen und Folgen der Softwaregestaltung : Digitale Transformation am Beispiel der deutschen Energiewirtschaft

Authors: Johannes Sonnenholzner

Resource Type: eBook.

Subjects: HM--Sociology (General), HD--Industries. Land use. Labor, T--Technology (General)

Categories: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Industries / Energy, COMPUTERS / Social Aspects

Plessner's Philosophical Anthropology : Perspectives and Prospects

Authors: Jos Mul

Resource Type: eBook.

Subjects: Philosophical anthropology--Congresses, Biology--Philosophy--Congresses

Categories: PHILOSOPHY / General, SOCIAL SCIENCE / General, SOCIAL SCIENCE / Anthropology / General

Dissonantes Kunst- und Kulturerbe / Dissonant Cultural Heritage / Art et patrimoine culturel dissonants

Authors: Jonas Nesselhauf Joachim Rees

Resource Type: eBook.

Categories: ART / European / German & Austrian, POLITICAL SCIENCE / Public Policy / Cultural Policy, SOCIAL SCIENCE / Anthropology / Cultural & Social

Horizontal Intergovernmental Coordination at Local and Regional Levels

Authors: Nathalie Behnke Bettina Petersohn

Resource Type: eBook.

Categories: POLITICAL SCIENCE / Public Policy / General

Proceedings of the International Scientific Conference ECONOMIC POLICY

Resource Type: eBook.

Categories: BUSINESS & ECONOMICS / General, BUSINESS & ECONOMICS / Public Finance, BUSINESS & ECONOMICS / Economics / Theory, POLITICAL SCIENCE / Public Policy / Economic Policy

Justice, Education, and the World of Today : Philosophical Investigations

Authors: Inga Bostad Marianna Papastephanou Torill Strand

Resource Type: eBook.

Subjects: Social justice and education, Education--Philosophy

Categories: EDUCATION / General, EDUCATION / Schools / Levels / Higher, EDUCATION / Philosophy, Theory & Social Aspects

Bildhafte Räume, begehbare Bilder : Virtuelle Architekturen interdisziplinär

Authors: Kassandra Nakas Philipp Reinfeld

Resource Type: eBook.

Subjects: Virtual reality, Computer simulation

Categories: LANGUAGE ARTS & DISCIPLINES / Communication Studies, SOCIAL SCIENCE / Media Studies

Digital Platforms and Algorithmic Subjectivities

Authors: Emiliana Armano Marco Briziarelli Elisabetta Risi

Resource Type: eBook.

Subjects: Computing platforms, Algorithms, Subjectivity

Categories: LANGUAGE ARTS & DISCIPLINES / General, LANGUAGE ARTS & DISCIPLINES / Communication Studies, SOCIAL SCIENCE / Media Studies, SOCIAL SCIENCE / Sociology / Social Theory