Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 01 natural sciences 368 Treffer
- 0102 computer and information sciences 348 Treffer
- 010201 computation theory & mathematics 348 Treffer
- computer science 346 Treffer
- 020201 artificial intelligence & image processing 326 Treffer
-
45 weitere Werte:
- theoretical computer science 267 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 190 Treffer
- mathematics 179 Treffer
- 020207 software engineering 154 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 134 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 121 Treffer
- discrete mathematics 119 Treffer
- computer 115 Treffer
- computer science::formal languages and automata theory 105 Treffer
- [info]computer science [cs] 102 Treffer
- decidability 101 Treffer
- computer.software_genre 99 Treffer
- fos: computer and information sciences 96 Treffer
- 16. peace & justice 89 Treffer
- computingmilieux_miscellaneous 87 Treffer
- algorithm 85 Treffer
- computer science::logic in computer science 85 Treffer
- automaton 81 Treffer
- business 78 Treffer
- business.industry 78 Treffer
- model checking 73 Treffer
- computer science - logic in computer science 68 Treffer
- 020204 information systems 65 Treffer
- general computer science 64 Treffer
- logic in computer science (cs.lo) 64 Treffer
- software 60 Treffer
- information systems 59 Treffer
- petri net 59 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 58 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 58 Treffer
- reachability 57 Treffer
- computational theory and mathematics 51 Treffer
- temporal logic 50 Treffer
- programming language 46 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 46 Treffer
- computer science applications 44 Treffer
- 000 computer science, knowledge, general works 42 Treffer
- undecidable problem 42 Treffer
- [info.info-db]computer science [cs]/databases [cs.db] 41 Treffer
- cryptographic protocol 41 Treffer
- complexity 40 Treffer
- 0209 industrial biotechnology 39 Treffer
- 020901 industrial engineering & automation 39 Treffer
- 020209 energy 36 Treffer
- combinatorics 36 Treffer
Verlag
- hal ccsd 309 Treffer
- elsevier bv 37 Treffer
- springer berlin heidelberg 33 Treffer
- ieee 13 Treffer
- springer international publishing 13 Treffer
-
38 weitere Werte:
- arxiv 12 Treffer
- springer science and business media llc 10 Treffer
- acm 8 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany 8 Treffer
- springer 8 Treffer
- association for computing machinery (acm) 6 Treffer
- centre pour la communication scientifique directe (ccsd) 5 Treffer
- elsevier inc. 4 Treffer
- the electrochemical society 4 Treffer
- episciences.org 3 Treffer
- mdpi ag 3 Treffer
- open publishing association 3 Treffer
- american chemical society (acs) 2 Treffer
- elsevier 2 Treffer
- elsevier b.v. 2 Treffer
- alma mater studiorum - university of bologna 1 Treffer
- american chemical society 1 Treffer
- association for the advancement of artificial intelligence (aaai) 1 Treffer
- cambridge university press 1 Treffer
- elsevier ltd. 1 Treffer
- elsevier science b.v. 1 Treffer
- hindawi limited 1 Treffer
- ieee computer society press 1 Treffer
- institute of electrical and electronics engineers (ieee) 1 Treffer
- international joint conferences on artificial intelligence 1 Treffer
- international joint conferences on artificial intelligence organization 1 Treffer
- ist austria 1 Treffer
- korean society of environmental engineering 1 Treffer
- oxford university press (oup) 1 Treffer
- privacy enhancing technologies symposium advisory board 1 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 1 Treffer
- springer nature 1 Treffer
- springer publishing company 1 Treffer
- springer us 1 Treffer
- springeropen 1 Treffer
- taylor & francis 1 Treffer
- the japan society of plasma science and nuclear fusion research 1 Treffer
- wiley 1 Treffer
Publikation
- theoretical computer science 12 Treffer
- information and computation 9 Treffer
- logical methods in computer science 5 Treffer
- electrochimica acta 3 Treffer
- electronic proceedings in theoretical computer science 3 Treffer
-
45 weitere Werte:
- journal of the electrochemical society 3 Treffer
- communications of the acm 2 Treffer
- electronic notes in theoretical computer science 2 Treffer
- energy 2 Treffer
- eurasip journal on wireless communications and networking 2 Treffer
- formal methods in system design 2 Treffer
- fuel 2 Treffer
- journal of automated reasoning 2 Treffer
- journal of logic and computation 2 Treffer
- journal of power sources 2 Treffer
- measurement 2 Treffer
- 2008 21st ieee computer security foundations symposium 1 Treffer
- 2009 american control conference 1 Treffer
- 2009 ieee symposium on computers and communications 1 Treffer
- 2012 ieee 28th international conference on data engineering 1 Treffer
- 2013 15th european conference on power electronics and applications (epe) 1 Treffer
- 2013 28th annual acm/ieee symposium on logic in computer science 1 Treffer
- 2015 ieee symposium on security and privacy 1 Treffer
- 2017 ieee 23rd international symposium for design and technology in electronic packaging (siitme) 1 Treffer
- 2018 19th international conference on electronic packaging technology (icept) 1 Treffer
- 2019 10th international conference on power electronics and ecce asia (icpe 2019 - ecce asia) 1 Treffer
- 2019 18th european control conference (ecc) 1 Treffer
- 2020 ieee 70th electronic components and technology conference (ectc) 1 Treffer
- 21st international conference on data engineering (icde'05) 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
- acs applied energy materials 1 Treffer
- acs applied materials & interfaces 1 Treffer
- applied energy 1 Treffer
- applied sciences 1 Treffer
- automatica 1 Treffer
- digital signal processing 1 Treffer
- ecs meeting abstracts 1 Treffer
- energies 1 Treffer
- environmental engineering research 1 Treffer
- ieee journal of emerging and selected topics in power electronics 1 Treffer
- ieee transactions on computer-aided design of integrated circuits and systems 1 Treffer
- ifac-papersonline 1 Treffer
- informatik-spektrum 1 Treffer
- international journal of robust and nonlinear control 1 Treffer
- journal of cleaner production 1 Treffer
- journal of computational science 1 Treffer
- journal of computer and system sciences 1 Treffer
Sprache
556 Treffer
-
In: International Journal of Robust and Nonlinear Control, Jg. 31 (2020-10-08), S. 3779-3794Online unknownZugriff:
-
In: Information and Computation, Jg. 289 (2022-11-01), S. 104856-104856Online unknownZugriff:
-
In: Foundations of Software Science and Computation Structures, Jg. 12077 (2020-04-01), S. 237-256Online unknownZugriff:
-
In: Journal of The Electrochemical Society, Jg. 166 (2019), S. A4067- (6S.)Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 274 (2018-07-01), S. 57-71Online unknownZugriff:
-
In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020-07-08Online unknownZugriff:
-
2020Online unknownZugriff:
-
2020Online unknownZugriff:
-
2019Online unknownZugriff:
-
In: Applied Energy, Jg. 215 (2018-04-01), S. 338-347Online unknownZugriff: