Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- business 57 Treffer
- business.industry 57 Treffer
- logics and meanings of programs 49 Treffer
- mathematical logic and formal languages 46 Treffer
- software 46 Treffer
-
45 weitere Werte:
- artificial intelligence (incl. robotics) 38 Treffer
- proof assistant 31 Treffer
- computer 29 Treffer
- 02 engineering and technology 28 Treffer
- applied sciences 27 Treffer
- computer science; control theory; systems 27 Treffer
- exact sciences and technology 27 Treffer
- genie logiciel 27 Treffer
- informatique 27 Treffer
- informatique; automatique theorique; systemes 27 Treffer
- logiciel 27 Treffer
- sciences appliquees 27 Treffer
- sciences exactes et technologie 27 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 26 Treffer
- logic design 26 Treffer
- computer.software_genre 20 Treffer
- formal verification 20 Treffer
- programming language 20 Treffer
- program verification 17 Treffer
- verificacion programa 17 Treffer
- verification programme 17 Treffer
- 020207 software engineering 16 Treffer
- computer.programming_language 14 Treffer
- certification 13 Treffer
- programming languages, compilers, interpreters 12 Treffer
- programming techniques 12 Treffer
- 020201 artificial intelligence & image processing 11 Treffer
- coq 11 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 11 Treffer
- verification formelle 11 Treffer
- formal specification 10 Treffer
- informatique theorique 10 Treffer
- automatic proving 9 Treffer
- demonstration automatique 9 Treffer
- demostracion automatica 9 Treffer
- desarrollo logicial 9 Treffer
- developpement logiciel 9 Treffer
- formal methods 9 Treffer
- semantics 9 Treffer
- software development 9 Treffer
- theoretical computing 9 Treffer
- 020204 information systems 8 Treffer
- correctness 8 Treffer
- langage programmation 8 Treffer
- langages de programmation 8 Treffer
Verlag
- springer nature 52 Treffer
- ieee 11 Treffer
- springer 10 Treffer
- springer international publishing 8 Treffer
- acm 7 Treffer
-
24 weitere Werte:
- association for computing machinery (acm) 7 Treffer
- hal ccsd 6 Treffer
- lavoisier 6 Treffer
- association for computing machinery 4 Treffer
- springer berlin heidelberg 4 Treffer
- elsevier 3 Treffer
- ios press 3 Treffer
- open publishing association 3 Treffer
- springer-verlag 3 Treffer
- arxiv 1 Treffer
- cambridge university press 1 Treffer
- china science publishing & media ltd. 1 Treffer
- crc press 1 Treffer
- elsevier bv 1 Treffer
- eotvos lorand university (elte) 1 Treffer
- ieee comput. soc 1 Treffer
- ieee computer society 1 Treffer
- igi global 1 Treffer
- informa uk limited 1 Treffer
- korea information processing society-computer software research group 1 Treffer
- springer london 1 Treffer
- totem publisher, inc. 1 Treffer
- walter de gruyter gmbh 1 Treffer
- world scientific publishing 1 Treffer
Publikation
- acm sigplan notices 9 Treffer
- lecture notes in computer science 9 Treffer
- theorem proving in higher order logics (9783540678632) 8 Treffer
- theorem proving in higher order logics (9783540406648) 6 Treffer
- theorem proving in higher order logics (9783540745907) 6 Treffer
-
45 weitere Werte:
- tsi. technique et science informatiques 6 Treffer
- automated reasoning 4 Treffer
- electronic proceedings in theoretical computer science 3 Treffer
- fundamenta informaticae 3 Treffer
- langages applicatifs : specification, programmation, verification 3 Treffer
- logic for programming, artificial intelligence & reasoning (9783540755586) 3 Treffer
- theoretical computer science 3 Treffer
- types for proofs and programs (aussois, 15-19 december 1996, selected papers) 3 Treffer
- automated deduction - cade-20 2 Treffer
- mathematics of program construction (9783540356318) 2 Treffer
- rewriting, computation & proof 2 Treffer
- theorem proving in higher order logics 2 Treffer
- theorem proving in higher order logics (9783540283720) 2 Treffer
- theorem proving in higher order logics (9783540615873) 2 Treffer
- 0icfem 2005 1 Treffer
- 2009 33rd annual ieee international computer software and applications conference 1 Treffer
- 2010 third international conference on software testing, verification and validation 1 Treffer
- 2017 xliii latin american computer conference (clei) 1 Treffer
- 2018 international joint conference on neural networks (ijcnn) 1 Treffer
- 2019 ieee international conference on software maintenance and evolution (icsme) 1 Treffer
- 2020 ieee/acs 17th international conference on computer systems and applications (aiccsa) 1 Treffer
- 31 ; 1 1 Treffer
- 38 ; 1 1 Treffer
- applied formal methods-fm-trends 98 1 Treffer
- e-informatica software engineering journal 1 Treffer
- electronic notes in theoretical computer science 1 Treffer
- first joint ieee/ifip symposium on theoretical aspects of software engineering (tase '07) 1 Treffer
- fm 2005: formal methods 1 Treffer
- fm 2006: formal methods 1 Treffer
- formal methods & software engineering 1 Treffer
- foundations of software science & computation structures (978-3-540-41864-1) 1 Treffer
- frontiers of combining systems (9783540746201) 1 Treffer
- human-centric computing and information sciences 1 Treffer
- international journal of performability engineering 1 Treffer
- journal of computer research and development 1 Treffer
- logic for programming, artificial intelligence & reasoning (9783540305538) 1 Treffer
- practical aspects of declarative languages (9783540309475) 1 Treffer
- proceedings of the 8th international conference on theory and practice of electronic governance 1 Treffer
- proceedings of the 9th acm sigplan international conference on certified programs and proofs 1 Treffer
- programming languages & systems (9783540713142) 1 Treffer
- quality engineering 1 Treffer
- seventeen provers of the world 1 Treffer
- sofsem 2008: theory & practice of computer science 1 Treffer
- tools & algorithms for the construction & analysis of systems (9783540643562) 1 Treffer
- verification, model checking & abstract interpretation (9783540311393) 1 Treffer
Sprache
145 Treffer
-
In: Méthodes formelles pour l'analyse statique et la compilation, Jg. 30 (2011), Heft 4, S. 409-440academicJournalZugriff:
-
In: Langages applicatifs : spécification, programmation, vérification, Jg. 24 (2005), Heft 9, S. 1113-1138academicJournalZugriff:
-
In: Langages applicatifs : spécification, programmation, vérification, Jg. 24 (2005), Heft 9, S. 1139-1160academicJournalZugriff:
-
In: TSI. Technique et science informatiques, Jg. 26 (2007), Heft 9, S. 1111-1136academicJournalZugriff:
-
In: Types for proofs and programs (Aussois, 15-19 December 1996, selected papers), 1998, S. 277-293KonferenzZugriff:
-
In: Types for proofs and programs (Aussois, 15-19 December 1996, selected papers), 1998, S. 28-45KonferenzZugriff:
-
In: 2020 IEEE/ACS 17th International Conference on Computer Systems and Applications (AICCSA), 2020-11-01Online unknownZugriff:
-
In: Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020Online unknownZugriff:
-
In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020-01-20Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 51 (2015-10-21), S. 26-40Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 47 (2012-09-13), S. 131-136Online unknownZugriff:
-
In: Rewriting, Computation & Proof; (2007) S. 113-131BuchZugriff:
-
In: Theorem Proving in Higher Order Logics (9783540283720); (2005) S. 245-260BuchZugriff:
-
In: Theorem Proving in Higher Order Logics (9783540406648); (2003) S. 270-286BuchZugriff:
-
In: Theorem Proving in Higher Order Logics (9783540406648); (2003) S. 87-102BuchZugriff: