Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 25 Treffer
- [info]computer science [cs] 13 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 12 Treffer
- formal verification 11 Treffer
- floating-point arithmetic 10 Treffer
-
45 weitere Werte:
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 7 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 7 Treffer
- interactive theorem proving 7 Treffer
- taylor models 7 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 6 Treffer
- approximation 6 Treffer
- computing and processing 6 Treffer
- verified compilation 6 Treffer
- [shs.phil]humanities and social sciences/philosophy 5 Treffer
- abstract interpretation 5 Treffer
- coinduction 5 Treffer
- composition 5 Treffer
- decision procedure 5 Treffer
- distributed algorithm 5 Treffer
- formal methods 5 Treffer
- modal logic 5 Treffer
- numerical analysis 5 Treffer
- productiveness 5 Treffer
- program analysis 5 Treffer
- self-stabilization 5 Treffer
- streams 5 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 4 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 4 Treffer
- acm f.4.1 4 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification 4 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs 4 Treffer
- associativity 4 Treffer
- commutativity 4 Treffer
- g.1.2 4 Treffer
- g.4 4 Treffer
- kleene algebra 4 Treffer
- points-to analysis 4 Treffer
- program verification 4 Treffer
- rewriting 4 Treffer
- rigorous polynomial approximation 4 Treffer
- separation logic 4 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 3 Treffer
- [info.info-cg]computer science [cs]/computational geometry [cs.cg] 3 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 3 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 3 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 3 Treffer
- [info.info-it]computer science [cs]/information theory [cs.it] 3 Treffer
- [math.math-ac]mathematics [math]/commutative algebra [math.ac] 3 Treffer
- [math.math-ct]mathematics [math]/category theory [math.ct] 3 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic 3 Treffer
Verlag
- hal ccsd 61 Treffer
- acm 10 Treffer
- springer 10 Treffer
- ieee 6 Treffer
- association for computing machinery 5 Treffer
-
12 weitere Werte:
- springer international publishing 4 Treffer
- institute of electrical and electronics engineers inc. 3 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 3 Treffer
- schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing 3 Treffer
- springer-verlag 3 Treffer
- association for computing machinery, inc 2 Treffer
- ieee computer society 2 Treffer
- ceur-ws 1 Treffer
- darts - dagstuhl artifacts series. darts, volume 8, issue 2, special issue of the 36th european conference on object-oriented programming (ecoop 2022) 1 Treffer
- lipics - leibniz international proceedings in informatics. 36th european conference on object-oriented programming (ecoop 2022) 1 Treffer
- springer science and business media deutschland gmbh 1 Treffer
- springer verlag 1 Treffer
Publikation
- lecture notes in computer science 7 Treffer
- acm international conference proceeding series 4 Treffer
- leibniz international proceedings in informatics, lipics 3 Treffer
- 2009 30th ieee symposium on security and privacy, security and privacy, 2009 30th ieee symposium on 1 Treffer
- 2013 15th international symposium on symbolic and numeric algorithms for scientific computing, symbolic and numeric algorithms for scientific computing (synasc), 2013 15th international symposium on 1 Treffer
-
27 weitere Werte:
- 2017 ieee 30th computer security foundations symposium (csf), computer security foundations symposium (csf), 2017 ieee 30th, csf 1 Treffer
- 2018 ieee smartworld, ubiquitous intelligence & computing, advanced & trusted computing, scalable computing & communications, cloud & big data computing, internet of people and smart city innovation (smartworld/scalcom/uic/atc/cbdcom/iop/sci), smartworld, ubiquitous intelligence & computing, advanced & trusted computing, scalable computing & communications, cloud & big data computing, internet of people and smart city innovation (smartworld/scalcom/uic/atc/cbdcom/iop/sci), 2018 ieee, smartworld-uic-atc-scalcom-cbdcom-iop-sci 1 Treffer
- 2019 chinese automation congress (cac), chinese automation congress (cac), 2019 1 Treffer
- 2023 ieee 30th symposium on computer arithmetic (arith), computer arithmetic (arith), 2023 ieee 30th symposium on, arith 1 Treffer
- acm sigplan notices 1 Treffer
- ceur workshop proceedings 1 Treffer
- conference record of the annual acm symposium on principles of programming languages 1 Treffer
- cpp 2021 - proceedings of the 10th acm sigplan international conference on certified programs and proofs, co-located with popl 2021 1 Treffer
- evaluation policy the artifact has been evaluated as described in the ecoop 2022 call for artifacts and the acm artifact review and badging policy 1 Treffer
- formal methods and software engineering - 11th international conference on formal engineering methods, icfem 2009, proceedings 1 Treffer
- formal methods for industrial critical systems - 14th international workshop, fmics 2009, proceedings 1 Treffer
- formal techniques for distributed objects, components, and systems - 39th ifip wg 6.1 international conference, forte 2019, held as part of the 14th international federated conference on distributed computing techniques, discotec 2019, proceedings 1 Treffer
- hilt 2013 - proceedings of the acm conference on high integrity language technology 1 Treffer
- icfp 2016 - proceedings of the 21st acm sigplan international conference on functional programming 1 Treffer
- intelligent computer mathematics - 9th international conference, aisc 2008 - 15th symposium, calculemus 2008 - 7th international conference, mkm 2008, proceedings 1 Treffer
- interactive theorem proving - 4th international conference, itp 2013, proceedings 1 Treffer
- logical methods in computer science 1 Treffer
- nasa formal methods - 4th international symposium, nfm 2012, proceedings 1 Treffer
- proceedings - 15th international symposium on symbolic and numeric algorithms for scientific computing, synasc 2013 1 Treffer
- proceedings - 2018 ieee smartworld, ubiquitous intelligence and computing, advanced and trusted computing, scalable computing and communications, cloud and big data computing, internet of people and smart city innovations, smartworld/uic/atc/scalcom/cbdcom/iop/sci 2018 1 Treffer
- proceedings - 2019 chinese automation congress, cac 2019 1 Treffer
- proceedings - ieee computer security foundations symposium 1 Treffer
- proceedings - symposium on computer arithmetic 1 Treffer
- proceedings of the acm symposium on applied computing 1 Treffer
- proceedings of the annual southeast conference 1 Treffer
- programming languages and systems - 21st asian symposium, aplas 2023, proceedings 1 Treffer
- reverse engineering - working conference proceedings 1 Treffer
Sprache
Geographischer Bezug
102 Treffer
-
In: 2019 Chinese Automation Congress (CAC), 2019-11-01, S. 1001-1005KonferenzZugriff:
-
In: 2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013-09-01, S. 193-200KonferenzZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science ; 7th Symposium on Working Formal Methods (FROM 2023) ; https://inria.hal.science/hal-04254872 ; 7th Symposium on Working Formal Methods (FROM 2023), Sep 2023, Bucarest, Romania. pp.96 - 109, ⟨10.4204/eptcs.389.8⟩, 2023Online KonferenzZugriff:
-
In: Evaluation Policy The artifact has been evaluated as described in the ECOOP 2022 Call for Artifacts and the ACM Artifact Review and Badging Policy, 2022Online KonferenzZugriff:
-
In: 2023 IEEE 30th Symposium on Computer Arithmetic (ARITH), 2023-09-04, S. 32-35KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
In: 9th International Conference on Computational Systems-Biology and Bioinformatics ; https://hal.science/hal-01919043 ; 9th International Conference on Computational Systems-Biology and Bioinformatics, Dec 2018, Bangkok, Thailand, 2018Online KonferenzZugriff:
-
In: The 7th Coq Workshop ; https://hal.science/hal-01169321 ; The 7th Coq Workshop, Jun 2015, Sophia Antipolis, France, 2015Online KonferenzZugriff:
-
In: NASA Formal Methods 4th International Symposium, NFM 2012 ; Fourth NASA Formal Methods Symposium ; https://ens-lyon.hal.science/ensl-00653460, 2012Online KonferenzZugriff:
-
In: Tactics for Reasoning Modulo AC in Coq ; Certified Proofs and Programs ; https://hal.science/hal-00484871 ; Certified Proofs and Programs, 2011, Taiwan. pp167-182, ⟨10.1007/978-3-642-25379-9_14⟩, 2011Online KonferenzZugriff:
-
In: Journées Francophones des Langages Applicatifs ; JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs ; https://inria.hal.science/hal-03936656 ; JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.101-120 ; http://jfla.inria.fr/jfla2023.html, 2023Online KonferenzZugriff:
-
In: Logic and Theory of Algorithms, Fourth Conference on Computability in Europe, CiE 2008 ; https://hal.science/hal-00338973 ; Logic and Theory of Algorithms, 2008Online KonferenzZugriff:
-
In: Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010Online KonferenzZugriff:
-
In: 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI), 2018-10-01, S. 1516-1523KonferenzZugriff:
-
In: 30th IEEE International Symposium on Computer Arithmetic ; https://inria.hal.science/hal-04165169 ; 30th IEEE International Symposium on Computer Arithmetic, Sep 2023, Portland (Oregon), United States. pp.4, 2023Online KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff: