Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 02 engineering and technology 371 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 348 Treffer
- theoretical computer science 266 Treffer
- computer science 247 Treffer
- mathematics 221 Treffer
-
45 weitere Werte:
- 020201 artificial intelligence & image processing 209 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 208 Treffer
- discrete mathematics 158 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 147 Treffer
- decidability 109 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 104 Treffer
- computer science::formal languages and automata theory 104 Treffer
- 020207 software engineering 102 Treffer
- 16. peace & justice 99 Treffer
- computer science::logic in computer science 97 Treffer
- fos: computer and information sciences 95 Treffer
- [info]computer science [cs] 93 Treffer
- computingmilieux_miscellaneous 88 Treffer
- 0101 mathematics 86 Treffer
- 010102 general mathematics 81 Treffer
- computer 79 Treffer
- general computer science 74 Treffer
- algorithm 73 Treffer
- computer science - logic in computer science 70 Treffer
- automaton 69 Treffer
- model checking 67 Treffer
- logic in computer science (cs.lo) 66 Treffer
- computer.software_genre 61 Treffer
- temporal logic 58 Treffer
- computational theory and mathematics 55 Treffer
- petri net 54 Treffer
- information systems 53 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 50 Treffer
- software 50 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 49 Treffer
- reachability 48 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 46 Treffer
- combinatorics 46 Treffer
- undecidable problem 45 Treffer
- computer science applications 43 Treffer
- cryptographic protocol 43 Treffer
- complexity 42 Treffer
- business 39 Treffer
- business.industry 39 Treffer
- logic 39 Treffer
- programming language 37 Treffer
- 020204 information systems 36 Treffer
- set (abstract data type) 35 Treffer
- theoryofcomputation_computationbyabstractdevices 34 Treffer
- bounded function 33 Treffer
Verlag
- hal ccsd 268 Treffer
- springer berlin heidelberg 29 Treffer
- elsevier bv 23 Treffer
- arxiv 15 Treffer
- springer international publishing 11 Treffer
-
25 weitere Werte:
- ieee 8 Treffer
- springer science and business media llc 7 Treffer
- centre pour la communication scientifique directe (ccsd) 6 Treffer
- association for computing machinery (acm) 5 Treffer
- episciences.org 5 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany 5 Treffer
- springer 5 Treffer
- acm 4 Treffer
- elsevier inc. 4 Treffer
- open publishing association 3 Treffer
- elsevier b.v. 2 Treffer
- ios press 2 Treffer
- oxford university press (oup) 2 Treffer
- alma mater studiorum - university of bologna 1 Treffer
- association for the advancement of artificial intelligence (aaai) 1 Treffer
- cambridge university press (cup) 1 Treffer
- elsevier 1 Treffer
- elsevier ltd. 1 Treffer
- elsevier science b.v. 1 Treffer
- ieee computer society press 1 Treffer
- international press of boston 1 Treffer
- ist austria 1 Treffer
- springer publishing company 1 Treffer
- springer us 1 Treffer
- wiley 1 Treffer
Publikation
- theoretical computer science 13 Treffer
- information and computation 10 Treffer
- logical methods in computer science 6 Treffer
- electronic notes in theoretical computer science 4 Treffer
- electronic proceedings in theoretical computer science 3 Treffer
-
25 weitere Werte:
- journal of automated reasoning 3 Treffer
- journal of logic and computation 3 Treffer
- formal methods in system design 2 Treffer
- fundamenta informaticae 2 Treffer
- journal of computer and system sciences 2 Treffer
- 2008 21st ieee computer security foundations symposium 1 Treffer
- 2009 american control conference 1 Treffer
- 2012 ieee 28th international conference on data engineering 1 Treffer
- 2013 28th annual acm/ieee symposium on logic in computer science 1 Treffer
- 2015 54th ieee conference on decision and control (cdc) 1 Treffer
- 2018 ieee conference on decision and control (cdc) 1 Treffer
- acm transactions on computation theory 1 Treffer
- acm transactions on computational logic 1 Treffer
- acm transactions on database systems 1 Treffer
- acm transactions on privacy and security 1 Treffer
- communications of the acm 1 Treffer
- discrete applied mathematics 1 Treffer
- informatik-spektrum 1 Treffer
- journal of applied logic 1 Treffer
- mathematical structures in computer science 1 Treffer
- proceedings of the 2013 acm sigmod international conference on management of data 1 Treffer
- proceedings of the 2020 acm sigsac conference on computer and communications security 1 Treffer
- proceedings of the aaai conference on artificial intelligence 1 Treffer
- science of computer programming 1 Treffer
- theory of computing systems 1 Treffer
Sprache
454 Treffer
-
In: Information and Computation, Jg. 289 (2022-11-01), S. 104856-104856Online unknownZugriff:
-
In: Discrete Applied Mathematics, Jg. 282 (2020-08-01), S. 257-264Online unknownZugriff:
-
In: Foundations of Software Science and Computation Structures, Jg. 12077 (2020-04-01), S. 237-256Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 274 (2018-07-01), S. 57-71Online unknownZugriff:
-
2020Online unknownZugriff:
-
2020Online unknownZugriff:
-
2016Online unknownZugriff:
-
2016Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 41 (2010-11-01), S. 61-75Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 39 (2010-10-01), S. 1-15Online unknownZugriff: