Suchergebnisse
Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- computer science 37 Treffer
- artificial intelligence (incl. robotics) 25 Treffer
- mathematical logic and formal languages 23 Treffer
- logics and meanings of programs 22 Treffer
- programming languages, compilers, interpreters 13 Treffer
-
45 weitere Werte:
- software engineering 11 Treffer
- programming techniques 8 Treffer
- symbolic and algebraic manipulation 7 Treffer
- computer communication networks 6 Treffer
- mathematical logic and foundations 6 Treffer
- information systems applications (incl.internet) 5 Treffer
- endocrinology 4 Treffer
- medicine & public health 4 Treffer
- cell biology 3 Treffer
- computer science, general 3 Treffer
- discrete mathematics in computer science 3 Treffer
- life sciences 3 Treffer
- algorithm analysis and problem complexity 2 Treffer
- computation by abstract devices 2 Treffer
- engineering 2 Treffer
- theory of computation 2 Treffer
- agriculture 1 Treffer
- appl.mathematics/computational methods of engineering 1 Treffer
- astronomy 1 Treffer
- astronomy, astrophysics and cosmology 1 Treffer
- astrophysics 1 Treffer
- atlas 1 Treffer
- biomedical engineering 1 Treffer
- biotechnology 1 Treffer
- blas 1 Treffer
- business information systems 1 Treffer
- central asia 1 Treffer
- computer appl. in administrative data processing 1 Treffer
- computer appl. in social and behavioral sciences 1 Treffer
- computer graphics 1 Treffer
- computer systems organization and communication networks 1 Treffer
- computers and society 1 Treffer
- data encryption 1 Treffer
- developmental biology 1 Treffer
- economics/management science 1 Treffer
- evaluation 1 Treffer
- greenhouse 1 Treffer
- heavy metal contaminants 1 Treffer
- image processing and computer vision 1 Treffer
- imaging / radiology 1 Treffer
- information storage and retrieval 1 Treffer
- loop unrolling 1 Treffer
- management of computing and information systems 1 Treffer
- metrics 1 Treffer
- microbial consortia 1 Treffer
Publikation
- isochronous wireless network for real-time communication in industrial automation 9 Treffer
- rewriting techniques & applications (9783642023477) 7 Treffer
- thyroid hormone receptors 4 Treffer
- rewriting techniques & applications 3 Treffer
- rewriting techniques & applications (9783540402541) 3 Treffer
-
45 weitere Werte:
- rewriting techniques & applications (9783540677789) 3 Treffer
- term rewriting & applications (9783540368342) 3 Treffer
- automated deduction - cade-21 2 Treffer
- automated reasoning 2 Treffer
- frontiers of combining systems (9783540290513) 2 Treffer
- processes, terms & cycles: steps on the road to infinity 2 Treffer
- 13th international conference on electrical bioimpedance & the 8th conference on electrical impedance tomography 1 Treffer
- 14. internationales stuttgarter symposium 1 Treffer
- advances in multimedia information processing - pcm 2006 1 Treffer
- advances in plant ethylene research 1 Treffer
- agents & data mining interaction (9783642154195) 1 Treffer
- algebra & coalgebra in computer science (9783642037405) 1 Treffer
- algebraic methodology & software technology (9783540799795) 1 Treffer
- algebraic methodology & software technology (9783642177958) 1 Treffer
- artificial intelligence & symbolic computation (9783540397281) 1 Treffer
- automated deduction - cade-17 1 Treffer
- automated deduction - cade-22 1 Treffer
- automated deduction - cade-25 1 Treffer
- compiling natural semantics 1 Treffer
- conceptual structures: from information to intelligence 1 Treffer
- distributed & parallel computing 1 Treffer
- focusing telescopes in nuclear astrophysics 1 Treffer
- foundations of software technology & theoretical computer science 1 Treffer
- fuzzy sets & their extensions: representation, aggregation & models 1 Treffer
- human-computer interaction. applications & services 1 Treffer
- implementation & application of automata (9783642029783) 1 Treffer
- influence of human rights & basic rights in private law 1 Treffer
- information & communication technologies in tourism 2006 1 Treffer
- information hiding (9783540741237) 1 Treffer
- integrated formal methods (9783540411963) 1 Treffer
- intelligent tools for building a scientific information platform: from research to implementation 1 Treffer
- interfaces: explorations in logic, language & computation 1 Treffer
- knowledge science, engineering & management (9783319476490) 1 Treffer
- logic for programming & automated reasoning 1 Treffer
- logic for programming, artificial intelligence & reasoning (9783540482819) 1 Treffer
- logic for programming, artificial intelligence & reasoning (9783642287169) 1 Treffer
- logic-based program synthesis & transformation (9783540714095) 1 Treffer
- logic-based program synthesis & transformation (9783642125911) 1 Treffer
- mathematical foundations of computer science 1998 1 Treffer
- omics insights in environmental bioremediation 1 Treffer
- parallel & distributed processing & applications (9783540297697) 1 Treffer
- retinoid protocols 1 Treffer
- springer water 1 Treffer
- term rewriting & applications 1 Treffer
- therapeutic applications of ribozymes 1 Treffer
Inhaltsanbieter
97 Treffer
-
In: Integrated Formal Methods (9783540411963); (2000) S. 25-44BuchZugriff:
-
Decidability of Termination for Semi-constructor TRSs, Left-Linear Shallow TRSs and Related Systems.In: Term Rewriting & Applications (9783540368342); (2006) S. 343-356BuchZugriff:
-
In: Transactions on Rough Sets Xi; (2010) S. 130-160BuchZugriff:
-
In: Rewriting Techniques & Applications (9783642023477); (2009) S. 63-77BuchZugriff:
-
In: Artificial Intelligence & Symbolic Computation (9783540397281); (2006) S. 68-81BuchZugriff:
-
In: Recent Trends in Social Systems: Quantitative Theories & Quantitative Models; (2017) S. 89-103BuchZugriff:
-
In: Knowledge Science, Engineering & Management (9783319476490); (2016) S. 567-579BuchZugriff:
-
In: World Congress on Medical Physics & Biomedical Engineering, June 7-12, 2015, Toronto, Canada; (2015) S. 1578-1582BuchZugriff:
-
In: Automated Deduction - CADE-25; (2015) S. 111-126BuchZugriff:
-
In: 14. Internationales Stuttgarter Symposium; (2014) S. 1607-1625BuchZugriff:
-
In: Intelligent Tools for Building a Scientific Information Platform: From Research to Implementation; (2014) S. 61-74BuchZugriff:
-
In: Human-Computer Interaction. Applications & Services; (2013) S. 56-65BuchZugriff:
-
In: Social Media Retrieval & Mining; (2013) S. 13-26BuchZugriff:
-
In: Reference Frames for Applications in Geosciences; (2013) S. 277-282BuchZugriff:
-
In: Selenium (9781461410249); (2012) S. 573-587BuchZugriff:
-
In: Logic for Programming, Artificial Intelligence & Reasoning (9783642287169); (2012) S. 258-273BuchZugriff:
-
In: Multiagent System Technologies (9783540749486); (2007) S. 182-193BuchZugriff:
-
In: Isochronous Wireless Network for Real-time Communication in Industrial Automation; (2016) S. 1-12BuchZugriff:
-
In: Isochronous Wireless Network for Real-time Communication in Industrial Automation; (2016) S. 107-124BuchZugriff:
-
In: Isochronous Wireless Network for Real-time Communication in Industrial Automation; (2016) S. 13-34BuchZugriff: