Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- datavetenskap 26 Treffer
- datavetenskap (datalogi) 25 Treffer
- datalogi 17 Treffer
- information technology 13 Treffer
- informationsteknik 13 Treffer
-
45 weitere Werte:
- technology 13 Treffer
- teknikvetenskap 13 Treffer
- artificial intelligence 6 Treffer
- data- och informationsvetenskap 6 Treffer
- computer and information sciences computer science 4 Treffer
- runtime verification 4 Treffer
- computational linguistics 3 Treffer
- datorlingvistik 3 Treffer
- non-monotonic reasoning 3 Treffer
- software engineering 3 Treffer
- theorem proving 3 Treffer
- algebra and logic 2 Treffer
- algebra och logik 2 Treffer
- android 2 Treffer
- biochemical networks 2 Treffer
- blockchain 2 Treffer
- challenges 2 Treffer
- chatgpt 2 Treffer
- computer and information science 2 Treffer
- computer programming 2 Treffer
- computer vision 2 Treffer
- computers 2 Treffer
- databases 2 Treffer
- digital narratives 2 Treffer
- education 2 Treffer
- ethereum 2 Treffer
- formal argumentation 2 Treffer
- game design 2 Treffer
- game research group 2 Treffer
- game theory 2 Treffer
- graph drawing 2 Treffer
- human computer interaction 2 Treffer
- humaniora och religionsvetenskap 2 Treffer
- humanities and religion 2 Treffer
- internet 2 Treffer
- languages and linguistics 2 Treffer
- linguistic subjects 2 Treffer
- linguistics 2 Treffer
- lingvistikamnen 2 Treffer
- media 2 Treffer
- natural language generation 2 Treffer
- privacy 2 Treffer
- program logics 2 Treffer
- programvaruteknik 2 Treffer
- situation semantics 2 Treffer
Verlag
Publikation
- lecture notes in computer science (lncs) 5 Treffer
- lecture notes in computer science 2 Treffer
- automated deduction - cade-21, 21st international conference on automated deduction, bremen, germany, july , 2007, proceedings, springer-verlag, lncs 1 Treffer
- fundamenta informaticae 1 Treffer
- journal of logical and algebraic methods in programming 1 Treffer
Sprache
72 Treffer
-
In: Journal of Logical and Algebraic Methods in Programming, Jg. 103 (2019), S. 105-129unknownZugriff:
-
In: Lecture Notes in Computer Science, 2023Online unknownZugriff:
-
In: Lecture Notes in Computer Science, 2023Online unknownZugriff:
-
In: NordSec 2023: Secure IT Systems Lecture Notes in Computer Science (LNCS), 2023Online unknownZugriff:
-
In: Lecture Notes in Computer Science LNCS 12556 Lecture Notes in Computer Science, 2021, S. 213-228Online unknownZugriff:
-
In: Logic and Argumentation Lecture Notes in Computer Science (LNCS), 2021, S. 224-243Online unknownZugriff:
-
In: Logic and Argumentation Lecture Notes in Computer Science (LNCS), 2021, S. 209-223Online unknownZugriff:
-
In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty Lecture Notes in Computer Science (LNCS), 2021, S. 89-102Online unknownZugriff:
-
In: Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness Lecture Notes in Computer Science (LNCS), 2020, S. 439-442Online unknownZugriff:
-
In: TrustFull CERCES Software Engineering and Formal Methods LNCS, 2020, S. 193-213Online unknownZugriff:
-
In: Software Architecture. ECSA 2022 Tracks and Workshops. ECSA 2022 Lecture Notes in Computer Science (LNCS), 2023, S. 421-435Online unknownZugriff:
-
In: Human-Centered Artificial Intelligence Lecture Notes in Computer Science (LNCS), 2023, S. 216-242Online unknownZugriff:
-
In: PROSPER HASPOC CERCES Software Engineering and Formal Methods, Springer LNCS 9763 Lecture Notes in Computer Science, 2016, S. 27-44Online unknownZugriff:
-
In: Lecture Notes in Computer Science (LNCS), 2023unknownZugriff:
-
In: Lecture Notes in Computer Science (LNCS), 2023unknownZugriff:
-
In: The Multi-Agent Programming Contest 2021 Lecture Notes in Computer Science (LNCS), 2021, S. 134-157Online unknownZugriff:
-
In: Haptics: Perception, Devices, Mobility, and Communication Lecture Notes in Computer Science, 2012, S. 282-292Online unknownZugriff:
-
In: AI 2020: Advances in Artificial Intelligence Part of Lecture Notes in Computer Science, and Lecture Notes in Artificial Intelligence book series (LNCS, volume 12576), 2020, S. 3-15Online unknownZugriff:
-
In: ECIR 2020 Lecture Notes in Computer Science (LNCS), 2020, S. 443-448Online unknownZugriff: