Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- programming language 29 Treffer
- business 19 Treffer
- business.industry 19 Treffer
- software bug 18 Treffer
- 02 engineering and technology 17 Treffer
-
45 weitere Werte:
- 0202 electrical engineering, electronic engineering, information engineering 17 Treffer
- software 17 Treffer
- 020207 software engineering 14 Treffer
- data mining 14 Treffer
- algorithmic program debugging 12 Treffer
- artificial intelligence 10 Treffer
- code (cryptography) 8 Treffer
- computer.programming_language 8 Treffer
- correctness 8 Treffer
- machine learning 8 Treffer
- fault (power engineering) 7 Treffer
- 020202 computer hardware & architecture 6 Treffer
- theoretical computer science 6 Treffer
- computer graphics and computer-aided design 5 Treffer
- 020201 artificial intelligence & image processing 4 Treffer
- 020204 information systems 4 Treffer
- compiler 4 Treffer
- concurrency 4 Treffer
- context (language use) 4 Treffer
- debugger 4 Treffer
- electrical and electronic engineering 4 Treffer
- java 4 Treffer
- operating system 4 Treffer
- real-time computing 4 Treffer
- semantics (computer science) 4 Treffer
- software system 4 Treffer
- test case 4 Treffer
- algorithm 3 Treffer
- background debug mode interface 3 Treffer
- benchmark (computing) 3 Treffer
- debug menu 3 Treffer
- formal verification 3 Treffer
- fos: computer and information sciences 3 Treffer
- hardware and architecture 3 Treffer
- model checking 3 Treffer
- probabilistic logic 3 Treffer
- program slicing 3 Treffer
- ranking 3 Treffer
- software engineering 3 Treffer
- software quality 3 Treffer
- source code 3 Treffer
- statement (computer science) 3 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 3 Treffer
- trace (psycholinguistics) 3 Treffer
- 01 natural sciences 2 Treffer
Verlag
- ieee 16 Treffer
- acm 11 Treffer
- springer berlin heidelberg 5 Treffer
- institute of electrical and electronics engineers (ieee) 4 Treffer
- association for computing machinery (acm) 2 Treffer
-
12 weitere Werte:
- acm press 1 Treffer
- elsevier bv 1 Treffer
- facultad de informatica (upm) 1 Treffer
- foundation of computer science 1 Treffer
- hal ccsd 1 Treffer
- ieee comput. soc 1 Treffer
- ieee comput. soc. press 1 Treffer
- published by elsevier b.v. 1 Treffer
- springer international publishing 1 Treffer
- springer science and business media llc 1 Treffer
- springer us 1 Treffer
- world scientific pub co pte lt 1 Treffer
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
- 2007 ieee international parallel and distributed processing symposium 1 Treffer
- 2009 16th asia-pacific software engineering conference 1 Treffer
-
27 weitere Werte:
- 2009 sixth international conference on information technology: new generations 1 Treffer
- 2013 14th latin american test workshop - latw 1 Treffer
- 2014 19th asia and south pacific design automation conference (asp-dac) 1 Treffer
- 2015 asia-pacific software engineering conference (apsec) 1 Treffer
- 2016 ieee 22nd international conference on parallel and distributed systems (icpads) 1 Treffer
- 2016 ieee 35th symposium on reliable distributed systems (srds) 1 Treffer
- 2017 ieee international conference on software quality, reliability and security (qrs) 1 Treffer
- 2017 ieee/acm 39th international conference on software engineering (icse) 1 Treffer
- 2017 ieee/acm 39th international conference on software engineering companion (icse-c) 1 Treffer
- 2018 design, automation & test in europe conference & exhibition (date) 1 Treffer
- 2019 ieee 1st international workshop on intelligent bug fixing (ibf) 1 Treffer
- 2021 smart technologies, communication and robotics (stcr) 1 Treffer
- companion to the 20th annual acm sigplan conference on object-oriented programming, systems, languages, and applications 1 Treffer
- empirical software engineering 1 Treffer
- ieee micro 1 Treffer
- ieee transactions on computer-aided design of integrated circuits and systems 1 Treffer
- ieee transactions on software engineering 1 Treffer
- ieee transactions on very large scale integration (vlsi) systems 1 Treffer
- international journal of applied information systems 1 Treffer
- international journal of software engineering and knowledge engineering 1 Treffer
- proceedings intelligent information systems. iis'97 1 Treffer
- proceedings of the 1995 conference on asia pacific design automation (cd-rom) - asp-dac '95 1 Treffer
- proceedings of the 2015 10th joint meeting on foundations of software engineering 1 Treffer
- proceedings of the 29th acm sigsoft international symposium on software testing and analysis 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
- proceedings of the 47th design automation conference 1 Treffer
Sprache
54 Treffer
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 39 (2020-12-01), S. 5267-5280Online unknownZugriff:
-
In: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020-12-21Online unknownZugriff:
-
In: 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2018-03-01Online unknownZugriff:
-
In: 2016 IEEE 22nd International Conference on Parallel and Distributed Systems (ICPADS), 2016-12-01Online unknownZugriff:
-
In: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020-07-18Online unknownZugriff:
-
In: 2015 Asia-Pacific Software Engineering Conference (APSEC), 2015-12-01Online unknownZugriff:
-
In: Proceedings of the 2013 International Symposium on Software Testing and Analysis, 2013-07-15Online unknownZugriff:
-
2014Online unknownZugriff:
-
In: 2013 14th Latin American Test Workshop - LATW, 2013Online unknownZugriff:
-
In: 2021 Smart Technologies, Communication and Robotics (STCR), 2021-10-09Online unknownZugriff:
-
In: 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS), 2017-07-01Online unknownZugriff:
-
In: 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C), 2017-05-01Online unknownZugriff:
-
In: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), 2017-03-01Online unknownZugriff:
-
In: 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 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 16th Asia-Pacific Software Engineering Conference, 2009-12-01Online unknownZugriff: