Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 4 Treffer
- symbolic computation 4 Treffer
- activity this person 3 Treffer
- antropotechnology 3 Treffer
- environment (the result-situational space) 3 Treffer
-
45 weitere Werte:
- forced to adapt 3 Treffer
- interactive theorem proving 3 Treffer
- mathml 3 Treffer
- parity 3 Treffer
- physiological state of a person 3 Treffer
- ssreflect 3 Treffer
- termination 3 Treffer
- useful and pathogenic strains 3 Treffer
- automated reasoning 2 Treffer
- computer algebra 2 Treffer
- formal mathematics 2 Treffer
- formal methods 2 Treffer
- geometry 2 Treffer
- logic 2 Treffer
- term rewriting 2 Treffer
- abstraction 1 Treffer
- acquired immune system 1 Treffer
- active particles 1 Treffer
- adaptive 1 Treffer
- agent 1 Treffer
- alpha-beta pruning 1 Treffer
- artificial intelligence 1 Treffer
- artificial neural networks 1 Treffer
- awareness 1 Treffer
- blended-learning 1 Treffer
- brain neoplasm 1 Treffer
- brain tumor surgery 1 Treffer
- branch cuts 1 Treffer
- breast imaging 1 Treffer
- categorical logic 1 Treffer
- cloud computing 1 Treffer
- clustering 1 Treffer
- coarse aerosol 1 Treffer
- collaborative 1 Treffer
- collaborative writing 1 Treffer
- collective intelligence 1 Treffer
- combinatorial game 1 Treffer
- computational mathematics 1 Treffer
- computational modeling 1 Treffer
- computer algebra systems 1 Treffer
- computer systems 1 Treffer
- computer-aided diagnosis 1 Treffer
- connectionism 1 Treffer
- continuous casting 1 Treffer
- controlled natural language 1 Treffer
Verlag
- springer verlag 58 Treffer
- trans tech publications ltd 4 Treffer
- american institute of physics inc. 3 Treffer
- canadian steel construction council 2 Treffer
- ieee computer society 2 Treffer
-
11 weitere Werte:
- spie 2 Treffer
- springer science and business media deutschland gmbh 2 Treffer
- gdmb verlag gmbh 1 Treffer
- ieee 1 Treffer
- institute of electrical and electronics engineers inc. 1 Treffer
- institute of physics publishing 1 Treffer
- optica publishing group (formerly osa) 1 Treffer
- optical society of america 1 Treffer
- s. karger ag 1 Treffer
- society of photo-optical instrumentation engineers 1 Treffer
- stowarzyszenie techniczne odlewnikow polskich/polish foundrymen's association 1 Treffer
Publikation
- lecture notes in computer science 279 Treffer
- intelligent computer mathematics - 9th international conference, aisc 2008 - 15th symposium, calculemus 2008 - 7th international conference, mkm 2008, proceedings 47 Treffer
- intelligent computer mathematics - 11th int. conf., aisc 2012, 19th symp., calculemus 2012, 5th int. workshop, dml 2012, 11th int. conf., mkm 2012, systems and projects, part of cicm 2012, proceedings 37 Treffer
- intelligent computer mathematics - 16th symposium, calculemus 2009 - 8th international conference, mkm 2009 - held as part of cicm 2009, proceedings 36 Treffer
- intelligent computer mathematics - 10th international conference, aisc 2010, 17th symposium, calculemus 2010, and 9th international conference, mkm 2010, proceedings 35 Treffer
-
33 weitere Werte:
- intelligent computer mathematics - mkm, calculemus, dml, and systems and projects 2013 - held as part of cicm 2013, proceedings 33 Treffer
- intelligent computer mathematics - 18th symposium, calculemus 2011 and 10th international conference, mkm 2011, proceedings 27 Treffer
- towards mechanized mathematical assistants - 14th symposium, calculemus 2007 - 6th international conference, mkm 2007, proceedings 26 Treffer
- mathematical knowledge management - 5th international conference, mkm 2006, proceedings 16 Treffer
- proceedings of spie - the international society for optical engineering 6 Treffer
- aip conference proceedings 3 Treffer
- applied mechanics and materials 3 Treffer
- architecture, building materials and engineering management iv 3 Treffer
- canadian structural engineering conference 2 Treffer
- stereotactic and functional neurosurgery 2 Treffer
- 2011 international conference on consumer electronics, communications and networks, cecnet 2011 - proceedings 1 Treffer
- 2017 international symposium on electromagnetic compatibility - emc europe 2017, emc europe 2017 1 Treffer
- 73rd world foundry congress "creative foundry", wfc 2018 - proceedings 1 Treffer
- advances in information and computer security - 15th international workshop on security, iwsec 2020, proceedings 1 Treffer
- advances in intelligent systems and computing 1 Treffer
- biomedical sciences instrumentation 1 Treffer
- conference on lasers and electro-optics europe - technical digest 1 Treffer
- geocongress 2006: geotechnical engineering in the information technology age 1 Treffer
- intelligent computer mathematics - international conference, cicm 2014, proceedings 1 Treffer
- international conference on spoken language processing, icslp, proceedings 1 Treffer
- iop conference series: materials science and engineering 1 Treffer
- materials science forum 1 Treffer
- medical image computing and computer assisted intervention - miccai 2020 - 23rd international conference, proceedings 1 Treffer
- neurochirurgie 1 Treffer
- optics infobase conference papers 1 Treffer
- proceedings - 2011 10th international conference on mobile business, icmb 2011 1 Treffer
- proceedings - 2014 international conference laser optics, lo 2014 1 Treffer
- proceedings 2015 european conference on lasers and electro-optics - european quantum electronics conference, cleo/europe-eqec 2015 1 Treffer
- proceedings of 2012 international symposium on information technologies in medicine and education, itme 2012 1 Treffer
- proceedings of the 10th european metallurgical conference, emc 2019 1 Treffer
- proceedings of the international conference on advanced optoelectronics and lasers, caol 1 Treffer
- production and further processing of flat products 1 Treffer
- przeglad elektrotechniczny 1 Treffer
Sprache
314 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff: