Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- programming language 12 Treffer
- proof assistant 10 Treffer
- 02 engineering and technology 8 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 8 Treffer
- software 8 Treffer
-
45 weitere Werte:
- computer.programming_language 7 Treffer
- fos: computer and information sciences 5 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 5 Treffer
- 01 natural sciences 4 Treffer
- 0102 computer and information sciences 4 Treffer
- 010201 computation theory & mathematics 4 Treffer
- 020207 software engineering 4 Treffer
- certification 4 Treffer
- mathematical proof 4 Treffer
- 020204 information systems 3 Treffer
- assembly language 3 Treffer
- automated theorem proving 3 Treffer
- computer graphics and computer-aided design 3 Treffer
- computer science - logic in computer science 3 Treffer
- computer science - programming languages 3 Treffer
- formal methods 3 Treffer
- formal verification 3 Treffer
- logic in computer science (cs.lo) 3 Treffer
- programming languages (cs.pl) 3 Treffer
- [math.math-ct]mathematics [math]/category theory [math.ct] 2 Treffer
- 020201 artificial intelligence & image processing 2 Treffer
- 020206 networking & telecommunications 2 Treffer
- artificial intelligence (cs.ai) 2 Treffer
- code (cryptography) 2 Treffer
- compiler 2 Treffer
- computer science - artificial intelligence 2 Treffer
- computer science - learning 2 Treffer
- computer security 2 Treffer
- computer security model 2 Treffer
- control (management) 2 Treffer
- functional programming 2 Treffer
- lcsh:electronic computers. computer science 2 Treffer
- lcsh:mathematics 2 Treffer
- lcsh:qa1-939 2 Treffer
- lcsh:qa75.5-76.95 2 Treffer
- machine learning (cs.lg) 2 Treffer
- protocol (object-oriented programming) 2 Treffer
- scripting language 2 Treffer
- set (abstract data type) 2 Treffer
- software_programminglanguages 2 Treffer
- soundness 2 Treffer
- theoretical computer science 2 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 2 Treffer
- typed assembly language 2 Treffer
- [info.info-cr] computer science [cs]/cryptography and security [cs.cr] 1 Treffer
Verlag
Publikation
- acm sigplan notices 2 Treffer
- electronic proceedings in theoretical computer science 2 Treffer
- 2009 33rd annual ieee international computer software and applications conference 1 Treffer
- e-informatica software engineering journal 1 Treffer
- electronic notes in theoretical computer science 1 Treffer
- 2 weitere Werte:
Sprache
20 Treffer
-
In: Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020Online 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: Electronic Proceedings in Theoretical Computer Science, Jg. 239 (2017), S. 15-27Online unknownZugriff:
-
In: International Journal of Performability Engineering, 2018Online unknownZugriff:
-
In: 2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS), 2016-04-11Online unknownZugriff:
-
In: Proceedings 36th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Asia 2000, 2002-11-08Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 147 (2014-04-01), S. 123-132Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, Jg. 159 (2006-05-01), S. 299-323Online unknownZugriff:
-
In: e-Informatica Software Engineering Journal, 2012-01-12Online unknownZugriff:
-
In: 2009 33rd Annual IEEE International Computer Software and Applications Conference, 2009Online unknownZugriff:
-
In: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), 2007Online unknownZugriff:
-
In: 2006 Sixth International Conference on Quality Software (QSIC'06), 2006-10-01Online unknownZugriff: