Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- Theoretische Informatik
- Informatik 476 [ausschließen]
- Mathematik 175 [ausschließen]
- Formale Sprache 172 [ausschließen]
- Programmierung 172 [ausschließen]
- Computer science 171 [ausschließen]
- Konferenzschrift 167 [ausschließen]
- Automatentheorie 144 [ausschließen]
- Lehrbuch 143 [ausschließen]
- Berechenbarkeit 136 [ausschließen]
- Software Engineering 136 [ausschließen]
- Datenverarbeitung 125 [ausschließen]
- Programmiersprache 119 [ausschließen]
- Logik 116 [ausschließen]
- Softwareentwicklung 106 [ausschließen]
- Komplexitätstheorie 105 [ausschließen]
- Einführung 101 [ausschließen]
- Künstliche Intelligenz 99 [ausschließen]
- Aufsatzsammlung 94 [ausschließen]
- Computer Science 90 [ausschließen]
- Algorithmus 85 [ausschließen]
- Formale Methode 82 [ausschließen]
- Mathematische Logik 73 [ausschließen]
- Programmverifikation 65 [ausschließen]
- Systementwicklung 65 [ausschließen]
- Algorithm Analysis and Problem Complexity 64 [ausschließen]
- Logics and Meanings of Programs 63 [ausschließen]
- Discrete Mathematics in Computer Science 60 [ausschließen]
- Kombinatorik 59 [ausschließen]
- Mathematical Logic and Formal Languages 59 [ausschließen]
-
1
Tools and algorithms for the construction and analysis of systems 30th international conference, TACAS 2024, held as part of the European Joint Conferences on Theory and Practice o...
Veröffentlicht 2024
VolltextElektronisch Tagungsbericht E-Book -
2
Formal aspects of computing applicable formal methods
Veröffentlicht 1989
VolltextElektronisch Zeitschrift -
3
Computing and combinatorics 29th international conference, COCOON 2023, Hawaii, HI, USA, December 15–17, 2023, proceedings, part II
Veröffentlicht 2024
VolltextElektronisch Tagungsbericht E-Book -
4
Implementation and application of automata 27th international conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023, proceedings
Veröffentlicht 2023
VolltextElektronisch Tagungsbericht E-Book -
5
Developments in language theory 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, proceedings
Veröffentlicht 2023
VolltextElektronisch Tagungsbericht E-Book -
6
Graph-theoretic concepts in computer science 49th international workshop, WG 2023, Fribourg, Switzerland, June 28–30, 2023, revised selected papers
Veröffentlicht 2023
VolltextElektronisch Tagungsbericht E-Book -
7
-
8
Formale Sprachen, abstrakte Automaten und Compiler Lehr- und Arbeitsbuch mit FLACI für Grundstudium und Fortbildung
Veröffentlicht 2022BFB01
BTU01
BTW01
FAB01
FAN01
FAW01
FCO01
FFW01
FHA01
FHD01
FHI01
FHM01
FHN01
FHO01
FHR01
FKE01
FLA01
FNU01
FRO01
FWS01
FWS02
HTW01
HWR01
TUM01
UBM01
UBT01
UBW01
UBY01
UER01
BHS01
URL des Erstveröffentlichers
Elektronisch E-Book -
9
Einführung in die Informatik theoretische und praktische Grundlagen
Veröffentlicht 2022BFB01
BHS01
BTU01
BTW01
FAB01
FAN01
FAW01
FCO01
FFW01
FHA01
FHD01
FHI01
FHM01
FHN01
FHO01
FHR01
FKE01
FLA01
FNU01
FRO01
FWS01
FWS02
HTW01
HWR01
TUM01
UBM01
UBT01
UBW01
UBY01
UER01
URL des Erstveröffentlichers
Elektronisch E-Book -
10
-
11
Theoretical aspects of computing – ICTAC 2022 19th international colloquium, Tbilisi, Georgia, September 27–29, 2022, proceedings
Veröffentlicht 2022
VolltextElektronisch Tagungsbericht E-Book -
12
Algebraic informatics 9th international conference, CAI 2022, virtual event, October 27–29, 2022, proceedings
Veröffentlicht 2022
VolltextElektronisch Tagungsbericht E-Book -
13
Tools and algorithms for the construction and analysis of systems 28th international conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice o...
Veröffentlicht 2022kostenfrei
kostenfrei
Elektronisch Tagungsbericht E-Book -
14
Tools and algorithms for the construction and analysis of systems 28th international conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice o...
Veröffentlicht 2022kostenfrei
kostenfrei
Elektronisch Tagungsbericht E-Book -
15
Implementation and application of automata 26th international conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, proceedings
Veröffentlicht 2022
VolltextElektronisch Tagungsbericht E-Book -
16
Logic, language, information, and computation 28th international workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, proceedings
Veröffentlicht 2022
VolltextElektronisch Tagungsbericht E-Book -
17
Graph-Theoretic Concepts in Computer Science 47th International Workshop, WG 2021, Warsaw, Poland, June 23–25, 2021, Revised Selected Papers
Veröffentlicht 2021BTU01
FAB01
FCO01
FHA01
FHD01
FHI01
FHM01
FHN01
FHR01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UEI01
UER01
UPA01
URL des Erstveröffentlichers
Elektronisch E-Book -
18
Frontiers of combining systems 13th international symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, proceedings
Veröffentlicht 2021BTU01
FCO01
FHA01
FHD01
FHI01
FHM01
FHN01
FHR01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBT01
UBW01
UBY01
UER01
UPA01
UBR01
URL des Erstveröffentlichers
Elektronisch Tagungsbericht E-Book -
19
Fundamentals of Computation Theory 23rd International Symposium, FCT 2021, Athens, Greece, September 12–15, 2021, Proceedings
Veröffentlicht 2021BTU01
FCO01
FHA01
FHD01
FHI01
FHM01
FHN01
FHR01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers
Elektronisch E-Book -
20
Implementation and application of automata 25th international conference, CIAA 2021, virtual event, July 19-22, 2021, proceedings
Veröffentlicht 2021BTU01
FCO01
FHA01
FHD01
FHI01
FHM01
FHN01
FHR01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBT01
UBW01
UBY01
UER01
UPA01
UBR01
URL des Erstveröffentlichers
Elektronisch Tagungsbericht E-Book