Výsledky vyhledávání

201

Obálka

Lectures on Formal Methods and Performance Analysis : first EEF/Euro Summer School on Trends in Computer in Computer Science : Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /

Vydáno 2001

Kniha

202

Obálka

Lectures on information retrieval : third European Summer-School, ESSIR 2000 : Varenna, Italy, September 11-15, 2000 : revised lectures /

Vydáno 2001

Kniha

203

Obálka

Linguistic engineering : tools and products : proceedings of the second Twente Workshop on Language Technology /

Vydáno 1992

Kniha

204

Local search for planning and scheduling : ECAI 2000 Workshop : Berlin, Germany, August 21, 2000 : revised papers /

Vydáno 2001

Kniha

205

Obálka

Logic and computer science Lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1998 /

Autor Homer, S.
Vydáno 1990

Kniha

206

Obálka

Logic and machines : decision problems and complexity : proceedings of the symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen /

Vydáno 1984

Kniha

207

Obálka

Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR '99 : Venice, Italy, September 22-23, 1999 : selected papers /

Vydáno 2000

Kniha

208

Obálka

Logic-based program synthesis and transformation : 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers /

Vydáno 2001

Kniha

209

Obálka

Logic-based program synthesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers /

Vydáno 2002

Kniha

210

Obálka

Logic Colloquium '85 /

Vydáno 1987

Kniha

211

Obálka

Logic Colloquium '86 : proceedings of the Colloquium held in Hull, U.K., July 13-19, 1986 /

Vydáno 1988

Kniha

212

Obálka

Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain, July 20-25, 1987 /

Vydáno 1989

Kniha

213

Obálka

Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings /

Vydáno 2002

Kniha

214

Obálka

Logic, Methodology and Philosophy of Science VII /

Vydáno 1986

Kniha

215

Obálka

Logic of programs : workshop, ETH Zürich, May-July 1979 /

Vydáno 1981

Kniha

216

Obálka

Logic programming : 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings /

Vydáno 2001

Kniha

217

Obálka

Logic programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings /

Vydáno 2002

Kniha

218

Obálka

Logic programming : proceedings of the 14th International Conference on Logic Programming

Vydáno 1997

Kniha

219

Obálka

Logic Programming : proceedings of the 1990 North American Conference /

Vydáno 1990

Kniha

220

Obálka

Logic Programming : proceedings of the 1991 International Symposium /

Vydáno 1991

Kniha