Search Results - concurrent constraint programming abstrakte interpretation

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

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

BackMatter.

Authors: Beierle, Christoph Kern-Isberner, Gabriele

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

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

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

Interaktive Planung in Assistenzszenarien mit unsicherer Information.

Authors: Ludwig, Bernd

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

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

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.

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

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

Reflections on Programming Systems

Authors: Liesbeth De Mol Giuseppe Primiero

Resource Type: eBook.

Subjects: Technology—Philosophy, Operating systems (Computers), Computers—History, Science—History, Technology, History

Categories: SCIENCE / Philosophy & Social Aspects, COMPUTERS / Operating Systems / General, COMPUTERS / History, SCIENCE / History, TECHNOLOGY & ENGINEERING / General, TECHNOLOGY & ENGINEERING / History

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

Java 9 Das Übungsbuch : Über 200 Aufgaben mit vollständigen Lösungen

Authors: Jung, Elisabeth

Resource Type: eBook.

Subjects: Java (Computer program language), Object-oriented programming languages

Categories: COMPUTERS / Languages / Java, COMPUTERS / Languages / JavaScript

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

Cognitive Modeling and Verbal Semantics : A Representational Framework Based on UML

Authors: Andrea C. Schalley

Resource Type: eBook.

Subjects: Cognitive grammar, Programming languages (Electronic computers)--Semantics, Semantics--Mathematical models, UML (Computer science)

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General, LANGUAGE ARTS & DISCIPLINES / Linguistics / Semantics