Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 98 Treffer
- programming languages 40 Treffer
- semantics 40 Treffer
- algorithms 30 Treffer
- ubiquinones 29 Treffer
-
45 weitere Werte:
- mathematical proofs 23 Treffer
- computer software 22 Treffer
- proof theory 21 Treffer
- calculus 20 Treffer
- computer programming 20 Treffer
- compilers (computer programs) 19 Treffer
- mathematical models 19 Treffer
- mathematics 18 Treffer
- floating-point arithmetic 17 Treffer
- antennas (electronics) 16 Treffer
- interactive theorem proving 16 Treffer
- theorem proving 15 Treffer
- type theory 15 Treffer
- antenna measurements 14 Treffer
- axioms 14 Treffer
- formal verification 14 Treffer
- mathematical logic 14 Treffer
- evidence 13 Treffer
- mathematical analysis 13 Treffer
- proof assistant 13 Treffer
- antenna arrays 12 Treffer
- logic 12 Treffer
- verification 12 Treffer
- coenzymes 11 Treffer
- first-order logic 11 Treffer
- formal methods 11 Treffer
- mathematical functions 11 Treffer
- mathematics theorems 11 Treffer
- software verification 11 Treffer
- computer algorithms 10 Treffer
- coq proof assistant 10 Treffer
- data structures 10 Treffer
- program verification 10 Treffer
- antenna radiation patterns 9 Treffer
- formal proofs 9 Treffer
- formalization 9 Treffer
- lambda calculus 9 Treffer
- metatheory 9 Treffer
- total quality management 9 Treffer
- automated theorem proving 8 Treffer
- automation 8 Treffer
- computer science 8 Treffer
- computer security 8 Treffer
- dielectrics 8 Treffer
- electronic data processing 8 Treffer
Verlag
- elsevier b.v. 109 Treffer
- springer nature 108 Treffer
- association for computing machinery 42 Treffer
- ieee 42 Treffer
- cambridge university press 41 Treffer
-
41 weitere Werte:
- american chemical society 37 Treffer
- academic press inc. 31 Treffer
- wiley-blackwell 21 Treffer
- logical methods in computer science 16 Treffer
- ios press 12 Treffer
- ieom society international 10 Treffer
- oxford university press / usa 9 Treffer
- american institute of physics 8 Treffer
- american association for the advancement of science 7 Treffer
- institution of engineering & technology 7 Treffer
- american society for quality, inc. 5 Treffer
- mdpi 5 Treffer
- american society for engineering management 4 Treffer
- elsevier science 4 Treffer
- faculty of organization & informatics 4 Treffer
- hindawi limited 4 Treffer
- hww temp 4 Treffer
- edp sciences 3 Treffer
- optica publishing group 3 Treffer
- taylor & francis ltd 3 Treffer
- totem publisher, inc. 3 Treffer
- american society of civil engineers 2 Treffer
- bnp media 2 Treffer
- electromagnetics academy 2 Treffer
- emerald publishing limited 2 Treffer
- scientific annals of computer science 2 Treffer
- springer science & business media b.v. 2 Treffer
- world scientific publishing company 2 Treffer
- allured publishing corporation 1 Treffer
- american production & inventory control society 1 Treffer
- caspian journal of applied sciences research 1 Treffer
- dvv media international 1 Treffer
- global science & technology forum 1 Treffer
- institute of software, chinese academy of sciences 1 Treffer
- omniearth pvt. ltd 1 Treffer
- ptn publishing company 1 Treffer
- radioengineering society 1 Treffer
- reed business information limited 1 Treffer
- sciendo 1 Treffer
- society of glass technology 1 Treffer
- united business media 1 Treffer
Publikation
- journal of automated reasoning 65 Treffer
- ieee transactions on antennas & propagation 29 Treffer
- journal of functional programming 21 Treffer
- science of computer programming 21 Treffer
- journal of catalysis 20 Treffer
-
45 weitere Werte:
- mathematical structures in computer science 18 Treffer
- microelectronics reliability 18 Treffer
- theoretical computer science 18 Treffer
- journal of the american chemical society 17 Treffer
- logical methods in computer science (lmcs) 16 Treffer
- acm transactions on programming languages & systems 14 Treffer
- fundamenta informaticae 7 Treffer
- science 7 Treffer
- annals of mathematics & artificial intelligence 6 Treffer
- communications of the acm 6 Treffer
- journal of aerosol science 6 Treffer
- journal of hazardous materials 6 Treffer
- journal of physical chemistry b 6 Treffer
- journal of symbolic computation 6 Treffer
- acm transactions on mathematical software 5 Treffer
- electronics letters (institution of engineering & technology) 5 Treffer
- journal of computer science & technology (10009000) 5 Treffer
- journal of logic & computation 5 Treffer
- journal of physical chemistry 5 Treffer
- proceedings of the international conference on industrial engineering & operations management 5 Treffer
- acm transactions on embedded computing systems 4 Treffer
- analytical chemistry 4 Treffer
- applied microbiology & biotechnology 4 Treffer
- central european conference on information & intelligent systems 4 Treffer
- environmental science & technology 4 Treffer
- formal methods in system design 4 Treffer
- journal of applied physics 4 Treffer
- journal of the acm 4 Treffer
- proceedings of the 2017 international annual conference of the american society for engineering management 4 Treffer
- quality progress 4 Treffer
- computational geometry 3 Treffer
- icse: international conference on software engineering 3 Treffer
- ieee transactions on computers 3 Treffer
- ieom north american conference proceedings 3 Treffer
- information & computation 3 Treffer
- international journal of performability engineering 3 Treffer
- international journal on software tools for technology transfer 3 Treffer
- journal of computer security 3 Treffer
- journal of systems & software 3 Treffer
- optical materials 3 Treffer
- optics letters 3 Treffer
- software & systems modeling 3 Treffer
- solid-state electronics 3 Treffer
- thin solid films 3 Treffer
- acm transactions on computational logic 2 Treffer
Sprache
569 Treffer
-
In: International Journal of Software & Informatics, Jg. 13 (2023-07-01), Heft 3, S. 323-357Online academicJournalZugriff:
-
In: ACM Transactions on Programming Languages & Systems, Jg. 45 (2023-09-01), Heft 3, S. 1-61Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 68 (2024-03-01), Heft 1, S. 1-29Online academicJournalZugriff:
-
In: Journal of Circuits, Systems & Computers, Jg. 33 (2024-04-01), Heft 6, S. 1-25academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 67 (2023-12-01), Heft 4, S. 1-30Online academicJournalZugriff:
-
In: Logical Methods in Computer Science (LMCS), Jg. 17 (2021-04-01), Heft 2, S. 1-43Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 67 (2023-03-01), Heft 1, S. 1-31Online academicJournalZugriff:
-
In: Logical Methods in Computer Science (LMCS), Jg. 18 (2022-04-01), Heft 2, S. 1-29Online academicJournalZugriff:
-
In: Software & Systems Modeling, Jg. 19 (2020-03-01), Heft 2, S. 425-439Online academicJournalZugriff:
-
In: Logic Journal of the IGPL, Jg. 28 (2020-12-01), Heft 6, S. 1077-1092Online academicJournalZugriff:
-
In: International Journal of Performability Engineering, Jg. 14 (2018-09-01), Heft 9, S. 1947-1957Online academicJournalZugriff:
-
In: Science of Computer Programming, Jg. 233 (2024-03-01), S. N.PAGacademicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 66 (2022-05-01), Heft 2, S. 175-213Online academicJournalZugriff:
-
In: Journal of Functional Programming, Jg. 33 (2023), S. 1-55academicJournalZugriff:
-
In: Journal of Computer Science & Technology (10009000), Jg. 36 (2021-12-01), Heft 6, S. 1291-1306Online academicJournalZugriff:
-
In: Logical Methods in Computer Science (LMCS), Jg. 12 (2016-06-01), Heft 2, S. 1-29Online academicJournalZugriff:
-
In: Journal of Functional Programming, Jg. 32 (2022), S. 1-60Online academicJournalZugriff:
-
In: Journal of Systems Architecture, Jg. 143 (2023-10-01), S. N.PAGacademicJournalZugriff:
-
In: International Journal of Parallel Programming, Jg. 42 (2014-08-01), Heft 4, S. 643-662Online academicJournalZugriff:
-
In: Journal of Functional Programming, Jg. 32 (2022), S. 1-27Online academicJournalZugriff: