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] 116 Treffer
- coq 82 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 75 Treffer
- [info.info-dc]computer science [cs]/distributed 31 Treffer
- and cluster computing [cs.dc] 31 Treffer
-
45 weitere Werte:
- parallel 31 Treffer
- [info]computer science [cs] 30 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 24 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 21 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 20 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 19 Treffer
- [info.info-cg]computer science [cs]/computational geometry [cs.cg] 18 Treffer
- [info.info-rb]computer science [cs]/robotics [cs.ro] 18 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 17 Treffer
- theorem proving 15 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 12 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 12 Treffer
- formal proof 12 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 11 Treffer
- [info.info-pf]computer science [cs]/performance [cs.pf] 11 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 10 Treffer
- acm: c.: computer systems organization/c.2: computer-communication networks/c.2.4: distributed systems 10 Treffer
- acm: d.: software/d.2: software engineering/d.2.2: design tools and techniques 10 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification 10 Treffer
- coq proof assistant 10 Treffer
- proofs 10 Treffer
- [info.info-es]computer science [cs]/embedded systems 9 Treffer
- [info.info-ia]computer science [cs]/computer aided engineering 9 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 9 Treffer
- acm: d.: software/d.2: software engineering/d.2.1: requirements/specifications 9 Treffer
- acm: d.: software/d.3: programming languages/d.3.1: formal definitions and theory 9 Treffer
- acm: d.: software/d.4: operating systems/d.4.5: reliability 9 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.2: lambda calculus and related systems 9 Treffer
- geometry 9 Treffer
- [info.info-mc]computer science [cs]/mobile computing 7 Treffer
- [math.math-na]mathematics [math]/numerical analysis [math.na] 7 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs 7 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.7: proof theory 7 Treffer
- acoustic wave equation 7 Treffer
- algebra 7 Treffer
- distributed algorithms 7 Treffer
- formal methods 7 Treffer
- numerical scheme 7 Treffer
- partial differential equation 7 Treffer
- types 7 Treffer
- [scco.comp]cognitive science/computer science 6 Treffer
- acm: g.: mathematics of computing/g.1: numerical analysis/g.1.8: partial differential equations/g.1.8.2: finite difference methods 6 Treffer
- coq formal proofs 6 Treffer
- decision procedure 6 Treffer
- ocaml 6 Treffer
Verlag
Publikation
- lecture notes in computer science 106 Treffer
- icfem'14 - 16th international conference on formal engineering methods ; https://inria.hal.science/hal-01024067 ; icfem'14 - 16th international conference on formal engineering methods, nov 2014, luxembourg, luxembourg 5 Treffer
- proceedings of avocs 2017 ; formal methods for industrial critical systems and automated verification of critical systems (fmics/avocs) ; https://hal.sorbonne-universite.fr/hal-01549942 ; formal methods for industrial critical systems and automated verification of critical systems (fmics/avocs), sep 2017, turin, italy. pp.165-181, ⟨10.1007/978-3-319-67113-0_11⟩ ; https://easychair.org/cfp/fmics-avocs2017 5 Treffer
- automated reasoning - 10th international joint conference, ijcar 2020, proceedings 4 Treffer
- lecture notes in computer science (lncs) ; 13th international colloquium on theoretical aspects of computing ; https://hal.science/hal-01463441 ; 13th international colloquium on theoretical aspects of computing, oct 2016, taipei, taiwan. pp.69-81, ⟨10.1007/978-3-319-46750-4_5⟩ 4 Treffer
-
18 weitere Werte:
- formal methods- fm 2019 international workshops - revised selected papers 3 Treffer
- international symposium on stabilization, safety, and security of distributed systems ; https://hal.sorbonne-universite.fr/hal-00930267 ; international symposium on stabilization, safety, and security of distributed systems, nov 2013, osaka, japan. pp.178-190, ⟨10.1007/978-3-319-03089-0_13⟩ 3 Treffer
- 19th eacsl annual conference on computer science logic ; https://inria.hal.science/inria-00497404 ; 19th eacsl annual conference on computer science logic, aug 2010, brno, czech republic. pp.529--543, ⟨10.1007/978-3-642-15205-4_40⟩ 2 Treffer
- communications in computer and information science 2 Treffer
- formal methods and software engineering - 21st international conference on formal engineering methods, icfem 2019, proceedings 2 Treffer
- lecture notes in computer science ; 13th conference on formal methods for open object-based distributed systems (fmoods) / 31th international conference on formal techniques for networked and distributed systems (forte) ; https://inria.hal.science/hal-00647802 ; 13th conference on formal methods for open object-based distributed systems (fmoods) / 31th international conference on formal techniques for networked and distributed systems (forte), jun 2011, reykjavik, iceland. pp.106-120, ⟨10.1007/978-3-642-21461-5_7⟩ ; http://hal.inria.fr/docs/00/64/78/02/pdf/vdcp.pdf 2 Treffer
- programming languages and systems - 17th asian symposium, aplas 2019, proceedings 2 Treffer
- dynamic logic. new trends and applications - 2nd international workshop, dali 2019, proceedings 1 Treffer
- formal aspects of component software 1 Treffer
- formal methods - the next 30 years - 3rd world congress, fm 2019, proceedings 1 Treffer
- innovations in systems and software engineering 1 Treffer
- lecture notes in computer science ; issn: 0302-9743 1 Treffer
- lecture notes in electrical engineering 1 Treffer
- mathematical software - icms 2020 - 7th international conference, proceedings 1 Treffer
- mathematics of program construction- 13th international conference, mpc 2019, proceedings 1 Treffer
- networked systems - 7th international conference, netys 2019, revised selected papers 1 Treffer
- tools and algorithms for the construction and analysis of systems- 26th international conference, tacas 2020, held as part of the european joint conferences on theory and practice of software, etaps 2020, proceedings, part ii 1 Treffer
- verification, model checking, and abstract interpretation 1 Treffer
Sprache
Geographischer Bezug
453 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. 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. 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: 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:
-
In: Lecture notes in computer science, Jg. 12232 (2020), S. 368-379KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 12232 (2020), S. 362-367KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 12232 (2020), S. 380-391KonferenzZugriff:
-
In: Lecture notes in computer science, Jg. 12236 (2020), S. 271-277KonferenzZugriff: