Výsledky vyhledávání - concurrent constraint programming abstrakte interpretation*

Global invariants for analysing multi-threaded applications.

Autoři: Seidl, Helmut Vene, Varmo Müller-Olm, Markus

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

Témata: COMPUTER systems, COMPUTER science, MATHEMATICAL invariants, COMPUTER software, COMPUTERS

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

Autoři: Niels Taubert

Resource Type: eBook.

Témata: Wissenschaft, Soziologie, Mathematik, Mathematics, Communication in science, Digitalisierung, Astronomy

Categories: SOCIAL SCIENCE / Sociology / General

BackMatter.

Autoři: Beierle, Christoph Kern-Isberner, Gabriele

Zdroj: 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

Autoři: Tobias Achterberg J. Christopher Beck

Resource Type: eBook.

Témata: 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

Autoři: Thillainathan Niroshan

Resource Type: eBook.

Témata: 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.

Autoři: Ludwig, Bernd

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

BackMatter.

Autoři: Haubelt, Christian Teich, Jürgen

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

Dissertationen. (German)

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

Principles of Abstract Interpretation

Autoři: Patrick Cousot

Resource Type: eBook.

Témata: Abstract data types (Computer science), Semantic computing

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

BackMatter.

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

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

Autoři: Brown, Ronald Porter, Timothy

Zdroj: 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

Autoři: Estelle Bunout Maud Ehrmann Frédéric Clavert

Resource Type: eBook.

Témata: History--Methodology, Newspaper archives, Archival materials--Digitization

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

Reflections on Programming Systems

Autoři: Liesbeth De Mol Giuseppe Primiero

Resource Type: eBook.

Témata: 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

Autoři: Johannes Sonnenholzner

Resource Type: eBook.

Témata: 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

Autoři: Jos Mul

Resource Type: eBook.

Témata: 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

Autoři: 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

Autoři: 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

Autoři: Jung, Elisabeth

Resource Type: eBook.

Témata: 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

Autoři: Andrea C. Schalley

Resource Type: eBook.

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

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