Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science 35 Treffer
- physics 32 Treffer
- rewriting 28 Treffer
- mathematics 26 Treffer
- physics and astronomy 26 Treffer
-
45 weitere Werte:
- organic chemistry 25 Treffer
- phase equilibrium 25 Treffer
- physical chemistry 25 Treffer
- physics, general 25 Treffer
- polymer 25 Treffer
- polymer solution 25 Treffer
- thermodynamics 25 Treffer
- function symbol 24 Treffer
- computer 22 Treffer
- term (logic) 21 Treffer
- computer.software_genre 19 Treffer
- confluence 18 Treffer
- normal form 18 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 18 Treffer
- business 17 Treffer
- business.industry 17 Treffer
- discrete mathematics 15 Treffer
- algorithm 12 Treffer
- critical pair 11 Treffer
- programming language 11 Treffer
- computer science::logic in computer science 9 Treffer
- computer science::programming languages 9 Treffer
- theoretical computer science 9 Treffer
- functional programming 8 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 8 Treffer
- tree automaton 8 Treffer
- dependency graph 7 Treffer
- ground term 7 Treffer
- medicine 7 Treffer
- transitive closure 7 Treffer
- computer.programming_language 6 Treffer
- decidability 6 Treffer
- artificial intelligence 5 Treffer
- biology 5 Treffer
- chemistry 5 Treffer
- computingmethodologies_symbolicandalgebraicmanipulation 5 Treffer
- decision rule 5 Treffer
- dependency pair 5 Treffer
- logic program 5 Treffer
- simple (abstract algebra) 5 Treffer
- transformation (function) 5 Treffer
- bioethanol 4 Treffer
- class (set theory) 4 Treffer
- computation 4 Treffer
- data mining 4 Treffer
Verlag
Publikation
- polymer solutions 25 Treffer
- biomass conversion and biorefinery: processing of biogenic material for energy and chemistry 11 Treffer
- development of innovative drugs via modeling with matlab : a practical guide 9 Treffer
- rewriting techniques and applications : 20th international conference, rta 2009 brasilia, brazil, june 29 - july 1, 2009 proceedings 5 Treffer
- arabian journal for science and engineering 4 Treffer
-
45 weitere Werte:
- applied microbiology and biotechnology 3 Treffer
- psychopharmacology 3 Treffer
- rewriting techniques and applications : 11th international conference, rta 2000, norwich, uk, july 10-12, 2000. proceedings 3 Treffer
- rewriting techniques and applications : 15th international conference, rta 2004, aachen, germany, june 3-5, 2004. proceedings 3 Treffer
- the european physical journal a: hadrons and nuclei 3 Treffer
- theoretical and applied genetics: international journal of plant breeding research 3 Treffer
- automated reasoning : second international joint conference, ijcar 2004, cork, ireland, july 4-8, 2004. proceedings 2 Treffer
- bioprocess and biosystems engineering 2 Treffer
- clinical oral investigations 2 Treffer
- conditional and typed rewriting systems : 4th international workshop, ctrs-94 jerusalem, israel, july 13-15, 1994 proceedings 2 Treffer
- european journal of clinical pharmacology 2 Treffer
- european journal of plastic surgery 2 Treffer
- journal of geodesy: continuation of bulletin geodesique and manuscripta geodaetica 2 Treffer
- knee surgery, sports traumatology, arthroscopy 2 Treffer
- neurogenetics 2 Treffer
- neuroradiology: a journal dedicated to neuroimaging and interventional neuroradiology 2 Treffer
- neurosurgical review 2 Treffer
- optimization letters 2 Treffer
- planta: an international journal of plant biology 2 Treffer
- rewriting techniques and applications : 13th international conference, rta 2002 copenhagen, denmark, july 22-24, 2002 proceedings 2 Treffer
- science china physics, mechanics and astronomy 2 Treffer
- soft computing: a fusion of foundations, methodologies and applications 2 Treffer
- supportive care in cancer 2 Treffer
- time-resolved vibrational spectroscopy v : proceedings of the 5th international conference on time-resolved vibrational spectroscopy, tokyo, japan, june 3-7, 1991 2 Treffer
- 13th international conference on electrical bioimpedance and the 8th conference on electrical impedance tomography : icebi 2007, august 29th - september 2nd 2007, graz, austria 1 Treffer
- 5. osterreichische artificial-intelligence-tagung : igls/tirol, 28.-31. marz 1989 proceedings 1 Treffer
- advances in cryptology - eurocrypt' 87 : workshop on the theory and application of cryptographic techniques amsterdam, the netherlands, april 13-15, 1987 proceedings 1 Treffer
- advances in multimedia information processing - pcm 2006 : 7th pacific rim conference on multimedia, hangzhou, china, november 2-4, 2006. proceedings 1 Treffer
- advances in neural networks - isnn 2010 : 7th international symposium on neural networks, isnn 2010, shanghai, china, june 6-9, 2010, proceedings, part ii 1 Treffer
- advances in wireless sensor networks : the 8th china conference, cwsn 2014, xi'an, china, october 31--november 2, 2014. revised selected papers 1 Treffer
- agents and data mining interaction : 6th international workshop on agents and data mining interaction, admi 2010, toronto, on, canada, may 11, 2010, revised selected papers 1 Treffer
- algebra and coalgebra in computer science : third international conference, calco 2009, udine, italy, september 7-10, 2009. proceedings 1 Treffer
- algebraic and logic programming : 4th international conference, alp '94 madrid, spain, september 14-16, 1994 proceedings 1 Treffer
- algebraic and logic programming : 5th international conference, alp'96 aachen, germany, september 25-27, 1996 proceedings 1 Treffer
- algebraic and logic programming : 6th international joint conference alp '97 - hoa '97 southampton, uk, september 3-5, 1997 proceedings 1 Treffer
- algebraic methodology and software technology : 12th international conference, amast 2008 urbana, il, usa, july 28-31, 2008 proceedings 1 Treffer
- algebraic methodology and software technology : 5th international conference, amast '96 munich, germany, july 1-5, 1996 proceedings 1 Treffer
- algorithmic learning theory : 15th international conference, alt 2004, padova, italy, october 2-5, 2004. proceedings 1 Treffer
- algorithms and computation : third international symposium, isaac'92 nagoya, japan, december 16-18, 1992 proceedings 1 Treffer
- appl microbiol biotechnol 1 Treffer
- artificial intelligence and symbolic computation : 8th international conference, aisc 2006 beijing, china, september 20-22, 2006 proceedings 1 Treffer
- automata, languages and programming : 22nd international colloquium, icalp 95 szeged, hungary, july 10-14, 1995 proceedings 1 Treffer
- automated deduction - cade-17 : 17th international conference on automated deduction pittsburgh, pa, usa, june 17-20, 2000. proceedings 1 Treffer
- clean technol environ policy 1 Treffer
- psychopharmacology (berl 1 Treffer
Sprache
329 Treffer
-
In: European Journal of Plastic Surgery, Jg. 42 (2019-12-01), Heft 6, S. 603-610Online academicJournalZugriff:
-
1996Online E-BookZugriff:
-
2013Online E-BookZugriff:
-
2009Online unknownZugriff:
-
2009Online E-BookZugriff:
-
In: Reference Frames for Applications in Geosciences ; International Association of Geodesy Symposia ; page 277-282 ; ISSN 0939-9585 ; ISBN 9783642329975 9783642329982; (2012)BuchZugriff:
-
In: IFMBE Proceedings ; World Congress on Medical Physics and Biomedical Engineering, September 7 - 12, 2009, Munich, Germany ; page 159-161 ; ISSN 1680-0737 1433-9277 ; ISBN 9783642038921 9783642038938; (2009)BuchZugriff:
-
In: Neurosurgical Review, Jg. 38 (2015-10-01), Heft 4, S. 753-763Online academicJournalZugriff:
-
In: TAPSOFT '89 ; Lecture Notes in Computer Science ; page 227-243 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540509394 9783540461166; (1989)BuchZugriff:
-
In: Springer Proceedings in Physics ; Time-Resolved Vibrational Spectroscopy VI ; page 260-261 ; ISSN 0930-8989 1867-4941 ; ISBN 9783642850622 9783642850608; (1994)BuchZugriff: