Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service
Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte melden Sie sich für Vollzugriff an:
Anmelden
Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag
Treffer 1 - 20
von 9.207
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Format
Schlagwort
computer science - logic in computer science
2.376
computer science - software engineering
1.428
computer science - artificial intelligence
727
computer science - machine learning
698
computer science - distributed, parallel, and cluster computing
517
f.3.2
495
mehr ...
computer science - cryptography and security
405
f.3.1
383
bc1-199
352
electronic computers. computer science
352
logic
352
qa75.5-76.95
352
d.3.1
317
d.3.3
314
f.4.1
282
computer science - computation and language
272
d.2.4
241
quantum physics
227
d.3.4
225
d.3.2
203
computer science - databases
195
computer science - formal languages and automata theory
193
lang
173
phil
170
d.1.6
165
computer science - performance
160
mathematics - category theory
147
computer science - hardware architecture
131
statistics - machine learning
126
f.3.3
115
weniger ...
Veröffentlicht in
logical methods in computer science
178
logical methods in computer science, vol volume 8, issue 1 (2012
8
logical methods in computer science, vol volume 6, issue 3 (2010
6
logical methods in computer science, vol volume 8, issue 2 (2012
6
logical methods in computer science, vol volume 17, issue 1 (2021
5
logical methods in computer science, vol volume 18, issue 3 (2022
5
mehr ...
logical methods in computer science, vol volume 13, issue 4 (2017
4
logical methods in computer science, vol volume 15, issue 1 (2019
4
logical methods in computer science, vol volume 16, issue 4 (2020
4
logical methods in computer science, vol volume 20, issue 4 (2024
4
logical methods in computer science, vol volume 5, issue 3 (2009
4
logical methods in computer science, vol volume 7, issue 3 (2011
4
logical methods in computer science, vol volume 8, issue 3 (2012
4
proceedings of the thirteenth workshop on trends in functional programming in education
4
$2
3
logical methods in computer science, vol volume 11, issue 4 (2015
3
logical methods in computer science, vol volume 12, issue 3 (2017
3
logical methods in computer science, vol volume 13, issue 3 (2017
3
logical methods in computer science, vol volume 15, issue 2 (2019
3
logical methods in computer science, vol volume 15, issue 4 (2019
3
logical methods in computer science, vol volume 16, issue 3 (2020
3
logical methods in computer science, vol volume 18, issue 1 (2022
3
logical methods in computer science, vol volume 18, issue 2 (2022
3
logical methods in computer science, vol volume 19, issue 1 (2023
3
logical methods in computer science, vol volume 19, issue 4 (2023
3
logical methods in computer science, vol volume 20, issue 3 (2024
3
logical methods in computer science, vol volume 4, issue 1 (2008
3
logical methods in computer science, vol volume 4, issue 4 (2008
3
logical methods in computer science, vol volume 5, issue 4 (2009
3
logical methods in computer science, vol volume 6, issue 4 (2010
3
weniger ...
Verlag
logical methods in computer science e.v.
358
universite paris-diderot - paris vii
10
hal ccsd
6
ecole polytechnique x
5
eptcs, [place of publication not identified]
5
universite des sciences et technologie de lille - lille i
5
mehr ...
universite pierre et marie curie - paris vi
5
open publishing association
4
universite de nantes
4
universite d'orleans
3
zenodo
3
schloss dagstuhl. leibniz-zent. inform., wadern
2
springer, heidelberg
2
universite paris sud - paris xi
2
universite sciences et technologies - bordeaux i
2
acm
1
alexandru ioan cuza university of iasi
1
association for computing machinery, inc
1
cambridge university press (cup)
1
ecole nationale superieure d'arts et metiers - ensam
1
ecole normale superieure de lyon - ens lyon
1
elsevier masson
1
institute of electrical and electronics engineers inc.
1
jmlr
1
lipics - leibniz international proceedings in informatics. 13th international conference on interactive theorem proving (itp 2022)
1
logical methods in computer science association
1
orebro universitet, institutionen for naturvetenskap och teknik
1
public library of science
1
public library of science (plos)
1
springer vs
1
weniger ...
Sprache
Datenbank
Erscheinungsjahr
Filter