Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- automatic theorem proving 42 Treffer
- theorem proving 40 Treffer
- logic, symbolic and mathematical 33 Treffer
- itp 24 Treffer
- types 21 Treffer
-
45 weitere Werte:
- proofs 20 Treffer
- programs 19 Treffer
- higher order logics 17 Treffer
- tphols 17 Treffer
- computer programming 15 Treffer
- cpp 11 Treffer
- catalysis 10 Treffer
- computer science 10 Treffer
- coq 10 Treffer
- ethnozootechnie 10 Treffer
- formal methods (computer science) 10 Treffer
- computer software 9 Treffer
- mathematics 9 Treffer
- type theory 9 Treffer
- algebra 7 Treffer
- calculemus 7 Treffer
- computer industry 7 Treffer
- electronic data processing personnel 7 Treffer
- engineering design 7 Treffer
- iced 7 Treffer
- software engineering 7 Treffer
- interactive theorem proving 6 Treffer
- antennas 5 Treffer
- computation 5 Treffer
- icc 5 Treffer
- knowledge management 5 Treffer
- logic programming 5 Treffer
- zeolites 5 Treffer
- carbon 4 Treffer
- certified programs 4 Treffer
- coenzyme q10 4 Treffer
- coq10 4 Treffer
- environmental catalysis 4 Treffer
- logics 4 Treffer
- mechanical engineering 4 Treffer
- mkm 4 Treffer
- programming languages (electronic computers) 4 Treffer
- spie 4 Treffer
- algorithms 3 Treffer
- antennas and propagation 3 Treffer
- asian 3 Treffer
- asic 3 Treffer
- ats 3 Treffer
- automated reasoning 3 Treffer
- cicm 3 Treffer
Verlag
- elsevier science b.v., amsterdam. 231 Treffer
- springer-verlag 129 Treffer
- springer 97 Treffer
- elsevier science b.v., amsterdam 54 Treffer
- ieee institute of electrical and electronics 54 Treffer
-
45 weitere Werte:
- elsevier 45 Treffer
- springer science + business media 29 Treffer
- john wiley & sons ltd 27 Treffer
- ieee 24 Treffer
- acs american chemical society 22 Treffer
- societe d'ethnozootechnie 22 Treffer
- springer verlag kg 22 Treffer
- berlin; springer; c 19 Treffer
- heidelberg; springer; c 19 Treffer
- springer nature 18 Treffer
- elsevier science 17 Treffer
- heidelberg; springer 17 Treffer
- american physical society 14 Treffer
- berlin; springer 14 Treffer
- john wiley & sons, ltd 14 Treffer
- taylor & francis 14 Treffer
- academic pr 13 Treffer
- new york; springer 13 Treffer
- cham; springer 12 Treffer
- oxford university press 12 Treffer
- acm 10 Treffer
- american institute of physics 10 Treffer
- optical society of america 10 Treffer
- royal society of chemistry 10 Treffer
- american society for microbiology 9 Treffer
- de cep communication 9 Treffer
- elsevier science b.v. amsterdam 9 Treffer
- nature publishing 9 Treffer
- academic press 8 Treffer
- bondway publishing company 8 Treffer
- heidelberg; london; springer; c 8 Treffer
- institut national de recherche en informatique et en 8 Treffer
- j c baltzer ag 8 Treffer
- spie 8 Treffer
- institute of electrical and electronics engineers inc 7 Treffer
- wiley-blackwell 7 Treffer
- hermes 6 Treffer
- iet 6 Treffer
- institut national de recherche en informatique et en automatique 6 Treffer
- international society for optical engineering 6 Treffer
- nature publishing group 6 Treffer
- blackwell publishing ltd 5 Treffer
- edp sciences 5 Treffer
- iee 5 Treffer
- kluwer academic publishers 5 Treffer
Publikation
- lecture notes in computer science 352 Treffer
- ieee transactions on antennas and propagation 42 Treffer
- studies in surface science and catalysis 26 Treffer
- applied catalysis b 22 Treffer
- ethnozootechnie 22 Treffer
-
45 weitere Werte:
- faseb journal 20 Treffer
- journal of automated reasoning 19 Treffer
- journal of catalysis -new york- 17 Treffer
- journal of noncrystalline solids 17 Treffer
- acm sigplan notices 16 Treffer
- applied catalysis a 13 Treffer
- chemical engineering journal 12 Treffer
- proceedings- spie the international society for optical engineering 12 Treffer
- catalysis today 11 Treffer
- ieee access 11 Treffer
- optics letters 10 Treffer
- biofactors -oxford then amsterdam- 9 Treffer
- ieee antennas and propagation society international symposium 9 Treffer
- scientific reports 9 Treffer
- catalysis letters 8 Treffer
- free radical biology and medicine 8 Treffer
- journal of molecular catalysis a chemical 8 Treffer
- rapport de recherche- institut national de recherche en informatique et en automatique 8 Treffer
- revue de metallurgie cahiers d information techniques 8 Treffer
- science of computer programming 8 Treffer
- transactions of the american nuclear society 8 Treffer
- applied surface science 7 Treffer
- electronic notes in theoretical computer science 7 Treffer
- experimental neurology 7 Treffer
- ieee transactions on nuclear science 7 Treffer
- microporous and mesoporous materials 7 Treffer
- physical review letters 7 Treffer
- applied catalysis.b.environmental 6 Treffer
- journal of bacteriology 6 Treffer
- journal of hazardous materials 6 Treffer
- metabolic engineering 6 Treffer
- physical review -series a- 6 Treffer
- rapports de recherche- institut national de recherche en informatique et en automatique 6 Treffer
- wdk workshop design konstruktion 6 Treffer
- aip conference proceedings 5 Treffer
- bangladesh journal of zoology 5 Treffer
- chemistry of materials 5 Treffer
- electronics letters- iee 5 Treffer
- environment and ecology 5 Treffer
- geoforum 5 Treffer
- ieee antennas and wireless propagation letters 5 Treffer
- journal de physique 4 5 Treffer
- journal of alloys and compounds 5 Treffer
- journal of entomological research 5 Treffer
- journal of rural studies 5 Treffer
Sprache
1.595 Treffer
-
In: Lecture notes in computer science, Jg. 13903 (2023), S. 62-78KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 14000 (2023), S. 39-55KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 14080 (2023), S. 395-412serialPeriodicalZugriff:
-
In: Lecture notes in computer science, Jg. 13544 (2022), S. 151-177KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 13649 (2022), S. 205-226KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 13649 (2022), S. 169-186KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 13372 (2022), S. 272-292KonferenzZugriff:
-
In: Lecture notes in electrical engineering, Jg. 942 (2022), Heft 1, S. 196-204KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 13299 (2022), S. 180-196KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 13274 (2022), S. 369-372KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 12842 (2021), S. 299-316KonferenzZugriff:
-
In: Communications in computer and information science, Jg. 1423 (2021), S. 656-665KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 12833 (2021), S. 67-83KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 12709 (2021), S. 162-166KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 12673 (2021), S. 287-303KonferenzZugriff:
-
In: Historia, Jg. 907/908 (2022), S. 36-39serialPeriodicalZugriff:
-
In: Faux titre, Jg. 453 (2022), S. 239-248serialPeriodicalZugriff:
-
In: Lecture notes in computer science, Jg. 12531 (2020), S. 287-296KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 12475 (2020), S. 192-209KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 12478 (2020), S. 60-72KonferenzZugriff: