Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- artificial intelligence 68 Treffer
- business 54 Treffer
- business.industry 53 Treffer
- mathematics 45 Treffer
- exact sciences and technology 44 Treffer
-
45 weitere Werte:
- informatique 44 Treffer
- mathematiques 44 Treffer
- sciences exactes et technologie 44 Treffer
- applied sciences 42 Treffer
- computer science; control theory; systems 42 Treffer
- informatique; automatique theorique; systemes 42 Treffer
- knowledge engineering 42 Treffer
- sciences appliquees 42 Treffer
- ingenierie connaissances 33 Treffer
- matematicas 33 Treffer
- intelligence artificielle 29 Treffer
- apprentissage et systemes adaptatifs 27 Treffer
- learning and adaptive systems 27 Treffer
- computer 23 Treffer
- software 22 Treffer
- 02 engineering and technology 18 Treffer
- computer.software_genre 18 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 15 Treffer
- cluster analysis 15 Treffer
- logiciel 13 Treffer
- memory organisation. data processing 13 Treffer
- organisation des memoires. traitement des donnees 13 Treffer
- 020201 artificial intelligence & image processing 12 Treffer
- database management 12 Treffer
- formula matematica 12 Treffer
- formule mathematique 12 Treffer
- mathematical formula 12 Treffer
- mathematical knowledge management 12 Treffer
- artificial intelligence (incl. robotics) 11 Treffer
- knowledge management 11 Treffer
- pattern recognition 11 Treffer
- semantics 11 Treffer
- demonstration theoreme 10 Treffer
- demostracion teorema 10 Treffer
- information systems. data bases 10 Treffer
- systemes d'information. bases de donnees 10 Treffer
- theorem proving 10 Treffer
- data mining 9 Treffer
- theoretical computer science 9 Treffer
- world wide web 9 Treffer
- computer communication networks 8 Treffer
- information storage and retrieval 8 Treffer
- algorithm 7 Treffer
- biblioteca electronica 7 Treffer
- bibliotheque electronique 7 Treffer
Verlag
- springer 56 Treffer
- springer berlin heidelberg 24 Treffer
- springer nature 11 Treffer
- elsevier bv 7 Treffer
- ieee 6 Treffer
-
30 weitere Werte:
- springer international publishing 6 Treffer
- institute of electrical and electronics engineers (ieee) 5 Treffer
- iop publishing 5 Treffer
- spie 4 Treffer
- hal ccsd 3 Treffer
- informa uk limited 2 Treffer
- research square platform llc 2 Treffer
- acm 1 Treffer
- acm press 1 Treffer
- association for computational linguistics 1 Treffer
- association for computing machinery (acm) 1 Treffer
- cham; springer 1 Treffer
- edp sciences 1 Treffer
- georg thieme verlag kg 1 Treffer
- international association of online engineering (iaoe) 1 Treffer
- ios press 1 Treffer
- isca 1 Treffer
- i-tech education and publishing 1 Treffer
- linguistic society of america 1 Treffer
- mdpi 1 Treffer
- national technical university "kharkiv polytechnic institute" 1 Treffer
- springer berlin heidelberg imprint: springer 1 Treffer
- springer india 1 Treffer
- springer japan 1 Treffer
- springer london 1 Treffer
- springer science and business media llc 1 Treffer
- springer singapore 1 Treffer
- the authors. published by elsevier b.v. 1 Treffer
- the gas institute of the national academy of sciences of ukraine 1 Treffer
- wiley 1 Treffer
Publikation
- lecture notes in computer science 45 Treffer
- mkm 2004 : mathematical knowledge management (bialowieza, 19-21 september 2004) 27 Treffer
- mkm 2003 : mathematical knowledge management (bertinoro, 16-18 february 2003) 17 Treffer
- iop conference series: materials science and engineering 3 Treffer
- mathematical knowledge management (9783540005681) 3 Treffer
-
44 weitere Werte:
- mathematical knowledge management (9783540371045) 3 Treffer
- spie proceedings 3 Treffer
- ieee access 2 Treffer
- towards mechanized mathematical assistants 2 Treffer
- [proceedings] icassp-92: 1992 ieee international conference on acoustics, speech, and signal processing 1 Treffer
- 2011 international conference on consumer electronics, communications and networks (cecnet) 1 Treffer
- 2013 ieee 16th international conference on computational science and engineering 1 Treffer
- 2016 ieee international conference on acoustics, speech and signal processing (icassp) 1 Treffer
- 2019 ieee aerospace conference 1 Treffer
- 3rd france-russia seminar 1 Treffer
- 4th international conference on spoken language processing (icslp 1996) 1 Treffer
- acm sigsam bulletin 1 Treffer
- advances in engineering software 1 Treffer
- catalysis today 1 Treffer
- computers & electrical engineering 1 Treffer
- electrical engineering & electromechanics 1 Treffer
- energy technologies & resource saving 1 Treffer
- expert systems with applications 1 Treffer
- ieee transactions on communications 1 Treffer
- ieee transactions on consumer electronics 1 Treffer
- ieee transactions on vehicular technology 1 Treffer
- international journal of online and biomedical engineering (ijoe) 1 Treffer
- journal of intelligent & fuzzy systems 1 Treffer
- journal of physics: conference series 1 Treffer
- journal of systems engineering and electronics 1 Treffer
- knowledge and process management 1 Treffer
- knowledge-based systems 1 Treffer
- laryngo-rhino-otologie 1 Treffer
- mathematical knowledge management 1 Treffer
- mathematics in computer science 1 Treffer
- medical image computing & computer-assisted intervention - miccai'99 1 Treffer
- molecular crystals and liquid crystals science and technology. section a. molecular crystals and liquid crystals 1 Treffer
- network architectures, management, and applications ii 1 Treffer
- neurocomputing 1 Treffer
- neurological research 1 Treffer
- omdoc - an open markup format for mathematical documents 1 Treffer
- physics in medicine and biology 1 Treffer
- procedia computer science 1 Treffer
- proceedings of the 2004 acm siggraph/eurographics symposium on computer animation - sca '04 1 Treffer
- proceedings of the 2017 acm on conference on information and knowledge management 1 Treffer
- proceedings of the annual meetings on phonology 1 Treffer
- sensors (basel, switzerland) 1 Treffer
- ssrn electronic journal 1 Treffer
- stereotactic and functional neurosurgery 1 Treffer
Sprache
161 Treffer
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8543, S. 344-356KonferenzZugriff:
-
In: Advances in Information and Computer Security, 2020-08-26, S. 97-116Online unknownZugriff:
-
In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004), 2004, S. 1-16KonferenzZugriff:
-
In: MKM 2003 : mathematical knowledge management (Bertinoro, 16-18 February 2003), 2003, S. 17-29KonferenzZugriff:
-
In: ACM SIGSAM Bulletin, Jg. 38 (2004-06-01), S. 47-52Online unknownZugriff:
-
In: Towards Mechanized Mathematical Assistants; (2007) S. 313-326BuchZugriff:
-
In: Laryngo-Rhino-Otologie, Jg. 80 (2001-10-01), S. 569-575Online unknownZugriff:
-
In: Neurological Research, Jg. 21 (1999-06-01), S. 420-424Online unknownZugriff:
-
2013Online unknownZugriff:
-
In: 2011 International Conference on Consumer Electronics, Communications and Networks (CECNet), 2011-04-01Online unknownZugriff:
-
In: Mathematical Knowledge Management (9783540005681); (2003) S. 17-29BuchZugriff:
-
2004Online unknownZugriff:
-
2003Online unknownZugriff: