Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- Springer Nature eBooks 398 Treffer
- BASE 189 Treffer
- ERIC 60 Treffer
- Gale In Context: High School 33 Treffer
- Gale In Context: Canada 33 Treffer
-
82 weitere Werte:
- Gale eBooks 33 Treffer
- Janes Military & Security Assessments (JMSA) - Country Risk 32 Treffer
- Janes Defence Industry & Markets (JDIM) - Defense Industry 32 Treffer
- Janes Defence Equipment & Technology (JDET) – Sea 32 Treffer
- Janes Defence Equipment & Technology (JDET) - News 32 Treffer
- Janes Defence Equipment & Technology (JDET) – Land 32 Treffer
- Janes Defence Equipment & Technology (JDET) - C4ISR & Mission Systems 32 Treffer
- Beeld en Geluid op school 32 Treffer
- Janes Military & Security Assessments (JMSA) - Military Capabilities 32 Treffer
- Canada Commons 32 Treffer
- DieselNet Technology Guide 32 Treffer
- Europeana 32 Treffer
- Films on Demand 32 Treffer
- Index New Zealand 32 Treffer
- Ambrose Digital 32 Treffer
- Janes Military & Security Assessments (JMSA) – News 32 Treffer
- LearningExpress Library 32 Treffer
- Kotar Digital Library 32 Treffer
- Janes Chemical, Biological, Radiological & Nuclear Assessments (JCBRN) - Intelligence Centre 32 Treffer
- Networked Digital Library of Theses & Dissertations 32 Treffer
- Sustainable Organization Library (SOL) 32 Treffer
- Janes Terrorism & Insurgency Centre (JTIC) - Terrorism Events 32 Treffer
- Janes Defence Equipment & Technology (JDET) - Air & Space 32 Treffer
- eBook Index 12 Treffer
- OpenDissertations 9 Treffer
- DBPIA 4 Treffer
- eArticle 4 Treffer
- KERIS Theses & Dissertations 4 Treffer
- Korean Studies Information Service System 4 Treffer
- KoreaScholar 4 Treffer
- KRpia 4 Treffer
- 스콜라(Scholar) 4 Treffer
- National Diet Library Digital Collections - 国立国会図書館デジタルコレクション 2 Treffer
- Aerospace Research Central 2 Treffer
- British Standards Online 2 Treffer
- IndianJournals.com 2 Treffer
- Idunn.no 2 Treffer
- IBISWorld 2 Treffer
- ProjectMUSE 2 Treffer
- RAMBI 2 Treffer
- BiblioBoard 2 Treffer
- SciELO 2 Treffer
- Zad Newspapers 2 Treffer
- Zad Conference Proceedings 2 Treffer
- SZ LibraryNet 2 Treffer
- Making of the Modern World 2 Treffer
- Latin American Open Archives Portal 2 Treffer
- Credo Reference 2 Treffer
- Air University Library Index to Military Periodicals (AULIMP) 2 Treffer
- LUNA Commons 2 Treffer
- SAGE Business Researcher 1 Treffer
- PsychiatryOnline 1 Treffer
- Routledge Handbooks Online 1 Treffer
- NORA (Norwegian Open Research Archive) 1 Treffer
- Knovel 1 Treffer
- HBO Kennisbank 1 Treffer
- Orlando: Women's Writing in the British Isles, from the Beginnings to the Present 1 Treffer
- Teen Health & Wellness 1 Treffer
- ICPSR Data Archive 1 Treffer
- Classiques Garnier Numerique: Patrologia Graeca 1 Treffer
- Drama Online 1 Treffer
- Leyex 1 Treffer
- FIS Bildung Literaturdatenbank (German Education Index) 1 Treffer
- E-Periodica 1 Treffer
- Brill E-Book Collection 1 Treffer
- ASM Micrograph Database 1 Treffer
- ASM Medical Materials Database 1 Treffer
- ASM Alloy Center Database 1 Treffer
- Ambientalex 1 Treffer
- Animal Pharm 1 Treffer
- Directory of Open Access Journals 1 Treffer
- Oxfam Policy & Practice 1 Treffer
- Philippine E-Journals 1 Treffer
- Zad Dissertations 1 Treffer
- Zad Peer-Review Articles 1 Treffer
- BazTech 1 Treffer
- Biodiversity Heritage Library 1 Treffer
- BrillOnline Primary Source 1 Treffer
- British Library EThOS 1 Treffer
- Otzar Online 1 Treffer
- First Research 1 Treffer
- TDX 1 Treffer
Art der Quelle
Schlagwort
- doctoral dissertations 50 Treffer
- reading research 42 Treffer
- proof assistant 34 Treffer
- mathematical knowledge 31 Treffer
- computer algebra system 30 Treffer
-
45 weitere Werte:
- reading achievement 20 Treffer
- reading instruction 18 Treffer
- elementary education 16 Treffer
- ra0421 public health. hygiene. preventive medicine 16 Treffer
- primary education 14 Treffer
- computer algebra 13 Treffer
- hadrontherapie 12 Treffer
- reading programs 12 Treffer
- artificial intelligence 11 Treffer
- mathematical object 10 Treffer
- mathematical text 10 Treffer
- reading comprehension 10 Treffer
- teaching methods 10 Treffer
- automate reasoning 9 Treffer
- beginning reading 9 Treffer
- formal proof 9 Treffer
- mizar mathematical library 9 Treffer
- r medicine (general) 9 Treffer
- theorem prover 9 Treffer
- vocabulary 9 Treffer
- decision procedure 8 Treffer
- proof tree 8 Treffer
- readability 8 Treffer
- concrete syntax 7 Treffer
- digital library 7 Treffer
- higher education 7 Treffer
- masters theses 7 Treffer
- natural deduction 7 Treffer
- proof obligation 7 Treffer
- proof script 7 Treffer
- secondary education 7 Treffer
- type theory 7 Treffer
- word recognition 7 Treffer
- authoring tool 6 Treffer
- basic reading 6 Treffer
- cancer 6 Treffer
- computer science-mathematics 6 Treffer
- developmental reading 6 Treffer
- disjunctive normal form 6 Treffer
- dose 6 Treffer
- environmental sciences 6 Treffer
- function symbol 6 Treffer
- information storage and retrieval systems 6 Treffer
- interactive proof 6 Treffer
- interactive theorem prover 6 Treffer
Verlag
- springer berlin heidelberg 359 Treffer
- springer 12 Treffer
- hal ccsd 11 Treffer
- ntnu 8 Treffer
- gale, cengage learning 7 Treffer
-
45 weitere Werte:
- uppsala universitet, institutionen for geovetenskaper 7 Treffer
- jakarta : fak.kedokteran dan ilmu kesehatan uin syarif hidayatullah, 2009 5 Treffer
- киів 5 Treffer
- кпі ім. ігоря сікорського 5 Treffer
- fen bilimleri enstitusu 4 Treffer
- sveuciliste u splitu. kemijsko-tehnoloski fakultet. odsjek za inzenjerstvo i tehnologije. 4 Treffer
- the university of bergen 4 Treffer
- uin syarif hidayatullah.fakultas kedokteran dan ilmu kesehatan 4 Treffer
- umea universitet, institutionen for ekologi, miljo och geovetenskap 4 Treffer
- university of split. faculty of chemistry and technology. division of engineering and chemistry. 4 Treffer
- humboldt-universitat zu berlin 3 Treffer
- sodertorns hogskola, miljovetenskap 3 Treffer
- vysoke uceni technicke v brne. fakulta podnikatelska 3 Treffer
- kth, byggteknik och design 2 Treffer
- latvijas universitate 2 Treffer
- linneuniversitetet, institutionen for biologi och miljo (bom) 2 Treffer
- lithuanian academic libraries network (labt) 2 Treffer
- pe 2 Treffer
- sage publications, inc 2 Treffer
- uin syarif hidayatullah jakarta: fakultas dakwah dan ilmu komunikasi, 2017 2 Treffer
- universidad ricardo palma 2 Treffer
- universitat autonoma de barcelona 2 Treffer
- university of delaware 2 Treffer
- university of exeter 2 Treffer
- vilnius university 2 Treffer
- hogeschool kpz 1 Treffer
- hogskolan i halmstad, miljovetenskap 1 Treffer
- john wiley & sons 1 Treffer
- karger 1 Treffer
- lulea tekniska universitet, institutionen for samhallsbyggnad och naturresurser 1 Treffer
- malardalen university, school of sustainable development of society and technology 1 Treffer
- malardalens hogskola, akademin for hallbar samhalls- och teknikutveckling 1 Treffer
- massachusetts institute of technology 1 Treffer
- mcgraw-hill 1 Treffer
- universita degli studi di trento 1 Treffer
- universite blaise pascal - clermont-ferrand ii 1 Treffer
- university of cincinnati / ohiolink 1 Treffer
- wolters kluwer health, lippincott williams & wilkins 1 Treffer
- wright state university / ohiolink 1 Treffer
- قسم اداره الاعمال 1 Treffer
- 고려대학교 대학원 1 Treffer
- 동아대학교 대학원 1 Treffer
- 성균관대학교 1 Treffer
- 성균관대학교 일반대학원 1 Treffer
- 国立国会図書館 1 Treffer
Publikation
- intelligent computer mathematics : 9th international conference, aisc 2008, 15th symposium, calculemus 2008, 7th international conference, mkm 2008, birmingham, uk, july 28 - august 1, 2008. proceedings 47 Treffer
- intelligent computer mathematics : 16th symposium, calculemus 2009, 8th international conference, mkm 2009, held as part of cicm 2009, grand bend, canada, july 6-12, 2009. proceedings 40 Treffer
- intelligent computer mathematics : 10th international conference, aisc 2010, 17th symposium, calculemus 2010, and 9th international conference, mkm 2010, paris, france, july 5-10, 2010. proceedings 38 Treffer
- intelligent computer mathematics : 11th international conference, aisc 2012, 19th symposium, calculemus 2012, 5th international workshop, dml 2012, 11th international conference, mkm 2012, systems and projects, held as part of cicm 2012, bremen, germany, july 8-13, 2012. proceedings 38 Treffer
- intelligent computer mathematics : mkm, calculemus, dml, and systems and projects 2013, held as part of cicm 2013, bath, uk, july 8-12, 2013. proceedings 33 Treffer
-
45 weitere Werte:
- towards mechanized mathematical assistants : 14th symposium, calculemus 2007, 6th international conference, mkm 2007, hagenberg, austria, june 27-30, 2007. proceedings 31 Treffer
- intelligent computer mathematics : 18th symposium, calculemus 2011, and 10th international conference, mkm 2011, bertinoro, italy, july 18-23, 2011. proceedings 30 Treffer
- mathematical knowledge management : third international conference, mkm 2004, bialowieza, poland, september 19-21, 2004. proceedings 27 Treffer
- mathematical knowledge management : 4th international conference, mkm 2005, bremen, germany, july 15-17, 2005, revised selected papers 26 Treffer
- mathematical knowledge management : 5th international conference, mkm 2006, wokingham, uk, august 11-12, 2006. proceedings 22 Treffer
- mathematical knowledge management : second international conference, mkm 2003 bertinoro, italy, february 16-18, 2003 proceedings 17 Treffer
- acronyms, initialisms & abbreviations dictionary 6 Treffer
- peterson's graduate programs in business, education, information studies, law & social work 2015 6 Treffer
- peterson'sa® graduate programs in business, education, information studies, law & social work 2016 6 Treffer
- peterson'sa® graduate programs in business, education, information studies, law & social work 2018 6 Treffer
- https://theses.hal.science/tel-00504039 ; biophysique [physics.bio-ph]. universite blaise pascal - clermont-ferrand ii, 2010. francais. ⟨nnt : ⟩ 3 Treffer
- https://theses.hal.science/tel-01297837 ; medical physics [physics.med-ph]. universite claude bernard - lyon i; universitat duisburg-essen, 2014. english. ⟨nnt : 2014lyo10304⟩ 3 Treffer
- intelligent computer mathematics : international conference, cicm 2014, coimbra, portugal, july 7-11, 2014. proceedings 2 Treffer
- intelligent computer mathematics : international conference, cicm 2015, washington, dc, usa, july 13-17, 2015, proceedings. 2 Treffer
- medical image computing and computer assisted intervention - miccai 2020 : 23rd international conference, lima, peru, october 4-8, 2020, proceedings, part vi 2 Treffer
- minimally invasive techniques for neurosurgery : current status and future perspectives 2 Treffer
- netzwerkeffekte im medien- und kommunikationsmanagement : vom nutzen sozialer netze 2 Treffer
- универзитет у београду 2 Treffer
- "die unsichtbaren dritten" : ein neues modell zur evaluation und steuerung von public relations im strategischen kommunikationsmanagement 1 Treffer
- 11. kongress der deutschsprachigen gesellschaft fur intraokularlinsen-implantation und refraktive chirurgie : 13. bis 15. marz 1997, frankfurt am main 1 Treffer
- 3rd international conference on nanotechnologies and biomedical engineering : icnbme-2015, september 23-26, 2015, chisinau, republic of moldova 1 Treffer
- acronyms, initialisms, & abbreviations dictionary 1 Treffer
- acronyms, initialisms, and abbreviations dictionary 1 Treffer
- advanced computing : 12th international conference, iacc 2022, hyderabad, india, december 16-17, 2022, revised selected papers, part ii 1 Treffer
- comprehensive water quality and purification: sustainability of water quality 1 Treffer
- digitalization and analytics for smart plant performance - theory and applications 1 Treffer
- doctoral thesis, ucl (university college london 1 Treffer
- encyclopedia of global warming & climate change 1 Treffer
- encyclopedia of global warming and climate change 1 Treffer
- maribor 1 Treffer
- peterson's graduate programs in the humanities, arts & social sciences 2015 1 Treffer
- peterson'sa® graduate programs in the humanities, arts & social sciences 2016 1 Treffer
- peterson'sa® graduate programs in the humanities, arts & social sciences 2018 1 Treffer
- predecessor & defunct 2022 1 Treffer
- repositorio institucional - ucv ; universidad cesar vallejo 1 Treffer
- repositorio institucional da ufsc 1 Treffer
- stedman's medical abbreviations, acronyms & symbols 1 Treffer
- tdx (tesis doctorals en xarxa) 1 Treffer
- time saver standards for architectural design: technical data for professional practice 1 Treffer
- ufsc 1 Treffer
- universidad de piura ; repositorio institucional pirhua - udep 1 Treffer
- universidad nacional agraria la molina ; repositorio institucional - unalm ; recursos hidricos ; universidad nacional agraria la molina. escuela de posgrado ; magister scientiae - recursos hidricos ; maestria 1 Treffer
- universidad privada del norte ; repositorio institucional - upn 1 Treffer
- universidad ricardo palma ; repositorio institucional - urp 1 Treffer
- universidade federal de santa catarina 1 Treffer
Sprache
- english 144 Treffer
- unknown 24 Treffer
- swedish 21 Treffer
- indonesian 19 Treffer
- bokm�l, norwegian; norwegian bokm�l 12 Treffer
-
20 weitere Werte:
- german 9 Treffer
- french 8 Treffer
- spanish; castilian 7 Treffer
- czech 5 Treffer
- ukrainian 5 Treffer
- croatian 4 Treffer
- turkish 4 Treffer
- dutch; flemish 3 Treffer
- korean 3 Treffer
- en_us 2 Treffer
- portuguese 2 Treffer
- serbian 2 Treffer
- zh-tw 2 Treffer
- arabic 1 Treffer
- greek, modern (1453-) 1 Treffer
- icelandic 1 Treffer
- latvian 1 Treffer
- lithuanian 1 Treffer
- norwegian 1 Treffer
- slovenian 1 Treffer
Geographischer Bezug
747 Treffer
-
2012Online E-BookZugriff:
-
2013Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
2004Online E-BookZugriff:
-
2003Online E-BookZugriff:
-
2013Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2012Online E-BookZugriff:
-
2012Online E-BookZugriff:
-
In: Digitalization and Analytics for Smart Plant Performance - Theory and Applications; (2021)Online E-BookZugriff:
-
2013Online E-BookZugriff:
-
2013Online E-BookZugriff: