Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- algorithmics. computability. computer arithmetics 75 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 75 Treffer
- mathematics 29 Treffer
- mathematiques 29 Treffer
- computer theory 28 Treffer
-
45 weitere Werte:
- informatica teorica 28 Treffer
- information retrieval. graph 23 Treffer
- recherche information. graphe 23 Treffer
- programming theory 22 Treffer
- theorie programmation 22 Treffer
- fonctions logiques, booleennes et de commutation 19 Treffer
- logical, boolean and switching functions 19 Treffer
- artificial intelligence 17 Treffer
- intelligence artificielle 17 Treffer
- logical programming 16 Treffer
- programacion logica 16 Treffer
- programmation logique 16 Treffer
- automata. abstract machines. turing machines 15 Treffer
- automates. machines abstraites. machines de turing 15 Treffer
- computational geometry 15 Treffer
- geometria computacional 15 Treffer
- geometrie algorithmique 15 Treffer
- language theory and syntactical analysis 15 Treffer
- logiciel 15 Treffer
- modeling 15 Treffer
- modelisation 15 Treffer
- modelizacion 15 Treffer
- software 15 Treffer
- theorie des langages et analyse syntaxique 15 Treffer
- algorithme genetique 11 Treffer
- algoritmo genetico 11 Treffer
- genetic algorithm 11 Treffer
- automatique, recherche operationnelle 10 Treffer
- control theory, operational research 10 Treffer
- apprentissage et systemes adaptatifs 9 Treffer
- learning and adaptive systems 9 Treffer
- program verification 9 Treffer
- verificacion programa 9 Treffer
- verification programme 9 Treffer
- algorithm complexity 8 Treffer
- algorithm performance 8 Treffer
- approche probabiliste 8 Treffer
- combinatorial optimization 8 Treffer
- complejidad algoritmo 8 Treffer
- complexite algorithme 8 Treffer
- concurrency 8 Treffer
- construccion grafo 8 Treffer
- construction graphe 8 Treffer
- enfoque probabilista 8 Treffer
- especificacion formal 8 Treffer
Verlag
Publikation
- computational science (atlanta ga, 22-25 may 2005) 7 Treffer
- automata, languages and programming (eindhoven, 30 june - 4 july 2003) 5 Treffer
- gd 2002 : graph drawing (irvine ca, 26-28 august 2002, revised papers) 4 Treffer
- algorithm theory (turku, 3-5 july 2002) 3 Treffer
- algorithms and data structures (vancouver, 11-14 august 1999) 3 Treffer
-
45 weitere Werte:
- algorithms in bioinformatics (bergen, 17-21 september 2004) 3 Treffer
- automata, languages and programming (geneva, 9-15 july 2000) 3 Treffer
- cocoon 2005 : computing and combinatorics (kunming, 16-29 august 2005) 3 Treffer
- computing and combinatorics (sydney, 26-28 july 2000) 3 Treffer
- gd '99 : graph drawing (stirin castle, 15-19 september 1999) 3 Treffer
- genetic programming (essex, 14-16 april 2003) 3 Treffer
- mathematics of surface (leeds, 15-17 september 2003) 3 Treffer
- rsfdgrc 2005 : rough sets, fuzzy sets, data mining, and granular computing (regina, 31 august - 3 september 2005) 3 Treffer
- algorithms and computation (christchurch, 19-21 december 2001) 2 Treffer
- alt 2004 : algorithmic learning theory (padova, 2-5 october 2004) 2 Treffer
- amast '98 : algebraic methodology and software technology (amazonia, 4-8 january 1999) 2 Treffer
- automata, languages and programming (lisbon, 11-15 july 2005) 2 Treffer
- computational science (amsterdam, 21-24 april 2002) 2 Treffer
- computer science logic (vienna, 25-30 august 2003) 2 Treffer
- fuzzy sets and systems (istanbul, 30 june - 2 july 2003) 2 Treffer
- ifl 2001 : implementation of functional languages (stockholm, 24-26 september 2001, selected papers) 2 Treffer
- logics in artificial intelligence (lisbon, 27-30 september 2004) 2 Treffer
- lopstr : logic based program synthesis and transformation (paphos, 28-30 november 2001, selected papers) 2 Treffer
- psi 2003 : perspectives of system informatics (novosibirsk, 9-12 july 2003, revised papers) 2 Treffer
- theoretical computer science : exploring new frontiers of theoretical informatics (sendai, 17-19 august 2000) 2 Treffer
- upp 2004 : unconventional programming paradigms (15-17 september 2004, mont saint michel, revised selected & invited papers) 2 Treffer
- aaecc-13 : applied algebra, algebraic algorithms and error-correcting codes (honolulu hi, 15-19 november 1999) 1 Treffer
- advances in informatics (nicosia, 8-10 november 2001, revised selected papers) 1 Treffer
- advis 2002 : advances in information systems (izmir, 23-25 october 2002) 1 Treffer
- alenex '99 : algorithm engineering and experimentation (baltimore md, 15-16 january 1999) 1 Treffer
- algebra and coalgebra in computer science (swansea, 3-6 september 2005) 1 Treffer
- algorithm engineering (london, 19-21 july 1999) 1 Treffer
- algorithm theory (bergen, 5-7 july 2000) 1 Treffer
- algorithms - esa 2001 (aarhus, 28-31 august 2001) 1 Treffer
- algorithms - esa 2004 (bergen, 14-17 september 2004) 1 Treffer
- algorithms - esa 2005 (13th annual european sympoisum, palma de mallorca, sapin, october 3-6, 2005, proceedings) 1 Treffer
- algorithms (prague, 16-18 july 1999) 1 Treffer
- algorithms and computation (chennai, december 16-18 1999) 1 Treffer
- algorithms and computation (hong kong, 20-22 december 2004) 1 Treffer
- algorithms and computation (kyoto, 15-17 december 2003) 1 Treffer
- algorithms in bioinformatics (5th international workshop, wabi 2005, mallorca, spain, october 3-6, 2005, proceedings) 1 Treffer
- amast 2000 : algebraic methodology and software technology (iowa city ia, 20-27 may 2000) 1 Treffer
- application and theory of petri nets 2000 (aarhus, 26-30 june 2000) 1 Treffer
- applications of evolutionary computing (lausanne, 30 march - 1 april 2005) 1 Treffer
- approximation, randomization, and combinatorial optimization (algorithms and techniques) 1 Treffer
- artificial neural networks (vienna, 21-25 august 2001) 1 Treffer
- asm 2003 : abstract state machines : advances in theory and practice (taormina, 3-7 march 2003) 1 Treffer
- automata implementation (potsdam, 17-19 july 1999, revised papers) 1 Treffer
- automata, languages and programming (crete, 8-12 july 2001) 1 Treffer
- automata, languages and programming (malaga, 8-13 july 2002) 1 Treffer
Sprache
Geographischer Bezug
171 Treffer
-
In: Recent trends in algebraic development techniques (Barcelona, 27-29 March 2004, revised selected papers), 2005, S. 126-143KonferenzZugriff:
-
In: New computational paradigms (Amsterdam, 8-12 June 2005), 2005, S. 169-179KonferenzZugriff:
-
In: MICAI 2005 (advances in artificial intelligence), 2005, S. 514-523KonferenzZugriff:
-
In: COCOON 2005 : computing and combinatorics (Kunming, 16-29 August 2005), 2005, S. 504-513KonferenzZugriff:
-
In: Algorithms in bioinformatics (5th international workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005, S. 423-434KonferenzZugriff:
-
In: Unconventional computation (4th international conference, UC 2005, Sevilla, Spain, October 3-7, 2005, S. 169-175KonferenzZugriff:
-
In: WG 2004 : graph-theoretic concepts in computer science (Bad Honnef, 21-23 June 2004, revised papers), 2004, S. 270-284KonferenzZugriff:
-
In: COCOON 2004 : computing and combinatorics (Jeju Island, 17-20 August 2004), 2004, S. 319-328KonferenzZugriff:
-
In: Algorithms in bioinformatics (Bergen, 17-21 September 2004), 2004, S. 38-49KonferenzZugriff:
-
In: PSI 2003 : perspectives of system informatics (Novosibirsk, 9-12 July 2003, revised papers), 2003, S. 248-259KonferenzZugriff:
-
In: Automata, languages and programming (Eindhoven, 30 June - 4 July 2003), 2003, S. 829-844KonferenzZugriff:
-
In: WG 2003 : graph-theoretic concepts in computer science (Elspeet, 19-21 June 2003, revised papers), 2003, S. 81-92KonferenzZugriff:
-
In: LOPSTR : logic based program synthesis and transformation (Paphos, 28-30 November 2001, selected papers), 2002, S. 46-56KonferenzZugriff:
-
In: Computing and combinatorics (Sydney, 26-28 July 2000), 2000, S. 105-114KonferenzZugriff:
-
In: Mathematics of surface (Leeds, 15-17 September 2003), 2003, S. 213-222KonferenzZugriff:
-
In: Algorithm engineering (London, 19-21 July 1999), 1999, S. 154-168KonferenzZugriff:
-
In: Algorithms and data structures (Vancouver, 11-14 August 1999), 1999, S. 86-97KonferenzZugriff:
-
In: Algorithms and data structures (Vancouver, 11-14 August 1999), 1999, S. 306-317KonferenzZugriff:
-
In: Algorithms and computation (Chennai, December 16-18 1999), 1999, S. 143-152KonferenzZugriff:
-
In: Algorithms (Prague, 16-18 July 1999), 1999, S. 426-437KonferenzZugriff: