Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer 47 Treffer
- programming language 46 Treffer
- computer.software_genre 45 Treffer
- proof assistant 33 Treffer
- 02 engineering and technology 26 Treffer
-
45 weitere Werte:
- 0202 electrical engineering, electronic engineering, information engineering 26 Treffer
- 020207 software engineering 24 Treffer
- applied sciences 24 Treffer
- business 24 Treffer
- business.industry 24 Treffer
- computer science; control theory; systems 24 Treffer
- exact sciences and technology 24 Treffer
- informatique 24 Treffer
- informatique; automatique theorique; systemes 24 Treffer
- logiciel 24 Treffer
- sciences appliquees 24 Treffer
- sciences exactes et technologie 24 Treffer
- verification formelle 24 Treffer
- compiler 23 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 21 Treffer
- correctness 18 Treffer
- computer graphics and computer-aided design 17 Treffer
- theoretical computer science 16 Treffer
- computer.programming_language 15 Treffer
- software engineering 14 Treffer
- program verification 13 Treffer
- verificacion programa 13 Treffer
- verification programme 13 Treffer
- 020204 information systems 12 Treffer
- safety, risk, reliability and quality 12 Treffer
- genie logiciel 11 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 10 Treffer
- formal method 10 Treffer
- methode formelle 10 Treffer
- metodo formal 10 Treffer
- proof theory 10 Treffer
- coq 9 Treffer
- formal methods 9 Treffer
- mathematical proof 9 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 9 Treffer
- 01 natural sciences 8 Treffer
- automatic proving 8 Treffer
- demonstration automatique 8 Treffer
- demostracion automatica 8 Treffer
- informatique theorique 8 Treffer
- semantics (computer science) 8 Treffer
- theoretical computing 8 Treffer
- formal specification 7 Treffer
- separation logic 7 Treffer
- software_programminglanguages 7 Treffer
Verlag
- association for computing machinery (acm) 20 Treffer
- springer 14 Treffer
- hal ccsd 11 Treffer
- acm 6 Treffer
- ieee 6 Treffer
-
11 weitere Werte:
- association for computing machinery 3 Treffer
- lavoisier 3 Treffer
- institute of electrical and electronics engineers (ieee) 2 Treffer
- springer berlin heidelberg 2 Treffer
- springer singapore 2 Treffer
- arxiv 1 Treffer
- elsevier bv 1 Treffer
- hamad bin khalifa university press (hbku press) 1 Treffer
- springer science and business media llc 1 Treffer
- world scientific pub co pte lt 1 Treffer
- world scientific publishing 1 Treffer
Publikation
- acm sigplan notices 11 Treffer
- lecture notes in computer science 11 Treffer
- proceedings of the acm on programming languages 8 Treffer
- journal of automated reasoning 3 Treffer
- tsi. technique et science informatiques 3 Treffer
-
35 weitere Werte:
- communications of the acm 2 Treffer
- parallel processing letters 2 Treffer
- tphols 2003 : theorem proving in higher order logics (rome, 8-12 september 2003) 2 Treffer
- 0icfem 2005 1 Treffer
- 2013 ieee 37th annual computer software and applications conference 1 Treffer
- 2013 ieee 37th annual computer software and applications conference, computer software and applications conference (compsac), 2013 ieee 37th annual 1 Treffer
- 2015 acm/ieee international conference on formal methods and models for codesign (memocode) 1 Treffer
- 2015 ieee symposium on security and privacy 1 Treffer
- 2021 2nd international conference on big data & artificial intelligence & software engineering (icbase), big data & artificial intelligence & software engineering (icbase), 2021 2nd international conference on, icbase 1 Treffer
- 2021 ieee 22nd international conference of young professionals in electron devices and materials (edm) 1 Treffer
- acm transactions on mathematical software 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
- conference record of popl® 2006: the 33rd acm sigplan-sigact symposium on principles of programming languages®, january 11-13, 2006, charleston, south carolina, usa 1 Treffer
- fm 2005 : formal methods (newcastle, 18-22 july 2005) 1 Treffer
- fm 2006 (formal methods) 1 Treffer
- formal methods and software engineering (7th international conference on formal engineering methods, icfem 2005, manchester, uk, november 1-4, 2005) 1 Treffer
- formal methods and software engineering (singapore, 5-7 november 2003) 1 Treffer
- high-level parallel programming and applications 1 Treffer
- ieee transactions on computer-aided design of integrated circuits and systems 1 Treffer
- ieee transactions on very large scale integration (vlsi) systems 1 Treffer
- isss 2002 : software security - theories and systems (tokyo, 8-10 november 2002, revised papers) 1 Treffer
- journal of the association for computing machinery 1 Treffer
- langages applicatifs : specification, programmation, verification 1 Treffer
- methodes formelles pour l'analyse statique et la compilation 1 Treffer
- movep '98 : modelisation et verification des processus paralleles (nantes, 6-9 juillet 1998) 1 Treffer
- parallel and distributed processing (cancun, 1-5 may 2000) 1 Treffer
- pldi'07 proceedings of the 2007 acm sigplan conference on programming language design & implementation, june 10-13, 2007, san diego, ca 1 Treffer
- procedia computer science 1 Treffer
- proceedings of the 42nd acm sigplan international conference on programming language design and implementation 1 Treffer
- proceedings of the acm/ieee 42nd international conference on software engineering: companion proceedings 1 Treffer
- programming languages and systems (barcelona, 29 march - 2 april 2004) 1 Treffer
- qatar foundation annual research forum proceedings 1 Treffer
- tacas 2000 : tools and algorithms for the construction and analysis of systems (berlin, 25 march - 2 april 2000) 1 Treffer
- tlca 2005 : typed lambda calculi and applications (nara, 21-23 april 2005) 1 Treffer
- tphols 2000 : theorem proving in higher order logics (portland or, 14-18 august 2000) 1 Treffer
Sprache
83 Treffer
-
In: 2021 2nd International Conference on Big Data & Artificial Intelligence & Software Engineering (ICBASE), 2021-09-01, S. 392-395KonferenzZugriff:
-
In: Méthodes formelles pour l'analyse statique et la compilation, Jg. 30 (2011), Heft 4, S. 409-440academicJournalZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2019-12-20), S. 1-32Online unknownZugriff:
-
In: MOVEP '98 : modélisation et vérification des processus parallèles (Nantes, 6-9 juillet 1998), 1998, S. 239-251KonferenzZugriff:
-
In: TPHOLs 2000 : theorem proving in higher order logics (Portland OR, 14-18 August 2000), 2000, S. 356-371KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 335-351KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 155-170KonferenzZugriff:
-
In: 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2021-06-30Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 1 (2017-08-29), S. 1-15Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 52 (2017-09-07), S. 63-74Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 47 (2012-09-13), S. 131-136Online unknownZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 29 (2010), S. 149-153Online unknownZugriff:
-
In: Qatar Foundation Annual Research Forum Proceedings, 2011-11-01, S. CSP23Online unknownZugriff:
-
In: Conference record of POPL® 2006: The 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages®, January 11-13, Jg. 41 (2006), Heft 1, S. 42-54KonferenzZugriff:
-
In: Journal of automated reasoning, Jg. 50 (2013), Heft 4, S. 423-456Online academicJournalZugriff:
-
In: Journal of automated reasoning, Jg. 53 (2014), Heft 1, S. 63-103Online academicJournalZugriff:
-
In: Langages applicatifs : spécification, programmation, vérification, Jg. 24 (2005), Heft 9, S. 1161-1185academicJournalZugriff:
-
In: TSI. Technique et science informatiques, Jg. 23 (2004), Heft 7, S. 855-878academicJournalZugriff:
-
In: High-level parallel programming and applications, Jg. 13 (2003), Heft 3, S. 365-376Online academicJournalZugriff: