Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer 95 Treffer
- computer.software_genre 88 Treffer
- programming language 72 Treffer
- 02 engineering and technology 61 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 59 Treffer
-
45 weitere Werte:
- proof assistant 54 Treffer
- 020207 software engineering 44 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 37 Treffer
- theoretical computer science 28 Treffer
- mathematical proof 27 Treffer
- computer.programming_language 26 Treffer
- 01 natural sciences 25 Treffer
- correctness 25 Treffer
- 020204 information systems 24 Treffer
- formal verification 24 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 24 Treffer
- 0102 computer and information sciences 23 Treffer
- 010201 computation theory & mathematics 23 Treffer
- computer graphics and computer-aided design 23 Treffer
- software engineering 20 Treffer
- compiler 19 Treffer
- 020201 artificial intelligence & image processing 16 Treffer
- automated theorem proving 14 Treffer
- soundness 14 Treffer
- coq 13 Treffer
- formal methods 12 Treffer
- media_common 12 Treffer
- media_common.quotation_subject 12 Treffer
- safety, risk, reliability and quality 11 Treffer
- artificial intelligence 10 Treffer
- fos: computer and information sciences 10 Treffer
- modular design 10 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 9 Treffer
- distributed computing 9 Treffer
- semantics (computer science) 9 Treffer
- separation logic 9 Treffer
- software development 9 Treffer
- certification 8 Treffer
- concurrency 8 Treffer
- functional programming 8 Treffer
- software system 8 Treffer
- hardware and architecture 7 Treffer
- 020202 computer hardware & architecture 6 Treffer
- automation 6 Treffer
- component (uml) 6 Treffer
- cryptography 6 Treffer
- development (topology) 6 Treffer
- implementation 6 Treffer
- process (engineering) 6 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 5 Treffer
Verlag
- association for computing machinery (acm) 26 Treffer
- acm 16 Treffer
- ieee 14 Treffer
- hal ccsd 13 Treffer
- springer international publishing 9 Treffer
-
24 weitere Werte:
- elsevier bv 7 Treffer
- springer berlin heidelberg 6 Treffer
- springer science and business media llc 4 Treffer
- cambridge university press (cup) 3 Treffer
- institute of electrical and electronics engineers (ieee) 3 Treffer
- springer singapore 3 Treffer
- arxiv 2 Treffer
- acm press 1 Treffer
- china science publishing & media ltd. 1 Treffer
- edp sciences 1 Treffer
- elsevier 1 Treffer
- hamad bin khalifa university press (hbku press) 1 Treffer
- inderscience 1 Treffer
- iop publishing 1 Treffer
- ios press 1 Treffer
- korea information processing society-computer software research group 1 Treffer
- morressier 1 Treffer
- open publishing association 1 Treffer
- published by elsevier b.v. 1 Treffer
- spie 1 Treffer
- the royal society publishing 1 Treffer
- univesity of twente 1 Treffer
- walter de gruyter gmbh 1 Treffer
- wiley 1 Treffer
Publikation
- acm sigplan notices 15 Treffer
- proceedings of the acm on programming languages 6 Treffer
- journal of automated reasoning 3 Treffer
- journal of functional programming 3 Treffer
- electronic notes in theoretical computer science 2 Treffer
-
44 weitere Werte:
- science of computer programming 2 Treffer
- 2009 first international conference on advances in system testing and validation lifecycle 1 Treffer
- 2013 ieee 37th annual computer software and applications conference 1 Treffer
- 2015 acm/ieee international conference on formal methods and models for codesign (memocode) 1 Treffer
- 2015 ieee 39th annual computer software and applications conference 1 Treffer
- 2015 ieee symposium on security and privacy 1 Treffer
- 2017 32nd ieee/acm international conference on automated software engineering (ase) 1 Treffer
- 2018 international conference on high performance computing & simulation (hpcs) 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 congress on evolutionary computation (cec) 1 Treffer
- 2021 ieee 22nd international conference of young professionals in electron devices and materials (edm) 1 Treffer
- acm transactions on embedded computing systems 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
- biomedical physics & engineering express 1 Treffer
- communications of the acm 1 Treffer
- data in brief 1 Treffer
- e-informatica software engineering journal 1 Treffer
- electronic proceedings in theoretical computer science 1 Treffer
- epj web of conferences 1 Treffer
- formal aspects of computing 1 Treffer
- formal methods in system design 1 Treffer
- human-centric computing and information sciences 1 Treffer
- ieee software 1 Treffer
- ieee transactions on medical imaging 1 Treffer
- ieee transactions on very large scale integration (vlsi) systems 1 Treffer
- journal of computer research and development 1 Treffer
- journal of logical and algebraic methods in programming 1 Treffer
- journal of symbolic computation 1 Treffer
- journal of systems and software 1 Treffer
- pattern recognition 1 Treffer
- procedia computer science 1 Treffer
- proceedings of th 12th international workshop on software and compilers for embedded systems 1 Treffer
- proceedings of the 2017 acm sigsac conference on computer and communications security 1 Treffer
- proceedings of the 27th acm symposium on operating systems principles 1 Treffer
- proceedings of the 33rd acm sigplan conference on programming language design and implementation 1 Treffer
- proceedings of the 35th acm sigplan conference on programming language design and implementation 1 Treffer
- proceedings of the 40th international conference on software engineering: companion proceeedings 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
- qatar foundation annual research forum proceedings 1 Treffer
- software: practice and experience 1 Treffer
- spie proceedings 1 Treffer
- web intelligence 1 Treffer
Sprache
135 Treffer
-
In: Journal of Automated Reasoning, Jg. 61 (2018-02-27), S. 423-453Online unknownZugriff:
-
In: 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2021-06-30Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 201 (2021), S. 102537-102537Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 113 (2015-12-01), S. 285-301Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 51 (2015-10-21), S. 26-40Online unknownZugriff:
-
In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018-05-27Online unknownZugriff:
-
2012Online unknownZugriff:
-
In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017-09-29Online unknownZugriff:
-
2017Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 47 (2012-09-13), S. 131-136Online unknownZugriff:
-
In: International Journal of Soft Computing and Software Engineering, Jg. 2 (2012-09-10), S. 1-15Online unknownZugriff:
-
In: 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010-08-01Online unknownZugriff:
-
In: SPIE Proceedings, 2006-06-14Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 49 (2014-01-08), S. 249-249Online unknownZugriff: