Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- business 241 Treffer
- business.industry 240 Treffer
- software 118 Treffer
- media_common 104 Treffer
- media_common.quotation_subject 104 Treffer
-
45 weitere Werte:
- software bug 89 Treffer
- debugging 72 Treffer
- computer.programming_language 59 Treffer
- 02 engineering and technology 54 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 54 Treffer
- 020207 software engineering 51 Treffer
- software development 48 Treffer
- java 42 Treffer
- source code 39 Treffer
- software construction 34 Treffer
- software quality 32 Treffer
- software system 32 Treffer
- 020204 information systems 29 Treffer
- software maintenance 28 Treffer
- algorithmic program debugging 25 Treffer
- correctness 24 Treffer
- applied sciences 22 Treffer
- code (cryptography) 22 Treffer
- code refactoring 22 Treffer
- computer science; control theory; systems 22 Treffer
- exact sciences and technology 22 Treffer
- genie logiciel 22 Treffer
- informatique 22 Treffer
- informatique; automatique theorique; systemes 22 Treffer
- langage programmation 22 Treffer
- lenguaje programacion 22 Treffer
- logiciel 22 Treffer
- programmer 22 Treffer
- sciences appliquees 22 Treffer
- sciences exactes et technologie 22 Treffer
- static analysis 22 Treffer
- formal verification 19 Treffer
- formal specification 18 Treffer
- software verification and validation 18 Treffer
- compiler 17 Treffer
- model checking 17 Treffer
- concurrency 16 Treffer
- program verification 15 Treffer
- software_softwareengineering 15 Treffer
- test case 15 Treffer
- verificacion programa 15 Treffer
- verification programme 15 Treffer
- 020201 artificial intelligence & image processing 14 Treffer
- general computer science 14 Treffer
- process (engineering) 14 Treffer
Verlag
- ieee 85 Treffer
- acm 66 Treffer
- institute of electrical and electronics engineers (ieee) 22 Treffer
- springer berlin heidelberg 15 Treffer
- elsevier bv 9 Treffer
-
31 weitere Werte:
- association for computing machinery (acm) 6 Treffer
- ieee comput. soc 6 Treffer
- acm press 5 Treffer
- ieee comput. soc. press 5 Treffer
- association for computing machinery 4 Treffer
- springer 4 Treffer
- wiley 4 Treffer
- hal ccsd 3 Treffer
- institution of engineering and technology (iet) 3 Treffer
- springer science and business media llc 3 Treffer
- elsevier 2 Treffer
- ieee computer society 2 Treffer
- peerj inc. 2 Treffer
- springer international publishing 2 Treffer
- springer-verlag 2 Treffer
- aip 1 Treffer
- centrum voor wiskunde en informatica 1 Treffer
- elsevier b.v. 1 Treffer
- escholarship, university of california 1 Treffer
- ieee computer soc 1 Treffer
- informa uk limited 1 Treffer
- national library of serbia 1 Treffer
- quinstreet enterprise 1 Treffer
- sage publications 1 Treffer
- science & engineering research support society 1 Treffer
- scientific research publishing, inc. 1 Treffer
- springer us 1 Treffer
- the science and information organization 1 Treffer
- the university of hong kong libraries 1 Treffer
- university "st. kliment ohridski" bitola, macedonia 1 Treffer
- world scientific pub co pte lt 1 Treffer
Publikation
- acm sigplan notices 13 Treffer
- ieee transactions on software engineering 13 Treffer
- computer 6 Treffer
- ieee software 4 Treffer
- 2016 ieee 23rd international conference on software analysis, evolution, and reengineering (saner) 3 Treffer
-
45 weitere Werte:
- 2016 ieee 24th international conference on program comprehension (icpc) 3 Treffer
- proceedings of the 2016 24th acm sigsoft international symposium on foundations of software engineering 3 Treffer
- proceedings of the 33rd international conference on software engineering 3 Treffer
- 2008 16th ieee international conference on program comprehension 2 Treffer
- 2009 ieee 31st international conference on software engineering 2 Treffer
- 2015 30th ieee/acm international conference on automated software engineering (ase) 2 Treffer
- 2016 ieee 40th annual computer software and applications conference (compsac) 2 Treffer
- 2017 ieee/acm 39th international conference on software engineering companion (icse-c) 2 Treffer
- acm sigsoft software engineering notes 2 Treffer
- acm transactions on programming languages and systems 2 Treffer
- computers & education 2 Treffer
- electronic notes in theoretical computer science 2 Treffer
- empirical software engineering 2 Treffer
- information and software technology 2 Treffer
- lecture notes in computer science 2 Treffer
- pldi'06: proceedings of the 2006 acm sigplan conference on programming language design and implementation, june 10-16, 2006, ottawa, ontario, canada 2 Treffer
- pldi'07 proceedings of the 2007 acm sigplan conference on programming language design & implementation, june 10-13, 2007, san diego, ca 2 Treffer
- proceeding of the 44th acm technical symposium on computer science education 2 Treffer
- proceedings of the 2015 international symposium on software testing and analysis 2 Treffer
- proceedings of the 22nd acm sigsoft international symposium on foundations of software engineering 2 Treffer
- proceedings of the 32nd acm/ieee international conference on software engineering - volume 1 2 Treffer
- proceedings of the 38th international conference on software engineering 2 Treffer
- proceedings of the 38th international conference on software engineering companion 2 Treffer
- 0esop 2006 1 Treffer
- 2005 ieee symposium on visual languages and human-centric computing (vl/hcc'05) 1 Treffer
- 2006 ieee international high level design validation and test workshop 1 Treffer
- 2008 ieee international conference on services computing 1 Treffer
- communications of the acm 1 Treffer
- concur 2004 : concurrency theory (london, 31 august - 3 september 2004) 1 Treffer
- esec/fse'05 (proceedings of the joint 10th european software engineering conference (esec) and the 13th acm sigsoft symposium on the foundations of software engineering (fse-13)) 1 Treffer
- generative programming and component engineering (4th international conference, gpce 2005, tallinn, estonia, september 29 - october 1, 2005, proceedings) 1 Treffer
- icse 2002 : 24th international conference on software engineering (orlando fl, 19-25 may 2002) 1 Treffer
- pc week 1 Treffer
- peerj computer science 1 Treffer
- popl® 2007: the 34th acm sigplan-sigact symposium on principles of programming languages®: papers presented at the symposium, january 17-19, 2007, nice, france 1 Treffer
- principles, logics, and implementations of high-level programming languages (pli) 1 Treffer
- proceedings - international conference on software engineering 1 Treffer
- proceedings of 2005 acm sigplan conference on programming language design and implementation, pldi'05 1 Treffer
- proceedings of the 2004 acm conference on object-oriented programming, systems, languages, and applications (oopsla'04) 1 Treffer
- proceedings of the 2004 acm sigplan: international conference on functional programming (icfp'04), snowbird, utah, usa, september 19-21, 2004 1 Treffer
- proceedings of the 2005 acm sigplan-sigact symposium on principles of programming languages (popl 2005) 1 Treffer
- proceedings of the acm sigplan 2002 conference on programming language design and implementation (pldi'02) 1 Treffer
- programming languages and systems (15th european symposium on programming, esop 2006, held as part of the joint european conferences on theory and practice of software, etaps 2006, vienna, austria, march 27-28, 2006) 1 Treffer
- report - software engineering 1 Treffer
- software, practice & experience 1 Treffer
Sprache
272 Treffer
-
In: IEEE Transactions on Software Engineering, Jg. 47 (2021-12-01), Heft 12, S. 2684-2697Online academicJournalZugriff:
-
In: 2021 IEEE/ACM 18th International Conference on Mining Software Repositories (MSR), 2021-05-01Online unknownZugriff:
-
In: IEEE software, Jg. 23 (2006), Heft 2, S. 92-93Online academicJournalZugriff:
-
In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017-08-21Online unknownZugriff:
-
In: 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC), 2016-06-01Online unknownZugriff:
-
In: Proceedings of the 13th International Conference on Mining Software Repositories, 2016-05-14Online unknownZugriff:
-
In: Proceedings of the 38th International Conference on Software Engineering Companion, 2016-05-14Online unknownZugriff:
-
In: 2016 International Conference on Learning and Teaching in Computing and Engineering (LaTICE), 2016-03-01Online unknownZugriff:
-
In: IEEE Transactions on Software Engineering, Jg. 36 (2010-07-01), S. 474-494Online unknownZugriff:
-
In: IEEE Software, Jg. 25 (2008-09-01), S. 22-29Online unknownZugriff:
-
In: ACM SIGCSE Bulletin, Jg. 32 (2000-03-01), S. 256-259Online unknownZugriff:
-
In: 2012 16th Panhellenic Conference on Informatics, 2012-10-01Online unknownZugriff:
-
In: Proceeding of the 44th ACM technical symposium on Computer science education, 2013-03-06Online unknownZugriff:
-
2011Online unknownZugriff:
-
In: 2010 2nd International Conference on Software Technology and Engineering, 2010-10-01Online unknownZugriff:
-
In: 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN), 2010-06-01Online unknownZugriff:
-
In: 2009 IEEE 17th International Conference on Program Comprehension, 2009-05-01Online unknownZugriff:
-
In: 31st Annual International Computer Software and Applications Conference - Vol. 1- (COMPSAC 2007), 2007-07-01Online unknownZugriff: