Výsledky vyhledávání - "Lecture notes in computer science,"

161

Computer aided verification : 13th International Conference, CAV 2001 : Paris, France, July 18-22, 2001 : proceedings /

Vydáno 2001

“...Lecture notes in computer science ;...”

Kniha

162

Computer aided verification : 14th International Conference, CAV 2002 : Copenhagen, Denmark, July 27-31, 2002 : proceedings /

Vydáno 2002

“...Lecture notes in computer science ;...”

Kniha

163

Computer algebra : EUROCAM '82 : European Computer Algebra Conference : Marseille, France, April 5-7, 1982 /

Vydáno 1982

“...Lecture notes in computer science ;...”

Kniha

164

Computer analysis of images and patterns : 9th International Conference, CAIP 2001 : Warsaw, Poland, September 5-7, 2001 : proceedings /

Vydáno 2001

“...Lecture notes in computer science ;...”

Kniha

165

Computer performance evaluation : modelling techniques and tools : 11th International Conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000 : proceedings /

Vydáno 2000

“...Lecture notes in computer science ;...”

Kniha

166

Computer performance evaluation : modelling techniques and tools : 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002 : proceedings /

Vydáno 2002

“...Lecture notes in computer science ;...”

Kniha

167

Computer safety, reliability and security : 17th International Conference, SAFECOMP '98 : Heidelberg, Germany, October 5-7, 1998 : proceedings /

Vydáno 1998

“...Lecture notes in computer science ;...”

Kniha

168

Computer safety, reliability and security : 18th International Conference, SAFECOMP 1999 : Toulouse, France, September 27-29, 1999 : proceedings /

Vydáno 1999

“...Lecture notes in computer science ;...”

Kniha

169

Computer safety, reliability and security : 19th International Conference, SAFECOMP 2000 : Rotterdam, The Netherlands, October 24-27, 2000 : proceedings /

Vydáno 2000

“...Lecture notes in computer science ;...”

Kniha

170

Computer safety, reliability and security : 20th International Conference, SAFECOMP 2001 : Budapest, Hungary, September 26-28, 2001 : proceedings /

Vydáno 2001

“...Lecture notes in computer science ;...”

Kniha

171

Computer safety, reliability and security : 21th International Conference, SAFECOMP 2002 : Catania, Italy, September 10-13, 2002 : proceedings /

Vydáno 2001

“...Lecture notes in computer science ;...”

Kniha

172

Computer science in perspective : essays dedicated to Thomas Ottmann /

Vydáno 2003

“...Lecture notes in computer science ;...”

Kniha

173

Computer science logic : 6th Workshop, CSL '92 : San Miniato, Italy, September 28-October 2, 1992 : selected papers /

Vydáno 1993

“...Lecture notes in computer science ;...”

Kniha

174

Computer science logic : 7th Workshop, CSL '93 : Swansea, United Kingdom September 13-17, 1993 : selected papers /

Vydáno 1994

“...Lecture notes in computer science ;...”

Kniha

175

Computer Science Logic : 11th International Workshop, CSL '97 : Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers /

Vydáno 1997

“...Lecture notes in computer science ;...”

Kniha

176

Computer Science Logic : 12th International Workshop, CSL '98 : Annual Conference of the EACSL : Brno, Czech Republic, August 24-28, 1998 : proceedings /

Vydáno 1998

“...Lecture notes in computer science ;...”

Kniha

177

Computer Science Logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL : Fischbachau, Germany, August 21-26, 2000 : proceedings /

Vydáno 2000

“...Lecture notes in computer science ;...”

Kniha

178

Computer Science Logic : 15th International Workshop, CSL 2001, 10th Annual Conference of the EACSL : Paris, France, September 10-13, 2001 : proceedings /

Vydáno 2001

“...Lecture notes in computer science ;...”

Kniha

179

Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL : Edinburgh, Scotland, September 22-25, 2002 : proceedings /

Vydáno 2002

“...Lecture notes in computer science ;...”

Kniha

180

Computer science today : recent trends and developments /

Vydáno 1995

“...Lecture notes in computer science ;...”

Kniha

Upřesnit hledání