Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science 47 Treffer
- computer 46 Treffer
- computer.software_genre 46 Treffer
- programming language 45 Treffer
- software 24 Treffer
-
45 weitere Werte:
- 02 engineering and technology 22 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 22 Treffer
- theoretical computer science 20 Treffer
- 020207 software engineering 19 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 19 Treffer
- correctness 16 Treffer
- 01 natural sciences 13 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 13 Treffer
- 0102 computer and information sciences 11 Treffer
- 010201 computation theory & mathematics 11 Treffer
- business 11 Treffer
- business.industry 11 Treffer
- concurrency 11 Treffer
- computer graphics and computer-aided design 10 Treffer
- formal verification 9 Treffer
- mathematical proof 9 Treffer
- 020204 information systems 8 Treffer
- imperative programming 8 Treffer
- soundness 8 Treffer
- compiler 7 Treffer
- data structure 7 Treffer
- safety, risk, reliability and quality 7 Treffer
- bunched logic 6 Treffer
- computer science::logic in computer science 6 Treffer
- higher-order logic 6 Treffer
- hoare logic 6 Treffer
- modular design 6 Treffer
- computer.programming_language 5 Treffer
- operational semantics 5 Treffer
- state (computer science) 5 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 4 Treffer
- 020201 artificial intelligence & image processing 4 Treffer
- code (cryptography) 4 Treffer
- computational logic 4 Treffer
- computer science::programming languages 4 Treffer
- description logic 4 Treffer
- dynamic logic (modal logic) 4 Treffer
- functional programming 4 Treffer
- assembly language 3 Treffer
- assertion 3 Treffer
- axiomatic semantics 3 Treffer
- c11 3 Treffer
- computational theory and mathematics 3 Treffer
- data science 3 Treffer
- formal methods 3 Treffer
Verlag
Publikation
- proceedings of the acm on programming languages 5 Treffer
- acm sigplan notices 3 Treffer
- 2009 third ieee international symposium on theoretical aspects of software engineering 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
- electronic notes in theoretical computer science 1 Treffer
-
13 weitere Werte:
- fm 2015: formal methods : 20th international symposium, oslo, norway, june 24-26, 2015, proceedings 1 Treffer
- formal methods and software engineering : 8th international conference on formal engineering methods, icfem 2006, macao, china, november 1-3, 2006. proceedings 1 Treffer
- functional and logic programming : 13th international symposium, flops 2016, kochi, japan, march 4-6, 2016, proceedings 1 Treffer
- interactive theorem proving : third international conference, itp 2012, princeton, nj, usa, august 13-15, 2012. proceedings 1 Treffer
- journal of automated reasoning 1 Treffer
- journal of computer science and technology 1 Treffer
- journal of logical and algebraic methods in programming 1 Treffer
- journal of symbolic computation 1 Treffer
- logical methods in computer science 1 Treffer
- proceedings of the 2020 acm sigplan international symposium on memory management 1 Treffer
- proceedings of the 36th acm sigplan conference on programming language design and implementation 1 Treffer
- proceedings of the 3rd international conference on vision, image and signal processing 1 Treffer
- science of computer programming 1 Treffer
Sprache
54 Treffer
-
In: Proceedings of the 3rd International Conference on Vision, Image and Signal Processing, 2019-08-26Online unknownZugriff:
-
In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017-09-29Online unknownZugriff:
-
2012Online E-BookZugriff:
-
In: Journal of Automated Reasoning, Jg. 57 (2016-05-01), Heft 4, S. 319-387Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 64 (2007-02-01), S. 332-340Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-01-04), S. 1-29Online unknownZugriff:
-
2016Online unknownZugriff:
-
2015Online E-BookZugriff:
-
In: Journal of Symbolic Computation, Jg. 46 (2011-02-01), S. 95-118Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-08-19), S. 1-28Online unknownZugriff:
-
In: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming, 2009-08-31Online unknownZugriff:
-
In: Proceedings of the 13th ACM SIGPLAN international conference on Functional programming, 2008-09-20Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2019-12-20), S. 1-30Online unknownZugriff: