Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 01 natural sciences 67 Treffer
- 0102 computer and information sciences 65 Treffer
- 010201 computation theory & mathematics 65 Treffer
- theoretical computer science 57 Treffer
- computer 35 Treffer
-
45 weitere Werte:
- 020201 artificial intelligence & image processing 34 Treffer
- computer.software_genre 33 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 30 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 28 Treffer
- automaton 28 Treffer
- business 28 Treffer
- business.industry 28 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 28 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 27 Treffer
- fos: computer and information sciences 24 Treffer
- programming language 23 Treffer
- petri net 22 Treffer
- software 21 Treffer
- [info]computer science [cs] 20 Treffer
- computingmilieux_miscellaneous 20 Treffer
- computer science::formal languages and automata theory 19 Treffer
- model checking 19 Treffer
- decidability 18 Treffer
- algorithm 17 Treffer
- computer science - logic in computer science 17 Treffer
- computer science::logic in computer science 17 Treffer
- general computer science 17 Treffer
- logic in computer science (cs.lo) 17 Treffer
- reachability 17 Treffer
- distributed computing 14 Treffer
- 16. peace & justice 11 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 10 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 10 Treffer
- timed automaton 10 Treffer
- discrete mathematics 9 Treffer
- formal verification 9 Treffer
- bounded function 8 Treffer
- hardware and architecture 8 Treffer
- set (abstract data type) 8 Treffer
- automated theorem proving 7 Treffer
- concurrency 7 Treffer
- correctness 7 Treffer
- cryptographic protocol 7 Treffer
- information systems 7 Treffer
- mathematics 7 Treffer
- theoryofcomputation_computationbyabstractdevices 7 Treffer
- 000 computer science, knowledge, general works 6 Treffer
- artificial intelligence 6 Treffer
- automata theory 6 Treffer
- computational theory and mathematics 6 Treffer
Verlag
- hal ccsd 67 Treffer
- springer berlin heidelberg 9 Treffer
- elsevier bv 5 Treffer
- arxiv 3 Treffer
- springer 3 Treffer
-
11 weitere Werte:
- springer science and business media llc 3 Treffer
- ieee 2 Treffer
- association for computing machinery (acm) 1 Treffer
- centre pour la communication scientifique directe (ccsd) 1 Treffer
- elsevier 1 Treffer
- elsevier inc. 1 Treffer
- episciences.org 1 Treffer
- ieee computer society press 1 Treffer
- open publishing association 1 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany 1 Treffer
- springer international publishing 1 Treffer
Publikation
- formal methods in system design 2 Treffer
- information and computation 2 Treffer
- 2009 american control conference 1 Treffer
- 2015 ieee symposium on security and privacy 1 Treffer
- communications of the acm 1 Treffer
-
7 weitere Werte:
- digital signal processing 1 Treffer
- electronic proceedings in theoretical computer science 1 Treffer
- journal of logical and algebraic methods in programming 1 Treffer
- logical methods in computer science 1 Treffer
- multimedia tools and applications 1 Treffer
- science of computer programming 1 Treffer
- theoretical computer science 1 Treffer
Sprache
107 Treffer
-
In: Information and Computation, Jg. 289 (2022-11-01), S. 104856-104856Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 274 (2018-07-01), S. 57-71Online unknownZugriff:
-
In: Multimedia Tools and Applications, Jg. 78 (2018-11-07), S. 8383-8396Online unknownZugriff:
-
In: Digital Signal Processing, Jg. 82 (2018-11-01), S. 152-165Online unknownZugriff:
-
In: Journal of Logical and Algebraic Methods in Programming, Jg. 99 (2018-10-01), S. 41-96Online unknownZugriff:
-
2020Online unknownZugriff: