Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- software 11 Treffer
- algorithmic program debugging 9 Treffer
- software bug 9 Treffer
- computer.programming_language 7 Treffer
- 02 engineering and technology 6 Treffer
-
45 weitere Werte:
- 0202 electrical engineering, electronic engineering, information engineering 6 Treffer
- 020207 software engineering 5 Treffer
- business 5 Treffer
- business.industry 5 Treffer
- theoretical computer science 5 Treffer
- java 4 Treffer
- compiler 3 Treffer
- computer graphics and computer-aided design 3 Treffer
- concurrency 3 Treffer
- correctness 3 Treffer
- debug menu 3 Treffer
- debugger 3 Treffer
- model checking 3 Treffer
- semantics (computer science) 3 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 3 Treffer
- 020204 information systems 2 Treffer
- abstract interpretation 2 Treffer
- abstraction 2 Treffer
- abstraction (linguistics) 2 Treffer
- artificial intelligence 2 Treffer
- background debug mode interface 2 Treffer
- code (cryptography) 2 Treffer
- computer science(all) 2 Treffer
- computer.file_format 2 Treffer
- concurrent computing 2 Treffer
- context (language use) 2 Treffer
- counterexample 2 Treffer
- electrical and electronic engineering 2 Treffer
- event (computing) 2 Treffer
- executable 2 Treffer
- formal verification 2 Treffer
- general computer science 2 Treffer
- hardware and architecture 2 Treffer
- law 2 Treffer
- law.invention 2 Treffer
- process (computing) 2 Treffer
- program synthesis 2 Treffer
- software debugging 2 Treffer
- software engineering 2 Treffer
- software quality 2 Treffer
- software system 2 Treffer
- software_softwareengineering 2 Treffer
- source code 2 Treffer
- x86 2 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 1 Treffer
Verlag
Publikation
- acm sigplan notices 2 Treffer
- electronic notes in theoretical computer science 2 Treffer
- [1989] proceedings of the twenty-second annual hawaii international conference on system sciences. volume ii: software track 1 Treffer
- 2009 sixth international conference on information technology: new generations 1 Treffer
- 2014 19th asia and south pacific design automation conference (asp-dac) 1 Treffer
-
9 weitere Werte:
- 2016 ieee 22nd international conference on parallel and distributed systems (icpads) 1 Treffer
- 2017 ieee/acm 39th international conference on software engineering companion (icse-c) 1 Treffer
- companion to the 20th annual acm sigplan conference on object-oriented programming, systems, languages, and applications 1 Treffer
- ieee transactions on software engineering 1 Treffer
- ieee transactions on very large scale integration (vlsi) systems 1 Treffer
- international journal of software engineering and knowledge engineering 1 Treffer
- proceedings intelligent information systems. iis'97 1 Treffer
- proceedings of the 33rd international conference on software engineering 1 Treffer
- proceedings of the 35th ieee/acm international conference on automated software engineering 1 Treffer
Sprache
29 Treffer
-
In: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020-12-21Online unknownZugriff:
-
In: 2016 IEEE 22nd International Conference on Parallel and Distributed Systems (ICPADS), 2016-12-01Online unknownZugriff:
-
In: Proceedings of the 2013 International Symposium on Software Testing and Analysis, 2013-07-15Online unknownZugriff:
-
2014Online unknownZugriff:
-
In: 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C), 2017-05-01Online unknownZugriff:
-
In: IEEE Transactions on Very Large Scale Integration (VLSI) Systems, Jg. 16 (2008-04-01), S. 353-364Online unknownZugriff:
-
In: First International Conference onSoftware Engineering and Formal Methods,, 2003Online unknownZugriff:
-
In: 2009 Sixth International Conference on Information Technology: New Generations, 2009Online unknownZugriff:
-
In: Proceedings Intelligent Information Systems. IIS'97, 2002-11-22Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 10 (1975-04-01), S. 347-357Online unknownZugriff:
-
In: 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC), 2014Online unknownZugriff:
-
In: Proceedings of the 33rd International Conference on Software Engineering, 2011-05-21Online unknownZugriff:
-
In: Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, 2019-10-20Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 52 (2017-06-14), S. 467-481Online unknownZugriff:
-
In: IEEE Transactions on Software Engineering, Jg. 36 (2010), S. 7-19Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, Jg. 86 (2003-11-01), Heft 3, S. 85-104Online unknownZugriff:
-
In: International Journal of Software Engineering and Knowledge Engineering, 1996-12-01, S. 609-640Online unknownZugriff: