Treffer 101 - 120 von 135

artificial intelligence 92 programming language 81 02 engineering and technology 80 fos: mathematics 80 mathematics 80 0202 electrical engineering, electronic engineering, information engineering 67 mehr ... theoretical computer science 65 model checking 54 software 54 01 natural sciences 52 algorithm 51 0102 computer and information sciences 46 program analysis and verification techniques 41 engineering 40 fos: computer and information sciences 33 geometry 30 physics 29 7. clean energy 27 discrete mathematics 26 mathematical analysis 26 hardware and architecture 25 distributed computing 24 fos: philosophy, ethics and religion 24 philosophy 24 runtime verification 23 biology 21 logic programming and knowledge representation 21 model-driven engineering in software development 20 16. peace & justice 19 automated software testing techniques 19 weniger ...

springer international publishing 17 springer science and business media llc 14 bcs learning & development 11 openalex 9 wiley 7 elsevier bv 6 mehr ... institute of electrical and electronics engineers (ieee) 6 centro latino americano de estudios en informatica 5 springer nature switzerland 5 the science and information organization 5 centre pour la communication scientifique directe (ccsd) 4 institute of advanced engineering and science 4 acm 3 edp sciences 3 ieee 3 oxford university press (oup) 3 hindawi limited 2 springer berlin heidelberg 2 african journals online (ajol) 1 arxiv 1 cambridge university press (cup) 1 canadian center of science and education 1 editora blucher 1 editorial ciencia digital 1 egyptian knowledge bank 1 engineering, technology & applied science research 1 escuela de postgrados de la fac 1 european alliance for innovation n.o. 1 gn1 sistemas e publicacoes ltd. 1 growing science 1 weniger ...

english 78 undetermined 57

OpenAIRE 135