Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- 02 engineering and technology 374 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 346 Treffer
- 01 natural sciences 265 Treffer
- 0102 computer and information sciences 247 Treffer
- 010201 computation theory & mathematics 247 Treffer
-
45 weitere Werte:
- theoretical computer science 217 Treffer
- 020201 artificial intelligence & image processing 213 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 138 Treffer
- computer 125 Treffer
- exact sciences and technology 122 Treffer
- informatique 122 Treffer
- sciences exactes et technologie 122 Treffer
- applied sciences 119 Treffer
- sciences appliquees 119 Treffer
- computer science; control theory; systems 118 Treffer
- informatique; automatique theorique; systemes 118 Treffer
- software 116 Treffer
- 020207 software engineering 107 Treffer
- computer.software_genre 107 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 104 Treffer
- business 103 Treffer
- business.industry 103 Treffer
- fos: computer and information sciences 100 Treffer
- decidability 89 Treffer
- [info]computer science [cs] 83 Treffer
- informatique theorique 83 Treffer
- computingmilieux_miscellaneous 82 Treffer
- theoretical computing 81 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 76 Treffer
- automaton 71 Treffer
- algorithm 70 Treffer
- mathematics 69 Treffer
- 16. peace & justice 66 Treffer
- model checking 66 Treffer
- computer science - logic in computer science 65 Treffer
- reachability 63 Treffer
- logic in computer science (cs.lo) 62 Treffer
- petri net 57 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 55 Treffer
- 000 computer science, knowledge, general works 54 Treffer
- computer science::formal languages and automata theory 54 Treffer
- logiciel 54 Treffer
- 020204 information systems 53 Treffer
- general computer science 53 Treffer
- computer science::logic in computer science 47 Treffer
- temporal logic 47 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 46 Treffer
- 0209 industrial biotechnology 45 Treffer
- 020901 industrial engineering & automation 45 Treffer
- programming language 45 Treffer
Verlag
- hal ccsd 263 Treffer
- springer 75 Treffer
- elsevier 37 Treffer
- ieee 35 Treffer
- springer berlin heidelberg 25 Treffer
-
45 weitere Werte:
- elsevier bv 22 Treffer
- arxiv 15 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany 14 Treffer
- springer international publishing 14 Treffer
- elsevier b.v. 13 Treffer
- springer science and business media llc 12 Treffer
- acm 11 Treffer
- elsevier science 8 Treffer
- association for computing machinery (acm) 6 Treffer
- centre pour la communication scientifique directe (ccsd) 4 Treffer
- escholarship, university of california 4 Treffer
- institute of electrical and electronics engineers (ieee) 4 Treffer
- nature publishing group 4 Treffer
- association for computing machinery 3 Treffer
- episciences.org 3 Treffer
- society for industrial & applied mathematics 3 Treffer
- wiley 3 Treffer
- world scientific publishing company 3 Treffer
- academic press inc. 2 Treffer
- mdpi ag 2 Treffer
- open publishing association 2 Treffer
- american chemical society (acs) 1 Treffer
- american society of hematology 1 Treffer
- association for the advancement of artificial intelligence (aaai) 1 Treffer
- centrum voor wiskunde en informatica 1 Treffer
- cold spring harbor laboratory 1 Treffer
- elsevier inc. 1 Treffer
- elsevier ltd. 1 Treffer
- hindawi limited 1 Treffer
- ieee computer society press 1 Treffer
- indian society for education and environment 1 Treffer
- institute of advanced engineering and science 1 Treffer
- institute of electrical and electronics engineers 1 Treffer
- international ataturk alatoo university 1 Treffer
- international joint conferences on artificial intelligence 1 Treffer
- international joint conferences on artificial intelligence organization 1 Treffer
- ios press 1 Treffer
- kspu named after v.p. astafiev 1 Treffer
- lavoisier 1 Treffer
- odesa i.i. mechnikov national university 1 Treffer
- oxford university press (oup) 1 Treffer
- preprints 1 Treffer
- privacy enhancing technologies symposium advisory board 1 Treffer
- science and innovation center 1 Treffer
- springer-verlag 1 Treffer
Publikation
- lecture notes in computer science 59 Treffer
- theoretical computer science 24 Treffer
- information and computation (print) 19 Treffer
- information processing letters 13 Treffer
- acm transactions on database systems 4 Treffer
-
45 weitere Werte:
- issn: 2041-1723 4 Treffer
- logical methods in computer science 4 Treffer
- communications of the acm 3 Treffer
- electronic notes in theoretical computer science 3 Treffer
- information and computation 3 Treffer
- international journal of foundations of computer science 3 Treffer
- siam journal on computing 3 Treffer
- 14th international symposium on temporal representation and reasoning (time'07), temporal representation and reasoning, 14th international symposium on 2 Treffer
- 2008 23rd annual ieee symposium on logic in computer science, logic in computer science, 2008. lics '08. 23rd annual ieee symposium on 2 Treffer
- electronic proceedings in theoretical computer science 2 Treffer
- eurasip journal on wireless communications and networking 2 Treffer
- expert systems with applications 2 Treffer
- formal methods in system design 2 Treffer
- information & computation 2 Treffer
- ssrn electronic journal 2 Treffer
- 12th international symposium on temporal representation and reasoning (time'05), temporal representation and reasoning, 2005. time 2005. 12th international symposium on, temporal representation and reasoning 1 Treffer
- 18th annual ieee symposium of logic in computer science, 2003. proceedings., logic in computer science, 2003. proceedings. 18th annual ieee symposium on, logic in computer science 1 Treffer
- 2005 ieee international conference on granular computing 1 Treffer
- 2006 ieee international conference on multimedia and expo 1 Treffer
- 2008 21st ieee computer security foundations symposium 1 Treffer
- 2008 42nd annual ieee international carnahan conference on security technology 1 Treffer
- 2008 the 9th international conference for young computer scientists 1 Treffer
- 2008 the 9th international conference for young computer scientists, young computer scientists, 2008. icycs 2008. the 9th international conference for 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 18th asia and south pacific design automation conference (asp-dac) 1 Treffer
- 2013 18th international conference on engineering of complex computer systems, engineering of complex computer systems (iceccs), 2013 18th international conference on 1 Treffer
- 2013 28th annual acm/ieee symposium on logic in computer science, logic in computer science (lics), 2013 28th annual ieee/acm symposium on 1 Treffer
- 2015 30th annual acm/ieee symposium on logic in computer science, logic in computer science (lics), 2015 30th annual acm/ieee symposium on 1 Treffer
- 2015 ieee symposium on security and privacy 1 Treffer
- 2016 ieee 2nd international forum on research and technologies for society and industry leveraging a better tomorrow (rtsi) 1 Treffer
- 2017 32nd annual acm/ieee symposium on logic in computer science (lics), logic in computer science (lics), 2017 32nd annual acm/ieee symposium on 1 Treffer
- 2017 ieee international conference on power, control, signals and instrumentation engineering (icpcsi) 1 Treffer
- 2018 ieee conference on decision and control (cdc) 1 Treffer
- 2018 ieee/pes transmission and distribution conference and exposition (t&d) 1 Treffer
- 2019 18th european control conference (ecc) 1 Treffer
- 2019 34th annual acm/ieee symposium on logic in computer science (lics), logic in computer science (lics), 2019 34th annual acm/ieee symposium on 1 Treffer
- 2020 international conference on computational science and computational intelligence (csci) 1 Treffer
- 21st annual ieee symposium on logic in computer science (lics'06), logic in computer science, 2006 21st annual ieee symposium on 1 Treffer
- 21st international conference on data engineering (icde'05) 1 Treffer
- 22nd annual ieee symposium on logic in computer science (lics 2007), logic in computer science, 2007. lics 2007. 22nd annual ieee symposium on 1 Treffer
- acm transactions on privacy and security 1 Treffer
- alatoo academic studies 1 Treffer
- automatica 1 Treffer
Sprache
661 Treffer
-
In: IEEE Transactions on Geoscience and Remote Sensing, Jg. 60 (2022), S. 1-18Online unknownZugriff:
-
In: 2018 IEEE/PES Transmission and Distribution Conference and Exposition (T&D), 2018-04-01Online unknownZugriff:
-
In: 2015 IEEE Fifth International Conference on Big Data and Cloud Computing, 2015-08-01Online unknownZugriff:
-
In: IEEE Transactions on Circuits and Systems, Jg. 28 (1981-04-01), S. 279-287Online unknownZugriff:
-
In: IEEE Transactions on Aerospace and Electronic Systems, 1966-07-01, S. 598-612Online unknownZugriff:
-
In: Chemical Engineering Journal, Jg. 420 (2021-09-01), S. 127575-127575Online unknownZugriff:
-
In: Journal of International Financial Markets, Institutions and Money, Jg. 32 (2014-09-01), S. 219-239Online unknownZugriff:
-
In: Expert Systems with Applications, Jg. 243 (2024-06-01), S. N.PAGacademicJournalZugriff:
-
In: Mathematical Finance, Jg. 32 (2021-08-09), S. 46-77Online unknownZugriff:
-
2023HochschulschriftZugriff:
-
In: Information and Computation, Jg. 289 (2022-11-01), S. 104856-104856Online unknownZugriff:
-
In: Neural computing & applications (Print), Jg. 22 (2013), Heft 5, S. 1023-1035Online academicJournalZugriff:
-
In: Foundations of Software Science and Computation Structures, Jg. 12077 (2020-04-01), S. 237-256Online unknownZugriff:
-
In: Siberian Philological Forum, Jg. 9 (2020-01-30), S. 32-40Online unknownZugriff:
-
In: Computers & chemical engineering, Jg. 35 (2011), Heft 12, S. 2896-2904academicJournalZugriff: