Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- 02 engineering and technology 268 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 250 Treffer
- 01 natural sciences 183 Treffer
- 0102 computer and information sciences 170 Treffer
- 010201 computation theory & mathematics 170 Treffer
-
45 weitere Werte:
- 020201 artificial intelligence & image processing 155 Treffer
- theoretical computer science 153 Treffer
- exact sciences and technology 120 Treffer
- informatique 120 Treffer
- sciences exactes et technologie 120 Treffer
- applied sciences 117 Treffer
- sciences appliquees 117 Treffer
- computer science; control theory; systems 116 Treffer
- informatique; automatique theorique; systemes 116 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 100 Treffer
- software 95 Treffer
- informatique theorique 83 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 82 Treffer
- 020207 software engineering 82 Treffer
- theoretical computing 81 Treffer
- computer 76 Treffer
- decidability 73 Treffer
- fos: computer and information sciences 73 Treffer
- computer.software_genre 66 Treffer
- [info]computer science [cs] 63 Treffer
- computingmilieux_miscellaneous 63 Treffer
- mathematics 61 Treffer
- model checking 60 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 58 Treffer
- automaton 54 Treffer
- reachability 54 Treffer
- 16. peace & justice 52 Treffer
- logiciel 52 Treffer
- 000 computer science, knowledge, general works 51 Treffer
- business 49 Treffer
- business.industry 49 Treffer
- computer science - logic in computer science 49 Treffer
- algorithm 46 Treffer
- logic in computer science (cs.lo) 46 Treffer
- computer theory 44 Treffer
- informatica teorica 44 Treffer
- computer science::formal languages and automata theory 41 Treffer
- mathematiques 41 Treffer
- petri net 41 Treffer
- temporal logic 40 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 38 Treffer
- computer science::logic in computer science 38 Treffer
- 0209 industrial biotechnology 34 Treffer
- 020901 industrial engineering & automation 34 Treffer
- 020204 information systems 32 Treffer
Verlag
- hal ccsd 262 Treffer
- springer 74 Treffer
- elsevier 37 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany 14 Treffer
- elsevier b.v. 13 Treffer
-
25 weitere Werte:
- elsevier science 8 Treffer
- escholarship, university of california 4 Treffer
- nature publishing group 4 Treffer
- association for computing machinery 3 Treffer
- episciences.org 3 Treffer
- society for industrial & applied mathematics 3 Treffer
- world scientific publishing company 3 Treffer
- academic press inc. 2 Treffer
- mdpi ag 2 Treffer
- open publishing association 2 Treffer
- acm 1 Treffer
- centrum voor wiskunde en informatica 1 Treffer
- elsevier inc. 1 Treffer
- elsevier ltd. 1 Treffer
- hindawi limited 1 Treffer
- ieee 1 Treffer
- ieee computer society press 1 Treffer
- international joint conferences on artificial intelligence 1 Treffer
- preprints 1 Treffer
- springer berlin heidelberg 1 Treffer
- springer nature 1 Treffer
- springeropen 1 Treffer
- springer-verlag 1 Treffer
- the author(s). published by elsevier b.v. 1 Treffer
- the prognostics and health management society 1 Treffer
Publikation
- lecture notes in computer science 59 Treffer
- theoretical computer science 21 Treffer
- information and computation (print) 19 Treffer
- information processing letters 13 Treffer
- concur 2005 : concurrency theory (san francisco ca? 23-26 august 2005) 4 Treffer
-
45 weitere Werte:
- issn: 2041-1723 4 Treffer
- international journal of foundations of computer science 3 Treffer
- movep '2k : modelisation et verification des processus paralleles (nantes, 19-23 juin 2000) 3 Treffer
- siam journal on computing 3 Treffer
- 0lpar 2006 2 Treffer
- 19th international conference on concurency theory (concur 2008) 2 Treffer
- automata, languages and programming (lisbon, 11-15 july 2005) 2 Treffer
- automated technology for verification and analysis (third international symposium, atva 2005, taipei, taiwan, october 4-7, 2005, proceedings) 2 Treffer
- cav 2000 : computer aided verification (chicago il, 15-17 july 2000) 2 Treffer
- cav 2003 : computer aided verification (boulder co, 8-12 july 2003) 2 Treffer
- concur 2001 - concurrency theory (aalborg, 20-25 august 2001) 2 Treffer
- concur '99 concurrency theory (eindhoven, 24-27 august 1999) 2 Treffer
- csl 2002 : computer science logic (edinburgh, 22-25 september 2002) 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
- information & computation 2 Treffer
- international journal on software tools for technology transfer (print) 2 Treffer
- logic for programming, artificial intelligence, and reasoning (13th international conference, lpar 2006, phnom penh, cambodia, november 13-17, 2006) 2 Treffer
- lpar 2003 : logic for programming artificial intelligence, and reasoning (almaty, 22-26 september 2003) 2 Treffer
- mfcs 2000 : mathematical foundations of computer science (bratislava, 28 august - 1 september 2000) 2 Treffer
- tacas 2004 : tools and algorithms for the construction and analysis of systems (barcelona, 29 march - 2 april 2004) 2 Treffer
- 0aplas 2005 1 Treffer
- 0cav 2006 1 Treffer
- 0formats 2005 1 Treffer
- 0fsttcs 2005 1 Treffer
- 16th international conference on rewriting techniques and applications 1 Treffer
- 17th ieee computer security foundations workshop (28-30 june 2004, pacific grove ca) 1 Treffer
- acm transactions on database systems 1 Treffer
- acta informatica 1 Treffer
- algebra, meaning, and computation (essays dedicated to joseph a. goguen on the occasion of his 65th birthday) 1 Treffer
- amast '98 : algebraic methodology and software technology (amazonia, 4-8 january 1999) 1 Treffer
- automata, languages and programming (icalp 2005) 1 Treffer
- automata, languages and programming (prague, 11-15 july 1999) 1 Treffer
- automatica 1 Treffer
- avta 2004 : automated technology for verification and analysis (taipei, 31 october - 3 november 2004) 1 Treffer
- cav 2005 : computer aided verification (edinburgh, 6-10 july 2005) 1 Treffer
- cav '99 : computer aided verification (trento, 6-10 july 1999) 1 Treffer
- ccl'99 : constraints in computational logics, theory and applications (gif sur yvette, 5-8 september 1999, revised lectures) 1 Treffer
- electronic notes in theoretical computer science 1 Treffer
- ieee transactions on computer-aided design of integrated circuits and systems 1 Treffer
- information and computation 1 Treffer
- international journal of prognostics and health management 1 Treffer
- mathematical problems in engineering 1 Treffer
- sensors 1 Treffer
472 Treffer
-
In: Expert Systems with Applications, Jg. 243 (2024-06-01), S. N.PAGacademicJournalZugriff:
-
2023Online unknown
-
In: Neural computing & applications (Print), Jg. 22 (2013), Heft 5, S. 1023-1035Online academicJournalZugriff:
-
In: Computers & chemical engineering, Jg. 35 (2011), Heft 12, S. 2896-2904academicJournalZugriff:
-
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: